LCS Publication Details
Publication Title: COMMUTATIVITY-BASED CONCURRENCY CONTROL FOR ABSTRACT DATA TYPES
Publication Author: Weihl, William, E.
Additional Authors:
LCS Document Number: MIT-LCS-TM-367
Publication Date: 8-1-1988
LCS Group: No Group Specified
Additional URL: No URL Given
Abstract:
We present two novel concurrency control algorithms for abstract data types. The algorithms ensure serializability of transactions by using conflict relations based on the commutativity of operations. We prove that both algorithms ensure a local atomicity property called dynamic atomicity. This means that the algorithms can be used in combination with each other and with other algorithms, as long as the other algorithms also ensure dynamic atomicity. (Dynamic atomic concurrency control algorithms include most two- phase locking algorithms, as well as some non-conflict-based algorithms and some optimistic algorithms.)
To obtain this publication:

To purchase a printed copy of this publication please contact MIT Document Services.