Resources: page=4 Ch 7.1.2 +Transactions.
An atomic transaction has all the properties of an atomic action plus the added feature that its execution is allowed either to succeed or to fail.
Two distinct properties:
- Failure atomicity - The transaction must either complete successfully or (in the case of failure) have no effect
- Synchronization atomicity - (or isolation) meaning that the transaction is indivisible in the sense that its partial execution cannot be observed by any concurrently executing transaction.
Often called recoverable actions
Very nice for database system, however not really relevant for embedded real-time systems.