Design choices for language-based transactions

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 is discussed.