Abstract
Two formulations for synchronization problems, called "system of processes" and "synchronization graphs" are introduced in this paper. These are used to express inherent formal properties for such systems and give a set of inherent requirements for the mutual exclusion problem. Results include two theorems on common data requirements for mutual exclusion.
This work was done while the second author was working at IBM Research Center, Yorktown Heights, New York during the summer of 1977.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Bernstein, A.J., "Analysis of Programs for Parallel Processing," IEEE Trans. Electronic Computers, Vol. EC-15 (October 1966) 757–763.
Dijkstra, E.W., "Solution of a Problem in Concurrent Programming Control," Comm. ACM 8 (September 1965) pg. 569.
Dijkstra, E.W., "Co-operating Sequential Processes," in Programming Languages, (F. Genuys, Ed.), New York, Academic Press (1968) 43–112.
Gilbert, Philip and W. J. Chandler, "Interference Between Communicating Parallel Processes," C.ACM 15, No. 6 (June, 1972) 427–437.
Karp, R.M. and R.E. Miller, "Parallel Program Schemata," JCSS 3 (May, 1969) pp. 147–195.
Lamport, L., "On Concurrent Reading and Writing," Report CA-7409-0511, Massachusetts Computer Associates, Inc., September 1974, revised March 1976.
Lamport, L., "Time, Clocks and the Ordering of Events in a Distributed System", Report CA-7603-2911, Massachusetts Computer Associates, Inc., March 1976.
Lipton, Richard J., "On Synchronization Primitive Systems," Ph.D. Thesis, Carnegie-Mellon University, 1973 and Research Report #22, Yale University, Department of Computer Science, October 1973.
Miller, R.E., "Relationships Among Models of Parallelism and Synchronization," to appear in Proceedings of Symposium on Petri Nets and Related Methods, July 1975.
Miller, R. E. and C. K. Yap, "On Formulating Simultaneity for Studying Parallelism and Synchronization," Proceedings of the Tenth Annual ACM Symposium on Theory of Computing, May, 1978. pp. 105–113.
Peterson, G.L. and M.J. Fischer, "Economical Solutions for the Critical Section Problem in a Distributed System, extended abstract." Proceedings of the Ninth Annual ACM Symposium on Theory of Computing, May 1977, 91–97.
Rivest, R.L. and V.R. Pratt, "The Mutual Exclusion Problem for Unreliable Processes: Preliminary Report." Proceedings of the 17th Annual IEEE Symposium on Foundations of Computer Science, October, 1976, 1–8.
Yap, C.K., "On Abstract Synchronization Problems and Synchronization Systems." Unpublished manuscript, 1976.
Zave, Pamela, "On the Formal Definition of Processes." Proceedings of International Conference on Parallel Processing, 1976.
Zave, Pamela and D.R. Fitzwater, "Specification of Asynchronous Interactions Using Primitive Functions." Technical Report, Dept. of Computer Science, University of Maryland, 1977.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1979 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Miller, R.E., Yap, C.K. (1979). On the formal specification and analysis of loosely connected processes. In: Blum, E.K., Paul, M., Takasu, S. (eds) Mathematical Studies of Information Processing. Lecture Notes in Computer Science, vol 75. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-09541-1_22
Download citation
DOI: https://doi.org/10.1007/3-540-09541-1_22
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-09541-5
Online ISBN: 978-3-540-35010-1
eBook Packages: Springer Book Archive