Transactional mutex locks

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

[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

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

Verifying opacity of a transactional mutex lock

J Derrick, B Dongol, G Schellhorn, O Travkin… - FM 2015: Formal …, 2015 - Springer
… 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 …

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. …

[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 …

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

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 memory: Architectural support for lock-free data structures

M Herlihy, JEB Moss - Proceedings of the 20th annual international …, 1993 - dl.acm.org
… as efficient (and easy to use) as conventional techniques based on mutual exclusion.
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 …