UCAM-CL-TR-572: Design choices for language-based transactions

Publication announcement:

    Design choices for language-based transactions

    Tim Harris

    Technical report UCAM-CL-TR-572, University of Cambridge,
    Computer Laboratory, August 2003, 7 pages.

This document is now available at

    http://www.cl.cam.ac.uk/TechReports/UCAM-CL-TR-572.pdf

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.

-- 
University of Cambridge, Computer Laboratory,
Technical Reports (ISSN 1476-2986)
http://www.cl.cam.ac.uk/TechReports/