分布式容错检查点算法研究与软件设计
| 摘要 | 第1-10页 |
| ABSTRACT | 第10-13页 |
| 第1章 绪论 | 第13-20页 |
| ·论文的选题背景和研究意义 | 第13-16页 |
| ·容错检查点研究背景 | 第13-15页 |
| ·检查点容错存在的问题 | 第15-16页 |
| ·国内外研究与发展概况 | 第16-18页 |
| ·论文的主要工作 | 第18-20页 |
| 第2章 检查点容错研究的基本概念和研究现状概述 | 第20-26页 |
| ·容错检查点技术 | 第20-21页 |
| ·容错检查点系统模型和基本概念 | 第21-24页 |
| ·分布式系统模型 | 第21-22页 |
| ·检查点容错基本概念 | 第22-24页 |
| ·检查点系统发展现状 | 第24-25页 |
| ·小结 | 第25-26页 |
| 第3章 分布式容错检查点算法 | 第26-43页 |
| ·检查点算法 | 第26-31页 |
| ·同步检查点算法 | 第27-29页 |
| ·异步检查点算法 | 第29-30页 |
| ·准同步检查点算法 | 第30-31页 |
| ·消息日志算法 | 第31-32页 |
| ·乐观消息日志 | 第32页 |
| ·悲观消息日志 | 第32页 |
| ·矩阵同步检查点算法 | 第32-42页 |
| ·分布式系统扩展模型 | 第33-35页 |
| ·全局一致状态判别 | 第35-36页 |
| ·同步协调矩阵检查点算法 | 第36-42页 |
| ·小结 | 第42-43页 |
| 第4章 马尔可夫决策过程的动态容错检查点间隔算法 | 第43-56页 |
| ·马尔可夫决策过程概述 | 第43-45页 |
| ·马尔可夫模型定义 | 第43-44页 |
| ·隐马尔可夫模型 | 第44-45页 |
| ·HMM需解决的三个问题 | 第45页 |
| ·容错检查点间隔的设置策略 | 第45-48页 |
| ·静态检查点间隔 | 第47-48页 |
| ·动态检查点间隔 | 第48页 |
| ·MDCI算法的设计与实现 | 第48-53页 |
| ·MDCI算法存储空间建模 | 第48-50页 |
| ·隐马尔可夫过程模型的间隔算法 | 第50-53页 |
| ·算法性能评估与验证 | 第53-55页 |
| ·算法评估 | 第53页 |
| ·结果验证 | 第53-55页 |
| ·小结 | 第55-56页 |
| 第5章 分布式容错软件模型与设计 | 第56-65页 |
| ·分布式系统容错软件模型 | 第56-57页 |
| ·Windows环境下的检查点系统 | 第57-60页 |
| ·Detours Windows API拦截 | 第57-58页 |
| ·进程检查点设置与回卷恢复 | 第58-60页 |
| ·基于Linux内核的检查点系统 | 第60-64页 |
| ·Linux LKM容错机制 | 第60-62页 |
| ·检查点容错软件模式 | 第62-64页 |
| ·小结 | 第64-65页 |
| 第6章 总结与展望 | 第65-67页 |
| ·全文总结 | 第65-66页 |
| ·课题展望 | 第66-67页 |
| 参考文献 | 第67-73页 |
| 致谢 | 第73-74页 |
| 攻读学位期间发表的学术论文目录 | 第74-75页 |
| 攻读学位期间参与科研项目及获奖情况 | 第75-76页 |
| 学位论文评阅及答辩情况表 | 第76页 |
