scholarly journals Software Transactional Memory on Relaxed Memory Models

2009 ◽  
pp. 321-336 ◽  
Author(s):  
Rachid Guerraoui ◽  
Thomas A. Henzinger ◽  
Vasu Singh
Keyword(s):  
Transactional Memory ◽  
Memory Models ◽  
Software Transactional Memory ◽  
Relaxed Memory

scholarly journals Revisiting software transactional memory in Haskell

2018 ◽  
Vol 51 (12) ◽  
pp. 105-113
Author(s):  
Matthew Le ◽  
Ryan Yates ◽  
Matthew Fluet
Keyword(s):  
Transactional Memory ◽  
Software Transactional Memory

Dynamic partial order reduction for relaxed memory models

2015 ◽  
Vol 50 (6) ◽  
pp. 250-259 ◽  
Author(s):  
Naling Zhang ◽  
Markus Kusano ◽  
Chao Wang
Keyword(s):  
Partial Order ◽  
Order Reduction ◽  
Memory Models ◽  
Partial Order Reduction ◽  
Relaxed Memory
Sign in / Sign up

Export Citation Format

Share Document