分布式系统中服务可生存性的定量分析

摘要

可生存性指的是即使在攻击、故障或者事故存在的情况下,分布式系统仍然能够提供基本服务的能力.随着关键性基础设施对分布式计算系统依赖程度的增高,人们对分布式系统的可生存性要求也日益明显.本文基于配置的概念,将分布式系统视作层次化的结构.在该层次化的结构中,定义了系统与配置、服务的关系,给出了比较服务可生存性大小的充分条件,描述了系统状态并定义了系统服务间的依赖关系.然后,借助于传统容错方法中与或树的概念,将服务用与或结构表示,从而给出了一种服务可生存性的定量表达方式.