March 2003
Intermediate to advanced
912 pages
27h 17m
English
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) ...