国家高技术研究发展计划(2007AA01Z117)
- 作品数：7 被引量：35H指数：1
- 相关作者：谢向辉李宏亮钱磊陈左宁郑霄更多>>
- 相关机构：江南计算技术研究所解放军信息工程大学更多>>
- 发文基金：国家重点基础研究发展计划国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 复杂串联系统的状态空间生成的形式化分析
- 2009年
- 大规模系统的模型状态空间生成过程由于状态空间的规模没有预先估计而不可控,形式化分析有利于解决这一问题。本文针对复杂串联系统的特殊结构,采用形式化方法分析研究了它的状态空间生成规律,从而达到快速预估模型状态空间规模的目的。
- 郑霄赖新王丽田涛
- 关键词：形式化方法
- 一种超算系统的强度可用性建模与评估被引量：1
- 2010年
- 可用性评估越来越注重用户的感知,强度可用性就是这样一种能反映用户所感知的系统计算能力的可用性评估指标。然而超算系统所面对的用户有很多,他们在不同层次上与系统交互,因此所感知的强度可用性各不相同,但相互之间存在关联。若分别为他们建模求解,既会造成很多重复性工作,也会延长评估的过程。提出一种名为UHAM(User-oriented Hierarchical AvailabilityModeling)的、基于层次化建模的强度可用性评估方法,实现了一次建模与求解能满足多个评估需求的目的。UHAM方法独立于系统的具体结构,因而具有普适性。
- 郑霄李宏亮陈左宁谢向辉
- 关键词：层次化建模
- 虚拟化技术在高性能计算机系统中的应用研究被引量：34
- 2009年
- 随着高性能计算机系统规模的不断扩大,体系结构的日益复杂,其管理和使用也变得越来越困难。将虚拟化技术应用于构建高性能计算机系统有助于帮助开发人员高效管理和使用高性能计算机系统,使其发挥最大效能。本文详细分析了虚拟化技术在高性能计算机系统中已有的几个成功应用,总结了虚拟化技术应用于高性能计算领域时所面临的主要问题,最后对虚拟化技术在高性能计算机系统中的应用前景进行了展望。
- 钱磊李宏亮谢向辉陈左宁
- 关键词：虚拟化技术虚拟机管理器高性能计算机
- VCPPS:一种面向并行Verilog模拟的代码分割器
- 2009年
- 本文介绍了一种面向并行模拟的Verilog代码分割器VCPPS。VCPPS通过图形化的方式进行人机交互,并采取用户启发式的方法指导分割。文章介绍了VCPPS设计与实现中的一些关键技术,通过分析可以看出,VCPPS可以正确地完成繁琐的Verilog代码分割工作,为并行Verilog模拟提供支持。
- 张昆钱磊李宏亮谢向辉
- 激励简化与模拟加速研究:Rasbora技术
- 2009年
- 模拟技术是进行计算机体系结构设计的重要方法。循环语句形成了SCMD的程序结构,使得少量源代码产生大量的Trace和超长的运行时间。本文从源程序的这一特征出发,构建基于循环缩减的Trace简化和模拟加速方法——Rasbora。Rasbora在程序源代码中添加指令,有选择地记录循环过程中的Trace内容,从而有效地简化Trace;并且在模拟过程中,识别循环体表现的相似性,用少量的循环体模拟近似代替所有循环的运行。经过测试表明,Rasbora方法可以有效地减少Trace量,缩减模拟时间,同时保证了一定精度的要求。
- 郝子宇李宏亮谢向辉钱磊张昆
- 关键词：模拟技术
- 片上多核的软件指令缓存技术研究
- 2009年
- 半导体工艺的进步使片上可以集成更多的处理核心,对于消耗较多面积和功耗的存储单元,如何有效地减小面积、降低功耗是片上多核研究的一个重要方向。软件指令缓存技术是降低指令存储复杂性,以及降低功耗的有效方式,本文深入对比了硬件Cache结构和软件指令缓存结构,并且详细分析了两款典型的软件指令缓存结构,总结了其特点和需要解决的关键问题,为片上多核的指令存储设计提供了参考。
- 过锋李宏亮谢向辉黄永勤
- 关键词：CMP
- 高性能MD5算法IP核的设计空间探索与分析
- 2009年
- 本文以Bluespec System Verilog高层硬件描述语言为工具,对MD5核心算法进行了设计空间探索,实现了全展开组合逻辑、全展开流水线、循环迭代、流水化的循环迭代四种结构,测试和分析了各种结构的性能和面积指标,完整掌握了MD5IP核的设计空间的各项参数。
- 原昊吴东谢向辉
- 关键词：MD5SYSTEMVERILOG
