A Software-Implemented Configurable Control Flow Checking Method
In space radiation environment, a large number of cosmic ray often results in transient faults on on-board computer. These transient faults lead to data flow errors or control flow errors during program running. For the control flow errors caused by transient faults, this paper proposes a control fl...
Saved in:
Published in | 2010 3rd International Symposium on Parallel Architectures, Algorithms and Programming pp. 199 - 205 |
---|---|
Main Authors | , , |
Format | Conference Proceeding |
Language | English |
Published |
IEEE
01.12.2010
|
Subjects | |
Online Access | Get full text |
Cover
Loading…
Abstract | In space radiation environment, a large number of cosmic ray often results in transient faults on on-board computer. These transient faults lead to data flow errors or control flow errors during program running. For the control flow errors caused by transient faults, this paper proposes a control flow checking method based on classifying basic blocks CFCCB. CFCCB firstly classifies the basic blocks based on the control flow graph that has been inserted the abstract blocks. CFCCB then designs formatted signatures for the basic blocks and inserts the instructions for comparing and update signatures into every basic block for the purpose of checking the control flow errors that are inter-blocks, intra-blocks or inter-procedures. Compared to existing algorithms, CFCCB not only has high label express ability, but also can be configured flexibly. The fault injection experiment results of CFCCB and other similar algorithms have shown that, the average fail rate of programs with CFCCB has decreased to 19.9% at the cost of increasing the executing time by 34% and increasing the memory overhead by 41.5% in average. CFCCB has lower performance and memory overhead, and has highest reliability among the similar algorithms. |
---|---|
AbstractList | In space radiation environment, a large number of cosmic ray often results in transient faults on on-board computer. These transient faults lead to data flow errors or control flow errors during program running. For the control flow errors caused by transient faults, this paper proposes a control flow checking method based on classifying basic blocks CFCCB. CFCCB firstly classifies the basic blocks based on the control flow graph that has been inserted the abstract blocks. CFCCB then designs formatted signatures for the basic blocks and inserts the instructions for comparing and update signatures into every basic block for the purpose of checking the control flow errors that are inter-blocks, intra-blocks or inter-procedures. Compared to existing algorithms, CFCCB not only has high label express ability, but also can be configured flexibly. The fault injection experiment results of CFCCB and other similar algorithms have shown that, the average fail rate of programs with CFCCB has decreased to 19.9% at the cost of increasing the executing time by 34% and increasing the memory overhead by 41.5% in average. CFCCB has lower performance and memory overhead, and has highest reliability among the similar algorithms. |
Author | Li Jianli Tan Qingping Xu Jianjun |
Author_xml | – sequence: 1 surname: Li Jianli fullname: Li Jianli email: lijianli.cn@gmail.com organization: Sch. of Comput., Nat. Univ. of Defense Thchnology, Changsha, China – sequence: 2 surname: Tan Qingping fullname: Tan Qingping email: eric.tan.6508@gmail.com organization: Sch. of Comput., Nat. Univ. of Defense Thchnology, Changsha, China – sequence: 3 surname: Xu Jianjun fullname: Xu Jianjun email: jianjun.xu@yeah.net organization: Sch. of Comput., Nat. Univ. of Defense Thchnology, Changsha, China |
BookMark | eNotjM1Kw0AURgdswaZ2585NXiD13rmTyczOEKwWKhbUdZlJbtpofkoSKb69Lbo4fBz4OIGYtF3LQtwiLBHB3m_TdLuUcNaErkSASipllZF6ImYStYkISE1FcLlYShIbX4vFMHwCAKGxRsNMPKThW1eOJ9dztG6ONTfcjlyEWdeW1f67d77mi4x9V4erujuF2YHzr6rdhy88HrriRkxLVw-8-N-5-Fg9vmfP0eb1aZ2lmyhHojHSSvmYjEKXWMusSRayKM8UYL2MlSRA1giJszGUqIz26CV555XPPRDNxd1ft2Lm3bGvGtf_7OIEYzCKfgF5TEtY |
CitedBy_id | crossref_primary_10_1109_TII_2013_2248373 |
ContentType | Conference Proceeding |
DBID | 6IE 6IL CBEJK RIE RIL |
DOI | 10.1109/PAAP.2010.73 |
DatabaseName | IEEE Electronic Library (IEL) Conference Proceedings IEEE Proceedings Order Plan All Online (POP All Online) 1998-present by volume IEEE Xplore All Conference Proceedings IEEE Xplore IEEE Proceedings Order Plans (POP All) 1998-Present |
DatabaseTitleList | |
Database_xml | – sequence: 1 dbid: RIE name: IEEE Xplore url: https://proxy.k.utb.cz/login?url=https://ieeexplore.ieee.org/ sourceTypes: Publisher |
DeliveryMethod | fulltext_linktorsrc |
Discipline | Computer Science |
EndPage | 205 |
ExternalDocumentID | 5715084 |
Genre | orig-research |
GroupedDBID | 6IE 6IF 6IK 6IL 6IN AAJGR ABLEC ADZIZ ALMA_UNASSIGNED_HOLDINGS BEFXN BFFAM BGNUA BKEBE BPEOZ CBEJK CHZPO IEGSK IPLJI M43 OCL RIE RIL |
ID | FETCH-LOGICAL-c133t-644b53841a799ee632d2dfd2dd09b2542301e6107a950f1486b1b23bab4bcb033 |
IEDL.DBID | RIE |
ISBN | 1424494826 9781424494828 |
ISSN | 2168-3034 |
IngestDate | Wed Jun 26 19:28:00 EDT 2024 |
IsPeerReviewed | false |
IsScholarly | false |
LCCN | 2010937795 |
Language | English |
LinkModel | DirectLink |
MergedId | FETCHMERGED-LOGICAL-c133t-644b53841a799ee632d2dfd2dd09b2542301e6107a950f1486b1b23bab4bcb033 |
PageCount | 7 |
ParticipantIDs | ieee_primary_5715084 |
PublicationCentury | 2000 |
PublicationDate | 2010-Dec. |
PublicationDateYYYYMMDD | 2010-12-01 |
PublicationDate_xml | – month: 12 year: 2010 text: 2010-Dec. |
PublicationDecade | 2010 |
PublicationTitle | 2010 3rd International Symposium on Parallel Architectures, Algorithms and Programming |
PublicationTitleAbbrev | paap |
PublicationYear | 2010 |
Publisher | IEEE |
Publisher_xml | – name: IEEE |
SSID | ssj0003189860 ssj0000527807 |
Score | 1.5090915 |
Snippet | In space radiation environment, a large number of cosmic ray often results in transient faults on on-board computer. These transient faults lead to data flow... |
SourceID | ieee |
SourceType | Publisher |
StartPage | 199 |
SubjectTerms | Circuit faults Classification algorithms control flow error fault injection Flow graphs formatted signature Hardware reconstructing control flow graph Reliability Routing Transient analysis |
Title | A Software-Implemented Configurable Control Flow Checking Method |
URI | https://ieeexplore.ieee.org/document/5715084 |
hasFullText | 1 |
inHoldings | 1 |
isFullTextHit | |
isPrint | |
link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV3NS8MwFA_bTp6mbuI3OXg0s03TtLk5hmMIk4EOdhtJ-6qibFJaBv71vqQfinjwUOgrtLRp8r7ye-9HyJWWGrgOMobrSDOR-YIZIzVLRGYpIdHn0HZHd_4gZ0txvwpXHXLd1sIAgAOfwcieur38dJuUNlWGwbvtXi66pBt7vKrVavMpXsijuA5lrIxzVcWuSJj7MmaoqUVT16UE-tRNu6dajltQvLpZjMeLCvRl2dR_kK44mzPtk3nzthXU5G1UFmaUfP5q5Pjfz9knw-_qPrpo7dYB6cDmkPQbegdar_YBuR3TR1TSO50Dc02EXf_OlNrHvD6XuS26soKFutPp-3ZHJy-Q2NQ7nTte6iFZTu-eJjNWEy6wBEPVgqFvZFABCl9HSgHIgKc8zfBIPWUwksRwxQf0tyKtQg9_ayyNb3hgtBEmMV4QHJHeZruBY0L9zEshROvPExBSRtoPIi0iy5sX4U3qhAzsgKw_qp4a63osTv--fEb2eAsjOSe9Ii_hAp2Bwly6WfAFoy-q0A |
link.rule.ids | 310,311,786,790,795,796,802,27956,55107 |
linkProvider | IEEE |
linkToHtml | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV3NS8MwFA9zHvQ0dRO_zcGjmf1Ik-bmGI6p6xi4wW4jaVMVZZPRMvCv9yX9UMSDh0JfoaVNk_eV33s_hK4kk9qTfkpgHUlCU5cSpZgkMU0NJST4HNLs6EZjNpzRh3kwb6DruhZGa23BZ7prTu1efrKKc5Mqg-DddC-nW2gb7LzDi2qtOqPiBB4Py2DGyDBbRWjLhD2XhQR0Na0quwQFr7pq-FTKYQ2LFzeTXm9SwL4Mn_oP2hVrdQYtFFXvW4BN3rp5prrx569Wjv_9oD3U-a7vw5Pacu2jhl4eoFZF8IDL9d5Gtz38BGp6I9ea2DbCtoNngs1jXp_ztSm7MoIBu-PB-2qD-y86Nsl3HFlm6g6aDe6m_SEpKRdIDMFqRsA7UqACqSu5EFoz30u8JIUjcYSCWBICFleDx8WlCBz4sSFTrvJ8JRVVsXJ8_xA1l6ulPkLYTZ1EB2D_vVhTxrh0fS4pN8x5HG4Sx6htBmTxUXTVWJRjcfL35Uu0M5xGo8Xofvx4ina9GlRyhprZOtfn4Bpk6sLOiC_ej64k |
openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=2010+3rd+International+Symposium+on+Parallel+Architectures%2C+Algorithms+and+Programming&rft.atitle=A+Software-Implemented+Configurable+Control+Flow+Checking+Method&rft.au=Li+Jianli&rft.au=Tan+Qingping&rft.au=Xu+Jianjun&rft.date=2010-12-01&rft.pub=IEEE&rft.isbn=9781424494828&rft.issn=2168-3034&rft.spage=199&rft.epage=205&rft_id=info:doi/10.1109%2FPAAP.2010.73&rft.externalDocID=5715084 |
thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=2168-3034&client=summon |
thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=2168-3034&client=summon |
thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=2168-3034&client=summon |