| Popis: |
This paper presents iDO, a compiler-directed approach to failure atomicity with nonvolatile memory. Unlike most prior work, which instruments each store of persistent data for redo or undo logging, the iDO compiler identifies idempotent instruction sequences, whose re-execution is guaranteed to be side effect-free, thereby eliminating the need to log every persistent store. Using an extension of prior work on JUSTDO logging, the compiler then arranges, during recovery from failure, to back up each thread to the beginning of the current idempotent region and re-execute to the end of the current failure-atomic section. This extension transforms JUSTDO logging from a technique of value only on hypothetical future machines with nonvolatile caches into a technique that also significantly outperforms state-of-the art lock-based persistence mechanisms on current hardware during normal execution, while preserving very fast recovery times. At Virginia Tech, this work was supported by NSF grants 1750503 (CAREER), 1527463, and 1814430, and by Google/AMD Faculty Research awards. At the University of Rochester, this work was supported by NSF grants 1319417, 1337224, 1422649, and 1717712, and by a Google Faculty Research award. At UNIST, this work was supported by the Samsung Research Funding Center of Samsung Electronics under Project Number SRFC-IT1402-52. |
