Open nesting in software transactional memory

Transactional memory (TM) promises to simplify concurrent pro-gramming while providing scalability competitive to fine-grained locking. Language-based constructs allow programmers to denote atomic regions declaratively and to rely on the underlying system to provide transactional guarantees along with concurrency. In contrast with fine-grained locking, TM allows programmers to write simpler programs that are composable and deadlock-free. TM implementations operate by tracking loads and stores to mem-ory and by detecting concurrent conflicting accesses by different transactions. By automating this process, they greatly reduce the pro-grammer’s burden, but they also are forced to be conservative. In certain cases, conflicting memory accesses may not actually violate the higher-level semantics of a program, and a programmer may wish to allow seemingly conflicting transactions to execute concurrently