The atomic manifesto: a story in four quarks

ABSTRACT

This paper is based on a five-day workshop on "Atomicity in System Design and Execution" that took place in Schloss Dagstuhl in Germany [5] in April 2004 and was attended by 32 people from different scientific communities. The participants included researchers from the four areas of• database and transaction processing systems,• fault tolerance and dependable systems,• formal methods for system design and correctness reasoning, and• to a smaller extent, hardware architecture and programming languages.

REFERENCES

• 1: J.-R. Abrial, The B-book: assigning programs to meanings, Cambridge University Press, New York, NY, 1996
• 2: Algirdas Avizienis , Jean-Claude Laprie , Brian Randell , Carl Landwehr, Basic Concepts and Taxonomy of Dependable and Secure Computing, IEEE Transactions on Dependable and Secure Computing, v.1 n.1, p.11-33, January 2004 [doi>10.1109/TDSC.2004.2]
• 3: 1st Int'l. Conference on Autonomic Computing. New York, 2004. http://www.caip.rutgers.edu/~parashar/ac2004/
• 4: Philip Bernstein , Eric Newcomer, Principles of transaction processing: for the systems professional, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1996
• 5: Dagstuhl Seminar 04181. Atomicity in System Design and Execution. Organized by C. Jones, D. Lomet, A. Romanovsky, G. Weikum, http://www.dagstuhl.de/04181/
• 6: Int'l. Workshops on Database Programming Languages, http://www.cs.toronto.edu/ mendel/dbpl.html
• 7: Michael J. Fischer , Nancy A. Lynch , Michael S. Paterson, Impossibility of distributed consensus with one faulty process, Journal of the ACM (JACM), v.32 n.2, p.374-382, April 1985 [doi>10.1145/3149.214121]
• 8: Jim Gray , Andreas Reuter, Transaction Processing: Concepts and Techniques, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1992
• 9: Tim Harris , Keir Fraser, Language support for lightweight transactions, Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications, October 26-30, 2003, Anaheim, California, USA
• 10: Maurice Herlihy , J. Eliot B. Moss, Transactional memory: architectural support for lock-free data structures, Proceedings of the 20th annual international symposium on Computer architecture, p.289-300, May 16-19, 1993, San Diego, California, United States
• 11: C. A. R. Hoare , C. B. Jones, Essays in computing science, Prentice-Hall, Inc., Upper Saddle River, NJ, 1989
• 12: Sushil G. Jajodia , Larry Kerschberg, Advanced Transaction Models and Architectures, Kluwer Academic Publishers, Norwell, MA, 1997
• 13: Cliff B. Jones, Systematic software development using VDM (2nd ed.), Prentice-Hall, Inc., Upper Saddle River, NJ, 1990
• 14: Cliff B. Jones, Operational semantics: concepts and their expression, Information Processing Letters, v.88 n.1-2, p.27-32, 17 October 2003 [doi>10.1016/S0020-0190(03)00383-1]
• 15: J. McCarthy. A formal description of a subset of ALGOL. In Formal Language Description Languages for Computer Programming. North-Holland, 1966.
• 16: J. E.B. Moss, Nested transactions: an approach to reliable distributed computing, Massachusetts Institute of Technology, Cambridge, MA, 1985
• 17: G. D. Plotkin. A structural approach to operational semantics. Journal of Functional and Logic Programming, forthcoming.
• 18: R. Rajwar and J. R. Goodman. Transactional Execution: Toward Reliable, High-Performance, Multithreading. In IEEE Micro 23(6):117--125, 2003.
• 19: Ravi Rajwar , James R. Goodman, Transactional lock-free execution of lock-based programs, Proceedings of the 10th international conference on Architectural support for programming languages and operating systems, October 05-09, 2002, San Jose, California
• 20: B. Randell. System Structure for Software Fault- Tolerance. IEEE Trans. on Software Engineering SE-1(2):220--232, 1975.
• 21: Gurindar S. Sohi , Scott E. Breach , T. N. Vijaykumar, Multiscalar processors, Proceedings of the 22nd annual international symposium on Computer architecture, p.414-425, June 22-24, 1995, S. Margherita Ligure, Italy
• 22: Paulo Verissimo , Luis Rodrigues, Distributed Systems for System Architects, Kluwer Academic Publishers, Norwell, MA, 2001
• 23: Gerhard Weikum , Gottfried Vossen, Transactional information systems: theory, algorithms, and the practice of concurrency control and recovery, Morgan Kaufmann Publishers Inc., San Francisco, CA, 2001
• 24: C. M. F. Rubira , Zhixue Wu, Fault Tolerance in Concurrent Object-Oriented Software through Coordinated Error Recovery, Proceedings of the Twenty-Fifth International Symposium on Fault-Tolerant Computing, p.499, June 27-30, 1995

INDEX TERMS

Primary Classification:
  H. Information Systems
  H.2 DATABASE MANAGEMENT
      H.2.4 Systems
          Subjects: Concurrency

Additional Classification:
  A. General Literature
  A.0 GENERAL
      Subjects: Conference proceedings
  A.1 INTRODUCTORY AND SURVEY

  H. Information Systems
  H.2 DATABASE MANAGEMENT
      H.2.4 Systems
          Subjects: Transaction processing

General Terms:
Languages, Reliability