On obstruction-free transactions
Rachid Guerraoui, Michał Kapałka · 2008
This paper studies obstruction-free software transactional memory systems (OFTMs). These systems are appealing, for they combine the atomicity property of transactions with a liveness property that ensures the commitment of every transaction that eventually encounters no contention.