Abstract
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.