Formalizing Some Classic Synchronization Primitives
Semaphores, introduced by Dijkstra in 1968, and condition variables, introduced by Hoare in 1974, are still useful in structuring concurrent systems. It is important that programmers using them understand their precise properties. Concurrent programming is difficult enough without uncertainty about the details of the synchronization primitives. This note documents the version provided by the Threads interface of the Modula-2+ programming system .
KeywordsDition Cond Prose
Unable to display preview. Download preview PDF.
- A. D. Birrell, J. V. Guttag, J. J. Horning, and R. Levin. Synchronization primitives for a multiprocessor: a formal specification. Operating Systems Review, 21(5):94–102, Nov. 1987. Proceedings of the Eleventh ACM Symposium on Operating Systems Principles.Google Scholar