| 面向RISC-V内核的标记指令复算与纠错机制的设计 |
| |
| 引用本文： | 邓丁,郭阳.面向RISC-V内核的标记指令复算与纠错机制的设计[J].国防科技大学学报,2020,42(6):90-97. |
| |
| 作者姓名： | 邓丁 郭阳 |
| |
| 作者单位： | 国防科技大学 计算机学院, 湖南 长沙 410073 |
| |
| 基金项目： | 国家自然科学基金资助项目(61832018) |
| |
| 摘 要： | 由宇宙辐射等环境因素引起的硬件瞬时故障会极大降低计算机系统的可靠性。为了减小硬件瞬时故障对系统可靠性的影响,保证程序的正确运行,基于RISC-V开源内核“蜂鸟e203”提出一种标记指令复算与纠错机制。该机制为指令码额外增加了复算标记,以较小的硬件开销实现对指定指令的复算操作。此外,该机制可以在第一次复算结果与初始运算结果不等时自动进行二次复算,并由三次运算结果的多数表决结果来纠正大部分硬件瞬时故障所引起的数据流异常。实验表明,通过与中断处理程序相结合,在随机注入瞬时故障的情况下,程序的正确执行概率平均增加了86.67%。
|
| 关 键 词： | RISC-V 蜂鸟 指令标记 复算 纠错 |
| 收稿时间： | 2019/6/13 0:00:00 |
Recomputation and correction mechanism design for tagged instructions of the RISC-V core |
| |
| DENG Ding,GUO Yang.Recomputation and correction mechanism design for tagged instructions of the RISC-V core[J].Journal of National University of Defense Technology,2020,42(6):90-97. |
| |
| Authors: | DENG Ding GUO Yang |
| |
| Institution: | College of Computer Science and Technology, National University of Defense Technology, Changsha 410073, China |
| |
| Abstract: | |
| |
| Keywords: | RISC-V Humming bird tagged instruction recomputation correction |
|
| 点击此处可从《国防科技大学学报》浏览原始摘要信息 |
| 点击此处可从《国防科技大学学报》下载免费的PDF全文 |
|
