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 SIGMOD Record, Volume 34, Issue 1

Pages 63 - 69

https://doi.org/10.1145/1058150.1058165

Published: 01 March 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]

1st 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

Hai-Jew S(2018)Engaging Technology-Based Manifestos Three WaysTechniques for Coding Imagery and Multimedia10.4018/978-1-5225-2679-7.ch003(132-211)Online publication date: 2018
https://doi.org/10.4018/978-1-5225-2679-7.ch003
Jones CAstarte T(2018)Challenges for Formal Semantic Description: Responses from the Main ApproachesEngineering Trustworthy Software Systems10.1007/978-3-030-02928-9_6(176-217)Online publication date: 13-Nov-2018
https://doi.org/10.1007/978-3-030-02928-9_6
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
Show More Cited By

Index Terms

The atomic manifesto: a story in four quarks

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 SIGMOD Record

ACM SIGMOD Record Volume 34, Issue 1

March 2005

86 pages

ISSN:0163-5808

DOI:10.1145/1058150

Issue’s Table of Contents

Copyright © 2005 Authors.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 March 2005

Published in SIGMOD Volume 34, Issue 1

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

9
Total Citations
View Citations
197
Total Downloads

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

Reflects downloads up to 23 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Hai-Jew S(2018)Engaging Technology-Based Manifestos Three WaysTechniques for Coding Imagery and Multimedia10.4018/978-1-5225-2679-7.ch003(132-211)Online publication date: 2018
https://doi.org/10.4018/978-1-5225-2679-7.ch003
Jones CAstarte T(2018)Challenges for Formal Semantic Description: Responses from the Main ApproachesEngineering Trustworthy Software Systems10.1007/978-3-030-02928-9_6(176-217)Online publication date: 13-Nov-2018
https://doi.org/10.1007/978-3-030-02928-9_6
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
Weikum G(2016)AtomicityEncyclopedia of Database Systems10.1007/978-1-4899-7993-3_28-2(1-4)Online publication date: 7-Dec-2016
https://doi.org/10.1007/978-1-4899-7993-3_28-2
Randell B(2011)Occurrence nets then and nowProceedings of the 32nd international conference on Applications and theory of Petri Nets10.5555/2022192.2022194(1-16)Online publication date: 20-Jun-2011
https://dl.acm.org/doi/10.5555/2022192.2022194
Randell B(2011)Occurrence Nets Then and Now: The Path to Structured Occurrence NetsApplications and Theory of Petri Nets10.1007/978-3-642-21834-7_1(1-16)Online publication date: 2011
https://doi.org/10.1007/978-3-642-21834-7_1
Weikum G(2009)AtomicityEncyclopedia of Database Systems10.1007/978-0-387-39940-9_28(143-146)Online publication date: 2009
https://doi.org/10.1007/978-0-387-39940-9_28
Jones C(2007)Understanding Programming Language Concepts Via Operational SemanticsDomain Modeling and the Duration Calculus10.1007/978-3-540-74964-6_4(177-235)Online publication date: 2007
https://doi.org/10.1007/978-3-540-74964-6_4
Jones C(2006)An Approach to Splitting Atoms SafelyElectronic Notes in Theoretical Computer Science (ENTCS)10.1016/j.entcs.2005.11.051155(43-60)Online publication date: 1-May-2006
https://dl.acm.org/doi/10.1016/j.entcs.2005.11.051

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.

Media

Figures

Other

Tables

View Issue’s Table of Contents