TOP
Search the Dagstuhl Website
Looking for information on the websites of the individual seminars? - Then please:
Not found what you are looking for? - Some of our services have separate websites, each with its own search option. Please check the following list:
Schloss Dagstuhl - LZI - Logo
Schloss Dagstuhl Services
Seminars
Within this website:
External resources:
  • DOOR (for registering your stay at Dagstuhl)
  • DOSA (for proposing future Dagstuhl Seminars or Dagstuhl Perspectives Workshops)
Publishing
Within this website:
External resources:
dblp
Within this website:
External resources:
  • the dblp Computer Science Bibliography


Dagstuhl Seminar 06121

Atomicity: A Unifying Concept in Computer Science

( Mar 19 – Mar 24, 2006 )


Permalink
Please use the following short url to reference this page: https://www.dagstuhl.de/06121

Organizers


Sponsors
The Dagstuhl Foundation gratefully acknowledges the donation from



Summary

This seminar was based on and continued the interaction of different computer-science communities that was begun in an earlier Dagstuhl seminar in April 2004. Both seminars have aimed at a deeper understanding of the fundamental concept of atomic actions and their roles in system design, execution, modeling, and correctness reasoning, and at fostering collaboration, synergies, and a unified perspective across largely separated research communities. Each of the two seminar brought together about 30 researchers and industrial practitioners from the four areas of database and transaction processing systems, fault tolerance and dependable systems, formal methods, and to smaller extent, hardware architecture and programming languages. The interpretations and roles of the atomicity concept(s) vary substantially across these communities. For example, the emphasis in database systems is on algorithms and implementation techniques for atomic transactions, whereas in dependable systems and formal methods atomicity is viewed as an intentionally imposed or postulated property of system components to simplify designs and increase dependability. Nevertheless, all four communities share the hope that it will eventually be possible to unify the different scientific viewpoints into more coherent foundations, system development principles, design methodologies, and usage guidelines.

The 2004 seminar was very successful on connecting the communities. It raised first skepticism and then curiosity about each other's viewpoints and methodologies. As a major achievement, it led to a strategic position paper, entitled "The Atomic Manifesto: a Story in Four Quarks", which appeared, in identical form, in widely read publication venues in the different communities: ACM SIGMOD Record, ACM Operating Systems Review, the Journal of Universal Computer Science, and also within the Dagstuhl Seminar Proceedings. In addition, the seminar produced a special issue of the Journal of Universal Computer Science with 8 full papers that were presented in preliminary form at the seminar and one full paper co-authored by two researchers who had not met before the seminar. The Atomicity seminar in March 2006 was intended to intensify and extend this barely blooming plant of cross-community collaboration, to revisit and refine the technical challenges identified in 2004, and to discuss the progress made in the last two years.

Results of the Seminar

The presentations and discussions at the seminar reconfirmed that a unified foundation for atomicity is a strategically important and pressing research avenue. Furthermore, the seminar was again successful in spawning new collaborations among participants, some of which span communities. It is planned to prepare another special issue for the Journal of Universal Computer Science, with full papers that hopefully emerge from this ongoing work and the results presented at the seminar.

In terms of specific research issues, the following topics led to intensive discussions and were identified as key directions within the broad theme of atomicity:

  1. the integration of open nested transactions into programming languages and their run-time environment,
  2. methods for providing strong guarantees about system behavior based on weaker guarantees by the underlying components,
  3. handling atomic actions in time-critical environments like operating system kernels.

Participants
  • Jean-Raymond Abrial (ETH Zürich, CH) [dblp]
  • Catriel Beeri (The Hebrew University of Jerusalem, IL)
  • Ernie Cohen (Microsoft Corporation - Redmond, US) [dblp]
  • Joey W. Coleman (University of Newcastle, GB)
  • Charles T. Davies (San Luis Obispo, US)
  • Rogerio de Lemos (University of Kent, GB) [dblp]
  • Neil Evans (University of Southampton, GB)
  • Alan Fekete (The University of Sydney, AU) [dblp]
  • Christof Fetzer (TU Dresden, DE) [dblp]
  • Wilhelm Hasselbring (Universität Oldenburg, DE) [dblp]
  • Holger Hermanns (Universität des Saarlandes, DE) [dblp]
  • Charles Anthony Richard Hoare (Microsoft Research UK - Cambridge, GB) [dblp]
  • Alexei Iliasov (University of Newcastle, GB) [dblp]
  • Jim Johnson (Microsoft Corporation - Redmond, US)
  • Cliff B. Jones (University of Newcastle, GB) [dblp]
  • Jörg Kienzle (McGill University - Montreal, CA) [dblp]
  • David B. Lomet (Microsoft Research - Redmond, US) [dblp]
  • P. Michael Melliar-Smith (University of California - Santa Barbara, US)
  • Stephan Merz (LORIA - Nancy, FR) [dblp]
  • Louise Moser (University of California - Santa Barbara, US)
  • J. Eliot B. Moss (University of Massachusetts - Amherst, US) [dblp]
  • Arnd Poetzsch-Heffter (TU Kaiserslautern, DE) [dblp]
  • Calton Pu (Georgia Institute of Technology - Atlanta, US)
  • Andreas Reuter (HITS gGmbH - Heidelberg, DE) [dblp]
  • Luis Rodrigues (University of Lisboa, PT) [dblp]
  • Alexander Romanovsky (University of Newcastle, GB) [dblp]
  • Ralf Schenkel (MPI für Informatik - Saarbrücken, DE) [dblp]
  • André Schiper (EPFL - Lausanne, CH) [dblp]
  • Kaisa Sere (Abo Akademi University - Turku, FI)
  • David J. Taylor (University of Waterloo, CA)
  • Elena Troubitsyna (Abo Akademi University - Turku, FI) [dblp]
  • Gottfried Vossen (Universität Münster, DE) [dblp]
  • Christoph Weidenbach (MPI für Informatik - Saarbrücken, DE) [dblp]
  • Gerhard Weikum (MPI für Informatik - Saarbrücken, DE) [dblp]
  • Divakar Yadav (University of Southampton, GB)
  • Irfan Zakiuddin (QinetiQ - Malvern, GB)

Related Seminars
  • Dagstuhl Seminar 04181: Atomicity in System Design and Execution (2004-04-25 - 2004-04-30) (Details)