搜索
高级检索
高级搜索
书       名 :
著       者 :
出  版  社 :
I  S  B  N:
文献来源:
出版时间 :
容错系统
0.00    
图书来源: 浙江图书馆(由图书馆配书)
  • 配送范围:
    全国(除港澳台地区)
  • ISBN:
    9787118100754
  • 作      者:
    (美)Israel Koren,(美)C. Mani Krishna著
  • 出 版 社 :
    国防工业出版社
  • 出版日期:
    2015
收藏
内容介绍
  随着信息技术的快速发展,计算机系统已经从国防、金融、能源、交通、工业制造等涉及国计民生的许多关键领域,延伸到教育、医疗、文化、娱乐等社会生活的方方面面,现代社会已经越来越离不开计算机系统。计算机本身由多种复杂的软硬件组成,按照目前的集成电路制造水平已经能够在很小的面积上集成几十亿个晶体管,并且集成规模仍以每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 习题
参考文献
展开
加入书架成功!
收藏图书成功!
我知道了(3)
发表书评
读者登录

请选择您读者所在的图书馆

选择图书馆
浙江图书馆
点击获取验证码
登录
没有读者证?在线办证