Dynamic performance tuning of word-based software transactional memory

P Felber, C Fetzer, T Riegel - Proceedings of the 13th ACM SIGPLAN …, 2008 - dl.acm.org
The current generation of software transactional memories has the advantage of being
simple and efficient. Nevertheless, there are several parameters that affect the performance …

On the correctness of transactional memory

R Guerraoui, M Kapalka - Proceedings of the 13th ACM SIGPLAN …, 2008 - dl.acm.org
Transactional memory (TM) is perceived as an appealing alternative to critical sections for
general purpose concurrent programming. Despite the large amount of recent work on TM …

A lazy snapshot algorithm with eager validation

T Riegel, P Felber, C Fetzer - … 2006, Stockholm, Sweden, September 18-20 …, 2006 - Springer
Most high-performance software transactional memories (STM) use optimistic invisible
reads. Consequently, a transaction might have an inconsistent view of the objects it …

Time-based software transactional memory

P Felber, C Fetzer, P Marlier… - IEEE Transactions on …, 2010 - ieeexplore.ieee.org
Software transactional memory (STM) is a concurrency control mechanism that is widely
considered to be easier to use by programmers than other mechanisms such as locking. The …

Transactional concurrency control for intermittent, energy-harvesting computing systems

E Ruppel, B Lucia - Proceedings of the 40th ACM SIGPLAN Conference …, 2019 - dl.acm.org
Batteryless energy-harvesting devices are computing platforms that operate in environments
where batteries are not viable for energy storage. Energy-harvesting devices operate …

Pisces: A scalable and efficient persistent transactional memory

J Gu, Q Yu, X Wang, Z Wang, B Zang, H Guan… - 2019 USENIX Annual …, 2019 - usenix.org
Persistent transactional memory (PTM) programming model has recently been exploited to
provide crash-consistent transactional interfaces to ease programming atop NVM. However …

Time-based transactional memory with scalable time bases

T Riegel, C Fetzer, P Felber - Proceedings of the nineteenth annual ACM …, 2007 - dl.acm.org
Time-based transactional memories use time to reason about the consistency of data
accessed by transactions and about the order in which transactions commit. They avoid the …

Concurrent programming with revisions and isolation types

S Burckhardt, A Baldassin, D Leijen - Proceedings of the ACM …, 2010 - dl.acm.org
Building applications that are responsive and can exploit parallel hardware while remaining
simple to write, understand, test, and maintain, poses an important challenge for developers …

TLRW: return of the read-write lock

D Dice, N Shavit - Proceedings of the twenty-second annual ACM …, 2010 - dl.acm.org
TL2 and similar STM algorithms deliver high scalability based on write-locking and invisible
readers. In fact, no modern STM design locks to read along its common execution path …

Analysing snapshot isolation

A Cerone, A Gotsman - Journal of the ACM (JACM), 2018 - dl.acm.org
Snapshot isolation (SI) is a widely used consistency model for transaction processing,
implemented by most major databases and some of transactional memory systems …