第七讲 系统配置与性能评价
系统可靠性：系统的故障模型、可靠性模型和组合模型等计算；计算公式、概念和评价标准 性能评价方法
软件容错
系统可靠性的基本概念
可靠度：系统的可靠度R(t)是指在t=0时系统正常的条件下，系统在时间区间[0,t]内能正常运行的概率。
可用度：系统的可靠度A(t)是指系统在时刻t 可运行的概率。
可维度：系统的可维度M(t)是指系统失效后，在时间间隔t 内可被修复的概率。
平均无故障时间（MTTF ）：可靠度为R(t)的系统的平均无故障时间（MTTF ）定义为从t=0时到故障发生时系统的持续运行时间的期望值，则dt t R MTTF ⎰∞=
0)( 如果t e t R λ-=)(，则MTTF=1/λ；λ为失效率，是指器件或系统在单位时间内发生失效的预期次数，假设为常数。
平均故障修复时间（MTTR ）：可用度为A(t)的系统的平均故障修复时间（MTTR ） 设A 1(t)是在风险函数Z(t)=0且系统初始状态为1状态的条件下A(t)的特殊情况，则dt t A MTTR ⎰∞
=01)(。 设修复率μ(t)= μ，是指单位时间内可修复系统的平均次数，则MTTR=1/μ。
平均故障间隔时间（MTBF ）：对于可靠度服从指数分布的系统，从任一时刻t 0到达故障的期望时间都是相等的，有MTBF=MTTR+MTTF 。
系统的可靠性计算
常见的系统可靠性数学模型有：
串联系统：
设系统各个子系统的可靠性分别为R 1，R 2，…，R n ，则系统的可靠性R=R 1*R 2*…*R n ；串联的子系统越多，系统的可靠性越低。
如果系统的各个子系统的失效率分别为λ1，λ2，…，λn ，则系统的失效率λ=λ1+λ2+…+λn 。
并联系统：
设系统各个子系统的可靠性分别为R 1，R 2，…，R n ，则系统的可靠性R=1-(1-R 1)*(1-R 2)*…*(1-R n )，并联的子系统越多，系统的可靠性提高。
如果所有的子系统的失效率为λ0，则系统的失效率为∑==n j j 10111
λλ；在并联系统中只有一
个子系统是真正需要的，其余n-1个子系统称为冗余子系统。
模冗余系统：
m 模冗余系统由m 个（m=2n+1）相同的子系统和一个表决器组成，经过表决器表决后，m 个子系统中占多数相同结果的输出作为系统的输出。
在m 个子系统中，只要有n+1个以上子系统能正常工作，系统就能正常工作，输出正确结果。
如果所有的子系统的可靠性为R 0，则m 模冗余系统的可靠性R 为∑+=--=
m n i i m i j m R R C R 100)1(。
性能评价方法
时钟频率法：计算机的时钟频率在一定程度上反映了机器速度；相同体系结构的机器，主频越高，速度越快。由于体系结构的不同、指令系统的不同、各指令使用的机器周期的不同，平均指令执行速度仅仅是对各种指令执行速度加权后的平均值，并不能完全反映实际程序执行的速度。
指令执行速度法：表示机器运算速度的单位是MIPS （每秒百万条指令），有峰值MIPS 、基准程序MIPS 和以特定系统为基准的MIPS 。
用来衡量计算机的科学计算速度，MFLOPS （每秒百万次浮点运算速度），有峰值MFLOPS 和以基准程序测得的MFLOPS ；可用于比较和评价在同一系统上求解同一问题的不同算法的性能，已可用于在同一源程序、同一编译器以及相同的优化措施，在同样运行环境下以不同系统测试得到的浮点运算速度；但没有考虑运算部件与存储器、I/O 系统等速度之间相互协调等因素。
等效指令速度法：通过各类指令在程序中所占比例进行计算得到。若各类指令的执行时间为t i ，则等效指令的执行时间∑==n i i i t
W T 1，n 为指令类型数；由于没有考虑数据的长度、高速
缓存的命中率、流水线的效率导致的不固定的指令执行时间，采用等效指令速度法可能会偏离实际。
数据处理速率法（PDR ）：采用计算PDR 值的方法来衡量机器性能，PDR 值越大，机器性能越好；PDR 与每条指令和每个操作数的平均位数以及每条指令的平均运算速度有关；PDR 值主要对CPU 和主存储器的速度进行衡量，允许并行处理和指令预取的功能，但不适合衡量机器的整体速度，没有涉及高速缓存、多功能部件等技术对性能的影响。1991年9月停止使用。 综合理论性能法（CTP ）：美国政府为限制较高性能计算机出口所设置的运算部件综合性能估算方法。CTP 以每秒百万次理论运算MTOPS 表示，1991年9月1日启用。CTP 的估算方法是首先计算出处理部件每个计算单元（如定点加法单元、定点乘法单元、浮点加法单元、浮点乘法单元）的有效计算率R ，再按不同字长加以调整，得出该计算单元的理论性能TP ，所有组成该处理部件的计算单元TP 的总和即为综合理论性能CTP 。
基准程序法（Benchmark ）：
Khrystone 基准程序：综合性的整数基准测试程序，用C 语言编写。
Linpack 基准程序：主要操作是浮点加法和浮点乘法操作，结果用MFLOPS 表示，用FORTRAN 语言编写。
Whetstone 基准程序：主要由执行浮点运算、功能调用、数组变址、条件转移和超越函数的程序组成，测试结果用Kwips 表示，用FORTRAN 语言编写。
SPEC 基准程序：SPEC CPU2000基准程序可测试CPU 、存储器系统和编译器的性能，测试结果以SPECmark 、SPECint 和SPECfp 来表示。
TPC 基准程序：由TPC 开发的评价计算机事务处理性能的测试程序，用以评测计算机在事务处理、数据库处理、企业管理与决策支持系统等方面的性能，评测结果用每秒完成的事务处理数TPC 来表示。
TPC-A ：用于评价在联机事务处理环境下的数据库和硬件的性能，不同系统之间用性能价格比进行比较；
TPC-B ：测试不包括网络的纯事务处理量，用于模拟企业计算环境；
