Linux SSI集群检查点子系统的研究
| 摘要 | 第1-6页 |
| Abstract | 第6-10页 |
| 第1章 绪论 | 第10-17页 |
| ·课题研究背景及意义 | 第10-14页 |
| ·Linux SSI集群概述 | 第11-12页 |
| ·Linux SSI集群软件系统体系结构 | 第12-14页 |
| ·Linux SSI集群检查点子系统的关键技术 | 第14页 |
| ·国内外研究现状及存在的问题 | 第14-15页 |
| ·论文研究内容与组织结构 | 第15-17页 |
| 第2章 基于Linux内核的增量检查点策略 | 第17-27页 |
| ·单机检查点软件 | 第17-20页 |
| ·基于Linux内核的增量检查点策略 | 第20-26页 |
| ·Linux操作系统的虚拟内存模型 | 第20-21页 |
| ·基于Linux内核的增量检查点策略 | 第21-26页 |
| ·本章小结 | 第26-27页 |
| 第3章 基于通信单元划分的检查点算法 | 第27-42页 |
| ·一致性检查点与可恢复全局状态 | 第27-29页 |
| ·检查点算法的分类和比较 | 第29-33页 |
| ·协同式检查点算法 | 第29-30页 |
| ·非协同式检查点算法 | 第30-31页 |
| ·通信触发式检查点算法 | 第31-32页 |
| ·结合消息日志的检查点算法 | 第32-33页 |
| ·各算法的比较 | 第33页 |
| ·基于通信单元划分的检查点算法 | 第33-37页 |
| ·算法步骤描述 | 第34-35页 |
| ·算法性能对比分析 | 第35-37页 |
| ·通信单元划分策略 | 第37-41页 |
| ·分布式程序消息模式的获取 | 第38-40页 |
| ·静态划分策略 | 第40页 |
| ·动态划分策略 | 第40-41页 |
| ·本章小结 | 第41-42页 |
| 第4章 通信单元划分算法 | 第42-50页 |
| ·问题抽象 | 第42页 |
| ·图的预处理 | 第42-44页 |
| ·图压缩算法 | 第43页 |
| ·随机配对 | 第43-44页 |
| ·最大权值配对 | 第44页 |
| ·初始划分 | 第44-48页 |
| ·几何划分 | 第44-45页 |
| ·Kernighan-Lin划分 | 第45-48页 |
| ·自顶向下的划分 | 第48页 |
| ·图的展开及优化 | 第48-49页 |
| ·本章小结 | 第49-50页 |
| 第5章 仿真实验与分析 | 第50-59页 |
| ·ChkSim仿真环境介绍 | 第50-51页 |
| ·实验环境设置 | 第51-54页 |
| ·ChkSim配置 | 第51页 |
| ·实验用例设计与ChkSim输入文件配置 | 第51-54页 |
| ·实验结果及分析 | 第54-58页 |
| ·本章小结 | 第58-59页 |
| 结论 | 第59-60页 |
| 参考文献 | 第60-64页 |
| 攻读硕士学位期间发表论文和取得的科研成果 | 第64-65页 |
| 致谢 | 第65页 |
