刘勇鹏
- 作品数：43 被引量：52H指数：3
- 供职机构：国防科学技术大学更多>>
- 发文基金：国家自然科学基金霍英东青年教师基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术社会学经济管理更多>>
- 面向OpenMP的混合检查点机制
- 2007年
- 检查点/续算是软件容错的重要途径之一。论文描述了一个系统级和应用级混合的OpenMP检查点机制,系统级支持不仅使检查点系统具有了好的透明性,并且使共享数据的保存不再由主线程单独完成,具有良好的数据局部性。应用级OpenMP协议将与OpenMP相关的协议处理独立出来,提高了系统的可移植性。NPB3.2-OMP测试结果表明,检查点和续算所需要的时间开销小,能够满足大规模程序的实际需求。
- 黄春刘勇鹏杨学军
- 关键词：检查点系统应用级数据局部性检查点机制软件容错
- 高效能计算机系统虚拟化技术研究被引量：12
- 2010年
- 高效能计算机对系统的性能、安全性、可靠性和易用性等方面提出了更高的要求。虚拟机技术由于具有安全性好、配置和管理灵活等特点,已广泛应用于服务整合和安全管理等领域。但是,由于虚拟机技术在性能、管理和体系结构适用性等方面原因,在高性能并行计算机系统上尚未真正实用。我们提出了一种面向高性能并行计算机的虚拟化技术:高性能虚拟计算域(HPVZ)。HPVZ技术在保证系统性能的前提下,提供了具有用户独立可定制运行环境、服务质量管理、安全隔离和动态迁移的虚拟化高性能计算环境。测试表明,HPVZ在保证用户可以获得高性能计算机的原始计算能力的基础上,方便了用户使用,并改变了高性能计算机的传统使用模式。
- 卢凯迟万庆刘勇鹏唐宏伟
- 关键词：高效能计算机操作系统虚拟机技术
- 大规模高效能计算的系统软件关键技术研究
- 为满足大型应用不断增长的计算性能需求，高端计算系统的规模越来越大，结构越来越复杂，计算密度越来越高。功耗大、管理复杂、可靠性低、成本高等问题严重制约着大规模计算技术的进一步发展。高端计算已经由一味地追求高性能转向综合考虑...
- 刘勇鹏
- 关键词：功耗管理用户环境虚拟化
- 文献传递
- 异构并行计算结点的峰值功耗控制方法
- 本发明公开了一种异构并行计算结点的峰值功耗控制方法，目的是动态控制异构并行结点的峰值功耗，尽可能地减少功耗控制对结点执行性能的影响。技术方案是先构建由结点功耗描述文件、结点功耗预算设置子系统、协处理器负载监控子系统、处理...
- 杨灿群刘勇鹏卢凯肖立权杜云飞迟万庆王锋李宽邢建英高颖慧
- 文献传递
- GAP技术实现政府内外网隔离的应用研究
- 结合电子政务工作安全保密的基本要求,简要介绍了电子政务内外网网络隔离的技术实现途径.
在此基础上,提出了利用GAP技术实现电子政务涉密网络与非涉密网络在物理隔离条件下单向数据传输的一种技术解决方案和应用实例,方...
- 刘勇燕刘勇鹏张小红
- 关键词：电子政务GAP技术涉密网络信息安全物理隔离
- 文献传递
- 基于场景的处理器系统级验证完备性度量方法
- 本发明公开了一种基于场景的处理器系统级验证完备性度量方法，其实施步骤如下：1)根据处理器的应用领域构造典型应用场景；2)针对每一个应用场景，构造场景测试环境，使用场景测试用例对处理器进行测试，根据测试完成情况生成场景信度...
- 冯华唐遇星唐宏伟迟万庆卢凯蒋杰刘勇鹏王睿伯王小平高颖慧樊葆华李根
- 文献传递
- 一种快速的全系统模拟器确定性回放方法
- 本发明公开了一种快速的全系统模拟器确定性回放方法，其实施步骤如下：将并行程序的内存分为固定大小的块，将每块作为一个数据对象，在并行程序执行时记录数据对象的访存顺序；根据记录的数据对象的访存顺序重放并行程序，每当并行程序的...
- 周旭卢凯迟万庆李根唐宏伟刘勇鹏冯华王小平蒋杰王睿伯樊葆华张英高颖慧王双喜陈沉
- 文献传递
- 大规模I/O共享系统PCI桥非预取访存空间扩展方法
- 本发明公开了一种大规模I/O共享系统PCI桥非预取访存空间扩展方法，其实施步骤如下：1）建立目标地址译码器，通过目标地址译码路由表维护I/O结点的结点间地址与输出端口之间的映射关系；2）在操作系统枚举PCI设备时，获取每...
- 刘勇鹏庞征斌张峻蒋杰迟万庆卢凯唐宏伟樊葆华王睿伯李根王小平高颖慧冯华
- 文献传递
- 用户指导的多层混合检查点技术及性能优化被引量：3
- 2008年
- 检查点机制是一种典型有效的软件容错技术。在对现有检查点实现技术综合研究的基础上,设计了一个用户指导的多层混合检查点模型uHybcr,并在IA64 Linux系统中予以实现。最后,通过对比测试对引入用户指导机制所带来的性能优化进行了验证。
- 刘勇鹏王小平李根
- 关键词：IA64
- 用于大规模计算阵列操作系统的网络路由配置方法
- 本发明公开了一种用于大规模计算阵列操作系统的网络路由配置方法，其实施步骤如下：1）服务结点准备操作系统内核和操作系统映像，将各个计算结点的路由表文件对应计算结点的网络ID使用单调递增的连续数字进行命名，根据预设的固定间隔...
- 卢凯迟万庆冯华蒋杰唐宏伟樊葆华王睿伯李根王小平高颖慧刘勇鹏
- 文献传递
