Abstract
The present paper describes an implementation of shared variables (monitors) using dedicated processors. Scheduling using condition variables with the operations signal and wait is discussed and related to the maintenance of a synchronization invariant introduced. The discussion also leads to the introduction of two new primitives (return and a combined wait/signal) that can be used to remove unwanted side effects of signaling.
Similar content being viewed by others
References
Per Brinch Hansen,Distributed processes, a concurrent programming concept, Comm. ACM, vol. 21. no 11, Nov. 1978.
Stein Gjessing,Compile time preparations for run time scheduling in monitors, BIT Vol. 18, No. 1, 1978.
C. A. R. Hoare,Proof of correctness of data representations, Acta Informatica, vol. 1, 1971.
C. A. R. Hoare,Monitors: An operating system structuring concept, Comm. ACM, Vol. 17, no 10, Oct. 1974.
C. A. R. Hoare,Communicating sequential processes, Comm. ACM, vol. 21, no 8, Aug. 1978.
John H. Howard,Proving monitors, Comm. ACM, vol. 19, no 5, May 1976.
Arne Wang and Ole-Johan Dahl,Coroutine sequencing in a block structured environment, BIT, vol. 11, no 4, 1971.
N. Wirth,Toward a discipline of real-time programming, Comm. ACM, vol. 20, no 8, Aug. 1977.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Gjessing, S. Monitors with associated processors. BIT 19, 334–346 (1979). https://doi.org/10.1007/BF01930987
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01930987