赖鑫
- 作品数：10 被引量：7H指数：2
- 供职机构：国防科学技术大学更多>>
- 发文基金：国家自然科学基金湖南省自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 面向线程推测执行的数据依赖冲突检测关键技术研究
- 随着半导体工艺的发展，处理器朝着众核方向发展，片上网络逐渐取代总线成为核间通信的基础架构。新工艺的出现改变了片上的设计范式，使得在单芯片集成更多的处理器核成为可能。然而众核系统运行效率较低，尚有一系列的科学技术问题亟待解...
- 赖鑫
- 关键词：多核处理器并行编程CACHE一致性
- 文献传递
- 多处理器平台下的动态二进制翻译方法
- 本发明公开了一种多处理器平台下的动态二进制翻译方法。目的是提供一种利用操作系统缺页中断机制实现翻译控制的方法。技术方案是先搭建由多个处理器组成的硬件平台，然后设计翻译软件，由翻译软件负责二进制代码的转换；接着实现动态二进...
- 王志英徐帆沈立赖鑫陈微陈顼颢郑重温家辉郭辉
- 文献传递
- 支持动态二进制翻译的多核体系结构
- 本发明公开了一种支持动态二进制翻译的多核体系结构，目的是解决动态二进制翻译过程中的Cache访问冲突和主存冲突等问题。本发明由多个处理器核、一级Cache、翻译缓存单元、二级Cache和主存控制器组成。一级Cache、翻...
- 王志英赖鑫沈立徐帆陈微陈顼颢郑重朱天龙陆华俊游良帅
- 文献传递
- 支持线程级猜测的存储体系结构设计被引量：2
- 2012年
- 在线程级猜测中进行数据依赖相关检测时,存在Cache一致性协议无法容忍线程切换引起的Cache块替换等问题。为此,通过分析推测线程数据管理模型,结合推测线程切概率低的特点,提出一种分布-共享式恢复缓冲区结构。该结构在进行Cache一致性检验时结合作废向量和版本优先级寄存器进行数据依赖检测,利用L2 Cache进行推测数据缓冲和恢复以支持推测线程切换。修改SESC模拟器以验证和评估该存储体系结构。实验结果表明,在保持模拟器理想加速比的情况下,该存储体系结构可以较好地支持推测线程切换。
- 赖鑫刘聪王志英
- 关键词：CACHE一致性协议
- 多处理器平台下的动态二进制翻译方法
- 本发明公开了一种多处理器平台下的动态二进制翻译方法。目的是提供一种利用操作系统缺页中断机制实现翻译控制的方法。技术方案是先搭建由多个处理器组成的硬件平台，然后设计翻译软件，由翻译软件负责二进制代码的转换；接着实现动态二进...
- 王志英徐帆沈立赖鑫陈微陈顼颢郑重温家辉郭辉
- 高可靠8051微处理器的设计与实现被引量：2
- 2009年
- 本文介绍了一款高可靠8051(HR8051)的设计与实现。在一款现有高性能8051微处理器体系结构的基础上,针对单粒子翻转事件(SEU),应用各种可靠性增强技术,如时空三模冗余(ST-TMR)、控制流检测、安全状态机等,并对可靠性增强后的处理器进行故障注入,以验证其可靠性增强效果。故障注入结果表明,采用了可靠性增强技术后,处理器的可靠性有了很大的提高。
- 赖鑫戴葵刘芳王志英
- 支持动态二进制翻译的多核体系结构
- 本发明公开了一种支持动态二进制翻译的多核体系结构，目的是解决动态二进制翻译过程中的Cache访问冲突和主存冲突等问题。本发明由多个处理器核、一级Cache、翻译缓存单元、二级Cache和主存控制器组成。一级Cache、翻...
- 王志英赖鑫沈立徐帆陈微陈顼颢郑重朱天龙陆华俊游良帅
- 高可靠8051微处理器设计与实现
- 介绍了一款高可靠8051(HR8051)的设计与实现。在一款现有高性能8051微处理器体系结构的基础上，针对单粒子翻转事件(SEU)，应用各种可靠性增强技术，如时空三模冗余(ST-TMR)、控制流检测、安全状态机等，并对...
- 赖鑫戴葵刘芳王志英
- 关键词：微处理器
- 高可靠8051设计与实现及可靠性评估
- 近20年来,随着计算机技术的广泛应用,许多应用场合都要求计算机必须长期稳定、可靠地运行,作为计算机系统核心的微处理器的可靠性因此受到广泛的关注。辐射和电磁干扰是目前造成的微处理器失效的主要原因,其造成的单粒子效应对于微处...
- 赖鑫
- 一种松弛的并行单散列加密框架
- 针对散列加密计算复杂，难以并行的现状，分析了散列加密过程中散列值生成原理，提出了一种松弛的并行散列加密框架，该框架取消了散列值生成之间的层层依赖，散列加密可以完全并行，并且证明了松弛的并行散列加密框架的加密强度与标准散列...
- 甘新标沈立王志英赖鑫朱琪
- 关键词：计算机安全功能分析
