Non-interference and local correctness in transactional memory

Conference/Journal
Elsevier
Authors
Petr Kuznetsov Sathya Peri
BibTex
Abstract
Abstract Transactional memory promises to make concurrent programming tractable and efficient by allowing the user to assemble sequences of actions in atomic transactions with all-or-nothing semantics. It is believed that, by its very virtue, transactional memory must ensure that all committed transactions constitute a serial execution respecting the real-time order. In contrast, aborted or incomplete transactions should not “take effect.” But what does “not taking effect” mean exactly? It seems natural to expect that aborted or incomplete ...