Hybrid Atomicity for Nested Transactions
Name
MIT-LCS-TM-476.pdf
Size
758.67 KB
Format
Adobe PDF
Checksum (MD5)
91f84132d5f1438ae9a60946585a32b7
Author(s)
Fekete, Alan
Lynch, Nancy A.
Weihl, William E.
Date Issued
October 1992
Series/Report no.
MIT-LCS-TM-476
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.
Persistent DSpace Link
