A transaction method manages the storing of persistent data to be stored
in at least one memory region of a non-volatile memory device before the
execution of update operations that involve portions of the persistent
data. Values of the persistent data are stored in a transaction stack
that includes a plurality of transaction entries before the beginning of
the update operations so that the memory regions involved in such an
update are restored in a consistent state if an unexpected event occurs.
A push extreme instruction reads from the memory cells a remaining
portion of the persistent data that is not involved in the update
operation, and stores the remaining portion in a subset of the
transaction entries. The push extreme instruction is executed instead of
a push instruction when the restoring of the portion of persistent data
is not required after the unexpected event. The restoring corresponds to
the values that the persistent data had before the beginning of the
update operations.