CAP定理:
根据加州大学伯克利分校计算机科学家Eric Brewer说法,该定理于1998年秋季首次出现。该定理于1999年作为CAP原理发表,并由Brewer在2000 年的分布式原理研讨会上提出计算(PODC)。2002年,麻省理工学院的塞斯·吉尔伯特(Seth Gilbert ) 和 南希·林奇(Nancy Lynch) 发表了布鲁尔猜想的正式证明,使之成为一个定理。
CAP定理: 指出分布式计算机系统不可能满足以下三种特征
- Consistency 一致性:(每次读取都会收到最新的写入或错误)
- Availability 可用性:(保证每个请求都收到有关成功还是失败的响应),但不能保证它包含最新的写入
- Partition tolerance 分区容错性:(尽管任意消息丢失或系统部分出现故障,系统仍可继续运行)