RT Journal Article
JF IEEE Transactions on Parallel & Distributed Systems
YR 2010
VO 21
IS
SP 1793
TI Time-Based Software Transactional Memory
A1 Pascal Felber,
A1 Christof Fetzer,
A1 Torvald Riegel,
A1 Patrick Marlier,
K1 Transactional memory
K1 transactions
K1 concurrency
K1 atomicity.
AB Software transactional memory (STM) is a concurrency control mechanism that is widely considered to be easier to use by programmers than other mechanisms such as locking. The first generations of STMs have either relied on visible read designs, which simplify conflict detection while pessimistically ensuring a consistent view of shared data to the application, or optimistic invisible read designs that are significantly more efficient but require incremental validation to preserve consistency, at a cost that increases quadratically with the number of objects read in a transaction. Most of the recent designs now use a “time-based” (or “time stamp-based”) approach to still benefit from the performance advantage of invisible reads without incurring the quadratic overhead of incremental validation. In this paper, we give an overview of the time-based STM approach and discuss its benefits and limitations. We formally introduce the first time-based STM algorithm, the Lazy Snapshot Algorithm (LSA). We study its semantics and the impact of its design parameters, notably multiversioning and dynamic snapshot extension. We compare it against other classical designs and we demonstrate that its performance is highly competitive, both for obstruction-free and lock-based STM designs.
PB IEEE Computer Society, [URL:http://www.computer.org]
SN 1045-9219
LA English
DO 10.1109/TPDS.2010.49
LK http://doi.ieeecomputersociety.org/10.1109/TPDS.2010.49