Title
LiTM - A Lightweight Deterministic Software Transactional Memory System.
Abstract
Deterministic software transactional memory (STM) is a useful programming model for writing parallel codes, as it improves programmability (by supporting transactions) and debuggability (by supporting determinism). This paper presents LiTM, a new deterministic STM system that achieves both simplicity and efficiency at the same time. LiTM implements the deterministic reservations framework of Blelloch et al., but without requiring the programmer to understand the internals of the algorithm. Instead, the programmer writes the program in a transactional fashion and LiTM manages all data conflicts and automatically achieves deterministic parallelism. Our experiments on six benchmarks show that LiTM outperforms the state-of-the-art framework Galois by up to 5.8× on a 40-core machine.
Year
DOI
Venue
2019
10.1145/3303084.3309487
PPoPP '19: 24th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming Washington DC USA February, 2019
Keywords
Field
DocType
Deterministic Parallelism, Software Transactional Memory
Software transactional memory,Programmer,Programming language,Programming paradigm,Determinism,Computer science,Transactional leadership
Conference
ISBN
Citations 
PageRank 
978-1-4503-6290-0
1
0.37
References 
Authors
12
5
Name
Order
Citations
PageRank
Yu Xia121.05
Xiangyao Yu227016.17
William S. Moses3161.97
Julian Shun459332.57
Srinivas Devadas586061146.30