Extensible transactional memory testbed

DOI10.1016/J.JPDC.2010.02.008MaRDI QIDQ666242zbMATH OpenOpenAlexFDO

Authors Derin Harmanci, Vincent Gramoli, Pascal Felber, Christof Fetzer

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)

Recommendations

• Transactional Memory: Glimmer of a Theory
• Software transactional memory
• scientific article; zbMATH DE number 7075928
• The semantics of progress in lock-based transactional memory
• \(\mathrm {TM}^{2}\mathrm {C}\): a software transactional memory for many-cores

Cites work

• scientific article; zbMATH DE number 482761 (Why is no real title available?)
• scientific article; zbMATH DE number 1753844 (Why is no real title available?)
• A Lazy Snapshot Algorithm with Eager Validation
• Completeness and Nondeterminism in Model Checking Transactional Memories
• Elastic Transactions
• Executing Java programs with transactional memory
• Extensible transactional memory testbed
• Framework for testing multi‐threaded Java programs
• From causal to z-linearizable transactional memory
• Privatization techniques for software transactional memory
• Semantics of transactional memory and automatic mutual exclusion
• Software Transactional Memory on Relaxed Memory Models
• The semantics of progress in lock-based transactional memory
• The serializability of concurrent database updates
• Toward a theory of transactional contention managers

Cited in

(5)

• TMunit
• \(\mathrm {TM}^{2}\mathrm {C}\): a software transactional memory for many-cores
• Extensible transactional memory testbed
• Nebelung: Execution environment for transactional openmp
• Implementation tradeoffs in the design of flexible transactional memory support

Describes a project that uses

Uses Software

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

This page was built for publication: Extensible transactional memory testbed

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q666242)