Neue strukturierte Sprachkonzepte zur Prozessynchronisation
We assume that parallel programs can be started repeatedly without earlier runs of the same program having finished. This leads to the notions of process classes and classes of critical passages. To formulate synchronisation between such classes in a higher level language, new structured notations are proposed, which are extensions of the concepts "conditional critical regions" and "monitor". These new notations have two major advantages. Firstly they allow not only to express mutual exclusion but also single exclusion, an exclusion relation which often occurs in application problems (e.g. the second problem of readers and writers). Secondly because they deal with classes instead of single processes, the usual counting mechanisms to count several runs of the same program coexisting in time become invisible to the programmer. For instance, this makes unnecessary the use of "readercount" and "writercount" in the second problem of readers and writers.
Unable to display preview. Download preview PDF.
- [BW73]Belpaire G. and Wilmotte P. A semantic approach to the theory of parallel processes. in A. Guenther et al. (eds.), International Computing Symposium 1973 (Davos).Google Scholar
- [CHP71]Courtois P.J., Heymans F., and Parnas D.L.; Concurrent control with readers and writers. CACM 14, 10 (October 1971).Google Scholar
- [BH73]Brinch-Hansen P.; Operating System Principles. Prentice-Hall, Englewood Cliffs, N.J., 1973.Google Scholar
- [BH74]Brinch-Hansen P.; A programming methodology for operating system design. Lecture Notes of the IFIP Congress 1974.Google Scholar
- [Ho74]Hoare C.A.R.: Monitors: an operating system structuring concept. CACM 17, (October 1974).Google Scholar
- [BH74a]Brinch-Hansen, P.; Concurrent Pascal — a programming language for operating system design. Technical Institute of Technology, Pasadena California.Google Scholar