Andre J., Herman D., Verjus J.-P. Synchronization of Parallel Programs

Oxford: North Oxford Academic Publishing Company Limited, 1985. — 110 p. - ISBN: 0-946536-20-1.
Язык: английский.The use of modular and parallel programming languages, and the development of distributed architectures is having a profound influence on computer programming and systems design; hardware and performance can now conspire to produce much higher operating speeds than could previously be achieved through sequential processing. Executing 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 as a solution 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) acts as a leitmotif throughout the work, providing comparisons between the various approaches offered.Abstract expressions in synchronization problems.
Centralized implementation.
Distributed implementation.