article

The atomic manifesto: a story in four quarks

Authors:

Alexander Romanovsky,

Gerhard Weikum,

Marie-Claude Gaudel,

Henry F. Korth,

Rogerio de Lemos,

Krithi Ramamritham,

Luis RodriguesAuthors Info & Claims

ACM SIGOPS Operating Systems Review, Volume 39, Issue 2

Pages 41 - 46

https://doi.org/10.1145/1055218.1055220

Published: 01 April 2005 Publication History

Abstract

This paper is based on a five-day workshop on "Atomicity in System Design and Execution" that took place in Schloss Dagstuhl in Germany [5] in April 2004 and was attended by 32 people from different scientific communities. The participants included researchers from the four areas of• database and transaction processing systems,• fault tolerance and dependable systems,• formal methods for system design and correctness reasoning, and• to a smaller extent, hardware architecture and programming languages.

References

[1]

J.-R. Abrial. The B-Book; Assigning Programs to Meanings. Cambridge University Press, 1996.

Digital Library

[2]

A Avizienis, J-C Laprie, C. Landwehr, B. Randell. Basic Concepts and Taxonomy of Dependable and Secure Computing. IEEE Trans. on Dependable and Secure Computing 1(1): 11--13, 2004.

Digital Library

[3]

Ist Int'l, Conference on Autonomic Computing. New York, 2004. http://www.caip.rutgers.edu/~parashar/ac2004/

[4]

P. Bernstein and E. Newcomer. Principles of Transaction Processing for the Systems Professional. Morgan Kaufmann, 1997.

Digital Library

[5]

Dagstuhl Seminar 04181. Atomicity in System Design and Execution. Organized by C. Jones, D. Lomet, A. Romanovsky, G. Weikum. http://www.dagstuhl.de/04181/

[6]

Int'l. Workshops on Database Programming Languages, http://www.cs.toronto.edu/mendel/dbpl.html

[7]

M. Fischer, N. Lynch, M. Paterson. Impossibility of Distributed Consensus with One Faulty Process. Journal of the ACM 32(2):374--382, 1985.

Digital Library

[8]

J. Gray and A. Reuter. Transaction Processing: Concepts and Techniques. Morgan Kaufmann, 1993.

Digital Library

[9]

T. Harris, K. Fraser. Language support for lightweight transactions. In Proc. of the Int'l. Conference on Object-Oriented Progamming Systems, Languages, and Applications, 2003.

Digital Library

[10]

M. Herlihy and J. E. B. Moss. Transactional Memory: Architectural support for lock-free data structures. In Proc. of the Int'l. Symposium on Computer Architecture, 1993.

Digital Library

[11]

C. A. R. Hoare, C. B. Jones. Essays in Computing Science. Prentice Hall International, 1989.

Digital Library

[12]

S. Jajodia and L. Kerschberg (Editors). Advanced Transaction Models and Architectures. Kluwer, 1997.

Digital Library

[13]

C. B. Jones. Systematic Software Development using VDM. Prentice Hall, 1990.

Digital Library

[14]

C. B. Jones, Operational semantics: concepts and their expression. Information Processing Letters 88:27--32, 2003.

Digital Library

[15]

J. McCarthy. A formal description of a subset of ALGOL. In Formal Language Description Languages for Computer Programming. North-Holland, 1966.

[16]

J. E. B. Moss. Nested Transactions: An Approach to Reliable Distributed Computing. MIT Press, 1985.

Digital Library

[17]

G. D. Plotkin. A structural approach to operational semantics. Journal of Functional and Logic Programming, forthcoming.

[18]

R. Rajwar and J. R. Goodman. Transactional Execution: Toward Reliable, High-Performance Multithreading. In IEEE Micro 23(6):117--125, 2003.

Digital Library

[19]

R. Rajwar and J. R. Goodman. Transactional lock-free execution of lock-based programs. In Proc. of the Int'l. Conference on Architectural Support for Programming Languages and Operating Systems, 2002.

Digital Library

[20]

B. Randell. System Structure for Software Fault-Tolerance. IEEE Trans, on Software Engineering SE-1(2):220--232, 1975.

Digital Library

[21]

G. S. Sohi, S. E. Breach, and T. N. Vijaykumar. Multiscalar processors. In Proc. of the 22nd Int'l. Symposium on Computer Architecture, 1995.

Digital Library

[22]

P. Verissimo, L. Rodrigues. Distributed Systems for System Architects. Kluwer, 2000.

Digital Library

[23]

G. Weikum and G. Vossen. Transactional Information Systems: Theory, Algorithms, and the Practice of Concurrency Control and Recovery, Morgan Kaufmann, 2002.

Digital Library

[24]

J. Xu, B. Randell, A. Romanovsky, C. Rubira, R. Stroud, Z. Wu. Fault Tolerance in Concurrent Object-Oriented Software through Coordinated Error Recovery. In Proc. of the 25th Int'l. Symposium on Fault-Tolerant Computing Systems, 1995.

Digital Library

Cited By

Cotton AIsraël MBorgel J(2008)Molecular Approach Paves the Way towards High Resilience for Large Mission-Critical Information SystemsProceedings of the 2008 Second International Conference on Emerging Security Information, Systems and Technologies10.1109/SECURWARE.2008.70(332-337)Online publication date: 25-Aug-2008
https://dl.acm.org/doi/10.1109/SECURWARE.2008.70
de Lemos RCheng Bde Lemos RFickas SGarlan DMagee JMüller HTaylor R(2006)Architectural reconfiguration using coordinated atomic actionsProceedings of the 2006 international workshop on Self-adaptation and self-managing systems10.1145/1137677.1137686(44-50)Online publication date: 21-May-2006
https://dl.acm.org/doi/10.1145/1137677.1137686

Index Terms

The atomic manifesto: a story in four quarks
1. Software and its engineering
  1. Software creation and management
    1. Software post-development issues
      1. Backup procedures
  2. Software organization and properties
    1. Contextual software domains
      1. Operating systems
        Process management
        Mutual exclusion
    2. Extra-functional properties
      1. Software fault tolerance
        Checkpoint / restart

Recommendations

The atomic manifesto: a story in four quarks

This paper is based on a five-day workshop on "Atomicity in System Design and Execution" that took place in Schloss Dagstuhl in Germany [5] in April 2004 and was attended by 32 people from different scientific communities. The participants included ...
Inferring locks for atomic sections
PLDI '08: Proceedings of the 29th ACM SIGPLAN Conference on Programming Language Design and Implementation

Atomic sections are a recent and popular idiom to support the development of concurrent programs. Updates performed within an atomic section should not be visible to other threads until the atomic section has been executed entirely. Traditionally, ...
Inferring locks for atomic sections
PLDI '08

Atomic sections are a recent and popular idiom to support the development of concurrent programs. Updates performed within an atomic section should not be visible to other threads until the atomic section has been executed entirely. Traditionally, ...

Comments

Information & Contributors

Information

Published In

cover image ACM SIGOPS Operating Systems Review

ACM SIGOPS Operating Systems Review Volume 39, Issue 2

April 2005

93 pages

ISSN:0163-5980

DOI:10.1145/1055218

Issue’s Table of Contents

Copyright © 2005 Authors.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 April 2005

Published in SIGOPS Volume 39, Issue 2

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
496
Total Downloads

Downloads (Last 12 months)2
Downloads (Last 6 weeks)0

Reflects downloads up to 01 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

Cotton AIsraël MBorgel J(2008)Molecular Approach Paves the Way towards High Resilience for Large Mission-Critical Information SystemsProceedings of the 2008 Second International Conference on Emerging Security Information, Systems and Technologies10.1109/SECURWARE.2008.70(332-337)Online publication date: 25-Aug-2008
https://dl.acm.org/doi/10.1109/SECURWARE.2008.70
de Lemos RCheng Bde Lemos RFickas SGarlan DMagee JMüller HTaylor R(2006)Architectural reconfiguration using coordinated atomic actionsProceedings of the 2006 international workshop on Self-adaptation and self-managing systems10.1145/1137677.1137686(44-50)Online publication date: 21-May-2006
https://dl.acm.org/doi/10.1145/1137677.1137686

View Options

Login options

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

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Issue’s Table of Contents