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

来源 :软件学报 | 被引量 : 0次 | 上传用户:chamlea
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
应用级checkpointing是一种在大规模科学计算领域中备受关注的容错技术,该技术由用户程序员选择在适当的地方保存关键数据,从而降低了容错开销.选择合适的checkpointing位置、减小全局checkpoint保存数据量是优化应用级checkpointing技术的关键问题.对于近年来推出的带有通用GPU的异构系统上的应用级checkpointing技术,也同样面临上述问题.针对异构系统体系结构和程序特征,对面向异构系统的应用级checkpointing技术的检查点设置进行了静态分析,提出两套不同机
其他文献
用适当的催化剂、氧化温度,以稠油为基本原料,采用新型催化氧化工艺可生产出合格的6号防水防潮沥青。本研究已进行了工业放大试验,产品质量符合SH002—90标准。
<正>吕成龙,全国政协委员,故宫博物院器物部主任。30多年里,致力于中国古代陶瓷的鉴定、陈列、保管与研究工作,在治学和管理方面,成果皆丰。揽下了瓷器活儿,吕成龙有什么金刚
2008年1月1日起实施的《企业所得税法》中对原有的企业所得税制度和相关政策进行了重大调整,其中包括了税前扣除项目的变化,这对企业特别是内资企业有较大的影响。
在乡镇机构综合配套改革中,乡镇财政所与乡镇农经站合并,成立了乡镇财经所,而合并后的工作管理模式各异,尤其是财务管理模式不径相同。农经的农村财务管理模式为“双代管”,要求成
本文从三个方面论述延迟现象与数字电子技术的关系.延迟现象可能产生竞争冒险,可能产生误触翻,延迟现象限止了开关管的开关速度,但同时延迟又将改善触发器上升沿的特性,并能利用延
日前,武广高速铁路试验段通过铁道部验收,中石化股份公司长岭分公司沥青厂生产的阴、阳离子高速铁路专用乳化改性沥青成功应用于该段高速铁路,打破了日本和德国对这一产品的垄断
针对事务存储系统下的错误检测问题,提出了一种基于冗余事务的事务存储系统的错误检测方法(error detection by redundant transaction,EDRT).该方法为每个事务创建一个副本事务,并
2006年4月29日,浙江温州洞头县霓屿至灵霓海堤接线公路将建成通车,温州市区到洞头的客运班车将正式开通,温州大陆与洞头陆岛相连的梦想也将得以实现。
期刊
研究了从阿大巴斯卡沥青分离出的沥青质馏分的焦化过程,发现,从烃类中分离出的沥青质生焦的最初阶段生成挥发性烃类碎片和非挥发性产物(杂原子物系)。一般认为的石油沥青质系