19.10. Summary
We have extended the definition given in Chapter 15, of an atomic operation invocation in the presence of crashes, to cover atomic composite operation invocations (transactions) in the presence of concurrent transactions and crashes. The ACID (Atomicity, Consistency, Isolation, Durability) properties of transactions were motivated and discussed.
A system model to be used as a basis for reasoning about all aspects of transaction processing was introduced. The model focuses on the operations of a single object and generalizes naturally to distributed objects. Conflicting operations were defined to be those which do not commute; that is, the order in which they are executed affects the final state of the object, or the value output ...
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.
