Gadara: Dynamic Deadlock Avoidance for Multithreaded Programs.
Deadlock is an increasingly pressing concern as the multicore revolution forces parallel
programming upon the average programmer. Existing approaches to deadlock impose …
programming upon the average programmer. Existing approaches to deadlock impose …
A comprehensive strategy for contention management in software transactional memory
In Software Transactional Memory (STM), contention management refers to the mechanisms
used to ensure forward progress--to avoid livelock and starvation, and to promote …
used to ensure forward progress--to avoid livelock and starvation, and to promote …
[LIBRO][B] Shared-memory synchronization
ML Scott, T Brown - 2013 - Springer
This monograph grows out of nearly 40 years of experience in synchronization and
concurrent data structures. Though written primarily from the perspective of systems …
concurrent data structures. Though written primarily from the perspective of systems …
Analysis, classification and comparison of scheduling techniques for software transactional memories
P Di Sanzo - IEEE Transactions on Parallel and Distributed …, 2017 - ieeexplore.ieee.org
Transactional Memory (TM) is a practical programming paradigm for develo** concurrent
applications. Performance is a critical factor for TM implementations, and various studies …
applications. Performance is a critical factor for TM implementations, and various studies …
Transactionalizing legacy code: An experience report using GCC and memcached
The addition of transactional memory (TM) support to existing languages provides the
opportunity to create new soft-ware from scratch using transactions, and also to simplify or …
opportunity to create new soft-ware from scratch using transactions, and also to simplify or …
Transactional mutex locks
Mutual exclusion (mutex) locks limit concurrency but offer low single-thread latency.
Software transactional memory (STM) typically has much higher latency, but scales well. We …
Software transactional memory (STM) typically has much higher latency, but scales well. We …
Simplifying transactional memory support in c++
C++ has supported a provisional version of Transactional Memory (TM) since 2015, via a
technical specification. However, TM has not seen widespread adoption, and compiler …
technical specification. However, TM has not seen widespread adoption, and compiler …
Applying transactional memory to concurrency bugs
Multithreaded programs often suffer from synchronization bugs such as atomicity violations
and deadlocks. These bugs arise from complicated locking strategies and ad hoc …
and deadlocks. These bugs arise from complicated locking strategies and ad hoc …
RMS-TM: A comprehensive benchmark suite for transactional memory systems
Transactional Memory (TM) has been proposed as an alternative concurrency mechanism
for the shared memory parallel programming model. Its main goal is to make parallel …
for the shared memory parallel programming model. Its main goal is to make parallel …
Transaction-friendly condition variables
Recent microprocessors and compilers have added support for transactional memory (TM).
While state-of-the-art TM systems allow the replacement of lock-based critical sections with …
While state-of-the-art TM systems allow the replacement of lock-based critical sections with …