SPARC微处理器在线故障检测技术
发布时间:2017-09-10 15:06
本文关键词:SPARC微处理器在线故障检测技术
更多相关文章: SPARC体系结构 LEON3 在线故障检测 部分重构
【摘要】:空间环境中存在大量的高能粒子,这些高能粒子使工作在太空中的处理器遭受各种辐射效应,影响其功能,甚至会烧毁器件,造成空间设备的某些功能模块失效,带来不可预计的后果。航天应用的处理器架构有两种,一种是美国使用的POWERPC,另一种是欧洲主导的SPRAC架构,由于中国与美国的战略关系,国内研制星载处理器的单位多采用具有开源优势的SPRAC架构,所以研究SPARC微处理器在线故障检测技术,提高其可靠性,对加速应用于航天领域的微处理器研制进程,有效打破国外对我国的航天技术封锁,提高我国航天设备的水平具有重要的理论和实践意义。论文首先探讨了空间辐射效应对微处理器的影响,调研了国内外的在线故障检测技术,讨论了基于SPARC体系的LEON3软核的内部结构,搭建了基于LEON3的So C系统测试平台。确定了故障模型,对基准电路LGSynth91使用编码预测方式进行在线检测故障,基于修改VHDL代码的注入方式进行故障注入,对奇偶码和分割奇偶编码两种编码的故障检测率进行了对比,分析结果表明分割奇偶编码的检测率高于奇偶码。其次修改LEON3软核源代码,将整数单元按照流水线的各阶段功能分解成七部分,采用预测编码方式分别实现各部分组合电路和时序电路在线故障检测,通过冻结流水线方式实现瞬态故障修复,效果十分明显,并将在线检测技术的So C系统在FPGA开发板上实现验证。对寄存器文件、指令Cache以及数据Cache采用ECC编码实现在线加固,当Cache存储体发生不可纠正故障时重新从主存中取数更新Cache进行修复。最后针对SPARC处理器永久故障的修复方法进行了研究。搭建基于Micro Blaze的动态部分修复系统,当SPARC处理器整数部件流水线的执行阶段组合电路(ALU等)发生永久故障后,通过硬件内部配置接口HWICAP从CF卡中读取备份模块的比特流,进行部分重构,实现永久故障在线修复。
【关键词】:SPARC体系结构 LEON3 在线故障检测 部分重构
【学位授予单位】:哈尔滨工业大学
【学位级别】:硕士
【学位授予年份】:2016
【分类号】:V467
【目录】:
- 摘要4-5
- ABSTRACT5-8
- 第1章 绪论8-18
- 1.1 课题背景及研究目的和意义8-9
- 1.2 空间辐射环境及对SPARC微处理的影响9-12
- 1.2.1 空间辐射环境9
- 1.2.2 空间辐射效应9-11
- 1.2.3 辐射效应对处理器的影响11-12
- 1.3 国内外研究现状分析12-16
- 1.3.1 国内外微处理器的可靠性研究现状12-13
- 1.3.2 国内外可靠性技术的研究现状13-16
- 1.4 本文主要研究内容16-17
- 1.5 论文结构安排17-18
- 第2章 SPARC微处理器在线故障检测方案设计18-38
- 2.1 SPARC V8系统结构18-19
- 2.1.1 SPARC V8处理器18
- 2.1.2 SPARC的寄存器18-19
- 2.2 SPARC V8的实现-LEON3微处理器19-24
- 2.3 LEON3 SoC平台搭建24-29
- 2.3.1 硬件平台搭建24-28
- 2.3.2 软件平台搭建28-29
- 2.4 故障模型29-30
- 2.4.1 固定型故障29
- 2.4.2 瞬态故障29-30
- 2.5 分割奇偶编码在线检测技术30-32
- 2.6 故障注入技术32-36
- 2.6.1 软件故障注入技术32
- 2.6.2 硬件故障注入技术32-33
- 2.6.3 模拟故障注入技术33-36
- 2.7 故障检测率36-37
- 2.8 本章小结37-38
- 第3章 LEON3整数部件在线故障检测实现38-55
- 3.1 组合电路SET38-51
- 3.1.1 取指段分析39-43
- 3.1.2 译码段分析43-46
- 3.1.3 访问寄存器文件段46-48
- 3.1.4 执行阶段48-50
- 3.1.5 流水线其它阶段50-51
- 3.2 时序电路SEU在线检测51-53
- 3.3 加检测技术的硬件实现53-54
- 3.4 本章小结54-55
- 第4章 Cache系统和寄存器文件在线加固实现55-67
- 4.1 ECC校验55-56
- 4.2 Cache系统故障检测实现56-63
- 4.2.1 Cache系统56-60
- 4.2.2 Cache故障检测及修复60-63
- 4.3 寄存器文件故障检测实现63-65
- 4.4 ECC加固硬件成本分析65-66
- 4.5 本章小结66-67
- 第5章 LEON3 ALU动态部分重构技术67-75
- 5.1 基于SRAM的FPGA结构介绍67-68
- 5.2 Xilinx动态局部重构68-74
- 5.2.1 FPGA重构分类68-70
- 5.2.2 LEON3 ALU动态部分重构设计实现70-74
- 5.3 本章小结74-75
- 结论75-76
- 参考文献76-79
- 攻读学位期间发表的学术论文79-81
- 致谢81
本文编号:824958
本文链接:https://www.wllwen.com/kejilunwen/hangkongsky/824958.html