Department of Computer Science and Technology

Technical reports

Objects and transactions for modelling distributed applications:
concurrency control and commitment

Jean Bacon, Ken Moody

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}
}