Back to Search Start Over

An Exercise in Proving Parallel Programs Correct.

Authors :
Gries, David
Source :
Communications of the ACM. Dec1977, Vol. 20 Issue 12, p921-930. 10p. 2 Diagrams.
Publication Year :
1977

Abstract

A parallel program, Dijkstra's on-the-fly garbage collector, is proved correct using a proof method developed by Owicki. The fine degree of interleaving in this program makes it especially difficult to understand, and complicates the proof greatly. Difficulties with proving such parallel programs correct are discussed. [ABSTRACT FROM AUTHOR]

Subjects

Subjects :
*GARBAGE collection (Computer science)
*COMPUTER memory management
*PARALLEL programming
*COMPUTER programming
*PARALLEL processing
*ALGORITHMS

Details

Language :
English
ISSN :
00010782
Volume :
20
Issue :
12
Database :
Academic Search Index
Journal :
Communications of the ACM
Publication Type :
Periodical
Accession number :
5225326
Full Text :
https://doi.org/10.1145/359897.359903
Full Text Access
View/download PDF

Tools

Authors Abstract Subjects Details