第1章 绪论 1
1.1 容错和避错技术的产生及发展 1
1.2 容错计算的特征及定义 4
1.3 避错和容错技术的分类 10
第2章 故障的表现及分布 14
2.1 故障的来源 14
2.2 故障的表现 15
2.3 故障的分布及参数估计 17
第3章 编码技术 29
3.1 概述 29
3.2 编码的代数基础 30
3.3 线性分组码 36
3.4 循环码 47
3.5 算术码 53
3.6 其它码 56
第4章 同步技术 58
4.1 引言 58
4.2 时钟级同步 58
4.3 松散同步 60
4.4 任务级同步 61
4.5 同步技术的典型应用 62
第5章 故障检测与诊断技术 67
5.1 概述 67
5.2 联机检测与诊断技术 68
5.3 脱机检测与诊断技术 76
6.1 线路级屏蔽技术 98
第6章 故障屏蔽技术 98
6.2 逻辑级屏蔽技术 100
6.3 模块级屏蔽技术 103
6.4 故障屏蔽技术在容错PLA设计中的应用 114
第7章 动态冗余技术 119
7.1 重组技术 119
7.2 恢复技术 121
7.3 动态N倍冗余技术 125
第8章 软件可靠性技术 137
8.1 概述 137
8.2 软件避错技术 139
8.3 软件容错技术 149
8.4 软件可靠性模型 156
9.2 分布式系统的系统级故障诊断技术 159
第9章 分布容错计算技术 159
9.1 概述 159
9.3 基于检查点的卷回恢复和进程迁移技术 164
9.4 分布容错调度技术 167
9.5 分布系统的容错设计 170
第10章 容错系统可靠性的评价 176
10.1 可靠性的评价标准 176
10.2 可靠性模型及可靠性计算 179
第11章 典型容错计算机容错技术分析 187
11.1 980FT6实时容错加固计算机 187
11.2 FtSever系列容错服务器 193
参考文献 196