Parallel Programs with Synchronization

  • Krzysztof R. Apt
  • Ernst-Rüdiger Olderog
Part of the Graduate Texts in Computer Science book series (TCS)


For many applications the classes of parallel programs considered so far are not sufficient. We need parallel programs whose components can synchronize with each other. That is, components must be able to suspend their execution and wait or get blocked until the execution of the other components has changed the shared variables in such a way that a certain condition is fulfilled To formulate such waiting conditions we extend the program syntax of Section 6.1 by a synchronization construct, the await-statementintroduced in Owicki and Gries [1976a].


Parallel Program Mutual Exclusion Component Program Total Correctness Atomic Region 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media New York 1997

Authors and Affiliations

  • Krzysztof R. Apt
    • 1
  • Ernst-Rüdiger Olderog
    • 2
  1. 1.Centrum voor Wiskunde en InformaticaStichling Mathematisch CentrumAmsterdamThe Netherlands
  2. 2.Fachbereich 10-Theoretische InformatikChristian Albrechts UniversityOldenburgGermany

Personalised recommendations