Software Transactional Memory - Proposed Language Support

Proposed Language Support

The conceptual simplicity of STMs enables them to be exposed to the programmer using relatively simple language syntax. Tim Harris and Keir Fraser's "Language Support for Lightweight Transactions" proposed the idea of using the classical conditional critical region (CCR) to represent transactions. In its simplest form, this is just an "atomic block", a block of code which logically occurs at a single instant:

// Insert a node into a doubly linked list atomically atomic { newNode->prev = node; newNode->next = node->next; node->next->prev = newNode; node->next = newNode; }

When the end of the block is reached, the transaction is committed if possible, or else aborted and retried. CCRs also permit a guard condition, which enables a transaction to wait until it has work to do:

atomic (queueSize > 0) { remove item from queue and use it }

If the condition is not satisfied, the transaction manager will wait until another transaction has made a commit that affects the condition before retrying. This loose coupling between producers and consumers enhances modularity compared to explicit signaling between threads. "Composable Memory Transactions" took this a step farther with its retry command (discussed above), which can, at any time, abort the transaction and wait until some value previously read by the transaction is modified before retrying. For example:

atomic { if (queueSize > 0) { remove item from queue and use it } else { retry } }

This ability to retry dynamically late in the transaction simplifies the programming model and opens up new possibilities.

One issue is how exceptions behave when they propagate outside of transactions. In "Composable Memory Transactions", the authors decided that this should abort the transaction, since exceptions normally indicate unexpected errors in Concurrent Haskell, but that the exception could retain information allocated by and read during the transaction for diagnostic purposes. They stress that other design decisions may be reasonable in other settings.

Read more about this topic:  Software Transactional Memory

Famous quotes containing the words proposed, language and/or support:

    We have no one to blame for the Kennedys but ourselves. We took the Kennedys to heart of our own accord. And it is my opinion that we did it not because we respected them or thought what they proposed was good, but because they were pretty. We, the electorate, were smitten by this handsome, vivacious family.... We wanted to hug their golden tousled heads to our dumpy breasts.
    —P.J. (Patrick Jake)

    Whether we regard the Women’s Liberation movement as a serious threat, a passing convulsion, or a fashionable idiocy, it is a movement that mounts an attack on practically everything that women value today and introduces the language and sentiments of political confrontation into the area of personal relationships.
    Arianna Stassinopoulos (b. 1950)

    There is much to support the view that it is clothes that wear us, and not we, them; we may make them take the mould of arm or breast, but they mould our hearts, our brains, our tongues to their liking.
    Virginia Woolf (1882–1941)