Technical reports

Design choices for language-based transactions

Tim Harris

August 2003, 7 pages

DOI: 10.48456/tr-572

Abstract

This report discusses two design choices which arose in our recent work on introducing a new ‘atomic’ keyword as an extension to the Java programming language. We discuss the extent to which programs using atomic blocks should be provided with an explicit ‘abort’ operation to roll-back the effects of the current block. We also discuss mechanisms for supporting blocks that perform I/O operations or external database transactions.

Full text

PDF (0.2 MB)

BibTeX record

@TechReport{UCAM-CL-TR-572,
  author =	 {Harris, Tim},
  title = 	 {{Design choices for language-based transactions}},
  year = 	 2003,
  month = 	 aug,
  url = 	 {https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-572.pdf},
  institution =  {University of Cambridge, Computer Laboratory},
  doi = 	 {10.48456/tr-572},
  number = 	 {UCAM-CL-TR-572}
}