Thu 16 Jun 2022 16:10 - 16:30 at Macaw - Storage Chair(s): Albert Cohen

Non-volatile main memory in the form of fast, dense, byte-addressable non-volatile memory has recently become available with the launch of the Intel Optane memory platform. However, designing algorithms and data structures that are crash-resilient, is complex and error-prone as caches and machine registers are still volatile and the data residing in memory after a crash might not contain a consistent view of the program state. This complex setting has often led to durable data structures being inefficient or incorrect, especially in the concurrent setting.

In this paper, we present Mirror—a simple general automatic transformation that adds durability to lock-free data structures, with a low performance overhead. Moreover, in the current non-volatile main memory configuration, where non-volatile memory operates side-by-side with a standard faster DRAM (as in the Optane platform), our mechanism exploits the hybrid system to obtain a drastic performance improvement. Evaluation shows a significant performance advantage over NVTraverse, which is the state-of-the-art similar transformation in the literature. Unlike some previous transformations, Mirror does not require any restriction on the lock-free data structure format.

Thu 16 Jun

Displayed time zone: Pacific Time (US & Canada) change

15:30 - 16:50
StorageSIGPLAN Track at Macaw
Chair(s): Albert Cohen Google
15:30
20m
Talk
(PLDI 2020) Automatic Generation of Efficient Sparse Tensor Format Conversion Routines
SIGPLAN Track
Stephen Chou Massachusetts Institute of Technology, Fredrik Kjolstad Stanford University, Saman Amarasinghe MIT CSAIL
15:50
20m
Talk
(PLDI 2020) NVTraverse: In NVRAM Data Structures, the Destination is More Important than the Journey
SIGPLAN Track
Naama Ben-David Carnegie Mellon University, USA, Guy E. Blelloch Carnegie Mellon University, Michal Friedman Technion, Israel, Erez Petrank Technion, Israel, Yuanhao Wei Carnegie Mellon University, USA
16:10
20m
Talk
(PLDI 2021) Mirror: Making Lock-Free Data Structures Persistent
SIGPLAN Track
Michal Friedman Technion, Israel, Erez Petrank Technion, Israel, Pedro Ramalhete Cisco Systems
16:30
20m
Talk
(POPL 2021) Provably Space Efficient Parallel Functional Programming
SIGPLAN Track
Jatin Arora Carnegie Mellon University, Sam Westrick Carnegie Mellon University, Umut A. Acar Carnegie Mellon University