Hybrid Atomicity for Nested Transactions
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....
Main Authors: | , , |
---|---|
Published: |
2023
|
Online Access: | https://hdl.handle.net/1721.1/149201 |
_version_ | 1811097156600201216 |
---|---|
author | Fekete, Alan Lynch, Nancy A. Weihl, William E. |
author_facet | Fekete, Alan Lynch, Nancy A. Weihl, William E. |
author_sort | Fekete, Alan |
collection | MIT |
description | 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. |
first_indexed | 2024-09-23T16:55:15Z |
id | mit-1721.1/149201 |
institution | Massachusetts Institute of Technology |
last_indexed | 2024-09-23T16:55:15Z |
publishDate | 2023 |
record_format | dspace |
spelling | mit-1721.1/1492012023-03-30T03:02:22Z Hybrid Atomicity for Nested Transactions Fekete, Alan Lynch, Nancy A. Weihl, William E. 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. 2023-03-29T14:36:29Z 2023-03-29T14:36:29Z 1992-10 https://hdl.handle.net/1721.1/149201 27929955 MIT-LCS-TM-476 application/pdf |
spellingShingle | Fekete, Alan Lynch, Nancy A. Weihl, William E. Hybrid Atomicity for Nested Transactions |
title | Hybrid Atomicity for Nested Transactions |
title_full | Hybrid Atomicity for Nested Transactions |
title_fullStr | Hybrid Atomicity for Nested Transactions |
title_full_unstemmed | Hybrid Atomicity for Nested Transactions |
title_short | Hybrid Atomicity for Nested Transactions |
title_sort | hybrid atomicity for nested transactions |
url | https://hdl.handle.net/1721.1/149201 |
work_keys_str_mv | AT feketealan hybridatomicityfornestedtransactions AT lynchnancya hybridatomicityfornestedtransactions AT weihlwilliame hybridatomicityfornestedtransactions |