Introduction to the Theory of Nested Transactions
A new formal model is presented for studying concurrency and resiliency properties for nested transactions. The model is used to state and prove correctness of a well-known locking algorithm.
| Main Authors: | , |
|---|---|
| Published: |
2023
|
| Online Access: | https://hdl.handle.net/1721.1/149635 |
| _version_ | 1826217851232452608 |
|---|---|
| author | Lynch, Nancy A. Merritt, Michael |
| author_facet | Lynch, Nancy A. Merritt, Michael |
| author_sort | Lynch, Nancy A. |
| collection | MIT |
| description | A new formal model is presented for studying concurrency and resiliency properties for nested transactions. The model is used to state and prove correctness of a well-known locking algorithm. |
| first_indexed | 2024-09-23T17:10:11Z |
| id | mit-1721.1/149635 |
| institution | Massachusetts Institute of Technology |
| last_indexed | 2024-09-23T17:10:11Z |
| publishDate | 2023 |
| record_format | dspace |
| spelling | mit-1721.1/1496352023-03-30T03:01:09Z Introduction to the Theory of Nested Transactions Lynch, Nancy A. Merritt, Michael A new formal model is presented for studying concurrency and resiliency properties for nested transactions. The model is used to state and prove correctness of a well-known locking algorithm. 2023-03-29T15:13:41Z 2023-03-29T15:13:41Z 1986-07 https://hdl.handle.net/1721.1/149635 17318661 MIT-LCS-TR-367 application/pdf |
| spellingShingle | Lynch, Nancy A. Merritt, Michael Introduction to the Theory of Nested Transactions |
| title | Introduction to the Theory of Nested Transactions |
| title_full | Introduction to the Theory of Nested Transactions |
| title_fullStr | Introduction to the Theory of Nested Transactions |
| title_full_unstemmed | Introduction to the Theory of Nested Transactions |
| title_short | Introduction to the Theory of Nested Transactions |
| title_sort | introduction to the theory of nested transactions |
| url | https://hdl.handle.net/1721.1/149635 |
| work_keys_str_mv | AT lynchnancya introductiontothetheoryofnestedtransactions AT merrittmichael introductiontothetheoryofnestedtransactions |