一种支持容错的任务并行程序设计模型

来源：软件学报杂志2016年第7期北京时间：

作者：王一拙,陈旭,计卫星,苏岩,王小军,石峰

单位：王一拙，北京理工大学 计算机学院, 北京 10008111,陈旭，北京理工大学 计算机学院, 北京 10008102,计卫星，北京理工大学 计算机学院, 北京 10008103,苏岩，北京理工大学 计算机学院, 北京 10008104,王小军，北京理工大学 计算机学院, 北京 10008105,石峰，北京理工大学 计算机学院, 北京 10008106

摘要：任务并行程序设计模型已成为并行程序设计的主流,其通过发掘任务并行性来提高并行计算机的系统性能.提出一种支持容错的任务并行程序设计模型,将容错技术融入到任务并行程序设计模型中,在保证性能的同时提高系统可靠性.该模型以任务为调度、执行、错误检测与恢复的基本单位,在应用级实现容错支持.采用一种Buffer-Commit计算模型支持瞬时错误的检测与恢复;采用应用级无盘检查点实现节点故障类型永久错误的恢复;采用一种支持容错的工作窃取任务调度策略获得动态负载均衡.实验结果表明,该模型以较低的性能开销提供了对硬件错误的容错支持.

关键词：并行程序设计;容错;任务并行;工作窃取调度;负载均衡

基金资助：国家自然科学基金(61300011)