基于VxWorks的检查点容错技术研究

【摘要】检查点技术作为一种普遍的容错技术，在分布式/集群系统中有着广泛应用。在基于消息传递的系统中，藉由将进程的运行状态定期的记录到可靠存储设备中（检查点文件），这样进程在失效时就可以通过存储的检查点文件进行迅速恢复，避免了进程对前期工作的重复执行，减少计算损失。协同检查点技术作为检查点技术中的一种，通过对进程的检查点设置过程进行协调来保持检查点集合的全局一致状态。通常我们使用容错开销来对一项容错技术进行评价。以故障点为边界，将容错开销分为无故障开销和故障恢复开销。协同检查点技术凭借其全局一致状态在故障恢复开销上有着较好的性能，但检查点设置过程中进程间的协调控制消息增加了系统的无故障开销。在检查点的设置上本文提出了一种具有O(n)复杂度的非阻塞协同检查点算法，通过全局共享的消息通道来避免进程的消息接收导致的系统状态不一致，并且与传统阻塞协同检查点算法中的双阶段阻塞协议不一样的是，本文中采用的是单阶段非阻塞方式，借助于全局的共享内存，将协调消息的复杂度由传统的O(n2)减少到了O(n)，从而减少了系统的无故障开销。另外通过非阻塞的方式使得任务在做检查点设置的过程中不需要阻塞任务的运行以及消息发送，任务完成检查点设置后即可处理后续收到的消息而不用等待，如此提高了系统的处理速度以及实时性能。为了满足算法的非阻塞性，进程独立的进行检查点文件存储，检查点设置过程中故障的发生会使得进程的检查点文件不一致，为此本文采用了双检查点文件来避免这种不一致的发生。文中的非阻塞方式极大提高了进程的自主性，不过也使系统的检查点状态由强一致性全局状态变为了全局一致状态，因为此时的检查点状态中可能包含有中途消息，因此在检查点设置中还需要结合消息日志技术，以此保证系统状态的可恢复性。由协同检查点算法可知，消息日志只需存储检查点设置触发点之后的消息，避免了垃圾回收的需要。本文的检查点容错方案基于VxWorks嵌入式实时系统，该系统有着良好的可靠性以及实时性。结合该系统本文在容错方案中对文件存储、消息传输上做了改进。借助磁带式存储方案提高了文件的存储效率，减少了对存储空间的占用；而借助内存管理，减少数据在消息队列中的拷贝量，并提高了数据的传输效率。最后通过本文通过三个简单的试验，验证了检查点容错方案的可行性。
【作者】李志顺；
【导师】张家晨；
【作者基本信息】吉林大学，计算机软件与理论，2014，硕士
【关键词】容错技术；非阻塞协同检查点；VxWorks；磁带式存储；

【参考文献】
[1]胡英,陈辉,贺振华,黄德济,文晓涛.基于地震纹理属性和模糊聚类划分地震相[J].石油地球物理勘探,2013,01:114-120+9-10.
[2]史晓霞,李琳,王珂,吴霞琴,王荣.石墨烯修饰电极对抗坏血酸和多巴胺的同时检测[J].化学传感器,2013,01:18-23.
[3]朱雪连.上海劳动力成本的变动趋势及影响[D].上海社会科学院,人口、资源与环境经济学,2012,硕士.
[4]谭章荣.“一户一表、水表出户”的探索[J].城市公用事业.1999(06)
[5]何绍恩.基于油藏经营的油气田企业战略成本管理研究[D].北京交通大学,2011.
[6]王会松.肺炎支原体、衣原体与小儿过敏性紫癜的关系[D].河北医科大学,儿科学,2013,硕士.
[7]石友康.下一代网络研究的关键技术问题[J].电信网技术.2002(02)
[8]孙斌.聚醚酰亚胺/双马来酰亚胺体系的增容改性研究[D].苏州大学,材料学,2013,硕士.
[9]常城.全反式维甲酸与猪胆酸钠抗白血病协同作用研究[D].中国人民解放军医学院,老年医学,2013,硕士.
[10]周立分.点击化学及量子点电化学发光在生物传感器中的应用[D].湖南大学,2013.
[11]付伟.掺杂纳米TiO_2制备及其选择性光催化研究[D].杭州电子科技大学,电子与通信工程,2014,硕士.
[12]周鸿伟.武器系统总体概念设计集成技术研究[D].国防科学技术大学,2002.
[13]王纪东.儒学与社会政治的互动[D].曲阜师范大学,专门史,2014,博士.
[14]黄莺.基于视觉分析的疲劳检测方法研究[D].浙江工业大学,计算机技术,2012,硕士.
[15]岳清洪.濒危药用植物雅连化学成分分析及其与土壤因子的相关性研究[D].成都中医药大学,药物化学,2012,硕士.
[16]刘丹,刘志学,汪小京.考虑多类零售商的库存与运输VMI集成策略[J].控制与决策,2013,04:517-524.
[17]刘高潮,崔辰州,郑小平,赵永恒.虚拟天文台教育门户建设构想[J].天文研究与技术.国家天文台台刊,2004,02:133-139.
[18]马辉,张凯.基于Petri网的工作流挖掘技术分析[J].计算机与现代化,2005,07:92-95+98.
[19]张科,田长彦,李春俭.一年生盐生植物耐盐机制研究进展[J].植物生态学报,2009,06:1220-1231.
[20]牛振.F公司气缸产品品质管理系统优化研究[D].吉林大学,工业工程,2013,硕士.
[21]王洁云.新疆水土资源的综合承载力评价及耦合分区研究[D].中国地质大学（北京）,资源管理工程,2014,硕士.
[22]刘瑞.“营改增”背景下长春市净月国税局纳税服务体系优化研究[D].吉林财经大学,工商管理（专业学位）,2014,硕士.
[23]袁冰.nCPAP治疗合并中重度OSAS的脑血管病患者血清炎性因子水平的影响[D].河北医科大学,神经病学,2013,硕士.
[24]刘鹏.交流牵引传动快速转矩控制系统的研究[D].湖南工业大学,电力电子与电力传动,2012,硕士.
[25]王建荣.博物馆文物英译中的顺应与选择[J].宜宾学院学报,2014,09:100-104.
[26]罗延财.戏曲电视剧“电视化”手法探究[D].山西师范大学,戏剧戏曲学,2013,硕士.
[27]许灿.企业采纳新技术时机的占线策略研究[D].西安工业大学,管理科学与工程,2014,硕士.
[28]刘永芳,毕玉芳,王怀勇.情绪和任务框架对自我和预期他人决策时风险偏好的影响[J].心理学报,2010,03:317-324.
[29]金江军.城市信息化要与信息产业互动发展[J].高科技与产业化,2005,07:53-55.
[30]江卫红.浙江省温岭市农村小学生学业拖延和父母教养方式的相关性的调查研究[D].华中师范大学,教育管理,2014,硕士.
[31]庄桂平.江南地区稻作农具文化遗产及其保护利用研究[D].南京农业大学,专门史,2012,硕士.
[32]庞肖华.踏车运动试验评估肥胖糖尿病患者的心功能[D].广西医科大学,内分泌（专业学位）,2013,硕士.
[33]赵晓阳.基于情景分析的预算管理研究[D].天津大学,管理科学与工程,2013,硕士.
[34]康新营.工伤保险基金效用的动态规划模型研究[D].上海工程技术大学,社会保障,2011,硕士.
[35]蒋小蒙.菱镁矿熔炼电熔镁砂节能新工艺及方镁石结晶过程研究[D].东北大学,制冷及低温工程,2011,硕士.
[36]魏婷.滇池东岸非点源污染负荷控制初探[D].重庆大学,市政工程,2014,硕士.
[37]程华.利用MSTP(多业务传送平台)优化城域数据网络[J].铁道通信信号.2003(06)
[38]丁志忠.我国高校创业教育现状分析及对策的探讨[J].企业改革与管理,2015,04:216.
[39]李哲.格罗皮乌斯、密斯和他们的现代主义建筑理论研究[D].湖南师范大学,设计艺术学,2014,硕士.
[40]郑崇珂.水稻抗白叶枯病基因Xa32（t）的精细定位和病原菌TAL效应子最后半个重复的功能研究[D].中国农业科学院,生物化学与分子生物学,2014,博士.
[41]王贺封,石忆邵,尹昌应.基于DEA模型和Malmquist生产率指数的上海市开发区用地效率及其变化[J].地理研究,2014,09:1636-1646.
[42]孙艳红.硅藻土为载体的超级电容器复合电极材料研究[D].上海工程技术大学,材料加工工程,2012,硕士.
[43]徐喆,毛志忠.一种基于模糊规则融合的模糊建模方法及其应用[J].控制与决策,2013,02:169-176.
[44]王溪.猴子岩水电站左岸导流洞进口边坡稳定性研究[D].吉林大学,防灾减灾工程及防护工程,2014,硕士.
[45]叶振强,曹炳阳,过增元.石墨烯的声子热学性质研究[J].物理学报,2014,15:303-309.
[46]骆秋伶.膝三针热补法结合独活寄生汤治疗膝关节骨性关节炎的临床研究[D].广州中医药大学,针灸推拿学（专业学位）,2013,硕士.
[47]盛震环.中石化自助加油市场调研与营销策略研究[D].西南交通大学,工商管理,2012,硕士.
[48]李宇皓.吉林省部分高校课余体育俱乐部现状与对策研究[D].东北师范大学,体育教育训练学,2012,硕士.
[49]王昉.陕西神木大保当汉代墓葬人骨再分析[D].吉林大学,考古学及博物馆学,2014,硕士.
[50]唐晴.帕金森病患者的经颅超声及部分非运动症状的相关研究[D].苏州大学,神经病学（专业学位）,2013,硕士.