静态分析面向异构系统的应用级Checkpoint设置问题

来源 :软件学报 | 被引量 : 0次 | 上传用户:chamlea
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
应用级checkpointing是一种在大规模科学计算领域中备受关注的容错技术,该技术由用户程序员选择在适当的地方保存关键数据,从而降低了容错开销.选择合适的checkpointing位置、减小全局checkpoint保存数据量是优化应用级checkpointing技术的关键问题.对于近年来推出的带有通用GPU的异构系统上的应用级checkpointing技术,也同样面临上述问题.针对异构系统体系结构和程序特征,对面向异构系统的应用级checkpointing技术的检查点设置进行了静态分析,提出两套不同机
其他文献
<正>吕成龙,全国政协委员,故宫博物院器物部主任。30多年里,致力于中国古代陶瓷的鉴定、陈列、保管与研究工作,在治学和管理方面,成果皆丰。揽下了瓷器活儿,吕成龙有什么金刚
针对事务存储系统下的错误检测问题,提出了一种基于冗余事务的事务存储系统的错误检测方法(error detection by redundant transaction,EDRT).该方法为每个事务创建一个副本事务,并
期刊