Transactional Memory by Tim Harris, James Larus, Ravi Rajwar

By Tim Harris, James Larus, Ravi Rajwar


The creation of multicore processors has renewed curiosity within the concept of incorporating transactions into the programming version used to put in writing parallel courses. This strategy, referred to as transactional reminiscence, deals another, and with a bit of luck larger, method to coordinate concurrent threads. The ACI (atomicity, consistency, isolation) homes of transactions offer a starting place to make sure that concurrent reads and writes of shared facts don't produce inconsistent or improper effects. At the next point, a computation wrapped in a transaction executes atomically - both it completes effectively and commits its bring about its entirety or it aborts. additionally, isolation guarantees the transaction produces a similar outcome as though no different transactions have been executing at the same time. even supposing transactions should not a parallel programming panacea, they shift a lot of the load of synchronizing and coordinating parallel computations from a programmer to a compiler, to a language runtime procedure, or to undefined. The problem for the approach implementers is to construct a good transactional reminiscence infrastructure. This booklet offers an summary of the state-of-the-art within the layout and implementation of transactional reminiscence structures, as of early spring 2010. desk of Contents: advent / uncomplicated Transactions / construction on simple Transactions / software program Transactional reminiscence / Hardware-Supported Transactional reminiscence / Conclusions

Show description

Read Online or Download Transactional Memory PDF

Best design & architecture books

Operational Amplifiers: Theory and Design

Operational Amplifiers – conception and layout, moment version offers a scientific circuit layout of operational amplifiers. Containing cutting-edge fabric in addition to the necessities, the publication is written to entice either the circuit clothier and the method fashion designer. it's proven that the topology of all operational amplifiers could be divided into 9 major total configurations.

Computer and Information Security Handbook

The second edition of this accomplished guide of laptop and data security provides the main whole view of desktop defense and privateness on hand. It bargains in-depth insurance of protection conception, expertise, and perform as they relate to validated applied sciences in addition to contemporary advances.

Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2015

This e-book brings jointly a variety of the easiest papers from the eighteenth variation of the discussion board on specification and layout Languages convention (FDL), which happened on September 14-16, 2015, in Barcelona, Spain. FDL is a well-established foreign discussion board dedicated to dissemination of study effects, functional reviews and new rules within the program of specification, layout and verification languages to the layout, modeling and verification of built-in circuits, complicated hardware/software embedded structures, and mixed-technology structures.

Extra resources for Transactional Memory

Example text

6 is guaranteed to work correctly. SLA also leads to a definition of what it means for a program using transactions to have a data-race: the transactional program has a data-race if and only if the lock-based program has a datarace. For instance, this contrived example involves a race on x because there is no synchronization between Thread 1’s access and Thread 2’s access: // Thread 1 StartTx(); WriteTx(&x, 42); CommitTx(); // Thread 2 int tmp = x; To define the behavior of “racy” examples, one might either have a “catch-fire” semantics (permitting absolutely any catastrophic behavior in the presence of a race), or one might require that the behavior remains consistent with the equivalent lock-based program’s behavior (which may itself be “catch-fire”).

A disadvantage of dynamic separation, over static, is that it is not so amenable to compile-time checking for whether or not a program is race-free. Lev and Maessen propose a related idea for dynamically tracking which objects are guaranteed to be local to a given thread and which objects might be shared between multiple threads [189]. Reads and writes to both kinds of objects are performed via accessor methods. These methods perform direct access in the case of local objects and enforce transactional access in the case of shared objects.

For example, code executed in a transaction could be restricted to access data whose type is marked as transactional. It would be a detectable error to access data of this type outside a transaction. This is the approach taken by STM-Haskell [136], where mutable STM locations are accessible only within transactions. In Haskell, however, most data is immutable and remains accessible both inside and outside a transaction. In non-functional languages, most data is mutable and would need to be partitioned into transactional and non-transactional sections.

Download PDF sample

Rated 4.06 of 5 – based on 27 votes