21.3. Concurrency, crashes and the properties of transactions
The ACID properties of transactions must be guaranteed by a TPS in the presence of concurrency and unpredictable failures.
| Atomicity | Either all or none of the transaction's operations are performed. This must be ensured by the recovery manager. A crash may occur part-way through a transaction and the invocations of any incomplete transactions must be undone. |
| Consistency | A transaction transforms the system from one consistent state to another. This is achieved through concurrency control, provided that atomicity is guaranteed by the recovery manager in the presence of crashes. |
| Isolation | An incomplete transaction cannot reveal its result to other transactions before it is committed. This ... |
Get Operating Systems: Concurrent and Distributed Software Design now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
