郑龙
- 作品数：31 被引量：7H指数：2
- 供职机构：华中科技大学更多>>
- 发文基金：国家自然科学基金国家教育部博士点基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种基于块偏序的动态数据竞争检测方法及系统
- 本发明公开了一种基于块偏序的动态数据竞争检测方法及系统，其中，方法的实现包括：利用底层虚拟机LLVM的前端对源代码进行编译得到中间代码IR，并利用LLVM的流程PASS对访存操作及同步操作进行插桩；在所述中间代码IR的运...
- 廖小飞林敏豪郑龙金海
- 一种用于多线程程序性能分析的重放系统被引量：2
- 2015年
- 近年来,多线程程序中性能bug问题越来越突出.传统用于检测并发错误的记录/重放系统存在重放开销和执行时间不精确等问题,因此不适于对性能bug的研究.针对上述问题,提出了一种可用于多线程程序性能分析的重放系统——PerfPlay.首先,分析了用于程序性能分析时必要的程序信息;其次,基于程序执行轨迹,探讨了不同的重放策略,并提出了基于程序调度的重放策略,以保证重放系统的性能保真度;最后,基于提出的性能重放系统,进一步研究了经典的"线程间不必要锁竞争"所造成的性能问题.通过与传统的重放策略作比较,PerfPlay保证了重放系统的性能保证度.并经过案例研究,发现并进一步验证了若干真实的多线程程序性能问题.
- 郑龙廖小飞吴松金海
- 关键词：重放多线程
- 一种基于异构FPGA数据流的图计算优化方法
- 本发明涉及一种基于异构FPGA数据流的图计算优化方法，FPGA处理模块读取存储于共享存储模块中的图数据Graph data，并且在对图数据进行图计算Graph Processing之前基于图数据的幂律分布特性凭借FPGA...
- 廖小飞陈庆祥郑龙金海姚鹏程
- 文献传递
- 一种基于多FPGA加速器互联的图计算优化方法
- 本发明涉及一种基于多FPGA加速器互联的图计算优化方法，其针对图环境的计算通信比低，而异构环境下图计算Graph Processing通信开销大和负载不均衡等问题，其目的在于通过优化图划分Graph partitioni...
- 廖小飞张帆郑龙金海邵志远
- 文献传递
- 一种面向图计算的高层次综合方法及系统
- 本发明公开了一种面向图计算的高层次综合方法及系统，属于大数据处理领域，包括：(1)根据以点为中心的函数式编程模型生成图计算程序；(2)通过添加优化指令指定架构参数和微架构参数；(3)根据数据流图及优化指令将图计算程序编译...
- 廖小飞汤嘉武郑龙金海陈绍鹏
- 文献传递
- 一种基于OpenCL的FPGA图处理加速方法和系统
- 本发明公开了一种基于OpenCL的FPGA图处理加速方法和系统，属于大数据处理领域。包括：根据反汇编得到的中间代码IR，生成完整的控制数据流图CDFG；对完整的CDFG图，根据Load和Store指令进行重新分块，得到新...
- 廖小飞赵杰山郑龙金海王庆刚
- 文献传递
- 一种虚拟化下的中断动态分发方法
- 本发明公开了一种虚拟化下的中断动态分发方法，包括：虚拟机管理器对其虚拟高级可编程中断处理器进行初始化，并且虚拟域对其本地可高级编程中断控制器进行初始化，虚拟机管理器接收来自于外设的物理中断请求，虚拟机管理器根据物理中断请...
- 金海邵志远鲁志强郑龙
- 文献传递
- 绿色高效健壮嵌入式软件开发平台关键技术及应用
- 李国徽李剑军池志强郭兵陈敏鲁爱国王催阳富民韩建军涂刚魏巍赵小松郑龙
- 嵌入式系统是移动互联网、物联网等的重要支撑，广泛应用于国防、交通、医疗等领域。嵌入式软件开发调试对嵌入式系统至关重要，其时间和成本已占到整个系统开发的20%-50%。国内嵌入式软件调试技术起步晚，关键技术尤其是软件开发平...
- 关键词：
- 关键词：软件开发平台移动互联网计算方法
- 一种基于层宽内存分配的深度学习异构计算方法和系统
- 一种基于层宽内存分配的深度学习异构计算方法，包括步骤：遍历神经网络模型以获取其训练操作序列及层数L；计算神经网络模型中第i层操作所涉及的数据在双缓冲配置下所需的内存空间R<Sub>1</Sub>；在第i层操作所需的内存空...
- 金海廖小飞郑龙刘海坤葛希
- 文献传递
- 一种适用于异构平台的图计算方法
- 本发明公开了一种适用于异构平台的图计算方法，包括：(1)对原始图数据进行预处理，从而得到多个数据块及每个数据块对应的元数据信息；(2)根据元数据信息评估当前迭代的计算密度；(3)若计算密度小于预设的计算密度阈值且不为0，...
- 廖小飞李贤亮郑龙金海
- 文献传递
