Concurrent control with “readers” and “writers”
Communications of the ACM
The structure of the “THE”-multiprogramming system
Communications of the ACM
A description of path expressions by Petri nets
POPL '75 Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The specification of process synchronization by path expressions
Operating Systems, Proceedings of an International Symposium
Concepts and Notations for Concurrent Programming
ACM Computing Surveys (CSUR)
ACM SIGPLAN Notices
Synchronization of concurrent processes without globality assumptions
ACM SIGPLAN Notices
Hi-index | 0.00 |
A macro notation incorporating path notation is introduced. The notation was designed to permit the specification of the behaviour of a distributed system in terms of resources characterized by associated synchronization statements. The proper co-ordination of processes using the resources can thus be stated as the permissible order of execution of operations on shared resources as part of the resource definition. This contrasts with the usual "process oriented" approach which associates synchronization statements with the processes using the resource. This makes proper co-ordination of processes part of the individual task of each process. We argue that the process oriented approach is not suited for specifying highly parallel systems with distributed decision capabilities. The notions of adequacy, starvation, priority and interrupts are discussed in the context of our "resource oriented" approach and compared with thei counterparts in a "process oriented" approach. Semi formal demonstrations of the adequacy of simple but realistic example systems are sketched.