20.2. Concurrent composite operations in main memory only
Assume that a concurrent program has been developed in a modular fashion. We assume that each shared data abstraction is implemented as an abstract data type, as shown in Figure 20.1, and a data object is locked for exclusive use while any of its operations is invoked. Section 12.2 showed how this might be implemented for a single operation.