The Atomic Manifesto: a Story in Four Quarks

Authors Cliff Jones, David Lomet, Alexander Romanovsky, Gerhard Weikum, Alan Fekete, Marie-Claude Gaudel, Henry F. Korth, Rogerio de Lemos, Eliot Moss, Ravi Rajwar, Krithi Ramamritham, Brian Randell, Luis Rodrigues



PDF
Thumbnail PDF

File

DagSemProc.04181.1.pdf
  • Filesize: 432 kB
  • 6 pages

Document Identifiers

Author Details

Cliff Jones
David Lomet
Alexander Romanovsky
Gerhard Weikum
Alan Fekete
Marie-Claude Gaudel
Henry F. Korth
Rogerio de Lemos
Eliot Moss
Ravi Rajwar
Krithi Ramamritham
Brian Randell
Luis Rodrigues

Cite AsGet BibTex

Cliff Jones, David Lomet, Alexander Romanovsky, Gerhard Weikum, Alan Fekete, Marie-Claude Gaudel, Henry F. Korth, Rogerio de Lemos, Eliot Moss, Ravi Rajwar, Krithi Ramamritham, Brian Randell, and Luis Rodrigues. The Atomic Manifesto: a Story in Four Quarks. In Atomicity in System Design and Execution. Dagstuhl Seminar Proceedings, Volume 4181, pp. 1-5, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2004)
https://doi.org/10.4230/DagSemProc.04181.1

Abstract

This report summarizes the viewpoints and insights gathered in the Dagstuhl Seminar on Atomicity in System Design and Execution, which was attended by 32 people from four different scientific communities: database and transaction processing systems, fault tolerance and dependable systems, formal methods for system design and correctness reasoning, and hardware architecture and programming languages. Each community presents its position in interpreting the notion of atomicity and the existing state of the art, and each community identifies scientific challenges that should be addressed in future work. In addition, the report discusses common themes across communities and strategic research problems that require multiple communities to team up for a viable solution. The general theme of how to specify, implement, compose, and reason about extended and relaxed notions of atomicity is viewed as a key piece in coping with the pressing issue of building and maintaining highly dependable systems that comprise many components with complex interaction patterns.
Keywords
  • Atomic Actions
  • Transaction Processing
  • Database Systems
  • Dependability
  • Fault Tolerance
  • Formal Methods
  • Correctness Reasoning

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail