23.6. Summary of Part III
The model of an object with abstract operations is used throughout the book. Part II is concerned with implementing a single abstract operation correctly in the presence of concurrency and crashes. Part III is concerned with implementing a number of related operations comprising a single higher-level abstract operation.
The problems arising from uncontrolled concurrent execution of composite operations are incorrect results arising from certain interleavings of suboperations, and deadlock arising from some approaches to controlling this. Deadlock is discussed in Chapter 18. The concept of atomic transaction is developed in Chapter 19 and the ACID properties of transactions (atomicity, consistency, isolation and durability) ...
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.
