A method of compiler generated checkpoints for the detection of permanent hardware faults is offered. Some of the floating point addition instructions of a program are used as checkpoints. The compiler automatically generates a diverse execution on different data paths (pseudo-duplication). Rounding-modes and fault coverage are investigated. The method can be implemented without additional hardware and with a tolerable reduction in performance.
展开▼
