JUCS - Journal of Universal Computer Science 11(5): 636-650, doi: 10.3217/jucs-011-05-0636
The Atomic Manifesto
expand article infoCliff B. Jones, David Lomet§, Alexander Romanovsky|, Gerhard Weikum
‡ Newcastle University, Newcastle§ Microsoft Research, United States of America| University of Newcastle upon Tyne, United Kingdom¶ MPI Saarbruecken, Saarbruecken, Germany
Open Access
Abstract
This paper is a manifesto for future research on "atomicity" in its many guises and is based on a five-day workshop on "Atomicity in System Design and Execution" that took place in Schloss Dagstuhl in Germany in April 2004. Additional Authors: Dagstuhl Seminar, (Organizer Authors) and Alan Fekete, Marie-Claude Gaudel, Henry F. Korth, Rogerio de Lemos, Eliot Moss, Ravi Rajwar, Krithi Ramamritham, Brian Randell, Luis Rodrigues, Dagstuhl Seminar, (Participant Authors).
Keywords
atomicity, transactions, dependability, formal methods, hardware, programming languages