Clover: Compiler directed lightweight soft error resilience

Liu, Qingrui; Lee, Dongyoon; Jung, Changhee; Tiwari, Devesh

doi:10.1145/2670529.2754959

Title: Clover: Compiler directed lightweight soft error resilience

Journal Article · Fri May 01 00:00:00 EDT 2015 · SIGPLAN

DOI:https://doi.org/10.1145/2670529.2754959· OSTI ID:1261518

Liu, Qingrui ^[1]; Lee, Dongyoon ^[1]; Jung, Changhee ^[1]; Tiwari, Devesh ^[2]

Virginia Polytechnic Inst. and State Univ. (Virginia Tech), Blacksburg, VA (United States)
Oak Ridge National Lab. (ORNL), Oak Ridge, TN (United States)

This paper presents Clover, a compiler directed soft error detection and recovery scheme for lightweight soft error resilience. The compiler carefully generates soft error tolerant code based on idem-potent processing without explicit checkpoint. During program execution, Clover relies on a small number of acoustic wave detectors deployed in the processor to identify soft errors by sensing the wave made by a particle strike. To cope with DUE (detected unrecoverable errors) caused by the sensing latency of error detection, Clover leverages a novel selective instruction duplication technique called tail-DMR (dual modular redundancy). Once a soft error is detected by either the sensor or the tail-DMR, Clover takes care of the error as in the case of exception handling. To recover from the error, Clover simply redirects program control to the beginning of the code region where the error is detected. Lastly, the experiment results demonstrate that the average runtime overhead is only 26%, which is a 75% reduction compared to that of the state-of-the-art soft error resilience technique.

View Accepted Manuscript (DOE)

Cite

Export

Save

Research Organization:: Oak Ridge National Laboratory (ORNL), Oak Ridge, TN (United States). Oak Ridge Leadership Computing Facility (OLCF)

Sponsoring Organization:: USDOE Office of Science (SC)

Grant/Contract Number:: AC05-00OR22725

OSTI ID:: 1261518

Journal Information:: SIGPLAN, Vol. 50, Issue 5; Conference: 16. ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES 2015), Portland, OR (United States), 18-19 Jun 2015; ISSN 0362-1340

Publisher:: ACMCopyright Statement

Country of Publication:: United States

Language:: English

Citation Metrics:

Cited by: 18 works

Citation information provided by
Web of Science

References (32)

Static analysis and compiler design for idempotent processing de Kruijf, Marc A.; Sankaralingam, Karthikeyan; Jha, Somesh Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation - PLDI '12 https://doi.org/10.1145/2254064.2254120	conference	January 2012
SWIFT: Software Implemented Fault Tolerance Reis, G. A.; Chang, J.; Vachharajani, N. International Symposium on Code Generation and Optimization https://doi.org/10.1109/CGO.2005.34	conference	January 2005
Is dark silicon useful?: harnessing the four horsemen of the coming dark silicon apocalypse Taylor, Michael B. Proceedings of the 49th Annual Design Automation Conference on - DAC '12 https://doi.org/10.1145/2228360.2228567	conference	January 2012
The Use of Triple-Modular Redundancy to Improve Computer Reliability Lyons, R. E.; Vanderkulk, W. IBM Journal of Research and Development, Vol. 6, Issue 2 https://doi.org/10.1147/rd.62.0200	journal	April 1962
Reliable on-chip systems in the nano-era: lessons learnt and future trends Henkel, Jörg; Bauer, Lars; Dutt, Nikil Proceedings of the 50th Annual Design Automation Conference on - DAC '13 https://doi.org/10.1145/2463209.2488857	conference	January 2013
Trends and challenges in VLSI circuit reliability Constantinescu, C. IEEE Micro, Vol. 23, Issue 4 https://doi.org/10.1109/MM.2003.1225959	journal	July 2003
Perturbation-based Fault Screening Racunas, Paul; Constantinides, Kypros; Manne, Srilatha 2007 IEEE 13th International Symposium on High Performance Computer Architecture https://doi.org/10.1109/HPCA.2007.346195	conference	February 2007
An Experimental Study of Soft Errors in Microprocessors Saggese, G. P.; Wang, N. J.; Kalbarczyk, Z. T. IEEE Micro, Vol. 25, Issue 6 https://doi.org/10.1109/MM.2005.104	journal	November 2005
Encore: low-cost, fine-grained transient fault recovery Feng, Shuguang; Gupta, Shantanu; Ansari, Amin Proceedings of the 44th Annual IEEE/ACM International Symposium on Microarchitecture - MICRO-44 '11 https://doi.org/10.1145/2155620.2155667	conference	January 2011
Automatic Instruction-Level Software-Only Recovery Reis, George A.; Chang, Jonathan; August, David I. IEEE Micro, Vol. 27, Issue 1 https://doi.org/10.1109/MM.2007.4	journal	January 2007
Argus: Low-Cost, Comprehensive Error Detection in Simple Cores Meixner, Albert; Bauer, Michael E.; Sorin, Daniel 40th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO 2007) https://doi.org/10.1109/MICRO.2007.18	conference	December 2007
Shoestring: probabilistic soft error reliability on the cheap Feng, Shuguang; Gupta, Shantanu; Ansari, Amin ACM SIGARCH Computer Architecture News, Vol. 38, Issue 1 https://doi.org/10.1145/1735970.1736063	journal	March 2010
UnSync-CMP: Multicore CMP Architecture for Energy-Efficient Soft-Error Reliability Jeyapaul, Reiley; Rhisheekesan, Abhishek IEEE Transactions on Parallel and Distributed Systems, Vol. 25, Issue 1 https://doi.org/10.1109/TPDS.2013.14	journal	January 2014
The gem5 simulator Binkert, Nathan; Sardashti, Somayeh; Sen, Rathijit ACM SIGARCH Computer Architecture News, Vol. 39, Issue 2 https://doi.org/10.1145/2024716.2024718	journal	August 2011
End-to-end register data-flow continuous self-test Carretero, Javier; Chaparro, Pedro; Vera, Xavier Proceedings of the 36th annual international symposium on Computer architecture - ISCA '09 https://doi.org/10.1145/1555754.1555770	conference	January 2009
Avoiding core's DUE & SDC via acoustic wave detectors and tailored error containment and recovery Upasani, Gaurang; Vera, Xavier; González, Antonio ACM SIGARCH Computer Architecture News, Vol. 42, Issue 3 https://doi.org/10.1145/2678373.2665682	journal	October 2014
Boosting efficiency of fault detection and recovery throughapplication-specific comparison and checkpointing Chen, Hao; Yang, Chengmo Proceedings of the 14th ACM SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems - LCTES '13 https://doi.org/10.1145/2491899.2465562	conference	January 2013
Assuring application-level correctness against soft errors Cong, Jason; Gururaj, Karthik 2011 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) https://doi.org/10.1109/ICCAD.2011.6105319	conference	November 2011
Implications of the Power Wall: Dim Cores and Reconfigurable Logic Wang, Liang; Skadron, Kevin IEEE Micro, Vol. 33, Issue 5 https://doi.org/10.1109/MM.2013.74	journal	September 2013
Idempotent code generation: Implementation, analysis, and evaluation de Kruijf, M.; Sankaralingam, K. Proceedings of the 2013 IEEE/ACM International Symposium on Code Generation and Optimization (CGO) https://doi.org/10.1109/CGO.2013.6495002	conference	February 2013
Hard Data on Soft Errors: A Large-Scale Assessment of Real-World Error Rates in GPGPU Haque, Imran S.; Pande, Vijay S. 2010 10th IEEE/ACM International Conference on Cluster, Cloud and Grid Computing https://doi.org/10.1109/CCGRID.2010.84	conference	May 2010
Harnessing Soft Computations for Low-Budget Fault Tolerance Khudia, Daya Shanker; Mahlke, Scott 2014 47th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO) https://doi.org/10.1109/MICRO.2014.33	conference	December 2014
Framework for economical error recovery in embedded cores Upasani, Gaurang; Vera, Xavier; Gonzalez, Antonio 2014 IEEE 20th International On-Line Testing Symposium (IOLTS) https://doi.org/10.1109/IOLTS.2014.6873687	conference	July 2014
Design and Evaluation of Hybrid Fault-Detection Systems Reis, George A.; Chang, Jonathan; Vachharajani, Neil ACM SIGARCH Computer Architecture News, Vol. 33, Issue 2 https://doi.org/10.1145/1080695.1069983	journal	May 2005
Characterizing Application Memory Error Vulnerability to Optimize Datacenter Cost via Heterogeneous-Reliability Memory Luo, Yixin; Govindan, Sriram; Sharma, Bikash 2014 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) https://doi.org/10.1109/DSN.2014.50	conference	June 2014
The EDA Challenges in the Dark Silicon Era: Temperature, Reliability, and Variability Perspectives Shafique, Muhammad; Garg, Siddharth; Henkel, Jörg Proceedings of the The 51st Annual Design Automation Conference on Design Automation Conference - DAC '14 https://doi.org/10.1145/2593069.2593229	conference	January 2014
Low cost control flow protection using abstract control signatures Khudia, Daya Shanker; Mahlke, Scott Proceedings of the 14th ACM SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems - LCTES '13 https://doi.org/10.1145/2491899.2465568	conference	January 2013
Near-threshold voltage (NTV) design: opportunities and challenges Kaul, Himanshu; Anders, Mark; Hsu, Steven Proceedings of the 49th Annual Design Automation Conference on - DAC '12 https://doi.org/10.1145/2228360.2228572	conference	January 2012
40th Annual IEEE/ACM International Symposium on Microarchitecture - Table of Contents 40th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO 2007) https://doi.org/10.1109/MICRO.2007.8	conference	December 2007
The Soft Error Problem: An Architectural Perspective Mukherjee, S. S.; Emer, J.; Reinhardt, S. K. 11th International Symposium on High-Performance Computer Architecture https://doi.org/10.1109/HPCA.2005.37	conference	January 2005
Design and Evaluation of Hybrid Fault-Detection Systems Reis, G. A.; Chang, J.; Vachharajani, N. 32nd International Symposium on Computer Architecture (ISCA'05) https://doi.org/10.1109/ISCA.2005.21	conference	June 2005
ReStore: Symptom-Based Soft Error Detection in Microprocessors Wang, N. J.; Patel, S. J. IEEE Transactions on Dependable and Secure Computing, Vol. 3, Issue 3 https://doi.org/10.1109/TDSC.2006.40	journal	July 2006

Cited By (1)

Compiler Directed Speculative Intermittent Computation Choi, Jongouk; Liu, Qingrui; Jung, Changhee arXiv https://doi.org/10.48550/arxiv.2006.11479	preprint	January 2020

Similar Records

Compiler-Directed Soft Error Detection and Recovery to Avoid DUE and SDC via Tail-DMR

Journal Article · Mon Dec 19 00:00:00 EST 2016 · ACM Transactions on Embedded Computing Systems · OSTI ID:1261518

Liu, Qingrui; Jung, Changhee; Lee, Dongyoon; +1 more

Resiliency in numerical algorithm design for extreme scale simulations

Journal Article · Fri Dec 10 00:00:00 EST 2021 · International Journal of High Performance Computing Applications · OSTI ID:1261518

Agullo, Emmanuel; Altenbernd, Mirco; Anzt, Hartwig; +33 more

Design for a Soft Error Resilient Dynamic Task-Based Runtime, In: 2015 IEEE International Parallel and Distributed Processing Symposium

Conference · Fri May 01 00:00:00 EDT 2015 · 2015 IEEE 29TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM (IPDPS) · OSTI ID:1261518

Cao, Chongxiao; Herault, Thomas; Bosilca, George; +1 more

Related Subjects

97 MATHEMATICS AND COMPUTING
soft error resilience
compilers
tail-DMR frontier
idempotent processing
acoustic wave detectors

Title: Clover: Compiler directed lightweight soft error resilience

Citation Formats

References (32)

Cited By (1)

Similar Records

Related Subjects