Article

Free access

Process structuring, synchronization, and recovery using atomic actions

Author:

D. B. LometAuthors Info & Claims

Proceedings of an ACM conference on Language design for reliable software

Pages 128 - 137

https://doi.org/10.1145/800022.808319

Published: 01 March 1977 Publication History

PDF eReader

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.

References

[1]

Brinch Hansen, P. Operating System Principles, Prentice Hall, Englewood Cliffs, N.J., U.S.A. 1973.

Digital Library

Google Scholar

[2]

Clint, M. and Hoare, C. A. R. Program Proving: Jumps and Functions, Acta Inf. 1 (1972) 214-224.

Digital Library

Google Scholar

[3]

Dahl, O-J., Myhnhaug, B. and Nygaard, K. The SIMULA 67 Common Base Language, Norwegian Computer Centre, Oslo, Publication S-22 (1970).

Digital Library

Google Scholar

[4]

Dennis, J. B., and Van Horn, E. C. Programming semantics for multiprogrammed computations. Comm. ACM 9, 3 (March 1966) 143-155.

Digital Library

Google Scholar

[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.

Digital Library

Google Scholar

[9]

Landin, P. A. A correspondence between ALGOL 60 and Church's lambda-notation: part I. Comm. ACM 8, 2 (February 1965) 89-101.

Digital Library

Google Scholar

[10]

Randell, B. System structure for software fault tolerance, Sigplan Notices 10, 6 (June 1975) 437-449.

Digital Library

Google Scholar

[11]

Sussman, G. J. and McDermott, D. V. Why conniving is better than planning. MIT A.I. Memo No. 255A, April, 1972.

Google Scholar

Cited By

View all

Li TChandramouli BMadden S(2024)Performant almost-latch-free data structures using epoch protection in more depthThe VLDB Journal10.1007/s00778-024-00859-833:6(1793-1812)Online publication date: 17-Jun-2024
https://doi.org/10.1007/s00778-024-00859-8
Cai ZBlackburn SBond MWang ZWrigstad T(2021)Understanding and utilizing hardware transactional memory capacityProceedings of the 2021 ACM SIGPLAN International Symposium on Memory Management10.1145/3459898.3463901(1-14)Online publication date: 22-Jun-2021
https://dl.acm.org/doi/10.1145/3459898.3463901
Dorri ALuo FKanhere SJurdak RDong Z(2019)SPB: A Secure Private Blockchain-Based Solution for Distributed Energy TradingIEEE Communications Magazine10.1109/MCOM.2019.180057757:7(120-126)Online publication date: Jul-2019
https://doi.org/10.1109/MCOM.2019.1800577
Show More Cited By

Index Terms

Process structuring, synchronization, and recovery using atomic actions
1. Software and its engineering
  1. Software creation and management
    1. Software development techniques
      1. Error handling and recovery
  2. Software organization and properties
    1. Contextual software domains
      1. Operating systems
        Process management
        Process synchronization

Recommendations

Process structuring, synchronization, and recovery using atomic actions
Proceedings of an ACM conference on Language design for reliable software

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 ...
Process structuring, synchronization, and recovery using atomic actions
Proceedings of an ACM conference on Language design for reliable software

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 ...
Process structuring, synchronization, and recovery using atomic actions
Proceedings of an ACM conference on Language design for reliable software

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 ...

Comments

Information & Contributors

Information

Published In

Proceedings of an ACM conference on Language design for reliable software

March 1977

142 pages

ISBN:9781450373807

DOI:10.1145/800022

Editor:
David B. Wortman

ACM SIGOPS Operating Systems Review Volume 11, Issue 2
Proceedings of an ACM conference on Language design for reliable software
April 1977
142 pages
ISSN:0163-5980
DOI:10.1145/390018
Editor:
David B. Wortman
Issue’s Table of Contents
ACM SIGSOFT Software Engineering Notes Volume 2, Issue 2
Proceedings of an ACM conference on Language design for reliable software
March 1977
142 pages
ISSN:0163-5948
DOI:10.1145/390019
Editor:
David B. Wortman
Issue’s Table of Contents
ACM SIGPLAN Notices Volume 12, Issue 3
Proceedings of an ACM conference on Language design for reliable software
March 1977
142 pages
ISSN:0362-1340
EISSN:1558-1160
DOI:10.1145/390017
Editor:
David B. Wortman
Issue’s Table of Contents

Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for third-party components of this work must be honored. For all other uses, contact the Owner/Author.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 March 1977

Check for updates

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

169
Total Citations
View Citations
1,175
Total Downloads

Downloads (Last 12 months)147
Downloads (Last 6 weeks)30

Reflects downloads up to 05 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Li TChandramouli BMadden S(2024)Performant almost-latch-free data structures using epoch protection in more depthThe VLDB Journal10.1007/s00778-024-00859-833:6(1793-1812)Online publication date: 17-Jun-2024
https://doi.org/10.1007/s00778-024-00859-8
Cai ZBlackburn SBond MWang ZWrigstad T(2021)Understanding and utilizing hardware transactional memory capacityProceedings of the 2021 ACM SIGPLAN International Symposium on Memory Management10.1145/3459898.3463901(1-14)Online publication date: 22-Jun-2021
https://dl.acm.org/doi/10.1145/3459898.3463901
Dorri ALuo FKanhere SJurdak RDong Z(2019)SPB: A Secure Private Blockchain-Based Solution for Distributed Energy TradingIEEE Communications Magazine10.1109/MCOM.2019.180057757:7(120-126)Online publication date: Jul-2019
https://doi.org/10.1109/MCOM.2019.1800577
Makreshanski DLevandoski JStutsman R(2018)To lock, swap, or elideProceedings of the VLDB Endowment10.14778/2809974.28099908:11(1298-1309)Online publication date: 5-Oct-2018
https://dl.acm.org/doi/10.14778/2809974.2809990
Wang TLevandoski JLarson P(2018)Easy Lock-Free Indexing in Non-Volatile Memory2018 IEEE 34th International Conference on Data Engineering (ICDE)10.1109/ICDE.2018.00049(461-472)Online publication date: Apr-2018
https://doi.org/10.1109/ICDE.2018.00049
Weikum G(2018)AtomicityEncyclopedia of Database Systems10.1007/978-1-4614-8265-9_28(186-189)Online publication date: 7-Dec-2018
https://doi.org/10.1007/978-1-4614-8265-9_28
Siddique AAnsari MLuján M(2016)Purge-RehabInternational Journal of Parallel Programming10.1007/s10766-016-0427-444:6(1359-1383)Online publication date: 1-Dec-2016
https://dl.acm.org/doi/10.1007/s10766-016-0427-4
Makreshanski DLevandoski JStutsman R(2015)To lock, swap, or elideProceedings of the VLDB Endowment10.5555/2809974.28099908:11(1298-1309)Online publication date: 1-Jul-2015
https://dl.acm.org/doi/10.5555/2809974.2809990
Trono J(2015)TransactionsJournal of Computing Sciences in Colleges10.5555/2752981.275301730:5(160-166)Online publication date: 1-May-2015
https://dl.acm.org/doi/10.5555/2752981.2753017
Cervini DPorobic DTözün PAilamaki A(2015)Applying HTM to an OLTP SystemProceedings of the 11th International Workshop on Data Management on New Hardware10.1145/2771937.2771946(1-7)Online publication date: 31-May-2015
https://dl.acm.org/doi/10.1145/2771937.2771946
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations