Concurrency Control for Resilient Nested Transaction
Concurrency control theory is extended to handle nested transactions with failures. The theory is used to present a rigorous correctness proof of a variant of Moss' locking algorithm for implementing nested transactions. The proof has an interesting structure using many levels of abstraction.
| Main Author: | |
|---|---|
| Published: |
2023
|
| Online Access: | https://hdl.handle.net/1721.1/149563 |
| _version_ | 1826205417622994944 |
|---|---|
| author | Lynch, Nancy A. |
| author_facet | Lynch, Nancy A. |
| author_sort | Lynch, Nancy A. |
| collection | MIT |
| description | Concurrency control theory is extended to handle nested transactions with failures. The theory is used to present a rigorous correctness proof of a variant of Moss' locking algorithm for implementing nested transactions. The proof has an interesting structure using many levels of abstraction. |
| first_indexed | 2024-09-23T13:12:22Z |
| id | mit-1721.1/149563 |
| institution | Massachusetts Institute of Technology |
| last_indexed | 2024-09-23T13:12:22Z |
| publishDate | 2023 |
| record_format | dspace |
| spelling | mit-1721.1/1495632023-03-30T03:40:13Z Concurrency Control for Resilient Nested Transaction Lynch, Nancy A. Concurrency control theory is extended to handle nested transactions with failures. The theory is used to present a rigorous correctness proof of a variant of Moss' locking algorithm for implementing nested transactions. The proof has an interesting structure using many levels of abstraction. 2023-03-29T15:07:09Z 2023-03-29T15:07:09Z 1983-02 https://hdl.handle.net/1721.1/149563 10160353 MIT-LCS-TR-285 application/pdf |
| spellingShingle | Lynch, Nancy A. Concurrency Control for Resilient Nested Transaction |
| title | Concurrency Control for Resilient Nested Transaction |
| title_full | Concurrency Control for Resilient Nested Transaction |
| title_fullStr | Concurrency Control for Resilient Nested Transaction |
| title_full_unstemmed | Concurrency Control for Resilient Nested Transaction |
| title_short | Concurrency Control for Resilient Nested Transaction |
| title_sort | concurrency control for resilient nested transaction |
| url | https://hdl.handle.net/1721.1/149563 |
| work_keys_str_mv | AT lynchnancya concurrencycontrolforresilientnestedtransaction |