Transactional mutex locks
… -thread latency, usually higher than 2× that of lock-based code [4]. The nature of … locks and
transactions: specifically, we may be able to leverage TM research to create a better locking …
transactions: specifically, we may be able to leverage TM research to create a better locking …
[PDF][PDF] Transactional mutex locks
MF Spear, A Shriraman… - … on Transactional …, 2009 - people.csail.mit.edu
… that spans the boundary between locks and transactions: specifically, we may be able …
locking mechanism. In this paper we propose one such mechanism, the Transactional Mutex Lock …
locking mechanism. In this paper we propose one such mechanism, the Transactional Mutex Lock …
Adaptive locks: Combining transactions and locks for efficient concurrency
T Usui, R Behrends, J Evans, Y Smaragdakis - Journal of Parallel and …, 2010 - Elsevier
… more than it does transactions. For instance, the deadlock-freedom and composability
guarantees of transactions are not preserved, since our critical sections may execute in mutex lock …
guarantees of transactions are not preserved, since our critical sections may execute in mutex lock …
Verifying opacity of a transactional mutex lock
… for concurrency between transactions. The locking mechanism of Transactional Mutex Locks
[4] which we study in this paper implements an optimistic locking scheme. These currently …
[4] which we study in this paper implements an optimistic locking scheme. These currently …
Mutex Locking versus Hardware Transactional Memory: An Experimental Evaluation
SR Moore - 2015 - vtechworks.lib.vt.edu
… mutex locks and Intel’s Restricted Transactional Memory have been compared and the behavior
of those transactions … ’s hardware transactional memory implementation of mutex locks. …
of those transactions … ’s hardware transactional memory implementation of mutex locks. …
[PDF][PDF] Reasoning about Locks and Transactions in Concurrent Programs
G Barnett - 2014 - core.ac.uk
… We will refer to sync(v) 1 cl as a lock and permit any variable v to be used as a lock’s mutex.
… of locks and transactions, and importantly show that locks and transactions complement one …
… of locks and transactions, and importantly show that locks and transactions complement one …
A verified durable transactional mutex lock for persistent x86-TSO
E Vafeiadi Bila, B Dongol - Formal Methods in System Design, 2024 - Springer
… in the context of recoverable concurrent transactional memory [14, 39, … Transactional Mutex
Lock (dTML) algorithm [5], which is itself a durable extension of the Transactional Mutex Lock …
Lock (dTML) algorithm [5], which is itself a durable extension of the Transactional Mutex Lock …
Transactional locking II
D Dice, O Shalev, N Shavit - International Symposium on Distributed …, 2006 - Springer
… lock. We believe these characteristics make TL2 a viable candidate for deployment of
transactional … In all benchmarks they are an order of magnitude faster than the single lock Mutex …
transactional … In all benchmarks they are an order of magnitude faster than the single lock Mutex …
Transactional memory: Architectural support for lock-free data structures
… as efficient (and easy to use) as conventional techniques based on mutual exclusion.
Transactional memory allows programmers … results show that transactional memory is competitive …
Transactional memory allows programmers … results show that transactional memory is competitive …
[PDF][PDF] From locks to transactional memory: Lessons learned from porting a real-world application
A Skyrme, N Rodriguez - … 8th ACM SIGPLAN Workshop on Transactional …, 2013 - Citeseer
… lock-based constructs in luaproc, such as mutual exclusion (pthread_mutex_t) and condition
variables (pthread_cond_t), with transactional … avoid mixing locks and transactions, as we …
variables (pthread_cond_t), with transactional … avoid mixing locks and transactions, as we …