LiTM: A lightweight deterministic software transactional memory system

Yu Xia, Xiangyao Yu, William Moses, Julian Shun, Srinivas Devadas

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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.

Original languageEnglish (US)
Title of host publicationProceedings of the 10th International Workshop on Programming Models and Applications for Multicores and Manycores, PMAM 2019
EditorsQuan Chen, Zhiyi Huang, Min Si
PublisherAssociation for Computing Machinery
Pages1-10
Number of pages10
ISBN (Electronic)9781450362900
DOIs
StatePublished - Feb 17 2019
Externally publishedYes
Event10th International Workshop on Programming Models and Applications for Multicores and Manycores, PMAM 2019 - Washington, United States
Duration: Feb 17 2019 → …

Publication series

NameProceedings of the 10th International Workshop on Programming Models and Applications for Multicores and Manycores, PMAM 2019

Conference

Conference10th International Workshop on Programming Models and Applications for Multicores and Manycores, PMAM 2019
Country/TerritoryUnited States
CityWashington
Period2/17/19 → …

Keywords

  • Deterministic Parallelism
  • Software Transactional Memory

ASJC Scopus subject areas

  • Software
  • Computer Science Applications

Fingerprint

Dive into the research topics of 'LiTM: A lightweight deterministic software transactional memory system'. Together they form a unique fingerprint.

Cite this