Synchronization of Parallel Programs
François André, Daniel Herman, Jean-Pierre Verjus · Medical Entomology and Zoology · 1985
Modular and parallel programming languages and the development of distributed architectures make it possible for hardware to produce much higher operating speeds than could previously be achieved through sequential processing. Executing these cooperating, concurrent processes demands that new specification and implementation techniques be developed. This book proposes a method for expressing typical cooperation and competition problems, as well as different synchronization and communication methods for implementing them. Using a general abstract expression to state synchronization constraints between parallel processes, the authors then choose either a centralized or a distributed implementation for the targeted system. Each of these implementations is illustrated with examples drawn from classic problems, and one informal case study (management of access to a swimming pool) is used to compare the various approaches.