赵荣彩
- 作品数：266 被引量：557H指数：11
- 供职机构：解放军信息工程大学更多>>
- 发文基金：国家高技术研究发展计划河南省杰出人才创新基金国家科技重大专项更多>>
- 相关领域：自动化与计算机技术电子电信交通运输工程自然科学总论更多>>
- 安腾处理器中多级分支预测机制被引量：2
- 2005年
- 分支预测技术可消除分支指令之后损失的周期,防止流水线断流。高比率的分支预测精确度是高性能微处理器性能的保证。本文详细分析了安腾处理器(Itanium)多级分支预测机制,并研究了每级预测器的具体实现。
- 苏铭赵荣彩宋宗宇
- 关键词：安腾处理器
- 一种灵活的基于网络处理器的流量生成方法被引量：2
- 2007年
- 流量生成是网络流量模拟和网络设备测试的关键技术。随着网络的发展,流量生成技术面临着性能、精确性和灵活性三方面的挑战。介绍了一种灵活的基于IXP2400网络处理器的高速流量生成方法,该方法主要包括两个组成部分:IXPBTG平台和3种灵活的流量生成算法。
- 张铮赵荣彩邰铭单征
- 关键词：IXP2400网络处理器
- 一个定制操作系统的工具包——OSKIT
- 2000年
- 一直以来 ,对操作系统的研究和开发总是缺少一个有力的工具。而OSKIT正是为OS的研究和设计人员而开发的一个定制操作系统的工具包。利用OSKIT可以方便的实现OS设计中各种繁琐的工作 ,如系统引导 ,内存管理 ,内核调试等等。另外本文还例举了OSKIT在几个OS设计和在硬件基础上对编程语言的实现的研究项目。
- 姚远赵荣彩
- 关键词：操作系统接口内核
- 一种同步时序PLD逆向分析数据采集算法被引量：6
- 2008年
- 采用逻辑分析法实现加密可编程逻辑器件(PLD)逆向分析的关键是为逻辑综合提供有效、完备的数据集,特别是对时序型PLD,在未知状态图的情况下,如何高效地采集到所有有效状态下的数据,是逆向分析研究的核心问题之一。该文在理论分析同步时序型PLD逆向分析可行性的基础上,提出一种适合多状态、复杂同步时序型PLD的高效数据采集算法,以动态建立非完全状态图为基础,求解状态驱动的最短路径,使得数据采集算法具有理想的时空开销。
- 李清宝张平赵荣彩曾光裕
- 关键词：可编程逻辑器件最短路径数据采集
- 软件流水中隐式控制流恢复技术
- 2008年
- 具有条件分支的循环通过IF转换将显式的控制流转换为隐式的控制流,从而为指令调度提供进一步的机会。但它往往将程序的代码进行深度重构,增加了程序的理解和代码重建工作的复杂性。提出了一种软件流水循环中的隐式控制流恢复技术,用于重构软件流水循环中的条件分支,提高软件逆向工程中生成的目标代码的质量。
- 汪淼赵荣彩蔡国明丁志芳
- 关键词：谓词执行
- 可重构系统中软硬任务划分方法研究被引量：2
- 2012年
- 软硬件任务划分是可重构系统开发过程中的重要设计步骤,其划分结果直接影响到可重构系统的性能。目前的软硬件任务划分技术大多只考虑了对应用程序或算法的划分结果,忽略了FPGA在配置和通信时的开销,从而导致实际应用效果不理想。介绍了一种基于性能评估的软硬件任务划分方法,即通过对FPGA计算开销、配置开销、通信开销的预评估测试,结合改进的模拟退火算法得出可重构系统中的软硬任务划分结果。实验结果表明,该划分方法具有较好的划分效果和算法收敛速度。
- 张丹赵荣彩单征韩林瞿进
- 关键词：可重构FPGA模拟退火
- 一种面向划分的数组数据流分析方法
- 2014年
- 传统数组数据流分析方法主要针对精确依赖测试、数组私有化等研究,无法为划分提供数组在循环间详细的定义-引用信息.本文提出了一种面向划分的数组数据流分析方法,通过定义-引用图来表示数组的数据流信息.首先根据嵌套循环的并行性和结构特点,建立定义-引用图的结点集.然后基于活跃-引用和精确数据流分析,在循环内求出数组的定义、引用等数组区域.最后根据数据流方程和过程间分析添加定义-引用边.通过对矩阵求逆等七个实际用例的实验结果表明,定义-引用图的引用能够使划分算法对并行收益做出准确的评估,并减少了生成代码的通信冗余,提升了并行程序的加速比.
- 丁锐赵荣彩赵捷
- 关键词：自动并行化
- 数组数据流分析技术的研究被引量：6
- 2005年
- 传统的数据依赖关系分析不能表示两个读/写数组引用是否对同一数值进行操作,本文介绍了能给出这一精确信息的数组数据流分析技术,并详细描述了表示数据流分析的终写树LWT(LastWriteTree)的构造过程。
- 王珊珊赵荣彩
- 关键词：数据流分析
- 基于有向图可达性的SLP向量化识别方法被引量：2
- 2017年
- SLP(superword level parallelism)是一种实现SIMD(single instruction multiple data)向量化的方法,当前的主流向量化编译器都实现了这种向量化方法.然而,当前算法在进行SLP向量化时,对应用程序中可向量化循环的分析过程过于保守,导致其识别SLP向量化的能力不足.为了提升该能力,本文提出了一种基于有向图可达性的SLP向量化识别方法.首先,基于数组依赖图构建包含数组和语句依赖信息的有向图,使同一条语句内的所有数组节点都在一个强连通分量内,并对强连通分量之间的依赖边进行剪枝;其次,分析不同强连通分量节点之间的可达性,根据节点的可达性获得识别SLP向量化所需的所有依赖信息,从而确定语句中的循环是否可以进行SLP向量化.将该方法在Open64-5.0编译器中实现后,SLP向量化效果得到大幅提升.对gcc-vect测试集中程序的实测结果表明,优化后的Open64-5.0编译器识别SLP向量化循环的能力优于GCC4.9,与Intel ICC14.0相当,生成的向量化代码性能优于当前最优算法.
- 赵捷赵荣彩
- 关键词：有向图可达性
- 基于主导值的计算和数据自动划分算法被引量：5
- 2012年
- 计算和数据自动划分是并行化编译中一种自动分配计算和数据到各个处理机的优化技术,划分的结果直接影响程序并行的性能。数组是划分处理的主要对象之一,一些数组分布后的收益不高,但带来的并行约束却能对其它数组的划分产生干扰,导致大量数据重分布通信的产生。现有的划分算法中没有约定数组分布的优先次序,因此无法限制这些数组并行约束的传播,降低了优化编译器后端自动生成并行代码的性能。提出了一种基于主导值的计算和数据自动划分算法:将划分过程中数组对程序并行性的影响量化为主导值,并依据主导值的大小约定数组分布的优先次序,限制干扰数组并行约束的传播速度,提高划分结果的合理性。实验结果表明,算法能够获得良好的划分效果。
- 丁锐赵荣彩韩林
- 关键词：自动并行化数据分布
