Paper Info
Title
Local atomicity properties: modular concurrency control for abstract data types
Abstract
Atomic actions (or transactions) are useful for coping with concurrency and failures. One way of ensuring atomicity of actions is to implement applications in terms of atomic data types: abstract data types whose objects ensure serializability and recoverability of actions using them. Many atomic types can be implemented to provide high levels of concurrency by taking advantage of algebraic properties of the type's operations, for example, that certain operations commute. In this paper we analyze the level of concurrency permitted by an atomic type. We introduce several local constraints on individual objects that suffice to ensure global atomicity of actions; we call these constraints local atomicity properties. We present three local atomicity properties, each of which is optimal: no strictly weaker local constraint on objects suffices to ensure global atomicity for actions. Thus, the local atomicity properties define precise limits on the amount of concurrency that can be permitted by an atomic type.
Year
DOI
Venue
1989
10.1145/63264.63518
ACM Trans. Program. Lang. Syst.
Keywords
Field
DocType
transactions,local constraint,constraints local atomicity property,weaker local constraint,local atomicity property,modular concurrency control,atomic data type,atomic type,atomic action,additional key words and phrases: abstract data types,atomic types,objects suffices,concurrency,global atomicity,abstract data type,atomic actions,concurrency control
Atomicity,Abstract data type,Serializability,Concurrency control,Concurrency,Computer science,Theoretical computer science,Data type,Modular design,Distributed database,Distributed computing
Journal
Volume
Issue
ISSN
11
2
0164-0925
Citations 
PageRank 
References 
100
38.17
59
Authors
1
Name
Order
Citations
PageRank
William E. Weihl12614903.11