Tech Report CS-07-08

Transactional Boosting: A Methodology for Highly-Concurrent Transactional Objects

Maurice Herlihy and Eric Koskinen

July 2007


We describe a methodology for transforming a large class of highly-concurrent linearizable objects into highly-concurrent transactional objects. As long as the linearizable implementation satisfies certain regularity properties (informally, that every method has an inverse), we define a simple wrapper for the linearizable implementation that guarantees that concurrent transactions without inherent conflicts can synchronize at the same granularity as the original linearizable implementation.

(complete text in pdf)