Lightweight checkpoint technique for resilience against soft errors
AssigneeArizona Board of Regents on behalf of Arizona State University
InventorsMoslem Didehban, Sai Ram Dheeraj Lokam, Aviral Shrivastava
Life of this patent
Estimating the term…
Loading patent…
AssigneeArizona Board of Regents on behalf of Arizona State University
InventorsMoslem Didehban, Sai Ram Dheeraj Lokam, Aviral Shrivastava
Estimating the term…
Systems and methods for implementing a lightweight checkpoint technique for resilience against soft errors are disclosed. The technique provides effective, safe, and timely soft error detection and recovery using software. In an exemplary aspect, resilience against data flow errors and control flow errors is provided in critical or mixed-critical applications in each basic block or at critical basic blocks. Verified register preservation is provided at each basic block, along with memory preservation checkpoints. In this manner, soft errors are quickly detected and addressed. The register and memory preservation further allows for safe re-execution from recoverable soft errors. Control flow errors can also be detected at the beginning and/or end of each basic block.
A method of detecting and recovering from soft errors of a processing device, comprising:
A method of compiling a critical instruction block, comprising:
A non-transitory computer-readable medium, configured to adapt a processing device to:
Dependencies are inferred from the claim text.