Software Transactional Memory on Relaxed Memory Models

DOI10.1007/978-3-642-02658-4_26zbMath1242.68162OpenAlexW1492674724MaRDI QIDQ3636871

Vasu Singh, Rachid Guerraoui, Thomas A. Henzinger

Publication date: 30 June 2009

Published in: Computer Aided Verification (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-02658-4_26

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (7)

Model checking transactional memories ⋮ Verification of STM on relaxed memory models ⋮ Towards formally specifying and verifying transactional memory ⋮ Extensible transactional memory testbed ⋮ Unnamed Item ⋮ Operational semantics of a weak memory model with channel synchronization ⋮ Operational semantics of a weak memory model with channel synchronization

Uses Software

• Checkfence

This page was built for publication: Software Transactional Memory on Relaxed Memory Models