2018 51st Annual IEEE/ACM International Symposium on Microarchitecture (MICRO) (2018)
Oct 20, 2018 to Oct 24, 2018
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.
C++ language, cache storage, concurrency control, program compilers, program diagnostics, system recovery
Q. Liu, J. Izraelevitz, S. K. Lee, M. L. Scott, S. H. Noh and C. Jung, "iDO: Compiler-Directed Failure Atomicity for Nonvolatile Memory," 2018 51st Annual IEEE/ACM International Symposium on Microarchitecture (MICRO), Fukuoka, Japan, 2019, pp. 258-270.