Gadara: Dynamic Deadlock Avoidance for Multithreaded Programs.

Y Wang, T Kelly, M Kudlur, S Lafortune, SA Mahlke - OSDI, 2008 - usenix.org
Deadlock is an increasingly pressing concern as the multicore revolution forces parallel
programming upon the average programmer. Existing approaches to deadlock impose …

A comprehensive strategy for contention management in software transactional memory

MF Spear, L Dalessandro, VJ Marathe… - Proceedings of the 14th …, 2009 - dl.acm.org
In Software Transactional Memory (STM), contention management refers to the mechanisms
used to ensure forward progress--to avoid livelock and starvation, and to promote …

[图书][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 …

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 developing concurrent
applications. Performance is a critical factor for TM implementations, and various studies …

Transactionalizing legacy code: An experience report using GCC and memcached

W Ruan, T Vyas, Y Liu, M Spear - ACM SIGARCH Computer Architecture …, 2014 - dl.acm.org
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 …

Transactional mutex locks

L Dalessandro, D Dice, M Scott, N Shavit… - Euro-Par 2010-Parallel …, 2010 - Springer
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 …

Simplifying transactional memory support in c++

P Zardoshti, T Zhou, P Balaji, ML Scott… - ACM Transactions on …, 2019 - dl.acm.org
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 …

Applying transactional memory to concurrency bugs

H Volos, AJ Tack, MM Swift, S Lu - ACM Sigplan Notices, 2012 - dl.acm.org
Multithreaded programs often suffer from synchronization bugs such as atomicity violations
and deadlocks. These bugs arise from complicated locking strategies and ad hoc …

RMS-TM: A comprehensive benchmark suite for transactional memory systems

G Kestor, V Karakostas, OS Unsal, A Cristal… - Proceedings of the 2nd …, 2011 - dl.acm.org
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 …

Transaction-friendly condition variables

C Wang, Y Liu, M Spear - Proceedings of the 26th ACM Symposium on …, 2014 - dl.acm.org
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 …