Parallel Programs with Synchronization
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].
KeywordsParallel Program Mutual Exclusion Component Program Total Correctness Atomic Region
Unable to display preview. Download preview PDF.