Extensible transactional memory testbed

DOI10.1016/j.jpdc.2010.02.008zbMath1233.68164OpenAlexW2169135994MaRDI QIDQ666242

Christof Fetzer, Derin Harmanci, Vincent Gramoli, Pascal Felber

Publication date: 7 March 2012

Published in: Journal of Parallel and Distributed Computing (Search for Journal in Brave)

Full work available at URL: https://infoscience.epfl.ch/record/150437/files/jpdc_for_print.pdf

zbMATH Keywords

performancesemanticstransactional memory

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (3)

\(\mathrm {TM}^{2}\mathrm {C}\): a software transactional memory for many-cores ⋮ Extensible transactional memory testbed ⋮ TMunit

Uses Software

• veriSoft
• STMBench7
• Eraser
• STAMP
• SPLASH-2
• Lee-TM
• Specomp
• PARSEC
• Minebench
• WormBench
• ConTest
• ALPBench
• AVIO
• tm_db

Cites Work

• Unnamed Item
• Unnamed Item
• Extensible transactional memory testbed
• Executing Java programs with transactional memory
• Semantics of transactional memory and automatic mutual exclusion
• A Lazy Snapshot Algorithm with Eager Validation
• Completeness and Nondeterminism in Model Checking Transactional Memories
• Software Transactional Memory on Relaxed Memory Models
• Elastic Transactions
• The serializability of concurrent database updates
• Framework for testing multi‐threaded Java programs
• Toward a theory of transactional contention managers
• The semantics of progress in lock-based transactional memory
• Privatization techniques for software transactional memory
• From causal to z-linearizable transactional memory

This page was built for publication: Extensible transactional memory testbed