Regulating Concurrency in Software Transactional Memory: An Effective Model-based Approach

2013 IEEE 7th International Conference on Self-Adaptive and Self-Organizing Systems ◽

10.1109/saso.2013.35 ◽

2013 ◽

Author(s):

Pierangelo Di Sanzo ◽

Francesco Del Re ◽

Diego Rughetti ◽

Bruno Ciciani ◽

Francesco Quaglia

Keyword(s):

Transactional Memory ◽

Effective Model ◽

Software Transactional Memory ◽

Download Full-text

Adaptive Model-Based Scheduling in Software Transactional Memory

IEEE Transactions on Computers ◽

10.1109/tc.2019.2954139 ◽

2020 ◽

Vol 69 (5) ◽

pp. 621-632

Author(s):

Pierangelo Di Sanzo ◽

Alessandro Pellegrini ◽

Marco Sannicandro ◽

Bruno Ciciani ◽

Francesco Quaglia

Keyword(s):

Transactional Memory ◽

Software Transactional Memory ◽

Adaptive Model ◽

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

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