> Details

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

The Atomic Manifesto: a Story in Four Quarks

Reference
management

Bookmarks

Remove from
bookmarks

Share this on Whatsapp

Close

Bookmarks



You can manage bookmarks using lists, please log in to your user account for this.
  • Media type: Electronic Conference Proceeding; Text; E-Article
  • Title: The Atomic Manifesto: a Story in Four Quarks
  • Contributor: Jones, Cliff [Author]; Lomet, David [Author]; Romanovsky, Alexander [Author]; Weikum, Gerhard [Author]; Fekete, Alan [Author]; Gaudel, Marie-Claude [Author]; Korth, Henry F. [Author]; de Lemos, Rogerio [Author]; Moss, Eliot [Author]; Rajwar, Ravi [Author]; Ramamritham, Krithi [Author]; Randell, Brian [Author]; Rodrigues, Luis [Author]
  • Published: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2004
  • Language: English
  • DOI: https://doi.org/10.4230/DagSemProc.04181.1
  • Keywords: Formal Methods ; Correctness Reasoning ; Dependability ; Transaction Processing ; Database Systems ; Fault Tolerance ; Atomic Actions
  • Origination:
  • Footnote: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
  • Description: 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.
  • Access State: Open Access