广西壮族自治区自然科学基金(2013GXNSFAA019324)
- 作品数：4 被引量：5H指数：2
- 相关作者：张会兵唐柳黄樟钦方凤才侯义斌更多>>
- 相关机构：桂林电子科技大学广西师范学院北京工业大学更多>>
- 发文基金：广西壮族自治区自然科学基金国家自然科学基金教育部重点实验室开放基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 微处理器可靠性AVF评估方法研究综述被引量：2
- 2014年
- 架构脆弱因子(AVF)表示处理器结构中导致程序输出可见错误的故障概率,可量化故障屏蔽效应,使得定量分析架构的故障率不受底层变量的影响,是微处理器设计环节中一个重要的可靠性度量指标。介绍AVF的基本概念、计算方法,对相关研究进展进行梳理,指出现有AVF研究方法的局限性,并探讨了未来的研究方向。
- 唐柳黄樟钦侯义斌方凤才张会兵
- 利用冗余核的MPSoC故障检测方法被引量：2
- 2014年
- 在处理器可靠性研究中,为在容错机制部署与容错开销之间达到较好的平衡,提出一个利用冗余核进行检测代码计算任务的多处理器片上系统(MPSoC)故障检测方法。该方法利用多核系统天然的冗余特性,将用于进行故障检测的冗余代码中的大部分计算任务转移到冗余核中进行,检测软件控制流的正确性和数据的一致性,实现MPSoC的故障检测。所提方法无需添加额外硬件,通过指令级的冗余进行故障检测,可满足系统可靠性需求,同时又能减少面积开销,在性能方面和花销上做到有效的权衡。在一个MPSoC上对所提方法进行验证实验,通过故障注入,运行多个基准程序进行有效性验证,并将所提方法与几种具有代表性的软件检测硬件故障方法故障检测能力、面积、内存以及性能花销等方面进行比较,实验结果证明所提方法有效且能够在性能和花销之间取得较好的权衡。
- 唐柳黄樟钦侯义斌方凤才张会兵
- 关键词：多处理器片上系统可靠性故障检测
- 认证向量组长度动态更新算法
- 2015年
- 针对现有演进分组系统认证与密钥协商机制中认证向量组长度K值选取算法的不足,在消息通信量的基础上,加入比特通信量这一衡量因子,引入2种浪费率作为评价指标和设计折中选取原则,提出了一种基于认证次数动态选取认证向量组长度K的算法.仿真结果表明,提出的选取算法不仅解决了K值不唯一问题,还有效降低了认证过程的消息通信量和比特通信量.
- 白媛王倩贾其兰郝瑞敏张会兵
- 关键词：认证与密钥协商
- 基于指令流混合比与功能单元匹配的软错误脆弱性控制方法被引量：2
- 2017年
- 发射队列是处理器流水线的关键结构。降低发射队列对软错误的敏感性已成为微处理器可靠性设计不可忽视的问题。提出一种在处理器流水线前端实施的软错误脆弱性控制方法,该方法在不改变功能单元的情况下,根据指令流混合比与功能单元配置的匹配情况,调节发射队列中的指令类型比例,降低指令在发射队列中的等待时间,从而降低发射队列的体系结构脆弱因子,缓解软错误敏感性。实验结果表明,该方法平均减低发射队列的架构易感因子2.8%左右,IPC/AVF提高约4.9%。
- 唐柳黄樟钦张会兵
