Abstract: 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. An interesting feature of our obstruction-free STM implementation is its ability to use of modular contention managers to ensure progress in practice.
Type:
Grant
Filed:
July 16, 2003
Date of Patent:
February 5, 2008
Assignee:
Sun Microsystems, Inc.
Inventors:
Mark S. Moir, Victor M. Luchangco, Maurice Herlihy