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 ...
Become an O’Reilly member and get unlimited access to this title plus top books and audiobooks from O’Reilly and nearly 200 top publishers, thousands of courses curated by job role, 150+ live events each month,
and much more.
Read now
Unlock full access