范昊
- 作品数：15 被引量：15H指数：2
- 供职机构：江南计算技术研究所更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种非结构网格众核粗粒度并行计算方法
- 本发明公开一种非结构网格众核粗粒度并行计算方法，该方法在第一级非结构网格的区域分解的基础上增加了第二级的线程级区域分解，每个从核求解各自的独立计算区域，保证从核核心计算任务的数据命中率，实现MPI进程级的粗粒度并行和从核...
- 刘鑫李芳徐金秀陈德训孙唯哲范昊何香
- 文献传递
- 基于目标机器的程序性能分析方法
- 本发明提供了一种基于目标机器的程序分析方法，所述方法包括：执行待分析程序，获取待分析程序中时间热点的与性能指标相关的特征数据，所述性能指标是基于目标机器和样本程序包而选定的；获取与所述性能指标对应的性能描述标准，所述性能...
- 范昊陈华蓉彭超吴梦歌
- 文献传递
- 面向远程开发的高可用并行调试
- 为了解决传统调试器的弊端，本文提出了一种HPC上的面向远程开发的并行调试设计，着重讨论了其的高可用机制。
- 魏阁瑞范昊
- 关键词：并行计算
- 文献传递
- 将本地方法动态封装为服务的方法
- 本发明公开一种将本地方法动态封装为服务的方法，基于字节码生成和反射技术，包括以下步骤：S1、采用自说明的Xml文件格式，设计生成Java类的配置文件；S2、通过S1中生成的配置文件编写对应Java类的自动生成模块，即根据...
- 陈华蓉彭超范昊刘勇孙川张威王敬宇冯赟龙宋佳伟彭达佳罗威梁艳
- 文献传递
- 基于目标机器的程序性能分析方法
- 本发明提供了一种基于目标机器的程序分析方法，所述方法包括：执行待分析程序，获取待分析程序中时间热点的与性能指标相关的特征数据，所述性能指标是基于目标机器和样本程序包而选定的；获取与所述性能指标对应的性能描述标准，所述性能...
- 范昊陈华蓉彭超吴梦歌
- 文献传递
- 基于SMT求解器的微处理器指令验证数据约束生成技术被引量：5
- 2020年
- 处理器研制过程中需要对指令算术数据路径进行覆盖验证.针对现有模拟验证方法存在的不足,提出了一种基于可满足模理论(satisfiability modulo theory,SMT)的指令约束求解方法:利用可满足模理论求解器将指令级功能验证任务转化成数据约束求解满足问题.在结果操作数约束、操作数间约束、指令内部约束以及浮点操作数约束4个方面分别给出示例,并分别给出了利用SMT求解器进行约束建模的关键过程以及可以用于指令级功能验证的元组数据.为提高求解模型效率,提出了2种解决方法:首先利用时间阈值实现问题求解超时即终止的策略;其次是结合进程管理与线程管理技术,实现了指令功能约束并行求解框架,将串行求解任务分派给可并行执行的多个线程,提高了求解速度.该技术已成功应用于系统级验证中,有效提升了测试覆盖与质量,取得了很好的效益.
- 谭坚罗巧玲王丽一胡夏晖范昊徐占
- 关键词：数据路径
- 一种面向通用众核CPU的软件调试器设计
- 2014年
- 近年来,众核处理器技术飞速发展,而面向该体系架构的软件调试技术相对滞后。针对众核平台上软件调试的特点,提出了一种一对多的软件调试模型,基于开源调试器gdb,设计了指令移位断点算法。该设计克服了硬件断点数量的限制,提升了异常定位的精确度,改善了软件调试器的易用性。最后通过实例对采用该设计的软件调试器进行了验证。结果表明,该设计能够有效解决众核程序的调试问题,提高软件调试器的执行效率,帮助程序员快速定位软件错误。
- 王敬宇范昊
- 一种安全快速的大规模并行计算输入输出实现方法
- 本发明公开一种安全快速的大规模并行计算输入输出实现方法，该方法建立双备份安全目录机制；采用断点文件的分层目录结构管理；根据底层网络带宽和计算节点主核数选择输出因子。本发明解决了超大规模断点文件的安全性问题，解决了超大规模...
- 陈德训郭恒徐金秀李芳徐占孙唯哲范昊
- 文献传递
- 初探SSD在神威高性能计算机上的应用模式
- 2009年
- SSD固态硬盘,由于其低功耗、无噪音、高性能等优势一直被业界看好,如何在高性能计算中更好地利用这种高效低耗的设备,是一个值得探讨的话题。本文介绍了SSD的概念,分析了SSD的优缺点,结合神威高性能计算机,研究了它的存储特性,并通过实验,对怎样将SSD引入到神威机中这一问题,提出了解决方案。
- 余婷范昊
- 关键词：SSD
- 面向异构众核Dcache纵向一致性的调试方法
- 本发明公开一种面向异构众核Dcache纵向一致性的调试方法，包括以下步骤：S1、启动软件调试器，运行可执行程序，设置若干个从核断点；S2、在程序运行到从核断点前，保存现场；S3、在预设的地址空间上预先设计一段指令，用于调...
- 王敬宇宋佳伟冯赟龙范昊刘勇陈华蓉彭达佳孙川张威罗威梁艳
- 文献传递
