《分布式容错检查点算法研究与软件设计》由会员分享，可在线阅读，更多相关《分布式容错检查点算法研究与软件设计（80页珍藏版）》请在金锄头文库上搜索。
1、分类号：密级：论文题目作者专业导师合作导师王亚楠计算机系统结构高胜法副教授2010年4月5日校保留或向国家有关部门或机构送交论文的复印件和电子版，允许论文被查阅和借阅；本人授权山东大学可以将本学位论文的全部或部分内容编入有关数据库进行检索，可以采用影印、缩印或其他复制手段保存论文和汇编本学位论文。(保密论文在解密后应遵守此规定)论文作者签名：蝉导师签名：潋日期：bO旦r1；，qf、23检查点系统发展现状1224小结13第3章分布式容错检查点算法1431检查点算法14311同步检查点算法15312异步检查点算法17313准同步检查点算法-jj1832消息日志算法19321乐观消息日志20322悲
2、观消息日志2033矩阵同步检查点算法20331分布式系统扩展模型2l332全局一致状态判别23333同步协调矩阵检查点算法2434小结30山东大学硕士学位论文第4章马尔可夫决策过程的动态容错检查点间隔算法3141马尔可夫决策过程概述31411马尔可夫模型定义31412隐马尔可夫模型32413HMM需解决的三个问题3342容错检查点间隔的设置策略33421静态检查点间隔35422动态检查点间隔3643MDCI算法的设计与实现36431MDCI算法存储空间建模36432隐马尔可夫过程模型的间隔算法3844算法性能评估与验证41441算法评估41442结果验证4145小结43第5章分布式容错软件模型
3、与设计4451分布式系统容错软件模型4452Windows环境下的检查点系统45521DetoursWindowsAPI拦截45522进程检查点设置与回卷恢复4653基于Linux内核的检查点系统48531LinuxLKM容错机制48532检查点容错软件模式5054小结52第6章总结与展望5361全文总结5362课题展望54参考文献55致谢6l攻读学位期间发表的学术论文目录62攻读学位期间参与科研项目及获奖情况63山东大学硕士学位论文CoNTENTSAbstractinChineseIAbstractinEnglishIIIChapter1Introduction111Researchback
4、groundandsignificancy1111Background1112Motivation312StateofFaultTolerant413ThesisOutline6Chapter2Faulttolerantincheckpointbasicconceptandstatus821Faulttolerantincheckpointtechnolgy822Systemmodelandconcept9221Distributedsystemmodel9222Basicconcept1023Checkpointsystemstatus12：!4Summary13Chapter3Faultt
5、olerantcheckpointalgorithmindistributedsystem1431Checkpointalgorithm14311Synchronizationcheckpointalgorithm15312Asynchronouscheckpointalgorithm17313QusiaSynchronizationcheckpointalgorithm1832Messageloggingcheckpointalgorithm19321Optimisticmessagelogging20322Pessimisticmessagelogging2033Matrix-Consis
6、tencycheckpointalgorithm2033一Distributedsystemextendedmodel21332StatusdiscriminantonGlobalConsistancy23333Synchronizationcoordinationcheckpointalgorithm2434Summary30山东大学硕士学位论文Chapter4DynamiccheckpointintervalusingMarkovstrategic314一Markovdescription31411Markovmodelconcept31412HidenMarkovmodel32413HM
7、Mquestion3342Checkpointinfaulttolerantintervalsettingstrategic33421Staticcheckpointinterval35422Dynamiccheckpointinterval3643MDCIalgorithmdesignandimplementation36431MDCIalgorithmstoragemodel36432HMMcheckpointintervalmodel3844Algorithmuateandverifacation41441uation41442Verifacation4145Summary43Chapt
8、er5Faulttolerantsoftwaremodelanddesign4451Softwaremodel4452CheckpointModelinWindows45521DetoursWindowsAPIinsert45522Checkpointsettingandrestoreinprocesses4653CheckpointmodleinLinuxkernal48531LKMmechanism48532Checkpointsoftware：一5054Summary52Chapter6Conclusionandfuturework5361Conclusions5362Futurewor
9、k54Reference55Acknowledgments6lPaperpublished6：!Researchprojectsparticipatedandawards63计算机网络技术的迅猛发展，分布式系统应用的不断拓展，分布式应用对高可靠性和可用性的要求越来越迫切。一个高可用性的系统要求在任何情况下服务不会被中断并且能够提供正确的服务，因此，分布式系统的容错问题是目前分布式系统研究的热点和难点，同时也是一个富有挑战性的课题。由于分布式系统在地理区域分布的广泛性，使得整个系统无法获得一个统一的时钟，而这又是直接影响分布式系统性能的关键因素，这就给分布式系统的容错问题带来了巨大的挑战。本文以2008年申请的山东省自然科学基金项目为背景，以分布式系统容错检查点算法作为出发点，针对丰富的检查点设置策略和提高资源利用率和系统效率为目的，对分布式系统容错问题和检查点算法进行了深入的探索和研究。本文研究了分布式系统容错检查点
