The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.12 - December (1988 vol.37)
pp: 1488-1505
ABSTRACT
Two novel concurrency algorithms for abstract data types are presented that ensure serializability of transactions. It is proved that both algorithms ensure a local atomicity property called dynamic atomicity. The algorithms are quite general, permitting operations to be both partial and nondeterministic. The results returned by operations can be used in determining conflicts, thus allowing hig
INDEX TERMS
commutativity; concurrency algorithms; abstract data types; serializability; local atomicity property; dynamic atomicity; partial; nondeterministic; recovery methods; intentions lists; undo logs; concurrency control; parallel processing.
CITATION
W.E. Weihl, "Commutativity-Based Concurrency Control for Abstract Data Types", IEEE Transactions on Computers, vol.37, no. 12, pp. 1488-1505, December 1988, doi:10.1109/12.9728
21 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool