收藏本站
《哈尔滨工程大学》 2005年
收藏 | 手机打开
二维码
手机客户端打开本文

基于主动任务复制的透明容错计算研究与实现

戴新发  
【摘要】: 在容错计算系统的研究中,系统同步问题是一个极其复杂的难点问题;另外,在当前以COST技术为基础的软件实现和软硬件协同实现容错计算的热门研究中,容错透明性也一直是一个重点和难点问题;此外,基于卷回的故障恢复机制对系统I/O操作处理存在先天不足,必须加以克服。再者,由于半主动任务复制和被动任务复制的冗余方式不能容忍系统拜占庭故障(Byzantine-fault),而主动任务复制既可屏蔽系统崩溃失效(crash-failure),又可屏蔽拜占庭故障。鉴于这些重要问题,本文通过对一般容错计算系统的实现原理进行深入研究,提出了容错系统的功能模型和同步定理,从而研究并实现了一种基于Linux/PC平台下的TMR主动任务复制透明容错计算系统。着重研究了该系统的同步策略、透明容错算法及其实现技术,并对系统性能进行了评估与优化。 首先,根据容错计算的定义与实质,通过Petri网工具,建立一般容错计算系统的功能模型,从理论上对容错计算系统的同步问题进行形式化研究,推导得出一般容错计算系统的同步定理,并在此基础上,对容错计算系统的同步机制进行系统性研究。 其次,按同步定理要求,重点对TMR主动任务复制容错系统的同步必要条件进行研究,通过排除主动复制任务进程的局部非确定性操作对系统同步机制的影响,使系统同步必要条件得到满足,从而设计实现TMR主动任务复制容错系统的同步策略和同步算法。为使系统容错功能对用户透明,本文专门研究设计了一种透明同步机制,它利用操作系统的ptrace()调用暂停容错系统应用任务的主动复制进程,解析主动复制任务进程中的系统调用,修改系统调用返回值,从而实现了系统透明容错算法。而且利用Markov RewardModel工具,基于TMR冗余结构,本文还对主动任务复制容错计算系统的容错开销进行了理论计算,得出系统容错开销与主动复制任务进程的同步频率成正比。 基于PC/Linux系统平台,通过主动任务复制系统的透明容错算法,本文设计实现了一个TMR主动任务复制透明容错计算系统。其中还设计实现了一个两级表决的高可靠表决机制。并利用故障注入技术测试验证了该系统的透明容错功能。 最后,基于TMR主动任务复制透明容错计算的PC/Linux平台实现系统,本文对其进行了性能分析与优化。通过实验测试容错系统的容错开销,验证了容错开销与系统任务进程的同步频率成正比。并且,本文对容错开销的基本原因进行了分析,得知同步消息的通信开销和主动复制任务进程的初始异步度是容错开销的最为重要来源。由此,从减少同步消息的通信开销和主动复制任务进程的初始异步度上对系统容错开销进行了优化设计,提出了一种基于以太网的低延迟通信方法LLCE。LLCE通过减少操作系统对网络通信协议层的影响,旁路掉传统TCP/IP协议栈,直接对网卡硬件编程,有效减少了网络通信延迟时间,有效增加了网络通信带宽。从而在一定程度上减少了TMR主动任务复制透明容错计算系统的容错开销。
【学位授予单位】:哈尔滨工程大学
【学位级别】:博士
【学位授予年份】:2005
【分类号】:TP301.6

手机知网App
【引证文献】
中国期刊全文数据库 前1条
1 李海山;徐火生;欧中红;袁由光;;TMR容错计算故障恢复技术研究[J];计算机科学;2008年07期
中国博士学位论文全文数据库 前1条
1 李海山;面向恢复的容错计算技术研究[D];哈尔滨工程大学;2007年
中国硕士学位论文全文数据库 前2条
1 曹明涛;基于VxWorks的嵌入式控制器的双机热备系统应用[D];南京邮电大学;2012年
2 刘永胜;基于DevieNet总线的嵌入式控制器双机热备系统[D];中国科学院研究生院(沈阳计算技术研究所);2010年
【参考文献】
中国期刊全文数据库 前10条
1 崔刚,李斌,汪东升,王天佐,杨孝宗;基于三模容错计算机系统的同步策略[J];哈尔滨工业大学学报;1997年03期
2 蒋昌俊;Petri网的动态不变性[J];中国科学E辑:技术科学;1997年06期
3 汪东升,郑纬民,杨孝宗;三模冗余计算机FT-HIT系统设计与实现[J];计算机研究与发展;1997年S1期
4 左凤朝;基于Petri网的Web数据库系统容错模型[J];计算机工程与应用;2002年23期
5 李凯原,左德承,崔刚,杨孝宗;双机容错系统FTDC的设计与实现[J];计算机工程;1999年08期
6 申俊,郑纬民,鞠大鹏;FMP:一种适用于机群系统的快速消息传递机制[J];计算机学报;1998年07期
7 李宏亮,金士尧,胡华平,王志英;短事务、强实时双机容错系统的研究[J];计算机学报;2003年02期
8 侯晓辉,李平立;计算机支持的协同编著系统中的同步问题[J];计算机学报;2004年10期
9 陈志辉,马捷,陈国良,高帆;用户级通信协议BCL-3对IP协议支持的研究[J];软件学报;2003年09期
10 蒲飞,陆维明;同步合成Petri网系统活性与无死锁性的保持性[J];软件学报;2003年12期
【共引文献】
中国期刊全文数据库 前10条
1 江铁成;;软件故障注入方法在星载系统中的应用[J];安庆师范学院学报(自然科学版);2010年01期
2 杨元;黎放;侯重远;杨磊;;协同维修过程的合成Petri网建模与分析[J];北京航空航天大学学报;2011年06期
3 吴付栓;舒畅;陈远江;;基于Pspice仿真的某型装备电路故障诊断方法[J];船电技术;2010年07期
4 高鑫宇;刘冠军;邱静;李天梅;吕克洪;;基于模糊概率多信号流图的故障传播模型研究[J];测试技术学报;2009年04期
5 乐晓波,陈黎静;Petri网应用综述[J];长沙交通学院学报;2004年02期
6 陈筠;桑楠;熊光泽;;一种容错实时计算机体系结构的研究与实现[J];电子科技大学学报;2007年05期
7 徐永青;;证券业双机热备技术研究和具体实现[J];电脑知识与技术(学术交流);2007年21期
8 邢维艳;王宝军;刘东;;用AT91RM9200构建高可靠嵌入式系统[J];单片机与嵌入式系统应用;2007年02期
9 陆阳;张本宏;魏臻;韩江洪;;“二乘二取二”和“双模冗余-比较”结构对比研究[J];电子测量与仪器学报;2009年03期
10 张立航;陈大勇;刘海峰;樊东;;基于Linux的双机热备系统设计[J];计算机安全;2011年10期
中国重要会议论文全文数据库 前9条
1 周洲仪;吴新松;;一种高速安全反向代理服务器的设计与实现[A];第八届全国信息隐藏与多媒体安全学术大会湖南省计算机学会第十一届学术年会论文集[C];2009年
2 李迎霞;龙翔;高小鹏;;串行总线故障注入系统的设计与实现[A];2007北京地区高校研究生学术交流会通信与信息技术会议论文集(上册)[C];2008年
3 王珏;韦群;孟祥航;;程序变异在软件可靠性评估中的应用[A];'2008系统仿真技术及其应用学术会议论文集[C];2008年
4 赵欣;时向泉;吴纯青;;支持TCP/IP卸载引擎的协议栈的设计与实现[A];2006年全国开放式分布与并行计算机学术会议论文集(三)[C];2006年
5 舒晓芬;王晓峰;余鹏;;某BIT测试性指标验证系统的研究与实现[A];第六届全国信息获取与处理学术会议论文集(1)[C];2008年
6 高茜;周大均;李爱民;;Petri网改进的可覆盖性树的构造算法[A];全国第20届计算机技术与应用学术会议(CACIS·2009)暨全国第1届安全关键技术与应用学术会议论文集(上册)[C];2009年
7 曹军明;佟明明;;基于软件的新一代空空导弹系统故障注入技术研究[A];全国第4届信号和智能信息处理与应用学术会议论文集[C];2010年
8 孔霞;董剑;曲峰;杨孝宗;;面向容错服务器的软件故障注入工具的研制[A];第十届全国容错计算学术会议论文集[C];2003年
9 贾文涛;张春元;付剑;罗磊;;一种高可靠双机温备星载计算机的设计与实现[A];第六届中国测试学术会议论文集[C];2010年
中国博士学位论文全文数据库 前10条
1 张本宏;控制系统中多模冗余与网络可靠性研究[D];合肥工业大学;2010年
2 许宪成;基于网络处理器的入侵检测系统设计与性能优化研究[D];华南理工大学;2010年
3 朱萍;硬实时容错调度算法研究[D];华中科技大学;2011年
4 王海威;智能电视操作系统服务性能与资源调度关键技术研究[D];中国科学技术大学;2011年
5 马毅超;大规模陆上地震仪器中高速可靠数据传输方法的研究[D];中国科学技术大学;2011年
6 何倩;P2P系统性能优化若干关键技术研究[D];北京邮电大学;2010年
7 徐光侠;分布式实时系统的软件故障注入及可靠性评测方法研究[D];重庆大学;2011年
8 周双娥;实时分布容错系统的任务调度技术研究[D];哈尔滨工程大学;2003年
9 黄金贵;网络并行计算环境中基于多处理机任务的调度研究[D];中南大学;2003年
10 王国军;具有大量错误结点的超立方体网络容错模型和容错路由算法研究[D];中南大学;2002年
中国硕士学位论文全文数据库 前10条
1 刘洋;可逆逻辑门与可逆逻辑电路的Petri网建模与分析[D];山东科技大学;2010年
2 王佳;并行系统零拷贝通信优化技术的研究[D];辽宁师范大学;2010年
3 吴圣陶;SRAM型FPGA单粒子翻转效应的故障注入系统研究[D];西安电子科技大学;2011年
4 姚勋勋;基于Petri网的列车运行调度问题的研究[D];太原科技大学;2011年
5 林元华;基于旁路接入的互联网访问内容审计系统设计[D];华东理工大学;2011年
6 刘伟娜;面向安腾架构的高端容错机故障注入平台的设计与实现[D];哈尔滨工业大学;2010年
7 秦磊;面向安腾2处理器的故障注入工具设计与实现[D];哈尔滨工业大学;2010年
8 余晓燕;一种容错计算机原型机的容错性能评测方法的研究与实现[D];哈尔滨工业大学;2010年
9 熊飞;基于ARM7的高可信系统核心模块数据通信的设计与实现[D];哈尔滨工业大学;2010年
10 徐榛;计算机系统可信性评测研究与设计[D];哈尔滨工业大学;2010年
【同被引文献】
中国期刊全文数据库 前10条
1 刘韫晖,宋茂强;基于消息同步的双机热备份系统[J];北京邮电大学学报;1998年02期
2 陈筠 ,桑楠 ,熊光泽;双机容错实时嵌入式系统设计与分析[J];单片机与嵌入式系统应用;2005年10期
3 刘喆;孙汉旭;贾庆轩;史国振;;空间机器人中央计算机的双机热备份[J];单片机与嵌入式系统应用;2008年12期
4 蔡忠勇,高涵;DeviceNet现场总线讲座 第一讲 现场总线发展概况与DeviceNet进入中国[J];低压电器;2000年02期
5 阮于东;DeviceNet现场总线讲座第二讲DeviceNet总线技术(一)[J];低压电器;2000年03期
6 坂东卫持;DeviceNet现场总线讲座 第四讲 DeviceNet现场总线的现状及今后的发展[J];低压电器;2000年05期
7 郑锦,孟宪宇,刘万军;实时系统容错技术实现[J];辽宁工程技术大学学报;2004年03期
8 郭淑慧;尹安治;;485通信总线的可靠性设计[J];国防技术基础;2009年04期
9 罗康义,简湘瑞,余彬;一种基于共享存储器的通信同步机制的实现方式[J];舰船电子工程;2004年03期
10 张悠慧,汪东升,郑纬民;Windows NT环境下的进程检查点设置与回卷恢复[J];计算机研究与发展;2001年01期
中国硕士学位论文全文数据库 前10条
1 刘道欢;基于ARM9_VxWorks的铁路信号机房环境监控系统的研究与设计[D];南昌大学;2010年
2 裴蕾;消防炮中心控制器双机热备系统的研究[D];西华大学;2011年
3 叶昕;飞行控制计算机双机热备份技术研究[D];南京航空航天大学;2004年
4 刘小雄;高空长航时无人机飞行控制计算机系统冗余设计技术研究[D];西北工业大学;2004年
5 胡兵全;基于Windows的双机热备系统的设计与实现[D];华中科技大学;2004年
6 唐六华;电信网络双机容错系统研究与实现[D];西南交通大学;2005年
7 徐美荣;基于实时操作系统的多机冗余、容错技术研究[D];浙江大学;2006年
8 陈皎皎;基于DeviceNet协议的嵌入式软件设计[D];上海交通大学;2007年
9 李海皓;BIT的设计准则和评估方法研究[D];西北工业大学;2007年
10 张枫;基于非相似实时操作系统的双机容错软件及同步问题的研究[D];西北工业大学;2007年
【二级引证文献】
中国期刊全文数据库 前4条
1 ;A Dependability Model for TMR System[J];International Journal of Automation & Computing;2012年03期
2 周双娥;熊国平;;基于Petri网的故障检测模型的设计与分析[J];计算机研究与发展;2010年S1期
3 周纯杰;黄雄峰;秦元庆;杨明月;;网络化控制系统瞬时故障恢复和安全控制研究综述[J];控制与决策;2011年10期
4 帅金荣;黄雄峰;马杰;周纯杰;;USB OTG通信的瞬时故障恢复研究[J];计算机工程;2012年14期
中国重要会议论文全文数据库 前1条
1 周双娥;熊国平;;基于Petri网的故障检测模型的设计与分析[A];第六届中国测试学术会议论文集[C];2010年
中国博士学位论文全文数据库 前1条
1 赵国冬;嵌入式系统弹性应对方法研究[D];哈尔滨工程大学;2011年
中国硕士学位论文全文数据库 前2条
1 黄宏文;涉密网USB移动存储介质可信管理系统研究[D];兰州大学;2011年
2 曹明涛;基于VxWorks的嵌入式控制器的双机热备系统应用[D];南京邮电大学;2012年
【二级参考文献】
中国期刊全文数据库 前10条
1 金士尧,胡华平,李宏亮;具有容错结构的高可用计算机双系统研究[J];中国工程科学;1999年03期
2 陆维明;C/E系统的交替行为特性[J];中国科学(A辑 数学 物理学 天文学 技术科学);1993年02期
3 蒋昌俊;矢量文法与PN机[J];中国科学(A辑 数学 物理学 天文学 技术科学);1995年12期
4 蒋昌俊;Petri网的动态不变性[J];中国科学E辑:技术科学;1997年06期
5 邢春晓,潘泉,张洪才;通用Web数据库系统体系结构研究[J];计算机工程与应用;1999年09期
6 李宏亮,文梅,张春元,范金鹏,王志英,吴涛;高可用实时系统中故障检测及故障恢复技术的研究[J];计算机工程与科学;1999年06期
7 申俊,郑纬民,鞠大鹏;FMP:一种适用于机群系统的快速消息传递机制[J];计算机学报;1998年07期
8 汪东升,杨孝宗,王春露;多机容错操作系统DFTOS的设计与实现[J];计算机应用与软件;1997年04期
9 蒋昌俊,郑应平,疏松桂;基于行为表达式的任意随机Petri网的品质分析[J];自动化学报;1997年03期
10 汪东升,杨孝宗,王春露;TMR计算机系统分布与容错工作方式间的切换[J];小型微型计算机系统;1996年10期
【相似文献】
中国期刊全文数据库 前10条
1 赵斌;贺鹏;易娜;;基于频率调节的分布式系统时间同步算法设计与实现[J];计算机应用;2007年04期
2 姚志强;尹俊勋;;基于曲线拟合的OFDM系统帧同步算法[J];计算机工程与应用;2007年15期
3 梁光胜;李长春;李伟;;基于SDR的GSM移动终端同步算法的研究及实现[J];中国电力教育;2007年S3期
4 李旭;石靖;刘桓;谈振辉;;OFDM技术应用于铁路频率选择性衰落信道下同步与信道联合估计的研究[J];铁道学报;2010年06期
5 郜亚丽;杨艳;;网络教学中基于客户端的流媒体同步控制的研究[J];湖南工业职业技术学院学报;2010年06期
6 吴华;曾凡鑫;;LTE系统中互相关主同步理论研究[J];计算机工程与应用;2011年03期
7 宋文政;刘海涛;房勇;王广州;;OFDM信号定时同步参数的盲估计算法[J];通信技术;2011年05期
8 廖恒,柳瑞恒;进程同步算法的硬件支持[J];小型微型计算机系统;1995年09期
9 刘海琼,卜祥元;一种DRM数字广播接收机的同步算法[J];电子技术应用;2005年03期
10 傅健新;李维英;厉军伟;;基于突发分组传输的OFDM同步算法研究[J];电子科技;2006年04期
中国重要会议论文全文数据库 前10条
1 袁兆凯;李宇;隋天宇;黄海宁;;水声OFDM抗多途信道同步算法[A];中国声学学会2009年青年学术会议[CYCA’09]论文集[C];2009年
2 李晓维;;程序委员会主席致辞[A];第十届全国容错计算学术会议论文集[C];2003年
3 梁永生;李忠诚;;《第十届全国容错计算学术会议论文集》序言[A];第十届全国容错计算学术会议论文集[C];2003年
4 郦萌;闵应骅;杨孝宗;徐拾义;;全国容错计算学术会议18年回顾[A];第十届全国容错计算学术会议论文集[C];2003年
5 朱杰;;FY-3A地面接收数据同步算法[A];经济发展方式转变与自主创新——第十二届中国科学技术协会年会(第二卷)[C];2010年
6 万增然;詹亚锋;;用于深空通信的译码辅助同步算法[A];中国宇航学会深空探测技术专业委员会第七届学术年会论文集[C];2010年
7 ;第十届全国容错计算学术会议(CFTC’2003)组织机构[A];第十届全国容错计算学术会议论文集[C];2003年
8 喻坚;隋厚棠;;检错技术BSCM的原理和实现[A];中国空间科学学会空间探测专业委员会第十一次学术会议论文集[C];1998年
9 严承华;徐建桥;;分布式同步机制分析与研究[A];中国造船工程学会电子技术学术委员会2006学术年会论文集(上册)[C];2006年
10 乔海泉;鞠儒生;张锰;李革;黄柯棣;;并行离散事件仿真系统内核及其回退框架[A];'2006系统仿真技术及其应用学术交流会论文集[C];2006年
中国重要报纸全文数据库 前10条
1 刘学习;容错公司CEO访华 鼓吹服务器“平民化”[N];计算机世界;2007年
2 记者 廖秀娟;从闭门审理走向公开审理[N];汕尾日报;2007年
3 本报记者 贠相忠;国家863重大项目落户山东[N];中国税务报;2009年
4 钟凌江;网络演进中IP化势不可当[N];人民邮电;2006年
5 李豫川;纳市启动私募市场电子交易平台[N];中国证券报;2007年
6 本报记者  张峰;解读“魔力象限”[N];网络世界;2006年
7 ;透明包装与阻隔性[N];中国包装报;2005年
8 刘晖;“清理地面”:风险来自何处[N];21世纪经济报道;2007年
9 唐伟家 吴汾 李茂彦;尼龙纳米复合材料的开发和包装应用[N];中国包装报;2008年
10 黄建辉;在构建和谐社会中保持党员先进性[N];桂林日报;2005年
中国博士学位论文全文数据库 前10条
1 戴新发;基于主动任务复制的透明容错计算研究与实现[D];哈尔滨工程大学;2005年
2 管云峰;突发CDMA与突发OFDM接收机同步算法研究及实现[D];浙江大学;2003年
3 马驰翔;多天线正交频分复用无线通信系统的基带同步算法研究[D];北京工业大学;2012年
4 张大雷;乳液原位悬浮聚合法制备透明ABS树脂的研究[D];吉林大学;2006年
5 杨建波;基于多小波及遗传算法的数字水印技术研究[D];吉林大学;2005年
6 李海山;面向恢复的容错计算技术研究[D];哈尔滨工程大学;2007年
7 周昔平;多线程网络处理器分布式内核结构研究[D];西北工业大学;2006年
8 邵清;基于生物网络的延迟容忍网络容错研究[D];东华大学;2010年
9 何大治;地面数字电视传输系统中同步与均衡关键技术的研究[D];上海交通大学;2009年
10 姚天翔;无线通信中的数字同步算法研究[D];浙江大学;2006年
中国硕士学位论文全文数据库 前10条
1 於歌;玻璃—现代建筑空间的灵动语言[D];山西大学;2007年
2 王云鹏;分布式信号通信系统的设计与实现[D];吉林大学;2005年
3 王翀;数字音频水印技术的研究[D];大连理工大学;2006年
4 蔡艳红;基于DWT的图像数字水印技术研究[D];山东师范大学;2007年
5 林海燕;水意象的视觉构成[D];中央美术学院;2006年
6 洪道友;一种透明的分布式计算框架及其在网络优化软件中的应用[D];电子科技大学;2009年
7 牛运杰;高速铁路移动环境下信道仿真与同步算法仿真研究[D];西南交通大学;2010年
8 康玉杰;透明性设计方法研究[D];中央美术学院;2012年
9 李馨全;透明性理论及其在当代建筑中的应用探析[D];青岛理工大学;2012年
10 丁雪丽;IEEE 802.16m系统同步算法的设计[D];浙江大学;2012年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026