在理论计算机科学中,CAP定理(CAPthorm),又被称作布鲁尔定理(Brwr’sthorm),它指出对于一个分布式计算系统来说,不可能同时满足以下三点: 一致性(Consistncy)(等同于所有节点访问同一份最新的数据副本) 可用性(Availability)(对数据更新具备高可用性) 网络分区容忍性(Partitiontolranc)(以实际效果而言,分区相当于对通信的时限要求。系统如果不能在时限内达成数据一致性,就意味着发生了分区的情况,必须就当前操作在C和A之间做出选择。) 根据定理,分布式系统只能满足三项中的两项而不可能满足全部三项。 理解CAP理论的最简单方式是想象两个节点分处分区两侧。允许至少一个节点更新状态会导致数据不一致,即丧失了C性质。如果为了保证数据一致性,将分区一侧的节点设置为不可用,那么又丧失了A性质。除非两个节点可以互相通信,才能既保证C又保证A,这又会导致丧失P性质。 这个定理起源于加州大学伯克利分校(UnivrsityofCalifornia,Brkly)的计算机科学家埃里克·布鲁尔在年的分布式计算原则研讨会(SymposiumonPrinciplsofDistributdComputing(PODC))上提出的一个猜想。在年,麻省理工学院(MIT)的赛斯·吉尔伯特和南希·林奇发表了布鲁尔猜想的证明,使之成为一个定理。吉尔伯特和林奇证明的CAP定理比布鲁尔设想的某种程度上更加狭义。定理讨论了在两个互相矛盾的请求到达彼此连接不通的两个不同的分布式节点的时候的处理方案。 From:WikiPdia.org(头上白癜风怎么治疗患有白癜风要如何治疗
|