Conflict Detection and Validation Strategies for Software Transactional Memory

Lecture Notes in Computer Science - Distributed Computing ◽

10.1007/11864219_13 ◽

2006 ◽

pp. 179-193 ◽

Author(s):

Michael F. Spear ◽

Virendra J. Marathe ◽

William N. Scherer ◽

Michael L. Scott

Keyword(s):

Transactional Memory ◽

Conflict Detection ◽

Software Transactional Memory

Download Full-text

Adaptive Conflict Detection Algorithm Based on Rochester Software Transactional Memory

Journal of Physics Conference Series ◽

10.1088/1742-6596/1746/1/012050 ◽

2021 ◽

Vol 1746 ◽

pp. 012050

Author(s):

Ying Liu ◽

Junting Liu ◽

Fuxiang Gao

Keyword(s):

Transactional Memory ◽

Detection Algorithm ◽

Conflict Detection ◽

Software Transactional Memory

Download Full-text

Lazy Versus Eager Conflict Detection in Software Transactional Memory: A Real-Time Schedulability Perspective

IEEE Embedded Systems Letters ◽

10.1109/les.2010.2099104 ◽

2011 ◽

Vol 3 (1) ◽

pp. 37-41 ◽

Author(s):

Chaitanya Belwal ◽

Albert M. K. Cheng

Keyword(s):

Real Time ◽

Transactional Memory ◽

Conflict Detection ◽

Software Transactional Memory

Download Full-text

Worst case response time and schedulability analysis for real-time software transactional memory-lazy conflict detection (STM-LCD)

ACM SIGBED Review ◽

10.1145/2930957.2930959 ◽

2016 ◽

Vol 13 (2) ◽

pp. 14-19 ◽

Author(s):

Qiang Zhou ◽

Yakun Li ◽

Xingliang Zou ◽

Albert M. K. Cheng ◽

Yu Jiang

Keyword(s):

Response Time ◽

Real Time ◽

Transactional Memory ◽

Schedulability Analysis ◽

Conflict Detection ◽

Software Transactional Memory ◽

Download Full-text

Conflict detection via adaptive signature for software transactional memory

2010 2nd International Conference on Computer Engineering and Technology ◽

10.1109/iccet.2010.5485448 ◽

2010 ◽

Author(s):

Lin Peng ◽

Lun-guo Xie ◽

Xiao-qiang Zhang ◽

Xin-yan Xie

Keyword(s):

Transactional Memory ◽

Conflict Detection ◽

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

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