Sciweavers

PODC
2003
ACM

Software transactional memory for dynamic-sized data structures

14 years 18 days ago
Software transactional memory for dynamic-sized data structures
We propose a new form of software transactional memory (STM) designed to support dynamic-sized data structures, and we describe a novel non-blocking implementation. The non-blocking property we consider is obstruction-freedom. Obstruction-freedom is weaker than lock-freedom; as a result, it admits substantially simpler and more efficient implementations. A novel feature of our obstruction-free STM implementation is its use of modular contention managers to ensure progress in practice. We illustrate the utility of our dynamic STM with a straightforward implementation of an obstruction-free red-black tree, thereby demonstrating a sophisticated non-blocking dynamic data structure that would be difficult to implement by other means. We also present the results of simple preliminary performance experiments that demonstrate that an “early release” feature of our STM is useful for reducing contention, and that our STM lends itself to the effective use of modular contention managers.
Maurice Herlihy, Victor Luchangco, Mark Moir, Will
Added 05 Jul 2010
Updated 05 Jul 2010
Type Conference
Year 2003
Where PODC
Authors Maurice Herlihy, Victor Luchangco, Mark Moir, William N. Scherer III
Comments (0)