贾佳 作品数:11 被引量:18 H指数:3 供职机构: 国防科学技术大学计算机学院并行与分布处理国家重点实验室 更多>> 发文基金: 国家自然科学基金 国家自然科学基金创新研究群体项目 国家高技术研究发展计划 更多>> 相关领域: 自动化与计算机技术 电子电信 更多>>
异构系统硬件故障传播行为分析及容错优化 被引量:3 2011年 以异构系统的过程间相关性分析为基础,研究分析异构系统硬件故障在软件之中的传播行为,指导优化基于异构系统的应用级checkpointing检查点保存问题,并通过实验验证其可行性及性能,对异构系统的容错优化研究具有重大意义. 贾佳 杨学军关键词:异构系统 遥感图像像素级融合方法的建模与分析 被引量:3 2007年 遥感图像像素级融合方法众多,但缺乏统一的定义,使得各种方法的差异不明确,不利于有针对性的应用;各种方法的融合质量差异悬殊,缺乏选用合适融合方法的理论指导,往往只能根据操作者的经验进行判断。为此,本文首先对融合方法的一般处理过程进行建模,提出了基于融合过程中图像信息表示的遥感图像融合方法的形式化定义RSPF;然后,基于RSPF从理论上分析了现有融合方法的融合质量差异;最后,通过实验定量分析了各种典型融合方法的融合质量。结果表明,融合过程中图像信息的表示形式是影响融合质量的关键因素。 王攀峰 杜云飞 周海芳 贾佳 杨学军关键词:遥感图像 像素级融合 图像非刚性配准技术及并行策略研究 2007年 图像非刚性配准是近几年配准方法的一个研究热点,由于其计算复杂度很高,它的并行化问题成为近几年来的研究热点。本文首先给出了图像非刚性配准的数学模型,并给出了形式化定义;其次分类总结了近年来图像非刚性配准串行算法研究的新进展,从而在此基础上重点讨论了相应的并行化策略。本文还详细分析了设计并行图像非刚性配准算法需要考虑的几个问题;并比较评价了现有并行算法的性能特点,得出了一些结论;最后提出了有待进一步研究的问题。 杜云飞 王攀峰 周海芳 贾佳 杨学军关键词:非刚性配准 加速比 一种基于冗余线程的GPU多副本容错技术 被引量:8 2013年 目前随着通用GPU(general purpose computation on graphic processing units,GPGPU)性能的不断提高,利用CPU和GPU构建的异构系统已经成为高性能计算领域的研究热点.然而随着并行计算系统的不断增长,系统可靠性越来越低,已成为并行计算向大规模扩展的一个不容忽视的制约因素.由于商用GPGPU容错能力较弱,所以由CPU和GPU构建的大规模异构并行系统的可靠性问题更为尖锐,尚缺乏实用的容错手段,针对这一现实问题提出了一种基于冗余线程的GPU多副本容错技术:RB-TMR(Rollback TMR),同时根据异构系统的编程模型及程序特征对这一面向异构系统的容错机制的设计实现及其编译框架进行了具体分析和描述.最后通过10个案例对此技术进行了实现并评估了其性能.这一技术为异构系统的容错技术研究提供了新的思路,具有重大意义. 贾佳 杨学军 李志凌关键词:异构系统 容错技术 多副本 存储海及其关键技术研究与设计 2007年 存储海(Sea of Memory)是一种解决存储墙问题的有效技术.将大量的内存和处理器以一定的拓扑结构连接起来,节点间进行异步通信,从而使系统在内存容量、峰值运算速度以及内存带宽等方面都有显著提高,其关键技术为电容耦合邻近通信(Proximity Communication).该技术无需现在常用的PCB板、导线、针脚等接口,利用电容耦合的方式,使相互邻近的芯片直接进行通信,具有高速、高带宽、低功耗等优点.研究了存储海及其关键技术--邻近通信,并设计实现了一款邻近通信接口,其版图模拟最高工作频率可达2GHz,平均功耗仅为4.26mW. 郑东裕 贾佳 方粮关键词:电容耦合 科学计算在线可视化系统的设计与实现 科学计算可视化系统是一套可以将大规模的模拟计算数据、庞大的遥感数据处理结果等转换成可视的图形或图像形式来描述和表现的系统.随着应用领域的不断扩大,庞大的科学计算用户群、可视化信息的及时反馈及数据信息共享浏览等都成为目前科... 贾佳 周海芳 杨学军关键词:科学计算可视化 多线程技术 元数据 文献传递 基于Imagine的科学程序局部性优化方法 被引量:1 2007年 基于Imagine体系结构,提出了一种科学程序局部性优化方法,旨在提高流程序的带宽利用率并保证Imagine强大的计算能力.关键技术在于通过对循环的计算变换和数据变换来开发体系结构的优势.对4个典型科学程序的实验表明,该优化能够有效地提高程序计算密集性且减少索引流,从而增强程序的局部性. 杜静 贾佳 杨学军 杨灿群 李春江关键词:IMAGINE 异构系统的异步应用级Checkpointing技术 2011年 应用级checkpointing技术是同构系统上最为常用和成熟的容错技术,但在异构系统下的应用还处于起步阶段,还没有一套严谨合理的针对异构系统架构和故障模型特点的实现方案和配置方法。针对这一现况,本文基于CUDA异构系统的体系结构和编程模型,对CUDA程序在CPU和GPU上的执行模式进行分析,提出了一种面向异构系统应用级checkpointing技术的异步执行机制,并基于这一机制对异构系统的检查点优化设置问题进行讨论,设计了一套优化方案。最后在CUDA平台下通过三个实例验证了这一技术的可行性和实用性,并进行了性能评估。结果表明,这种面向CPU-GPU的异构系统的应用级checkpointing异步执行机制是行之有效的,相比CPU-GPU同步执行的checkpointing机制在设置上更为灵活,优化空间更大。而本文基于这一机制所提出的检查点优化设置方法也有效地减少了check-pointing的开销,从而获得了更高的容错性能。 贾佳关键词:异构系统 静态分析面向异构系统的应用级Checkpoint设置问题 被引量:2 2013年 应用级checkpointing是一种在大规模科学计算领域中备受关注的容错技术,该技术由用户程序员选择在适当的地方保存关键数据,从而降低了容错开销.选择合适的checkpointing位置、减小全局checkpoint保存数据量是优化应用级checkpointing技术的关键问题.对于近年来推出的带有通用GPU的异构系统上的应用级checkpointing技术,也同样面临上述问题.针对异构系统体系结构和程序特征,对面向异构系统的应用级checkpointing技术的检查点设置进行了静态分析,提出两套不同机制的检查点设置方法:同步及异步检查点设置方法,并分别就checkpointing优化设置问题对其进行数学建模和求解.最后,通过实验验证并评估了所提出的两种方法的性能. 贾佳 杨学军 马亚青关键词:异构系统 异构并行计算机容错技术研究 并行计算是实现超高性能计算的主要技术手段。当前,随着GPGPU性能的不断提高,利用CPU和GPU构建的异构并行系统已经成为高性能计算机领域的研究热点。然而随着并行计算系统规模的不断增长,高性能计算机面临严峻的挑战。由于异... 贾佳关键词:容错 文献传递