LiTM: A Lightweight Deterministic Software Transactional Memory System
Name
LiTM.pdf
Description
Accepted version
Size
616.74 KB
Format
Adobe PDF
Checksum (MD5)
aef12698790554a4d17bac736c79b7d5
Author(s)
Xia, Yu
Yu, Xiangyao
Moses, William
Shun, Julian
Devadas, Srinivas
Alternative Title
A Lightweight Deterministic Software Transactional Memory System
Date Issued
2019
Publisher
ACM Press
Citation
Xia, Yu, Yu, Xiangyao, Moses, William, Shun, Julian and Devadas, Srinivas. 2019. "LiTM: A Lightweight Deterministic Software Transactional Memory System."
Version
Author's final manuscript
Abstract
© 2019 ACM. 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.
MIT Department
Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Terms of Use
Creative Commons Attribution-Noncommercial-Share Alike
Persistent DSpace Link
DOI of Published Version
https://doi.org/10.1145/3303084.3309487
