Multi-Shot Distributed Transaction Commit
- Submitting institution
-
The University of Surrey
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 9027032_3
- Type
- E - Conference contribution
- DOI
-
10.4230/LIPIcs.DISC.2018.14
- Title of conference / published proceedings
- Leibniz International Proceedings in Informatics (LIPIcs)
- First page
- 14
- Volume
- 121
- Issue
- -
- ISSN
- 1868-8969
- Open access status
- Compliant
- Month of publication
- -
- Year of publication
- 2018
- URL
-
-
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
-
- Research group(s)
-
-
- Citation count
- -
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- We introduce TCS, a new abstract specification unifying atomicity and isolation of distributed transactions into a single formal framework and show that it faithfully captures properties supported by many modern transaction processing systems. We then use TCS to derive a new fault-tolerant commit protocol, which we both show efficient and prove correct. The paper received the best paper award at DISC’18; its extended version was accepted to the special issue of Springer Distributed Computing. It is an integral part of the underpinning research for Royal Holloway Impact Case Study "Scaling and securing IBM’s Cloud Computing and Distributed Ledger Technology".
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -