国家自然科学基金(60773024)
- 作品数：11 被引量：32H指数：4
- 相关作者：王志英戴葵赖明澈龚锐郭建军更多>>
- 相关机构：国防科学技术大学并行与分布处理国防科技重点实验室更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 基于代码特征分析的TTA指令压缩技术与解压部件实现被引量：3
- 2008年
- 针对传输触发结构提出了一种高效的指令压缩技术.改进模板压缩,消除了空传输指令与空长立即数.基于传输局部性特征,提出垂直字典压缩,提高了指令压缩效果.最后,设计单周期解压部件,以较小硬件代价实现了低耦合实时解压.实验结果表明,该技术达到了37.2%的压缩比,并且使计算内核及指令存储器的面积与功耗分别下降了约29%与23%,执行开销仅增加了约4%.
- 赖明澈王志英戴葵高蕾
- 关键词：代码压缩压缩比模拟器
- 同步数据触发体系结构中指令预取技术研究被引量：1
- 2009年
- 同步数据触发体系结构SDTA将传统指令级并行细化到微操作级并行,具有较高的数据处理能力,但其特殊的指令格式及指令特性,给指令Cache访问带来了挑战。指令预取技术能够有效地降低指令Cache的访问失效率,增强处理器取指能力,提高性能。本文分析了SDTA指令集特性,提出了一种适合SDTA指令集特性的软硬件相结合的混合指令预取机制,采用硬件预取引擎和软件提示相结合进行预取。该方法能够有效地提高指令Cache命中率,且具有实现简单、无效预取率低、不会增加代码体积等特点。
- 郭建军戴葵王志英
- 关键词：指令预取
- 基于现场保存与恢复的双核冗余执行模型
- 2009年
- 本文提出了基于现场保存与恢复的双核冗余软错误恢复执行模型DCR。该执行模型在两个冗余的内核上执行相同的线程,并对store指令进行比较。本文对每个内核增加了硬件实现的现场保存与恢复机制,在检测到软错误以后可以恢复到上一现场保存点继续执行。实验结果表明,与传统的软错误恢复执行模型CRTR相比,DCR执行模型对核间通信带宽的需求降低了57.5%。在发生软错误的情况下,DCR能够恢复99.69%的软错误。
- 龚锐戴葵王志英
- 关键词：多核
- 一种多核处理器存储层次性能评估模型
- 一种用于评估多核处理器存储层次性能的模型,使用排队论建模,求解速度快,可以在设计早期给出不同配置参数对处理器整体性能的影响,从而调整存储层次结构,优化设计.
- 郭建军戴葵王志英
- 关键词：多核处理器
- 文献传递
- 基于路由器解析式模型的NoC网络性能分析方法被引量：4
- 2009年
- 建立一种高效的片上网络(NoC)性能分析方法对NoC早期的系统设计分析具有重要的指导意义.首先从NoC路由器工作原理出发,对报文传输中的各种阻塞现象进行分析,建立了基于M/G/1/N排队系统的路由器模型;然后提出NoC网络性能分析算法,并且给出了传输延迟、饱和吞吐率等参数的解析表达式.与时钟精度仿真结果比较表明,该方法分析误差约为6.9%,但分析效率提高了约200倍.该方法适用于指导程序NoC拓扑映射,在获取最优映射方案同时,可有效地挖掘网络通信瓶颈.
- 赖明澈王志英戴葵
- 关键词：片上网络性能分析拓扑映射
- 面向SDTA处理单元的一种功耗评估方法
- 2009年
- 本文针对同步数据传输体系结构(SDTA)处理单元提出了一种功耗评估方法。基于处理单元的结构抽象,结合SDTA特点,采取不同方法对各个子部件功耗分别进行评估。该方法不仅满足了精度要求,而且具有较好的灵活性与较高的工作效率,特别适应于专用指令集处理器的设计流程。实验表明,与PrimePower门级功耗评估工具的模拟结果比较,70%与90%的样本误差分别小于8.2%与10.8%,但评估效率提高了12000倍左右。
- 赖明澈戴葵王志英
- 关键词：功耗评估模拟器
- 一种软硬件结合的控制流检测与恢复方法被引量：4
- 2009年
- 控制流检测可以有效地提高微处理器容错能力.针对传统软件实现的控制流检测时空开销大的缺点,提出了一种软硬件结合的控制流检测与恢复方法.该方法通过编译自动插入签名数据,由硬件在分支/跳转指令之后自动执行检测,并且提供了硬件现场保存和恢复机制,检测到控制流错误后无需复位系统即可以快速恢复正常控制流.基于8051体系结构实现了软硬件结合的控制流检测与恢复方法,实验结果表明与传统的软件控制流检测相比,该方法在保持相同的错误检测率的情况下,可以大幅减小二进制代码量和额外的性能开销,在发生控制流错误以后可以快速恢复正常控制流.
- 龚锐陈微刘芳戴葵王志英
- 关键词：软错误控制流检测硬件检测
- 异步电路的静态数据流图模型及其性能分析
- 2009年
- 静态数据流图是异步电路的一种抽象模型,具有灵活性高、易于理解的优点。基于静态数据流图的一种形式化的执行语义,提出了一种适合于性能分析的静态数据流图的Petri网模型,并基于该模型提出了一种性能评价方法。该方法具有速度快、灵活性高的优点,特别适合大规模异步电路设计早期的性能分析。该模型比静态数据流图的传统Petri网模型在规模上小一倍,而且避免了引入非标准的read-arc。通过实验,该模型和性能评价方法的有效性得到了充分的验证。
- 晋钢王蕾王志英
- 多核系统中基于动态电压频率调节的实时节能调度研究被引量：6
- 2010年
- 在实时嵌入式领域,特别是无线移动和便携式计算领域,能耗是首要考虑的因素,这也是多核处理器尚未在嵌入式领域全面展开应用的首要因素。目前针对多核系统的实时应用,基于动态电压频率调节(DVFS)的实时节能调度技术研究得较少,还有许多问题亟待解决。本文介绍了多核系统中动态电压频率调节技术,分析讨论了当前多核系统中实时调度研究进展,主要针对同构多核、异构多核、并行任务模型和弱硬实时模型等方面,深入探讨了多核系统中基于DVFS的实时节能调度。本文结合多核系统、电压频率动态调节节能和实时调度,探索了多核系统中的实时节能调度,奠定了理论和技术基础,具有重大的理论意义和现实应用价值。
- 张冬松陈芳园金士尧
- 关键词：实时系统多核系统弱硬实时
- 对数函数ln(x)在SDTA指令集结构上的实现
- 2009年
- SDTA指令集体系结构是一种基于传输触发的VLIW体系结构。本文结合SDTA指令集结构的特点,经过循环展开和循环化简、强度消弱、过程集成、机器方言和指令归并等指令调度优化技术,高效实现了自然对数函数ln(x)。实验结果表明,在Neuron处理器上,ln(x)不但数据精度高,而且运行周期数只有gcc3.2.2数学库中自然对数函数运行周期数的33%左右。
- 甘新标戴葵沈立王志英
