题名:容错计算系统
作者:主编徐拾义
出版年:2010
ISBN: 978-7-307-07660-0
分类号: TP302.8
中图分类: 容错技术
定价: 39.00元
页数: 396 页

《容错计算系统》内容简介:当前,数字计算系统已经渗透到社会的各个领域,容错计算理念以及与容错计算相关的理论和应用问题也将迅速深入到人类赖以生存的各个领域和环境中去。同时,人们期待着所应用的,或者将应用的各种数字计算系统都是"诚信"的愿望必将实现。因此,对容错计算系统的设计理论和实践环节的深入研究和开拓必将成为当今数字系统研究和开发的热点。<br />《容错计算系统》共10章,可以分成两大部分:第一部分对容错计算以及可信系统各类属性的定义和基本知识作详细的介绍和分析(从第1章至第4章),其中包括对软件和硬件系统的故障,错误和失效的定义和性质的形式化描述,并对软件和硬件系统中的故障和错误作了分析和比较;第二部分则是在对故障、错误和失效等主要属性作深入研究的基础上,阐述了提高系统可信性和可靠性以及容错计算的基本理论、主要技术和实施方法,并且介绍了其他相关的知识(从第5章至第10章)。其中按照软件和硬件系统的开发生命周期各个阶段应采取的各种策略和措施进行详细的分析讨论,包括阐明了避错技术和防错技术、软件和硬件系统测试技术、可测性设计技术(包括冗余与编码技术)、容错系统的设计以及故障安全技术等在数字系统中的实施策略和实际应用。<br />《容错计算系统》是专为计算机科学与技术专业和信息工程专业高年级本科生和研究生以及从事容错计算理论和应用的有关专业人士撰写的,是一本集数字计算软件和硬件系统于一体的容错计算理论研究和应用与实践并重的教材,书中吸收并介绍了大量国内外关于容错计算理论和技术方面的信息。《容错计算系统》与当前其他教材相比较,从具体内容上来看具有一定的先进性和前瞻性,对学习和了解数字系统的可靠性和容错计算系统的设计具有重要的意义。