InCheck

Didehban, Moslem; Lokam, Sai Ram Dheeraj; Shrivastava, Aviral

doi:10.1145/3061639.3062265

Cited by 14 publications

(1 citation statement)

References 26 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…InCLL [7] is an undo logging that stores log for the data field in the same cache line making flushes unnecessary but is limited by the tight space. InCheck injects additional instruction by modifying back-end compiler passes to preserve the register file values into memory and checkpoint single memory location upon every store instruction and uses them to recover by repeating the execution of a single basic block [15].…”

Section: Related Workmentioning

confidence: 99%

Compiler-support for Critical Data Persistence in NVM

Elkhouly

Alshboul

Hayashi

et al. 2019

ACM Trans. Archit. Code Optim.

View full text Add to dashboard Cite

Non-volatile Main Memories (NVMs) offer a promising way to preserve data persistence and enable computation recovery in case of failure. While the use of NVMs can significantly reduce the overhead of failure recovery, which is the case with High-Performance Computing (HPC) kernels, rewriting existing programs or writing new applications for NVMs is non-trivial. In this article, we present a compiler-support that automatically inserts complex instructions into kernels to achieve NVM data-persistence based on a simple programmer directive. Unlike checkpointing techniques that store the whole system state, our technique only persists user-designated objects as well as some parameters required for safe recovery such as loop induction variables. Also, our technique can reduce the number of data transfer operations, because our compiler coalesces consecutive memory-persisting operations into a single memory transaction per cache line when possible. Our compiler-support is implemented in the LLVM tool-chain and introduces the necessary modifications to loop-intensive computational kernels (e.g., TMM, LU, Gauss, and FFT) to force data persistence. The experiments show that our proposed compiler-support outperforms the most recent checkpointing techniques while its performance overheads are insignificant. CCS Concepts: • Software and its engineering → Source code generation; Runtime environments; Main memory; • Hardware → Emerging languages and compilers;

show abstract

Section: Related Workmentioning

confidence: 99%