Title
Making concurrent algorithms detectable - poster.
Abstract
Non-volatile memory (NVM) promises persistent main memory that remains correct despite loss of power. Since caches are expected to remain volatile, concurrent algorithms must be redesigned to ensure a consistent state after a system crash, and to continue the execution upon recovery. We give the first general construction to make any concurrent program persistent, and show that the persistent version is guaranteed to have at most a constant factor blow-up in both steps and contention. We also provide an optimized transformation for normalized lock-free data structures. We experimentally evaluate our transformation by comparing it to a persistent transactional memory, as well as a hand-tuned persistent algorithm. We show that our transformation's performance is reasonable given its generality.
Year
DOI
Venue
2019
10.1145/3293883.3299991
PPoPP
Field
DocType
ISBN
Data structure,Crash,Normalization (statistics),Computer science,Parallel computing,Algorithm,Transactional memory,Recursion,Generality
Conference
978-1-4503-6225-2
Citations 
PageRank 
References 
0
0.34
6
Authors
4
Name
Order
Citations
PageRank
Naama Ben-David1156.02
Guy E. Blelloch2124.92
Michal Friedman3183.07
Yuanhao Wei400.34