On a solution to the cigarette smoker's problem (without conditional statements)
Communications of the ACM
Monitors: an operating system structuring concept
Communications of the ACM
Concurrent control with “readers” and “writers”
Communications of the ACM
A Discipline of Programming
The specification of process synchronization by path expressions
Operating Systems, Proceedings of an International Symposium
Representation of process synchronization
Proceedings of the 1975 ACM SIGCOMM/SIGOPS workshop on Interprocess communications
Synchronization of concurrent processes.
Synchronization of concurrent processes.
Delay-Independent Design for Distributed Systems
IEEE Transactions on Software Engineering
Adapting synchronization counters to the requirements of inheritance
ACM SIGPLAN OOPS Messenger
Adapting synchronization counters to the requirements of inheritance
ACM SIGPLAN OOPS Messenger
Virtual synchronization: uncoupling synchronization annotations from synchronization code
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A computer system supporting data abstraction
ACM SIGOPS Operating Systems Review
A computer system supporting data abstraction
ACM SIGOPS Operating Systems Review
The octahedron abstract domain
Science of Computer Programming
Hi-index | 0.00 |
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.