PIRL 2020 Cross Failure Bug Detection in Persistent Memory Programs

Library Content Type:
Publish Date: 
Thursday, January 14, 2021
Event Name: 
Focus Areas:

This presentation at the PIRL 2020 conference by Sihang Liu of the University of Virginia discusses how ensuring a consistent recovery in event of a failure is one of the key requirements for programs based on the persistent memory. The recoverability not only depends on the execution before the failure but also on the recovery and resumption after failure. We refer to these two stages as the pre- and post-failure execution stages. An incorrect interaction between the pre- and post-failure stages can cause inconsistencies in persistent data. In this talk, I will first categorize the cause of such incorrect cross-failure interactions, and then introduce our tool XFDetector that detects them.

Watch video: