JUCS - Journal of Universal Computer Science 11(5): 651-660, doi: 10.3217/jucs-011-05-0651
Atomicity as a First-Class System Provision
expand article infoJ. Eliot B. Moss, Ravi Rajwar§
‡ Department of Computer Science University of Massachusetts, Amherst, MA, United States of America§ Intel Corporation Hillsboro, Hillsboro, OR, United States of America
Open Access
Abstract
We argue that atomicity, i.e., atomic actions with most of the traditional "ACID" properties, namely atomicity, consistency, and isolation but perhaps not durability, should be provided as a fundamental first class resource in computer systems. This implies coherent, convenient, and well-engineered support from the hardware, through the run-time system, programming language, and libraries, to the operating system. We articulate the advantages of this approach, indicate what has already been accomplished, and outline what remains to be done to realize the vision.
Keywords
atomicity, transactions, transactional memory, cache coherence