Abstract
A new method of expressing synchronization is presented and the motivations and considerations which led to this method are explained. Synchronization rules, given by ‘path expressions’, are incorporated into the type definitions which are used to introduce data objects shared by several asynchronous processes. It is shown that the method's ability to express synchronization rules is equivalent to that of P and V operations, and a means of automatically translating path expressions to existing primitive synchronization operations is given.
Preview
Unable to display preview. Download preview PDF.
References
E.W. Dijkstra, Co-operating Sequential processes. (in Programming Languages, F. Genuys, ed. Academic Press, New York, 1968).
A.N. Habermann, Synchronization of Communicating Processes. CACM 15, 3, (March 1972), pp. 171–176.
C.A.R. Hoare, Monitors, An operating system structuring concept. (To be published).
P. Brinch Hanson, Nucleus of a Multiprogramming System. CACM 13, 4, (April 1970), pp. 238–241.
E.W. Dijkstra, Hierarchical ordering of sequential processes. (in Operating Systems Techniques) ed. C.A.R. Hoare and R.H. Perrott, Academic Press. (1973).
The programming language PASCAL, Acta Informatica, Vol. 1, 1, (May 1971), pp. 35–63.
Final Draft Report on the Algorithmic Language Algol 68.
O-J. Dahl, B. Myrhhaug and K. Nygaaŕd, the Simula 67 Common Base Language. Norwegian Computing Centre. (1970).
P.J. Courtois, F. Heymans and D.L. Parnas, Concurrent Control with. “Readers” and “Writers”. CACM 14, 10 (October 1971). pp.667–668.
P. Brinch Hansen, Structured Multiprogramming. CACM 15, 7 (July 1972) pp.574.
W. Wegbreit, B. Brosgol, G. Holloway, C. Premier and J. Spitzen, E.C.L. Programmers Manual. Center for Research in Computing Technology, Harvard University, Cambridge, Massachusetts. (1972).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1974 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Campbell, R.H., Habermann, A.N. (1974). The specification of process synchronization by path expressions. In: Gelenbe, E., Kaiser, C. (eds) Operating Systems. OS 1974. Lecture Notes in Computer Science, vol 16. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0029355
Download citation
DOI: https://doi.org/10.1007/BFb0029355
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-06849-5
Online ISBN: 978-3-540-37805-1
eBook Packages: Springer Book Archive