计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2014年
z2期
382-386
,共5页
李剑明%谭庆平%徐建军%尹胜
李劍明%譚慶平%徐建軍%尹勝
리검명%담경평%서건군%윤성
瞬时故障%数字标签%控制流检测%软件容错
瞬時故障%數字標籤%控製流檢測%軟件容錯
순시고장%수자표첨%공제류검측%연건용착
Transient faults%Software signatures%Control flow checking%Software tolerance
暴露在太空辐射环境下的星载计算机,其电子元器件可能因受到高能带电粒子的轰击而造成硬件系统的瞬时故障,所以,需要使用容错技术来提高其可靠性.对一种面向硬件瞬时故障的纯软件控制流检测算法RSCFC(Relationship Signatures for Control Flow Checking)进行了有效的改进,通过对标签S进行分段编码,克服了原算法中存在的待加固程序的基本块总数受机器字长限制的问题,并给出了具体的计算证明.计算结果表明,如果机器字长为64位,那么改进后的算法在设定前提下能单层加固程序的最大基本块数可以超过218.与RSCFC相比,改进后的算法在加固基本块总数比较大的程序时,性能开销明显降低而且检错能力保持不变.
暴露在太空輻射環境下的星載計算機,其電子元器件可能因受到高能帶電粒子的轟擊而造成硬件繫統的瞬時故障,所以,需要使用容錯技術來提高其可靠性.對一種麵嚮硬件瞬時故障的純軟件控製流檢測算法RSCFC(Relationship Signatures for Control Flow Checking)進行瞭有效的改進,通過對標籤S進行分段編碼,剋服瞭原算法中存在的待加固程序的基本塊總數受機器字長限製的問題,併給齣瞭具體的計算證明.計算結果錶明,如果機器字長為64位,那麽改進後的算法在設定前提下能單層加固程序的最大基本塊數可以超過218.與RSCFC相比,改進後的算法在加固基本塊總數比較大的程序時,性能開銷明顯降低而且檢錯能力保持不變.
폭로재태공복사배경하적성재계산궤,기전자원기건가능인수도고능대전입자적굉격이조성경건계통적순시고장,소이,수요사용용착기술래제고기가고성.대일충면향경건순시고장적순연건공제류검측산법RSCFC(Relationship Signatures for Control Flow Checking)진행료유효적개진,통과대표첨S진행분단편마,극복료원산법중존재적대가고정서적기본괴총수수궤기자장한제적문제,병급출료구체적계산증명.계산결과표명,여과궤기자장위64위,나요개진후적산법재설정전제하능단층가고정서적최대기본괴수가이초과218.여RSCFC상비,개진후적산법재가고기본괴총수비교대적정서시,성능개소명현강저이차검착능력보지불변.
