程序编码课件.pptVIP

3.实时处理软件 (1) 汇编语言 (2) Ada语言 4.系统软件 汇编语言、C语言、Pascal语言和Ada语言。 5.人工智能软件 (1) Lisp语言 (2) Prolog语言 6.5.1 冗余编程 冗余（Redundancy）是改善系统可靠性的一种重要技术。冗余是指所有对于实现系统规定功能来说是多余的那部分资源，包括硬件、软件、信息、时间。 冗余有并行冗余和备用冗余。对于一个系统，提供两套或更多的硬件，使之并行工作，这种方式称为并行冗余，也称热备用或主动式冗余。另一种情况是，如果提供多套的硬件资源，但是只有一套资源在运行，只有当它失效时，才启用备用资源，该方式称为备用冗余，也称为冷备用或被动式冗余。 使用冗余技术可以大大提高系统运行的可靠性。比如，单个元件的可靠性为80%，则它发生故障的概率为20%，如果两个元件是相互独立的并行工作，则只有当两个元件都失效时系统才会失败，系统失败的概率为4%（0.2*0.2），可靠性提高到了96%。 但是，对于软件系统不能简单照搬硬件冗余的情况。因为如果运行两个功能一样且程序一样的系统，则一个软件上的任何错误都会在另一个软件上出现。因此，在冗余软件设计时，必须由不同的人设计出功能相同，但算法和设计不同的源程序。 6.5.2 软件容错技术 软件系统的应用十分广泛，航空航天、军事、银行监管系统、交通运输系统以及其他重要的工业领域对软件的可靠性要求非常高。系统出现故障不仅会导致财产的重大损失，还会危及人身安全。因此，系统的可靠性越来越受到重视。 一般而言，提高系统的可靠性有两种比较有效的方法。一种是避错（Fault-avoidance），就是避免出现故障，即在软件开发的过程中不让错误潜入软件的技术。这主要体现在提高软件的质量管理，采用先进的软件分析技术和开发方法。但即使这样，由于各种因素的影响总避免不了出现故障。这就要求在系统出现故障的情况下容忍故障的存在，即第二种方法—容错（Fault-tolerance）技术。 容错技术最早由约翰·冯·诺依曼（John Von Neumann）提出，所谓容错是指在出现一个或者几个硬件或软件方面的故障或错误的情况下，计算机系统能够检测出故障的存在并采取措施容忍故障，不影响正常工作，或者在能够完成规定的任务的情况下降级运行。 1.容错软件的定义 容错软件具有以下四层含义： （1）对自身的错误具有屏蔽作用； （2）可以从错误状态恢复到正常状态； （3）发生错误时，能在一定程度上完成预期的功能； （4）在一定程度上具有容错能力。 2.容错技术主要方法 实现容错的主要技术手段是冗余，由于加入了冗余资源，有可能使系统的可靠性得到较大的提高。按实现冗余的类型来分，通常冗余技术分为四类：结构冗余、信息冗余、时间冗余和冗余附加技术。 （1）结构冗余 结构冗余是最常用的冗余技术。按其工作方式，又有静态冗余、动态冗余和混合冗余三种。 静态冗余也叫被动冗余，通过冗余结果的表决和比较来屏蔽系统出现的错误。静态冗余常见的形式是三模冗余（TMR），其基本原理是：系统输入通过3个功能相同的模块处理，将产生的3个结果送到多数表决器进行表决，即三中取二的原则，如果模块中有一个出错，而另外两个模块正常，则表决器的输出正确，从而可以屏蔽一个故障。 TMR的缺点是，如果3个模块的输出各不相同，则无法进行多数表决；若有两个模块出现一致的故障，则表决的结果会出现错误。 三模表决器的程序分析： 设模块1、2、3的输出分别为M1、M2、M3，则可能的输出结果有M1=M2=M3，M1=M2，M1=M3，M2=M3，M1≠M2≠M3。 程序如下： DO CASE CASE M1=M2 OR M1=M3 ?M1 CASE M2=M3 ?M2 OTHERWISE ?“输出错误” ENDCASE 三模冗余可推广到N模冗余（NMR），其基本原理与TMR的原理相同，其中N3，且N为奇数，以便进行多数表决。 动态冗余是指系统连接一个参与工作的主模块，同时准备若干个备用模块，当系统检测到工作的主观模块出现故障时，就切换到一个备用的模块，当换上的备用模块又发生故障时，再切换到另一个备用模块，依次类推。 混合冗余是静态冗余和动态冗余的结合。通常有N个模块并行工作并进行多数表决，组成静态冗余，有M个模块作为动态冗余中的备用模块，当参与表决的一个并行模块出现故障时就用一个备用模块来替换，以维持静态冗余系统的完整性。 （2）信息冗余 信息冗余是通过在数据中附加冗余的信息位来达到故障检测和容错的目的。通常情况下，附加的信息位越多，其检错纠错的能力就越强，但是这同时也增加了复杂度和难度。信息冗余最常见的有检错码和纠错码。检错码只能检查出错误的存在，不能改正错误，而纠错码能检查出错误并能纠正错误。常用的检错纠错码有奇偶校