Tech Report CS-07-08
Transactional Boosting: A Methodology for Highly-Concurrent Transactional Objects
Maurice Herlihy and Eric Koskinen
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)