(PLDI 2020) NVTraverse: In NVRAM Data Structures, the Destination is More Important than the Journey
Non-volatile memory is expected to co-exist with or replace DRAM in upcoming architectures. This has led to increasing interest in the problem of designing and specifying durable data structures that can recover from system crashes. However, designing durable concurrent data structures that are efficient and also satisfy a correctness criterion has proven to be very difficult, leading many algorithms to be inefficient or incorrect in a concurrent setting. In this paper, we present a general transformation that takes a lock-free data structure from a general class called traversal data structure (that we formally define) and transforms it into an implementation of the data structure for the NVRAM setting with proven durable linearizability and with high efficiency. The transformation hinges on the observation that many data structure operations begin with a traversal phase that does not need to be persisted, and thus we only begin persisting when the traversal reaches its destination. We demonstrate the transformation’s efficiency through extensive measurements on a system with Intel’s recently released Optane DC persistent memory, showing that it can outperform competitors on many workloads.
Thu 16 JunDisplayed time zone: Pacific Time (US & Canada) change
15:30 - 16:50 | |||
15:30 20mTalk | (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 20mTalk | (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 20mTalk | (PLDI 2021) Mirror: Making Lock-Free Data Structures Persistent SIGPLAN Track | ||
16:30 20mTalk | (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 |