F_Radish: Enhancing Silent Data Corruption Detection for Aerospace-Based Computing
Radiation-induced soft errors degrade the reliability of aerospace-based computing. Silent data corruption (SDC) is the most dangerous and insidious type of soft error result. To detect SDC, program invariant assertions are used to harden programs. However, there exist redundant assertions in harden...
Main Authors: | , |
---|---|
Format: | Article |
Language: | English |
Published: |
MDPI AG
2021-12-01
|
Series: | Electronics |
Subjects: | |
Online Access: | https://www.mdpi.com/2079-9292/10/1/61 |
id |
doaj-336865e2d18845bcb3e1e19e5b3c0735 |
---|---|
record_format |
Article |
spelling |
doaj-336865e2d18845bcb3e1e19e5b3c07352021-01-01T00:03:23ZengMDPI AGElectronics2079-92922021-12-0110616110.3390/electronics10010061F_Radish: Enhancing Silent Data Corruption Detection for Aerospace-Based ComputingNa Yang0Yun Wang1School of Computer Science and Engineering, Southeast University, Nanjing 210000, ChinaSchool of Computer Science and Engineering, Southeast University, Nanjing 210000, ChinaRadiation-induced soft errors degrade the reliability of aerospace-based computing. Silent data corruption (SDC) is the most dangerous and insidious type of soft error result. To detect SDC, program invariant assertions are used to harden programs. However, there exist redundant assertions in hardened programs, which impairs the detection efficiency. Benign errors are another type of soft error result. An assertion may detect benign errors, incurring unnecessary recovery overhead. The detection degree of an assertion represents the detection capability, and an assertion with a high detection degree can detect severe errors. To improve the detection efficiency and detection degree while reducing the benign detection ratio, F_Radish is proposed in the present work to screen redundant assertions in a novel way. At a program point, the detection degree and benign detection ratio are considered to evaluate the importance of the assertions in the program point. As a result, only the most important assertion remains in the program point. Moreover, the redundancy degree is considered to screen redundant assertions for neighbouring program points. Experimental results show that in comparison with the Radish approach, the detection efficiency of F_Radish is about two times greater. Moreover, F_Radish reduces the benign detection ratio and improves the detection degree. It can avoid more unnecessary recovery overheads and detect more serious SDC than can Radish.https://www.mdpi.com/2079-9292/10/1/61soft errorsingle event upsetsilent data corruptionreliabilityredundant assertion |
collection |
DOAJ |
language |
English |
format |
Article |
sources |
DOAJ |
author |
Na Yang Yun Wang |
spellingShingle |
Na Yang Yun Wang F_Radish: Enhancing Silent Data Corruption Detection for Aerospace-Based Computing Electronics soft error single event upset silent data corruption reliability redundant assertion |
author_facet |
Na Yang Yun Wang |
author_sort |
Na Yang |
title |
F_Radish: Enhancing Silent Data Corruption Detection for Aerospace-Based Computing |
title_short |
F_Radish: Enhancing Silent Data Corruption Detection for Aerospace-Based Computing |
title_full |
F_Radish: Enhancing Silent Data Corruption Detection for Aerospace-Based Computing |
title_fullStr |
F_Radish: Enhancing Silent Data Corruption Detection for Aerospace-Based Computing |
title_full_unstemmed |
F_Radish: Enhancing Silent Data Corruption Detection for Aerospace-Based Computing |
title_sort |
f_radish: enhancing silent data corruption detection for aerospace-based computing |
publisher |
MDPI AG |
series |
Electronics |
issn |
2079-9292 |
publishDate |
2021-12-01 |
description |
Radiation-induced soft errors degrade the reliability of aerospace-based computing. Silent data corruption (SDC) is the most dangerous and insidious type of soft error result. To detect SDC, program invariant assertions are used to harden programs. However, there exist redundant assertions in hardened programs, which impairs the detection efficiency. Benign errors are another type of soft error result. An assertion may detect benign errors, incurring unnecessary recovery overhead. The detection degree of an assertion represents the detection capability, and an assertion with a high detection degree can detect severe errors. To improve the detection efficiency and detection degree while reducing the benign detection ratio, F_Radish is proposed in the present work to screen redundant assertions in a novel way. At a program point, the detection degree and benign detection ratio are considered to evaluate the importance of the assertions in the program point. As a result, only the most important assertion remains in the program point. Moreover, the redundancy degree is considered to screen redundant assertions for neighbouring program points. Experimental results show that in comparison with the Radish approach, the detection efficiency of F_Radish is about two times greater. Moreover, F_Radish reduces the benign detection ratio and improves the detection degree. It can avoid more unnecessary recovery overheads and detect more serious SDC than can Radish. |
topic |
soft error single event upset silent data corruption reliability redundant assertion |
url |
https://www.mdpi.com/2079-9292/10/1/61 |
work_keys_str_mv |
AT nayang fradishenhancingsilentdatacorruptiondetectionforaerospacebasedcomputing AT yunwang fradishenhancingsilentdatacorruptiondetectionforaerospacebasedcomputing |
_version_ |
1724364523546083328 |