Design choices for language-based transactions

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.

2003-atomic-tech-report.pdf
PDF file

Details

TypeTechReport
NumberUCAM-CL-TR-572
InstitutionUniversity of Cambridge, Computer Laboratory
> Publications > Design choices for language-based transactions