移动计算环境下检查点技术研究与Petri网建模

摘要	第1-5页
Abstract	第5-8页
第1章 绪论	第8-17页
·引言	第8-9页
·分布式系统中检查点技术	第9-14页
·基于检查点的卷回恢复	第10-11页
·基于日志的卷回恢复	第11-13页
·各种检查点技术的比较	第13-14页
·移动计算环境对检查点设置的影响	第14-15页
·检查点协议性能评价与Petri 网建模	第15-16页
·本文主要研究内容与结构	第16-17页
第2章 基于握手与消息到达率的算法	第17-24页
·引言	第17页
·系统模型	第17-18页
·HMB 算法设计动机	第18-19页
·HMB 算法描述	第19-23页
·本章小节	第23-24页
第3章 最少进程参与低代价恢复算法	第24-36页
·引言	第24页
·检查点依赖进程	第24-26页
·MNLC 算法在无错执行时的操作	第26-27页
·MNLC 算法的检查点设置操作	第27-32页
·MNLC 算法的卷回恢复操作	第32页
·MNLC 算法的正确性证明	第32-35页
·本章小结	第35-36页
第4章 Petri 网建模检查点协议	第36-53页
·引言	第36页
·GSPN 建模HMB 协议	第36-40页
·HMB 协议的GSPN 模型	第36-37页
·HMB 协议的性能	第37-40页
·CPN 建模MNLC 协议	第40-52页
·总体建模	第40-42页
·通信过程建模	第42-45页
·检查点设置过程建模	第45-50页
·MNLC 协议卷回恢复过程建模	第50页
·MNLC 协议性能评价	第50-52页
·本章小结	第52-53页
结论	第53-54页
参考文献	第54-59页
致谢	第59页