An Optimistic Commit Protocol for Distributed Transaction Management.

Eliezer Levy, Henry F. Korth, Abraham Silberschatz: An Optimistic Commit Protocol for Distributed Transaction Management. SIGMOD Conference 1991: 88-97

@inproceedings{DBLP:conf/sigmod/LevyKS91,
  author    = {Eliezer Levy and
               Henry F. Korth and
               Abraham Silberschatz},
  editor    = {James Clifford and
               Roger King},
  title     = {An Optimistic Commit Protocol for Distributed Transaction Management},
  booktitle = {Proceedings of the 1991 ACM SIGMOD International Conference on
               Management of Data, Denver, Colorado, May 29-31, 1991},
  publisher = {ACM Press},
  year      = {1991},
  pages     = {88-97},
  ee        = {http://doi.acm.org/10.1145/115790.115800, db/conf/sigmod/LevyKS91.html},
  crossref  = {DBLP:conf/sigmod/91},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

A major disadvantage of the two-phase commit (2 PC) protocol is the potential unbounded delay that transactions may have to endure if certain failures occur. By using compensating transactions, we obtain a revised 2PC protocol that overcomes these difficulties. In the revised protocol, locks are released as soon as a site votes to commit a transaction, thereby solving the indefinite blocking problem of 2PC. If finally the transaction is to be aborted, then its effects are undone semantically using a compensating transaction. Therefore, Semantic, rather than standard, atomicity is guaranteed. Relaxing standard atomicity interacts in a subtle way with correctness and concurrency control issues. Accordingly, a correctness criterion is proposed that is most appropriate when atomicity is given up for semantic atomicity. The correctness criterion reduces to serializability when no global transactions are aborted, and excludes unacceptable executions when global transactions do fail. We devise a family of practical protocols that ensure this correctness notion. These protocols restrict only global transactions, and do not incur extra messages other than the standard 2PC messages.

Copyright © 1991 by the ACM, Inc., used by permission. Permission to make digital or hard copies is granted provided that copies are not made or distributed for profit or direct commercial advantage, and that copies show this notice on the first page or initial screen of a display along with the full citation.

ACM SIGMOD Anthology

Online Version (ACM WWW Account required): Full Text in PDF Format

CDROM Version: Load the CDROM "Volume 1 Issue 2, SIGMOD '75-'92" and ...

Windows: Click the letter of your CD drive
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mac: Click here
UNIX/LINUX: mount the CD and click on the path of your mount point:
/Anthology/smod7592 or /cdrom

DVD Version: Load ACM SIGMOD Anthology DVD 1" and ...

Windows: Click the letter of your CD drive
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mac: Click here
UNIX/LINUX: mount the DVD and click on the path of your mount point:
/Anthology/aDVD1 or /dvd

Printed Edition

James Clifford, Roger King (Eds.): Proceedings of the 1991 ACM SIGMOD International Conference on Management of Data, Denver, Colorado, May 29-31, 1991. ACM Press 1991

, SIGMOD Record 20(2), June 1991
Contents

Online Edition: ACM Digital Library

[Index Terms]
[Full Text in PDF Format, 1079 KB]

References

[AGMS87]: Rafael Alonso, Hector Garcia-Molina, Kenneth Salem: Concurrency Control and Recovery for Global Procedures in Federated Database Systems. IEEE Data Eng. Bull. 10(3): 5-11(1987)
[BHG87]: Philip A. Bernstein, Vassos Hadzilacos, Nathan Goodman: Concurrency Control and Recovery in Database Systems. Addison-Wesley 1987, ISBN 0-201-10715-5
Contents
[BS88]: Yuri Breitbart, Abraham Silberschatz: Multidatabase Update Issues. SIGMOD Conference 1988: 135-142
[BST90]: Yuri Breitbart, Abraham Silberschatz, Glenn R. Thompson: Reliable Transaction Management in a Multidatabase System. SIGMOD Conference 1990: 215-224
[CP87]: Stefano Ceri, Giuseppe Pelagatti: Distributed Databases: Principles and Systems. McGraw-Hill Book Company 1984, ISBN 0-07-010829-3
[DE89]: Weimin Du, Ahmed K. Elmagarmid: Quasi Serializability: a Correctness Criterion for Global Concurrency Control in InterBase. VLDB 1989: 347-355
[fdb87]: ...
[GM83]: Hector Garcia-Molina: Using Semantic Knowledge for Transaction Processing in Distributed Database. ACM Trans. Database Syst. 8(2): 186-213(1983)
[GMGK+90]: ...
[GMS87]: Hector Garcia-Molina, Kenneth Salem: Sagas. SIGMOD Conference 1987: 249-259
[Gra78]: Jim Gray: Notes on Data Base Operating Systems. Advanced Course: Operating Systems 1978: 393-481
[Gra81]: Jim Gray: The Transaction Concept: Virtues and Limitations (Invited Paper). VLDB 1981: 144-154
[hdb90]: ...
[KLS90a]: Henry F. Korth, Eliezer Levy, Abraham Silberschatz: A Formal Approach to Recovery by Compensating Transactions. VLDB 1990: 95-106
[KLS90b]: ...
[KR88]: ...
[Lev90]: Eliezer Levy, Henry F. Korth, Abraham Silberschatz: A Theory of Relaxed Atomicity (Extended Abstract). PODC 1991: 95-109
[map89]: ...
[MLO86]: C. Mohan, Bruce G. Lindsay, Ron Obermarck: Transaction Management in the R* Distributed Database Management System. ACM Trans. Database Syst. 11(4): 378-396(1986)
[Reu89]: ...
[Ske82]: Dale Skeen: Nonblocking Commit Protocols. SIGMOD Conference 1981: 133-142
[Vei89]: ...