License: Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagSemProc.04181.1
URN: urn:nbn:de:0030-drops-93
Go to the corresponding Portal

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

The Atomic Manifesto: a Story in Four Quarks

areport-sigmodrecord_headers.pdf (0.4 MB)


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.

BibTeX - Entry

  author =	{Jones, Cliff and Lomet, David and Romanovsky, Alexander and Weikum, Gerhard and Fekete, Alan and Gaudel, Marie-Claude and Korth, Henry F. and de Lemos, Rogerio and Moss, Eliot and Rajwar, Ravi and Ramamritham, Krithi and Randell, Brian and Rodrigues, Luis},
  title =	{{The Atomic Manifesto: a Story in Four Quarks}},
  booktitle =	{Atomicity in System Design and Execution},
  pages =	{1--5},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2004},
  volume =	{4181},
  editor =	{Cliff Jones and David Lomet and Alexander Romanovsky and Gerhard Weikum},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{},
  URN =		{urn:nbn:de:0030-drops-93},
  doi =		{10.4230/DagSemProc.04181.1},
  annote =	{Keywords: Atomic Actions , Transaction Processing , Database Systems , Dependability , Fault Tolerance , Formal Methods , Correctness Reasoning}

Keywords: Atomic Actions , Transaction Processing , Database Systems , Dependability , Fault Tolerance , Formal Methods , Correctness Reasoning
Collection: 04181 - Atomicity in System Design and Execution
Follow-Up Publication: Journal of Universal Computer Science, Vol. 11, No. 5, pp. 634-802
Issue Date: 2004
Date of publication: 30.11.2004

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI