新書推薦:
《
“玉”见中国:玉器文化与中华文明(追寻玉出山河的前世今生,饱览中国万年玉文化的史诗画卷)
》
售價:NT$
690.0
《
官治与自治:20 世纪上半期的中国县制 最新修订版
》
售價:NT$
640.0
《
迈尔斯普通心理学
》
售價:NT$
760.0
《
面部填充术
》
售價:NT$
990.0
《
尼泊尔史:王权与变革
》
售價:NT$
430.0
《
战争事典085:德国人眼中的欧战胜利日:纳粹德国的最终失败
》
售價:NT$
499.0
《
步履匆匆:陈思和讲当代人文(杰出学者陈思和的人文之思、情怀之笔!)
》
售價:NT$
299.0
《
宋朝三百年
》
售價:NT$
790.0
|
內容簡介: |
随着信息技术的快速发展,计算机系统已经从国 防、金融、能源、交通、工业制造等涉及国计民生的 许多关键领域,延伸到教育、医疗、文化、娱乐等社 会生活的方方面面,现代社会已经越来越离不开计算 机系统。计算机本身由多种复杂的软硬件组成,按照 目前的集成电路制造水平已经能够在很小的面积上集 成几十亿个晶体管,并且集成规模仍以每18个月增加1 倍的速度增长;同时在各个应用领域,随着大规模软 件系统的开发,软件代码量急剧增长。现代计算机如 此巨大的软硬件规模,已经无法杜绝各种软硬件部件 内部的设计缺陷和运行失效。采用恰当的设计确保计 算机系统作为一个整体能够处理这些缺陷和失效从而 保持正确的工作,是科伦、克里希纳著的《容错系统 》研究的主要内容。
本书是计算机容错领域的一本权威著作。作者以 其在该领域多年的理论研究成果和丰富实践经验,深 入浅出地介绍了容错系统设计的技术和方法,从错误 分类、冗余类型、容错量算等基本概念、基础知识出 发,对硬件容错、信息冗余、容错网络、软件容错、 检查点回滚等容错技术进行了系统介绍,随后给出了 几个典型的实际案例,展示了所介绍容错技术的应用 情况。接下来介绍了容错技术在VLSI设计和密码设备 中的应用。*后介绍了评估一个容错系统可靠性的仿 真试验技术。
本书可作为电子和计算机工程专业本科生、研究 生的教科书;也为集成电路设计、计算机设计、存储 设备制造、通信设备制造、网络系统设计、密码保密 系统设计等领域的工程师提供了很好的实践指导。
|
目錄:
|
第1章 预备知识
1.1 故障分类
1.2 冗余类型
1.3 容错的基本度量
1.3.1 传统度量
1.3.2 网络度量
1.4 本书要点
1.5 补充读物
参考文献
第2章 硬件容错
2.1 硬件故障率
2.2 故障率、可靠性和平均故障时间
2.3 典型的和弹性的结构
2.3.1 串行和并行系统
2.3.2 非串行/非并行系统
2.3.3 M-of-N系统
2.3.4 表决器
2.3.5 关于Ⅳ模块冗余的变异
2.3.6 双工系统
2.4 其他可靠性评价技术
2.4.1 泊松过程
2.4.2 马尔科夫模型
2.5 处理器级容错技术
2.5.1 看门狗处理器
2.5.2 多线程同步容错
2.6 拜占庭式故障
2.6.1 具有消息认证的拜占庭协议
2.7 补充读物
2.8 习题
参考文献
第3章 信息冗余
3.1 编码
3.1.1 奇偶校验码
3.1.2 校验和
3.1.3 M-of-N编码
3.1.4 伯格码
3.1.5 循环码
3.1.6 算术码
3.2 弹性磁盘系统
3.2.11 级RAID
3.2.2 2级RAID
3.2.3 3级RAID
3.2.4 4级RAID
3.2.5 5级RAID
3.2.6 关联错误建模
3.3 数据复制
3.3.1 表决:无等级组织
3.3.2 表决:等级化组织
3.3.3 主要备份方法
3.4 基于算法的容错
3.5 补充读物
3.6 习题
参考文献
第4章 容错网络
4.1 恢复能力测量
4.1.1 基于图论的测量
4.1.2 计算机网络测量
4.2 普通网络拓扑及其恢复能力
4.2.1 多级和附加级网络
4.2.2 交叉开关网
4.2.3 长方网格和空隙网格
4.2.4 超立方体网络
4.2.5 立方体连接循环网络
4.2.6 循环网络
4.2.7 点对点网络
4.3 容错路由
4.3.1 超立方体容错路由
4.3.2 网格中基于源的路由
4.4 补充读物
4.5 习题
参考文献
第5章 软件容错
5.1 接受测试
5.2 单一版本容错
5.2.1 封装器
5.2.2 软件复位
5.2.3 数据差异
5.2.4 软件在硬件容错系统上的应用
5.3 N版本编程
5.3.1 一致比较问题
5.3.2 版本独立性
5.4 恢复块方法
5.4.1 基本原理
5.4.2 成功概率计算
5.4.3 分布式恢复块
5.5 先决条件、后决条件和论断
5.6 异常处理
5.6.1 异常处理器的要求
5.6.2 异常和异常处理的基础
5.6.3 语言支持
5.7 软件可靠性模型
5.7.1 杰林斯基-莫兰达模型
5.7.2 利特尔伍德-弗罗尔模型
5.7.3 穆萨-奥本模型
5.7.4 模型选择和参数估计
5.8 远程调用容错
5.8.1 主-备方法
5.8.2 马戏方法
5.9 补充读物
5.10 习题
参考文献
第6章 校验点
6.1 校验点简介
6.1.1 校验点的重要性
6.2 校验点级别
6.3 *佳校验点——分析模型
6.3.1 校验点之间的时间间隔——一阶近似
6.3.2 优化校验点布局
6.3.3 校验点间隔时间——一个更**的模型
6.3.4 降低开销
6.3.5 降低延迟
6.4 错误恢复缓存辅助回滚法
6.5 分布式系统中的校验点
6.5.1 骨牌效应和活锁
6.5.2 协调式校验点算法
6.5.3 基于时间的同步
6.5.4 无盘校验点
6.5.5 消息日志记录
6.6 存储器共享系统的校验点
6.6.1 基于总线的一致性协议
6.6.2 基于目录协议
6.7 实时系统中的校验点
6.8 校验点的其他应用
6.9 补充读物
6.10 习题
参考文献
第7章 案例研究
7.1 不间断系统
7.1.1 体系结构
7.1.2 维护和维修帮助
7.1.3 软件
7.1.4 不间断结构的修正
7.2 Stratus系统
7.3 卡西尼命令和数据子系统
7.4 IBM G5
7.5 IBM Sysples
7.6 Itanium处理器
7.7 补充读物
参考文献
第8章 超大规模集成电路缺陷容错
8.1 制造缺陷与电路故障
8.2 故障概率和临界区
8.3 基本成品率模型
8.3.1 泊松和混合泊松成品率模型
8.3.2 简单成品率模型的变化
8.4 通过冗余提高成品率
8.4.1 具有冗余性的集成电路成品率预测
8.4.2 具有冗余性的存储器阵列
8.4.3 具有冗余性的逻辑集成电路
8.4.4 修改平面布局图
8.5 补充读物
8.6 习题
参考文献
第9章 密码系统中的故障检测
9.1 密码综述
9.1.1 对称密钥密码
9.1.2 公钥密码
9.2 通过植入错误进行安全攻击
9.2.1 对称密钥密码的故障攻击
9.2.2 公钥非对称的密码的差错攻击
9.3 对策
9.3.1 空间域和时间域复制
9.3.2 错误检测码
9.3.3 这些对策是否充分
9.3.4 *后的说明
9.4 补充读物
9.5 习题
参考文献
第10章 模拟仿真技术
10.1 写一个模拟程序
10.2 参数估计
10.2.1 点对比区间估计
10.2.2 矩方法
10.2.3 *大似然法
10.2.4 参数估计的贝叶斯法
10.2.5 置信区间
10.3 方差缩减法
10.3.1 对偶变量
10.3.2 利用控制变量
10.3.3 分层取样
10.3.4 重点采样
10.4 随机数生成
10.4.1 均匀分布随机数发生器
10.4.2 测试均匀随机数发生器
10.4.3 生成其他分布
10.5 故障注入
10.5.1 故障注入技术类型
10.5.2 故障注入应用和工具
10.6 补充读物
10.7 习题
参考文献
|
|