移动计算环境下卷回恢复技术的研究
| 摘要 | 第1-6页 |
| Abstract | 第6-14页 |
| 第1章 绪论 | 第14-37页 |
| ·引言 | 第14-15页 |
| ·卷回恢复概述 | 第15-23页 |
| ·检查点与卷回恢复 | 第15-16页 |
| ·卷回恢复系统基本概念 | 第16-23页 |
| ·分布式系统中的卷回恢复 | 第23-29页 |
| ·减少卷回恢复算法费用的途径 | 第29-32页 |
| ·减少存储检查点和日志本身的费用 | 第29-31页 |
| ·减少进程间协同引起的费用 | 第31-32页 |
| ·移动计算环境中卷回恢复技术研究现状 | 第32-34页 |
| ·移动计算环境为卷回恢复机制带来的新问题 | 第32-33页 |
| ·现有的移动环境卷回恢复算法 | 第33-34页 |
| ·本文主要研究内容与结构 | 第34-37页 |
| 第2章 移动计算环境下进程检查点优化策略 | 第37-52页 |
| ·引言 | 第37-38页 |
| ·进程检查点研究现状 | 第38-40页 |
| ·检查点实现的不同方法 | 第38页 |
| ·检查点设置衡量标准 | 第38-40页 |
| ·步进式检查点间隔策略 | 第40-48页 |
| ·系统模型 | 第41-42页 |
| ·步进式检查点算法 | 第42-43页 |
| ·性能评价和仿真 | 第43-48页 |
| ·基于内存监测的门限法 | 第48-51页 |
| ·设计思想 | 第48页 |
| ·检查点设置时机的选择 | 第48-49页 |
| ·阈值的确定 | 第49页 |
| ·仿真结果 | 第49-51页 |
| ·本章小结 | 第51-52页 |
| 第3章 基于因果日志的异步卷回恢复算法 | 第52-71页 |
| ·引言 | 第52-53页 |
| ·相关研究工作 | 第53-54页 |
| ·系统模型和相关定义 | 第54-57页 |
| ·系统模型 | 第54-55页 |
| ·相关定义 | 第55-57页 |
| ·算法 | 第57-65页 |
| ·算法描述 | 第57-63页 |
| ·优化 | 第63-65页 |
| ·垃圾回收 | 第65页 |
| ·一致性证明 | 第65-70页 |
| ·基于消息日志的系统一致性问题 | 第65-68页 |
| ·对MC_CML 一致性的证明 | 第68-70页 |
| ·开销分析 | 第70页 |
| ·本章小结 | 第70-71页 |
| 第4章 移动分布式系统分层因果日志策略 | 第71-90页 |
| ·引言 | 第71-72页 |
| ·分层卷回恢复算法的研究现状 | 第72-73页 |
| ·系统模型与相关定义 | 第73-74页 |
| ·算法描述 | 第74-79页 |
| ·无故障运行时MC_HCML 协议 | 第74-76页 |
| ·协同检查点算法 | 第76-77页 |
| ·卷回恢复 | 第77页 |
| ·协议的优化 | 第77-79页 |
| ·一致性证明 | 第79-82页 |
| ·基于SPIN 的移动计算环境仿真平台的构建 | 第82-85页 |
| ·MH 的行为抽象 | 第82-83页 |
| ·MSS 的行为抽象 | 第83-84页 |
| ·消息通信的实现 | 第84页 |
| ·移动节点和移动支持站的行为仿真实现 | 第84-85页 |
| ·实验仿真 | 第85-89页 |
| ·本章小结 | 第89-90页 |
| 第5章 结合选择日志的移动计算准同步检查点算法 | 第90-105页 |
| ·引言 | 第90-91页 |
| ·相关研究工作 | 第91-92页 |
| ·系统模型和基本定义 | 第92页 |
| ·算法描述 | 第92-99页 |
| ·基于时钟的半同步检查点周期设置 | 第93-94页 |
| ·结合选择性消息日志的半同步检查点算法 | 第94-99页 |
| ·一致性证明 | 第99-100页 |
| ·仿真与性能评价 | 第100-104页 |
| ·系统性能评价 | 第100-102页 |
| ·性能仿真 | 第102-104页 |
| ·本章小结 | 第104-105页 |
| 结论 | 第105-107页 |
| 参考文献 | 第107-120页 |
| 攻读博士学位期间发表的学术论文 | 第120-123页 |
| 致谢 | 第123-124页 |
| 个人简历 | 第124页 |
