Abstract
A novel formal theory of concurrent systems that does not assume any atomic operations is introduced. The execution of a concurrent program is modeled as an abstract set of operation executions with two temporal ordering relations: “precedence” and “can causally affect”. A primitive interprocess communication mechanism is then defined. In Part II, the mutual exclusion is expressed precisely in terms of this model, and solutions using the communication mechanism are given.
- 1 BRINCH HANSEN, P. Concurrent programming concepts. Comput. Surv. 5 (1973), 223-245. Google Scholar
- 2 CHANEY, T. J., AND MOLNAR, C. E. Anomalous behavior of synchronizer and arbiter circuits. IEEE Trans. Comput. C-22 (Apr. 1973), 421-422.Google Scholar
- 3 DIJKSTRA, E.W. Solution of a problem in concurrent programming control. Commun. ACM 8, 9 (Sept. 1965), 569. Google Scholar
- 4 EINSTEIN, A. Zur electrodynamik bewegter korper. Ann. Physik, 17 (1905). Translated as: On the electrodynamics of moving bodies. In The Principle of Relativity, Dover, New York, pp. 35-65.Google Scholar
- 5 LAMPORT, L. A new solution of Dijkstra's concurrent programming problem. Commun. ACM 17, 8 (Aug. 1974), 453-455. Google Scholar
- 6 LAMPORT, L. A new approach to proving the correctness of multiprocess programs. ACM Trans. Prog. Lang. Syst. 1, l (July 1979), 84-97. Google Scholar
- 7 LAMPORT, L. On interprocess communication---Part I: Basic formalism. Dist. Comput. (to appear).Google Scholar
- 8 LAMPORT, L. On interprocess communication---Part II: Algorithms. Dist. Comput. (to appear).Google Scholar
- 9 LAMPORT, L. The mutual exclusion problem: Part II--Statement and solutions. J. ACM 33, 2 (Apr. 1986), 327-348. Google Scholar
- 10 METCALFE, R. M., AND BOGGS, D.R. Ethernet: Distributed packet switching for local computer networks. Commun. ACM 19, 7 (July 1976), 395-404. Google Scholar
- 11 MINKOWSKI, H. Space and Time. In The Principle of Relativity. Dover, New York, pp. 73-8 i.Google Scholar
- 12 PALAIS, R., AND LAMPORT, L. On the glitch phenomenon. Tech. Rep. CA-7611-081 l, Massachusetts Computer Associates, Wakefield, Mass., Nov. 1976.Google Scholar
- 13 PETERSON, G. L., AND FISCHER, M.J. Economical solutions for the critical section problem in a distributed system. In Proceedings of the 9th ACM Symposium on Theory of Computing (Boulder, Colo., May 2-4). ACM, New York, 1977, pp. 91-97. Google Scholar
- 14 RIVEST, R. L., AND PRATT, V. R. The mutual exclusion problem for unreliable processes: Preliminary report. In Proceedings of the IEEE Symposium on Foundations of Computer Science. IEEE, New York, 1976, pp. 1-80.Google Scholar
- 15 SCHWARTZ, J.T. Relativity in Illustrations. New York University Press, New York, 1962.Google Scholar
- 16 TAYLOR, E. F., AND WHEELER, J.A. Space-Time Physics. W. H. Freeman, San Francisco, 1966.Google Scholar
Index Terms
- The mutual exclusion problem: part I—a theory of interprocess communication
Recommendations
The mutual exclusion problem: part I---A theory of interprocess communication
ConcurrencyA novel formal theory of concurrent systems that does not assume any atomic operations is introduced. The execution of a concurrent program is modeled as an abstract set of operation executions with two temporal ordering relations: "precedence" and "can ...
Fair group mutual exclusion
PODC '03: Proceedings of the twenty-second annual symposium on Principles of distributed computingIn the group mutual exclusion problem [6], which generalizes mutual exclusion [2], a process chooses a session when it requests entry to the Critical Section. A group mutual exclusion algorithm must ensure that the mutual exclusion property holds: If ...
Comments