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 Cepeda | 1 | 0 | 1.01 |
Sakib Chowdhury | 2 | 0 | 1.01 |
Wojciech Golab | 3 | 210 | 17.22 |