%0 Journal Article
%T 静态分析面向异构系统的应用级checkpoint设置问题
%A 贾佳？
%A 杨学军？
%A 马亚青？
%J 软件学报
%P 1361-1375
%D 2013
%R 10.3724/SP.J.1001.2013.04325
%X 应用级checkpointing是一种在大规模科学计算领域中备受关注的容错技术,该技术由用户程序员选择在适当的地方保存关键数据,从而降低了容错开销.选择合适的checkpointing位置、减小全局checkpoint保存数据量是优化应用级checkpointing技术的关键问题.对于近年来推出的带有通用gpu的异构系统上的应用级checkpointing技术,也同样面临上述问题.针对异构系统体系结构和程序特征,对面向异构系统的应用级checkpointing技术的检查点设置进行了静态分析,提出两套不同机制的检查点设置方法:同步及异步检查点设置方法,并分别就checkpointing优化设置问题对其进行数学建模和求解.最后,通过实验验证并评估了所提出的两种方法的性能.
%K 应用级checkpointing
%K 异构系统
%K 通用gpu
%K 同步检查点设置
%K 异步检查点设置
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=4325&flag=1