NVTraverse: In NVRAM Data Structures, the Destination Is More Important Than the Journey
The recent availability of fast, dense, byte-addressable non-volatile memory has led to increasing interest in the problem of designing durable data structures that can recover from system crashes. However, designing durable concurrent data structures that are correct and efficient has proven to be very difficult, leading to many inefficient or incorrect algorithms. 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 automatically transforms it into an implementation of the data structure for the NVRAM setting that is provably durably linearizable and highly efficient. 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 18 JunDisplayed time zone: Pacific Time (US & Canada) change
05:00 - 06:00 | Concurrency PLDI Research Papers at PLDI Research Papers live stream Chair(s): Tyler Sorensen Imperial College London | ||
05:00 20mTalk | Repairing and Mechanising the JavaScript Relaxed Memory Model PLDI Research Papers Conrad Watt University of Cambridge, UK, Christopher Pulte University of Cambridge, UK, Anton Podkopaev MPI-SWS, NRU HSE, JetBrains Research, Guillaume Barbier ENS Rennes, France, Stephen Dolan University of Cambridge, UK, Shaked Flur Google, Jean Pichon-Pharabod University of Cambridge, UK, Shu-yu Guo Bloomberg, USA Pre-print | ||
05:20 20mTalk | Promising 2.0: Global Optimizations in Relaxed Memory Concurrency PLDI Research Papers Sung-Hwan Lee Seoul National University, South Korea, Minki Cho Seoul National University, South Korea, Anton Podkopaev MPI-SWS, NRU HSE, JetBrains Research, Soham Chakraborty IIT Delhi, India, Chung-Kil Hur Seoul National University, South Korea, Ori Lahav Tel Aviv University, Israel, Viktor Vafeiadis MPI-SWS, Germany | ||
05:40 20mTalk | NVTraverse: In NVRAM Data Structures, the Destination Is More Important Than the Journey PLDI Research Papers Michal Friedman Technion, Israel, Naama Ben-David Carnegie Mellon University, USA, Yuanhao Wei Carnegie Mellon University, USA, Guy E. Blelloch Carnegie Mellon University, USA, Erez Petrank Technion, Israel |