LCS Publication Details
Publication Title: HYBRID ATOMICITY FOR NESTED TRANSACTIONS
Publication Author: Fekete, Alan
Additional Authors: Lynch, Nancy, Weihl, William
LCS Document Number: MIT-LCS-TM-476
Publication Date: 10-1-1992
LCS Group: No Group Specified
Additional URL: No URL Given
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 each object is implemented to have the property. It allows more concurrency than dynamic atomicity, by assigning timestamps to transaction at commit. The Avalon system provides exactly this facility.
To obtain this publication:

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