Title
Tutorial: Specifying, Implementing, and Verifying Algorithms for Persistent Memory
Abstract
High-density byte-addressable non-volatile memory became a reality earlier this year when Intel launched the long-awaited Optane persistent memory module. This tutorial is intended for researchers interested in using persistent memory to construct fault-tolerant data structures that can maintain state consistently across power outages and system crashes without relying on conventional secondary storage. A number of practical and theoretical topics will be covered including hardware purchasing considerations, operating system and programming language support for persistent memory, definitions of correctness properties for fault-tolerant data structures, techniques for implementing fault-tolerant concurrency control and memory management, as well as verification of correctness.
Year
DOI
Venue
2019
10.1145/3293611.3338025
Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing
Keywords
Field
DocType
concurrency, fault tolerance, persistent memory, shared memory
Programming language,Computer science,Distributed computing
Conference
ISBN
Citations 
PageRank 
978-1-4503-6217-7
0
0.34
References 
Authors
0
3
Name
Order
Citations
PageRank
Diego Cepeda101.01
Sakib Chowdhury201.01
Wojciech Golab321017.22