The atomic manifesto: a story in four quarks

Authors:
Cliff Jones;David Lomet;Alexander Romanovsky;Gerhard Weikum;Alan Fekete;Marie-Claude Gaudel;Henry F. Korth;Rogerio de Lemos;Eliot Moss;Ravi Rajwar;Krithi Ramamritham;Brian Randell;Luis Rodrigues
Affiliations:
-;-;-;-;-;-;-;-;-;-;-;-;-
Venue:
ACM SIGMOD Record
Year:
2005

Citing 18
Cited 2

Nested transactions: an approach to reliable distributed computing

Nested transactions: an approach to reliable distributed computing
Essays in computing science

Essays in computing science
Systematic software development using VDM (2nd ed.)

Systematic software development using VDM (2nd ed.)
Transactional memory: architectural support for lock-free data structures

ISCA '93 Proceedings of the 20th annual international symposium on computer architecture
Impossibility of distributed consensus with one faulty process

Journal of the ACM (JACM)
Multiscalar processors

ISCA '95 Proceedings of the 22nd annual international symposium on Computer architecture
The B-book: assigning programs to meanings

The B-book: assigning programs to meanings
Principles of transaction processing: for the systems professional

Principles of transaction processing: for the systems professional
Transactional information systems: theory, algorithms, and the practice of concurrency control and recovery

Transactional information systems: theory, algorithms, and the practice of concurrency control and recovery
Advanced Transaction Models and Architectures

Advanced Transaction Models and Architectures
Distributed Systems for System Architects

Distributed Systems for System Architects
Transaction Processing: Concepts and Techniques

Transaction Processing: Concepts and Techniques
Transactional lock-free execution of lock-based programs

Proceedings of the 10th international conference on Architectural support for programming languages and operating systems
Fault Tolerance in Concurrent Object-Oriented Software through Coordinated Error Recovery

FTCS '95 Proceedings of the Twenty-Fifth International Symposium on Fault-Tolerant Computing
Language support for lightweight transactions

OOPSLA '03 Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications
Operational semantics: concepts and their expression

Information Processing Letters - Special issue: Contribution to computing science
Basic Concepts and Taxonomy of Dependable and Secure Computing

IEEE Transactions on Dependable and Secure Computing
Transactional Execution: Toward Reliable, High-Performance Multithreading

IEEE Micro

An Approach to Splitting Atoms Safely

Electronic Notes in Theoretical Computer Science (ENTCS)
Occurrence nets then and now: the path to structured occurrence nets

PETRI NETS'11 Proceedings of the 32nd international conference on Applications and theory of Petri Nets

Quantified Score

Hi-index	0.00

Visualization

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.