Michal Friedman gave a talk at Intel

Michal Friedman gave the following talk at Intel: 

Title:

Lock-Free Data Structures for Non-Volatile Memory

Abstract:

With the recent launch of the Intel Optane memory platform, non-volatile main memory in the form of fast, dense, byte-addressable non-volatile memory has now become available. Nevertheless, designing crash-resilient algorithms and data structures is complex and error-prone, especially when caches and machine registers are still volatile and the data residing in memory after a crash might not reflect a consistent view of the program state. This talk will present different transformations that adds durability to lock-free data structures, with a low performance overhead. One of them will introduce a persistent hand-tuned version for a lock-free queue. The other two will present two highly efficient general transformations that take a lock-free data structure and automatically transforms it into an efficient durable version of the data structure that is provably correct (durably linearizable).