A Lightweight Implementation of Obstruction-Free Software Transactional Memory

Advances in Intelligent Systems and Computing - Applied Computation and Security Systems ◽

10.1007/978-81-322-1988-0_5 ◽

2014 ◽

pp. 67-84 ◽

Cited By ~ 1

Author(s):

Ankita Saha ◽

Atrayee Chatterjee ◽

Nabanita Pal ◽

Ammlan Ghosh ◽

Nabendu Chaki

Keyword(s):

Transactional Memory ◽

Free Software ◽

Software Transactional Memory

Download Full-text

TORTIS: Retry-Free Software Transactional Memory for Real-Time Systems

10.1109/rtss52674.2021.00049 ◽

2021 ◽

Author(s):

Claire Nord ◽

Shai Caspin ◽

Catherine E. Nemitz ◽

Howard Shrobe ◽

Hamed Okhravi ◽

...

Keyword(s):

Real Time ◽

Transactional Memory ◽

Free Software ◽

Software Transactional Memory ◽

Real Time Systems ◽

Time Systems

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 ◽

Semantic Model

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

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 ◽

Cited By ~ 2

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 ◽

Cited By ~ 1

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