容错检查点算法研究和软件设计

摘要	第1-9页
ABSTRACT	第9-11页
第一章 绪论	第11-16页
·论文的选题背景和研究意义	第11-13页
·课题的研究现状	第13-14页
·论文的主要工作及组织结构	第14-16页
第二章 容错检查点技术的基本概念	第16-28页
·分布式系统中基本故障模型	第16-17页
·容错系统基本构件	第17-18页
·检查点技术	第18-27页
·系统模型	第18页
·系统的全局状态	第18-20页
·一致性检查点	第20-22页
·检查点协议	第22-25页
·报文日志协议	第25-27页
·检查点开销	第27-28页
第三章 基于小可靠地非FIFO通道的检查点算法	第28-40页
·系统模型	第28-29页
·检查点的创建	第29-31页
·问题的解决	第31-35页
·检查点设置的算法	第35-38页
·符号和数据结构	第35-36页
·检查点设置算法的具体过程	第36-38页
·算法的正确性证明	第38-40页
第四章 基于Windows系统检查点软件设计	第40-49页
·Windows系统进程状态	第40-42页
·内核对象	第40-41页
·地址空间	第41-42页
·进程状态的保存与恢复	第42-45页
·保存和恢复用户地址空间状态	第42-43页
·保存和恢复内核对象	第43-45页
·截获API	第45-46页
·模拟检查点实验	第46-48页
·小结	第48-49页
第五章 总结	第49-50页
参考文献	第50-52页
致谢	第52-53页
攻读学位期间所发表的学术论文目录	第53-54页
学位论文评阅及答辩情况表	第54页