Process synchronization by counter variables

ABSTRACT

A new method for expressing synchronization is presented which derives from several concepts in existing notational schemes. Synchronization conditions are expressed in terms of (integer) counters which are incorporated into the definitions of data objects shared by several asynchronous processes. It is shown that the method is at least as powerful as PV-type synchronization, and the solutions to some "classical" problems are presented using the notation.

REFERENCES

• 1: Brinch Hansen, P. : A Comparison of Two Synchronizing Concepts, Acta Informatica <u>1</u>, 190--199 (1972).
• 2: Roy H. Campbell , A. Nico Habermann, The specification of process synchronization by path expressions, Operating Systems, Proceedings of an International Symposium, p.89-102, April 23-25, 1974
• 3: Campbell, R. H. : Path Expressions, Ph.D Thesis, University of Newcastle Upon Tyne, August 1976.
• 4: Robert C. Chen, Representation of process synchronization, Proceedings of the 1975 ACM SIGCOMM/SIGOPS workshop on Interprocess communications, p.37-42, January 1975
• 5: P. J. Courtois , F. Heymans , D. L. Parnas, Concurrent control with “readers” and “writers”, Communications of the ACM, v.14 n.10, p.667-668, Oct. 1971 [doi>10.1145/362759.362813]
• 6: Courtois, P. J., Heymans, F. & Parnas, D. L. : Comments on "A Comparison of Two Synchronizing Concepts", Acta Informatica <<u>1</u>, 375--376 (1972).
• 7: Dijkstra, E. W. : Hierarchical Ordering of Sequential Processes, Acta Informatica, <u>1</u>, 115--138 (1971).
• 8: Edsger Wybe Dijkstra, A Discipline of Programming, Prentice Hall PTR, Upper Saddle River, NJ, 1997
• 9: Habermann, A. N. : Path Expressions, Carnegie-Mellon University, June 1975.
• 10: C. A. R. Hoare, Monitors: an operating system structuring concept, Communications of the ACM, v.17 n.10, p.549-557, Oct. 1974 [doi>10.1145/355620.361161]
• 11: Hoare, C. A. R. : Communicating Sequential Processes (draft), Queen's University of Belfast, August 1976.
• 12: Lauer, P. E. & Campbell, R. H. : Formal Semantics of a Class of High-Level Primitives for Co-ordinating Concurrent Processes, Acta Informatica, <u>5</u>, 297--332 (1975).
• 13: D. L. Parnas, On a solution to the cigarette smoker's problem (without conditional statements), Communications of the ACM, v.18 n.3, p.181-183, March 1975 [doi>10.1145/360680.360709]
• 14: Patil, S. S. : Limitations and Capabilities of Dijkstra's Semaphore Primitives for Co-ordination amongst Processes, Project MAC, Computational Structures Group Memo 57, February, 1971.
• 15: Odd Pettersen, Synchronization of concurrent processes., Stanford University, Stanford, CA, 1975
• 16: Wirth, N.: MODULA: A Language for Modular Multiprogramming, ETH Institut fur Informatik Report No. 18, March 1976.