D. B. Lomet
Abstract
This paper explores the notion of an atomic action as a method of process structuring. This notion, first introduced explicitly by Eswaren et al [6] in the context of data base systems, reduces the problem of coping with many processes to that of coping with a single process within the atomic action. A form of process synchronization, the await statement, is adapted to work naturally with atomic actions. System recovery is also considered and we show how atomic actions can be used to isolate recovery action to a single process. Explicit control of recovery is provided by a reset procedure that permits information from rejected control paths to be passed to subsequent alternative paths.
- 1 Brinch Hansen, P. Operating System Principles, Prentice Hall, Englewood Cliffs, N.J., U.S.A. 1973. Google Scholar
Digital Library
- 2 Clint, M. and Hoare, C. A. R. Program Proving: Jumps and Functions, Acta Inf. 1 (1972) 214-224.Google ScholarDigital Library
- 3 Dahl, O-J., Myhnhaug, B. and Nygaard, K. The SIMULA 67 Common Base Language, Norwegian Computer Centre, Oslo, Publication S-22 (1970). Google ScholarDigital Library
- 4 Dennis, J. B., and Van Horn, E. C. Programming semantics for multiprogrammed computations. Comm. ACM 9, 3 (March 1966) 143-155. Google ScholarDigital Library
- 5 Dijkstra, E. W. Co-operating Sequential Processes, in Programming Languages (Ed. F. Genuys), Academic Press, New York, 1968.Google Scholar
- 6 Eswaren, K. P., Gray, J. N., Lorie, R. A., and Traiger, I. L. On the notions of consistency and predicate locks in a data base system. IBM Research Report RJ1487, December 1974.Google Scholar
- 7 Gray, J. N., Lorie, R. A., Putzolu, G. R., and Traiger, I. L. Granularity of locks and degrees of consistency in a shared data base. IBM Research Report RJ1654, September 1975.Google Scholar
- 8 Hoare, C. A. R. Monitors, an operating system structuring concept. Comm. ACM 17, 10 (October 1974) 549-557. Google ScholarDigital Library
- 9 Landin, P. A. A correspondence between ALGOL 60 and Church's lambda-notation: part I. Comm. ACM 8, 2 (February 1965) 89-101. Google ScholarDigital Library
- 10 Randell, B. System structure for software fault tolerance, Sigplan Notices 10, 6 (June 1975) 437-449. Google ScholarDigital Library
- 11 Sussman, G. J. and McDermott, D. V. Why conniving is better than planning. MIT A.I. Memo No. 255A, April, 1972.Google Scholar
Index Terms
- Process structuring, synchronization, and recovery using atomic actions
Recommendations
Process structuring, synchronization, and recovery using atomic actions
Proceedings of an ACM conference on Language design for reliable softwareThis paper explores the notion of an atomic action as a method of process structuring. This notion, first introduced explicitly by Eswaren et al [6] in the context of data base systems, reduces the problem of coping with many processes to that of coping ...
Process structuring, synchronization, and recovery using atomic actions
Proceedings of an ACM conference on Language design for reliable softwareThis paper explores the notion of an atomic action as a method of process structuring. This notion, first introduced explicitly by Eswaren et al [6] in the context of data base systems, reduces the problem of coping with many processes to that of coping ...
Process structuring, synchronization, and recovery using atomic actions
Proceedings of an ACM conference on Language design for reliable softwareThis paper explores the notion of an atomic action as a method of process structuring. This notion, first introduced explicitly by Eswaren et al [6] in the context of data base systems, reduces the problem of coping with many processes to that of coping ...
Comments