微机联锁仿真系统及容错机制的设计
| 摘要 | 第1-5页 |
| Abstract | 第5-9页 |
| 第一章 绪论 | 第9-14页 |
| ·课题背景 | 第9-10页 |
| ·国内外研究和实现的容错系统概况 | 第10-12页 |
| ·容错系统CKPTMOD 的特点 | 第12-13页 |
| ·课题来源及研究内容 | 第13-14页 |
| 第二章 微机联锁仿真系统 | 第14-25页 |
| ·系统整体概述 | 第14-16页 |
| ·联锁机子系统的功能 | 第16-17页 |
| ·联锁机子系统的关键数据结构 | 第17-19页 |
| ·联锁系统的进路搜索算法 | 第19-21页 |
| ·通信协议的设计 | 第21-24页 |
| ·本章小结 | 第24-25页 |
| 第三章 容错系统与检测点文件的总体设计 | 第25-33页 |
| ·系统结构 | 第25-26页 |
| ·总体框架 | 第26-27页 |
| ·检测点文件结构 | 第27-30页 |
| ·用户界面 | 第30-32页 |
| ·本章小结 | 第32-33页 |
| 第四章 信号处理与文件系统模块 | 第33-45页 |
| ·信号处理概述 | 第33-36页 |
| ·文件系统模块 | 第36-42页 |
| ·进程的当前工作目录 | 第42-44页 |
| ·本章小结 | 第44-45页 |
| 第五章 存储器与寄存器模块 | 第45-58页 |
| ·内存管理概述 | 第45-51页 |
| ·增量检测点 | 第51页 |
| ·增量检测点的粒度 | 第51-52页 |
| ·脏位影子算法 | 第52-54页 |
| ·内存模块的检测点操作 | 第54-55页 |
| ·寄存器与内核栈的备份与恢复 | 第55-57页 |
| ·本章小结 | 第57-58页 |
| 第六章 课题实验与工作总结 | 第58-68页 |
| ·课题实验与分析 | 第58-65页 |
| ·工作总结 | 第65-66页 |
| ·今后的工作 | 第66-68页 |
| 已发表的论文 | 第68-69页 |
| [参考文献] | 第69-71页 |
| 致谢 | 第71页 |
