10.7. Summary

We started with the requirement for synchronization between processes to achieve both condition synchronization and mutual exclusion. Chapter 4 has shown how a process can synchronize with hardware events and we took this as a starting point. Operations such as WAIT and SIGNAL on processes were considered and were shown to be inadequate as the basis for a general IPC scheme because of the statically determined interactions they embody.

We studied how to enforce exclusive access to shared data, that is, how to make the operations on the shared data atomic. We defined critical regions within processes and specified that a process must obey an entry protocol before executing critical code and an exit protocol on leaving. We considered ...

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.