提高MINIX3块设备驱动可靠性的一种方法
| 中文摘要 | 第1-4页 |
| Abstract | 第4-7页 |
| 第一章 绪论 | 第7-11页 |
| ·背景、意义 | 第7页 |
| ·相关工作 | 第7-8页 |
| ·分析 | 第8-9页 |
| ·本文的工作 | 第9-10页 |
| ·本文安排 | 第10-11页 |
| 第二章 计算机系统模型 | 第11-19页 |
| ·现代计算机操作系统 | 第11-12页 |
| ·现代计算机操作系统的定义 | 第11-12页 |
| ·现代计算机操作系统的结构 | 第12页 |
| ·驱动程序模型 | 第12-13页 |
| ·定义 | 第12-13页 |
| ·驱动程序结构 | 第13页 |
| ·MINIX3操作系统及驱动程序 | 第13-19页 |
| ·MINIX3操作系统模型 | 第13页 |
| ·MINIX3驱动程序模型 | 第13-14页 |
| ·MINIX3驱动程序的实现 | 第14-19页 |
| 第三章 问题分析及解决方案模型 | 第19-23页 |
| ·基本定义 | 第19页 |
| ·基本原理 | 第19-20页 |
| ·幂等性 | 第19-20页 |
| ·暂时性错误 | 第20页 |
| ·基本模型 | 第20-21页 |
| ·驱动程序接口的幂等性分析 | 第21页 |
| ·解决方案模型 | 第21-22页 |
| ·构建解决方案模型状态图 | 第22-23页 |
| 第四章 实现 | 第23-33页 |
| ·问题描述及解决方案 | 第23-30页 |
| ·时序问题 | 第23-26页 |
| ·错误的数据 | 第26页 |
| ·消息的存储 | 第26-28页 |
| ·互斥性 | 第28-30页 |
| ·模型流程图 | 第30-33页 |
| 第五章 总结 | 第33-35页 |
| ·分析 | 第33-34页 |
| ·模型局限性 | 第34页 |
| ·今后的工作 | 第34-35页 |
| 参考文献 | 第35-37页 |
| 致谢 | 第37-38页 |
| 附录A | 第38-40页 |
| 附录B | 第40-44页 |
