Software transactional memory for dynamic-sized data structures

Proceedings of the twenty-second annual symposium on Principles of distributed computing - PODC '03 ◽

10.1145/872035.872048 ◽

2003 ◽

Author(s):

Maurice Herlihy ◽

Victor Luchangco ◽

Mark Moir ◽

William N. Scherer

Keyword(s):

Data Structures ◽

Transactional Memory ◽

Software Transactional Memory

Download Full-text

Revisiting software transactional memory in Haskell

ACM SIGPLAN Notices ◽

10.1145/3241625.2976020 ◽

2018 ◽

Vol 51 (12) ◽

pp. 105-113

Author(s):

Matthew Le ◽

Ryan Yates ◽

Matthew Fluet

Keyword(s):

Transactional Memory ◽

Software Transactional Memory

Download Full-text

Formal Verification of Python Software Transactional Memory Serializability Based on the Push/Pull Semantic Model

Proceedings of the 6th Conference on the Engineering of Computer Based Systems - ECBS '19 ◽

10.1145/3352700.3352706 ◽

2019 ◽

Author(s):

Miroslav Popovic ◽

Marko Popovic ◽

Silvia Ghilezan ◽

Branislav Kordic

Keyword(s):

Formal Verification ◽

Transactional Memory ◽

Software Transactional Memory ◽

Download Full-text

Coping with context switches in lock-based software transactional memory

Proceedings of the 4th Annual International Conference on Systems and Storage - SYSTOR '11 ◽

10.1145/1987816.1987831 ◽

2011 ◽

Author(s):

Yehuda Afek ◽

Yoav Cohen ◽

Adam Morrison

Keyword(s):

Transactional Memory ◽

Software Transactional Memory

Download Full-text

The Scalability of Disjoint Data Structures on a New Hardware Transactional Memory System

International Journal of Parallel Programming ◽

10.1007/s10766-014-0322-9 ◽

2014 ◽

Vol 43 (6) ◽

pp. 1192-1217

Author(s):

Gong Su ◽

Stephen Heisig

Keyword(s):

Data Structures ◽

Transactional Memory ◽

Memory System ◽

Hardware Transactional Memory

Download Full-text

VectorSTM: Software Transactional Memory without Atomic Instructions

2010 Third International Joint Conference on Computational Science and Optimization ◽

10.1109/cso.2010.145 ◽

2010 ◽

Author(s):

Lin Peng ◽

Lun-guo Xie ◽

Xiao-qiang Zhang ◽

Xin-yan Xie

Keyword(s):

Transactional Memory ◽

Software Transactional Memory

Download Full-text

Software Transactional Memory Friendly Slot Schedulers

Distributed Computing and Internet Technology - Lecture Notes in Computer Science ◽

10.1007/978-3-319-04483-5_8 ◽

2014 ◽

pp. 79-85 ◽

Author(s):

Pooja Aggarwal ◽

Smruti R. Sarangi

Keyword(s):

Transactional Memory ◽

Software Transactional Memory

Download Full-text

Combining Lock Inference with Lock-Based Software Transactional Memory

Languages and Compilers for Parallel Computing - Lecture Notes in Computer Science ◽

10.1007/978-3-319-09967-5_19 ◽

2014 ◽

pp. 325-341 ◽

Author(s):

Stefan Kempf ◽

Ronald Veldema ◽

Michael Philippsen

Keyword(s):

Transactional Memory ◽

Software Transactional Memory

Download Full-text

Lightweight Identification of Captured Memory for Software Transactional Memory

Algorithms and Architectures for Parallel Processing - Lecture Notes in Computer Science ◽

10.1007/978-3-319-03859-9_2 ◽

2013 ◽

pp. 15-29

Author(s):

Fernando Miguel Carvalho ◽

João Cachopo

Keyword(s):

Transactional Memory ◽

Software Transactional Memory

Download Full-text

Adaptive Software Transactional Memory

10.31979/etd.36c7-b763 ◽

2008 ◽

Author(s):

Joel Frank

Keyword(s):

Transactional Memory ◽

Software Transactional Memory ◽

Adaptive Software

Download Full-text

Software Transactional Memory, OpenMP and Pthread Implementations of the Conjugate Gradients Method – A Preliminary Evaluation

Lecture Notes in Computer Science - High Performance Computing for Computational Science - VECPAR 2012 ◽

10.1007/978-3-642-38718-0_30 ◽

2013 ◽

pp. 300-313

Author(s):

Vincent Heuveline ◽

Sven Janko ◽

Wolfgang Karl ◽

Björn Rocker ◽

Martin Schindewolf

Keyword(s):

Transactional Memory ◽

Conjugate Gradients ◽

Preliminary Evaluation ◽

Software Transactional Memory

Download Full-text