学位论文 > 优秀研究生学位论文题录展示

基于高可靠R80515的控制流检测算法研究

作　者: 王克惠
导　师: 顾国昌
学　校: 哈尔滨工程大学
专　业: 计算机应用技术
关键词: 控制流检测安全编译 CFCSS 单粒子翻转错误恢复
分类号: TP332
类　型: 硕士论文
年　份: 2008年
下　载: 23次
引　用: 0次
阅　读: 论文下载

内容摘要

当前,微处理器正越来越多地被应用于各种恶劣环境中,但是高能粒子产生的单粒子效应会对微处理器的正常工作产生影响,尤其对应用在太空环境中的微处理器而言,影响更严重,成为其可靠性降低的首要因素,而本文所研究的控制流检测技术正是防止和克服由于单粒子效应而造成程序错误运行的有效手段。目前控制流检测有纯软件和软硬件结合两种方式,纯软件控制流检测方式处理灵活,不受硬件的限制适合在不同硬件平台下应用,但系统开销大。而软硬件结合控制流检测方法具有系统开销小、软件部分负担少等特点,有很广阔的应用前景。国防科大研发的高可靠R80515芯片具有多重硬件加固功能,并支持软硬件结合的控制流检测。本文基于高可靠R80515展开软硬件结合控制流检测算法的研究。本论文首先介绍控制流检测理论和常用的控制流检测算法,着重阐述和分析了汇编级控制流检测方法CFCSS(control flow checking bv softwaresignatures),详细描述了CFCSS的控制流检测原理、签名值分派算法、控制流检测过程等技术细节,并指出CFCSS控制流检测算法存在的混淆和多共享扇入等问题,还对CFCSS算法不能检测的控制流错误进行归类。在此基础上提出了基于多调整签名的控制流检测算法——CFCMAS(Control FlowChecking based on Multiple Adjusting Signature)。多调整签名思想的引入,使得共享多扇入等控制流检测难题迎刃而解。文中对基本块的划分方法、签名值的生成方法、签名值的分派算法等控制流检测的关键问题进行了研究和解决,使得控制流检测的存储代价和时间消耗更小。在理论研究的基础上,通过在通用嵌入式编译器SDCC中插入一个控制流检测层的途径实现了CFCMAS算法。最后选取常用的测试程序,分别用不同的控制流检测算法进行测试,重点分析对比了CFCMAS算法与其它常用控制流检测算法的各项性能,结果表明CFCMAS算法在检测性能和资源消耗上都优于其他算法。

全文目录

摘要  5-6
ABSTRACT  6-10
第1章绪论  10-15
  1.1 课题研究背景  10-11
  1.2 单粒子翻转效应介绍  11-12
  1.3 国内外控制流检测的研究现状  12-13
  1.4 主要研究工作及内容安排  13-15
第2章高可靠R80515平台简介  15-21
  2.1 R80515介绍  15-17
  2.2 R80515的整体加固方案  17
  2.3 R80515对控制流检测的支持  17-18
  2.4 R80515对保存与恢复的支持  18-20
  2.5 本章小结  20-21
第3章控制流检测理论  21-31
  3.1 控制流检测的基本原理  21-22
    3.1.1 控制流错误  21-22
    3.1.2 控制流检测  22
  3.2 控制流检测技术的分类  22-24
  3.3 控制流检测的常用算法  24-30
    3.3.1 软硬结合的控制流检测方法  25-27
    3.3.2 纯软件控制流检测方法  27-30
  3.4 本章小结  30-31
第4章 CFCMAS控制流检测算法  31-59
  4.1 纯软件控制流检测算法CFCSS介绍  31-40
    4.1.1 运行时的签名  32-36
    4.1.2 运行时调整签名  36-38
    4.1.3 CFCSS算法  38-40
  4.2 CFCSS算法中存在的问题  40-43
    4.2.1 混淆现象  40-41
    4.2.2 共享多扇入问题优化后可解的情况  41-42
    4.2.3 共享多扇入问题优化后无解的情况  42-43
  4.3 CFCMAS算法  43-58
    4.3.1 CFCMAS算法总体思想  43-44
    4.3.2 CFCMAS中基于汇编码的基本块划分  44-47
    4.3.3 CFCMAS分派签名值  47-48
    4.3.4 CFCMAS中运行时签名和多调整签名  48-50
    4.3.5 CFCMAS算法与高可靠R80515硬件平台的配合  50
    4.3.6 CFCMAS控制流检测流程及算法描述  50-58
  4.4 本章小结  58-59
第5章基于SDCC编译器的CFCMAS算法实现  59-67
  5.1 CFCMAS控制流检测单元在SDCC中的位置  59-61
  5.2 CFCMAS控制流检测单元设计和实现  61-66
    5.2.1 数据结构设计  62-63
    5.2.2 控制流分析的主要流程  63-66
  5.3 本章小结  66-67
第6章 CFCMAS算法的性能及实验数据分析  67-76
  6.1 CFCMAS算法的实验及性能分析  67-74
    6.1.1 空间开销和时间开销的对比分析  67-70
    6.1.2 检错能力和恢复能力的对比分析  70-74
  6.2 CFCMAS算法的改进方案  74-75
  6.3 本章小结  75-76
结论  76-78
参考文献  78-83
攻读硕士学位期间发表的论文及取得的科研成果  83-84
致谢  84

相似论文

面向星载计算机瞬时故障的软件控制流错误检测技术,TP311.52
高可靠微处理器设计关键技术研究与实现,TP332
多核微处理器容软错误设计关键技术研究,TP332
基于汇编语言的控制流错误检测算法研究,TN407
基于增量式技术的程序静态分析器的研究,TP311.11
基于反馈的视频数据差错恢复技术的研究与实现,TN919.8
高可信安全编译器的设计与实现,TP314
群组密钥协商协议研究,TN918.1
基于事务的Web服务组合问题的研究与应用,TP393.09
面向服务的工作流恢复策略的研究,TP311.52
网络安全语言关键技术的研究,TP393.08
基于语法功能匹配的句法分析算法,H146.35.234
无线视频通信中的错误恢复技术研究,TN919.8
3G视频编解码器软件设计和优化实现,TP311.52
Packetization and Transmission of H.263 Bitstream,TN919.8
事务工作流技术研究,TP311.52
Improving Availability with Fine-grained Failure Detection and Recovery,TP306
基于iSCSI的网络存储系统安全性研究与实现,TP333
面向对象工作流模型及其动态修改和恢复策略,TP311.52
基于MPEG-4的可扩缩编码的研究与实现,TN919.81