TY - GEN
T1 - ESoftCheck
T2 - 7th International Symposium on Code Generation and Optimization, CGO 2009
AU - Yu, Jing
AU - Garzarán, María Jesús
AU - Snir, Marc
N1 - Copyright:
Copyright 2010 Elsevier B.V., All rights reserved.
PY - 2009
Y1 - 2009
N2 - As semiconductor technology scales into the deep submicron regime the occurrence of transient or soft errors will increase. This will require new approaches to error detection. Software checking approaches are attractive because they require little hardware modification and can be easily adjusted to fit different reliability and performance requirements. Unfortunately, software checking adds a significant performance overhead. In this paper we present ESoftCheck, a set of compiler optimization techniques to determine which are the vital checks, that is, the minimum number of checks that are necessary to detect an error and roll back to a correct program state. ESoftCheck identifies the vital checks on platforms where registers are hardware-protected with parity or ECC, when there are redundant checks and when checks appear in loops. ESoftCheck also provides knobs to trade reliability for performance based on the support for recovery and the degree of trustiness of the operations. Our experimental results on a Pentium 4 show that ESoftCheck can obtain 27.1% performance improvement without losing fault coverage.
AB - As semiconductor technology scales into the deep submicron regime the occurrence of transient or soft errors will increase. This will require new approaches to error detection. Software checking approaches are attractive because they require little hardware modification and can be easily adjusted to fit different reliability and performance requirements. Unfortunately, software checking adds a significant performance overhead. In this paper we present ESoftCheck, a set of compiler optimization techniques to determine which are the vital checks, that is, the minimum number of checks that are necessary to detect an error and roll back to a correct program state. ESoftCheck identifies the vital checks on platforms where registers are hardware-protected with parity or ECC, when there are redundant checks and when checks appear in loops. ESoftCheck also provides knobs to trade reliability for performance based on the support for recovery and the degree of trustiness of the operations. Our experimental results on a Pentium 4 show that ESoftCheck can obtain 27.1% performance improvement without losing fault coverage.
UR - http://www.scopus.com/inward/record.url?scp=67650566031&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=67650566031&partnerID=8YFLogxK
U2 - 10.1109/CGO.2009.14
DO - 10.1109/CGO.2009.14
M3 - Conference contribution
AN - SCOPUS:67650566031
SN - 9780769535760
T3 - Proceedings of the 2009 CGO - 7th International Symposium on Code Generation and Optimization
SP - 35
EP - 46
BT - Proceedings of the 2009 CGO - 7th International Symposium on Code Generation and Optimization
Y2 - 22 April 2009 through 25 April 2009
ER -