Technical reports
Objects and transactions for modelling distributed applications:
concurrency control and commitment
April 1993, 39 pages
DOI: 10.48456/tr-293
Abstract
The concepts of object and transaction form an ideal basis for reasoning about the behaviour of distributed applications. An object model allows the semantics of an application to be used to specify the required concurrency behaviour of each object. A transaction model covers multi-component computations where the components are distributed and therefore subject to concurrent execution and partial failure.
This tutorial establishes an object model for a distributed system in which transactions are used. It focusses on the alternative methods of concurrency control that might be employed and shows how each method might be appropriate for certain application characteristics and system behaviour. The background for this discussion is eatablished in [Bacon 1993].
Full text
PDF (3.5 MB)
BibTeX record
@TechReport{UCAM-CL-TR-293, author = {Bacon, Jean and Moody, Ken}, title = {{Objects and transactions for modelling distributed applications: concurrency control and commitment}}, year = 1993, month = apr, url = {https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-293.pdf}, institution = {University of Cambridge, Computer Laboratory}, doi = {10.48456/tr-293}, number = {UCAM-CL-TR-293} }