1;3409;0c Brief announcement: view transactions: transactional model with relaxed consistency checks

Brief announcement: view transactions: transactional model with relaxed consistency checks

29th Annual ACM Symposium on Principles of Distributed Computing, PODC 2010, 2010
Pages: 65-66DOI: 10.1145/1835698.1835711

PODC

bibtex

We present view transactions, a model for relaxed consistency checks in software transactional memory (STM). View transactions always operate on a consistent snapshot of memory but may commit in a different snapshot. They are therefore simpler to reason about, provide opacity and maintain composability. In addition, view transactions avoid many of the overheads associated with previous approaches for relaxing consistency checks. As a result, view transactions outperform the prior approaches by 1.13x to 2x on various benchmarks.