Abstract
This paper defines the notion of hybrid atomicity for nested transaction systems, and presents and verifies an algorithm providing this property. Hybrid atomicity is a modular property; it allows the correctness of a system to be deduced from the fact that each object is implemented to have the property. It allows more concurrency than dynamic atomicity, by assigning timestamps to transactions at commit. The Avalon system provides exactly this facility.
Supported in part by the Defense Advanced Research Projects Agency (DARPA) under Contract N00014-83-K-0125.
Supported in part by the National Science Foundation under Grant CCR-86-11442, in part by the Defense Advanced Research Projects Agency (DARPA) under Contract N00014-89-J-1988, and in part by the Office of Naval Research under Contract N00014-85-0168.
Supported in part by the National Science Foundation under Grant CCR-8716884, and in part by the Defense Advanced Research Projects Agency (DARPA) under Contract N00014-89-J-1988. Also supported in part by an equipment grant from Digital Equipment Corporation.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
J. Allchin. An Architecture for Reliable Decentralized Systems. PhD thesis, Georgia. Institute of Technology, September 1983. Available as Technical Report GIT-ICS-83/23.
J. Aspnes, A. Fekete, N. Lynch, M. Merritt, and W. Weihl. A theory of timestamp-based concurrency control for nested transactions. In Proceedings of 14th International Conference on Very Large Data Bases, pages 431–444, August 1988.
J. Eppinger, L. Mummert, and A. Spector. Camelot and Avalon: A Distributed Transaction Facility. Morgan Kaufmann, 1991.
K.P. Eswaran, J.N. Gray, R.A. Lorie, and I.L. Traiger. The notions of consistency and predicate locks in a database system. Communications of the ACM, 19(11):624–633, November 1976. Also published as IBM RJ1487, December 1974.
A. Fekete, N. Lynch, M. Merritt, and W. Weihl. Commutativity-based locking for nested transactions. Journal of Computer and System Sciences, 41(1):65–156, 1990.
A. Fekete, N. Lynch, M. Merritt, and W. Weihl. Atomic Transactions. Morgan-Kaufmann, 1992.
M. P. Herlihy and W. E. Weihl. Hybrid concurrency control for abstract data types. In Proc. 7th ACM Symposium on Principles of Database Systems, pages 201–210, March 1988.
M. P. Herlihy and W. E. Weihl. Hybrid concurrency control for abstract data types. Journal of Computer and System Sciences, 43(1):25–61, August 1991.
H. Korth. Locking primitives in a database system. JACM, 30(1), January 1983.
B. Liskov. Distributed computing in Argus. Communications of ACM, 31(3):300–312, March 1988.
N. Lynch and M. Tuttle. An introduction to input/output automata. CWI-Quarterly, 2(3):219–246, 1989. Also in Technical Memo MIT/LCS/TM-373, Laboratory for Computer Science Massachusettes Institute of Technology, November 1988.
J. E. B. Moss. Nested Transactions: An Approach to Reliable Distributed Computing. PhD thesis, Massachusetts Institute Technology, 1981. Technical Report MIT/LCS/TR-260, Laboratory for Computer Science, Massachusetts Institute Technology, April 1981. Also, published by MIT Press, March 1985.
D.P. Reed. Naming and Synchronization in a Decentralized Computer System. PhD thesis, Massachusetts Institute Technology, 1978. Technical Report MIT/LCS/TR-205, Laboratory for Computer Science, Massachusetts Institute Technology, September 1978.
P. Schwarz and A. Z. Spector. Synchronizing shared abstract types. ACM Transactions on Computer Systems, 2(3), August 1984.
W. E. Weihl. Commutativity-based concurrency control for abstract data types. IEEE Transactions on Computers, 37(12):1488–1505, December 1988.
W. E. Weihl. Local atomicity properties: modular concurrency control for abstract data types. ACM Transactions on Programming Languages and Systems, 11(2):249–282, April 1989.
W.E. Weihl. Specification and Implementation of Atomic Data Types. PhD thesis, Massachusetts Institute Technology, 1984. Technical Report MIT/LCS/TR-314, Laboratory for Computer Science, Massachusetts Institute Technology, Cambridge, MA, March 1984.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Fekete, A., Lynch, N., Weihl, W.E. (1992). Hybrid atomicity for nested transactions. In: Biskup, J., Hull, R. (eds) Database Theory — ICDT '92. ICDT 1992. Lecture Notes in Computer Science, vol 646. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-56039-4_43
Download citation
DOI: https://doi.org/10.1007/3-540-56039-4_43
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-56039-5
Online ISBN: 978-3-540-47360-2
eBook Packages: Springer Book Archive