Thumbnail
Access Restriction
Subscribed

Author Dijkstra, Edsger W.
Source ACM Digital Library
Content type Text
Publisher Association for Computing Machinery (ACM)
File Format PDF
Language English
Subject Keyword Self-stabilization ♦ Networks ♦ Self-repair ♦ Multiprocessing ♦ Sharing ♦ Harmonious cooperation ♦ Distributed control ♦ Robustness ♦ Error recovery ♦ Mutual exclusion ♦ Synchronization
Abstract The synchronization task between loosely coupled cyclic sequential processes (as can be distinguished in, for instance, operating systems) can be viewed as keeping the relation “the system is in a legitimate state” invariant. As a result, each individual process step that could possibly cause violation of that relation has to be preceded by a test deciding whether the process in question is allowed to proceed or has to be delayed. The resulting design is readily—and quite systematically—implemented if the different processes can be granted mutually exclusive access to a common store in which “the current system state” is recorded.
Description Affiliation: Burroughs Corp., Nuenen, The Netherlands (Dijkstra, Edsger W.)
Age Range 18 to 22 years ♦ above 22 year
Educational Use Research
Education Level UG and PG
Learning Resource Type Article
Publisher Date 2005-08-01
Publisher Place New York
Journal Communications of the ACM (CACM)
Volume Number 17
Issue Number 11
Page Count 2
Starting Page 643
Ending Page 644


Open content in new tab

   Open content in new tab
Source: ACM Digital Library