文摘
英文文摘
声明
1.引言
1.1研究背景和目标
1.2论文结构
2.相关工作
2.1OS体系架构
2.1.1通用型OS体系架构
2.1.2专用OS体系架构
2.1.3主流OS内核与章鱼体系架构下OS内核的比较
2.2多版本软件体系架构
2.2.1 Recovery Block(RB)
2.2.2 N-Version Programming(NVP)
2.2.3 N-Self checking Programming(NSCP)
2.3自愈软件体系架构
2.3.1层次化语义规则,状态分散式的体系架构
2.3.2分散式语义规则,状态集中式的体系架构
2.3.3对等式语义规则,状态分散式的体系架构
2.4错误恢复技术
3.章鱼体系架构概述
4.自愈机制的设计
4.1状态的保存
4.1.1保存完整状态的方式
4.1.2保存部分状态的方式
4.2状态的恢复
4.2.1完整状态保存方式下的恢复
4.2.2部分状态保存方式下的恢复
4.3多监控进程的设计
4.3.1 SAUMP的设计
4.3.2 MAUMP的设计
5.章鱼体系架构的实现
5.1状态数据管理器语义模型
5.2状态数据管理器体系架构的设计
5.3状态数据管理器中存储管理器的设计和实现
5.3.1状态数据管理器中存储管理器的设计
5.3.2状态数据管理器中存储管理器的实现
5.4状态数据管理器数据的存取
5.4.1地址映射过程的本质
5.4.2地址映射过程的实现
5.5 MAEF优化
5.5.1 Balls into Bins分配器
5.5.2仿真
5.5.3 Balls into Bins分配器在MAEF中的实现
5.6实现WCID的关键技术
5.6.1实现弱一致性的关键技术
5 6.2实现弱隔离性的关键技术
5.7实现OS内核的关键技术
5.7.1进程调度
5.7.2进程间通信
5.7.3内存的分配与释放
5.7.4设备的访问与控制
5.8实现状态保存的关键技术
6.实验
6.1实验环境
6.1.1实验平台配置
6.1.2实验平台搭建
6.2实验内容
6.2.1实验内容概述
6.2.2监控进程进行比对监控的实验
6.2.3 Checkpoint
7.结论
致谢
参考文献
攻读博士学位期间完成的论文、参加的科研