# 分布式系统一致性模型
## 为什么需要一致性模型
分布式系统一个很重要的问题就是数据复制,数据复制一般是为了增强系统的可用性或提高性能。而实现数据复制的一个主要难题就是保证各个副本数据的一致性。
可用性:多副本情况下,如果有一个副本不可用,系统切换到其他的副本就可以恢复。mysql准备同步方案就是一个很好例子
提高系统性能:当分布式系统需要在服务器数量和地理区域上进行扩展时,数据复制是一个相当重要的手段。有了多个数据副本,就能将请求分流,在多个
## 什么是一致性模型
术语
数据存储:在分布式系统中指分布式共享数据库、分布式文件系统
读写操作:更改数据和读取数据
定义
一致性模型本质上是进程和数据存储的约定,如果进程遵循某些规则,那么进程对数据的读写操作都是可预期的
分类:
强一致性模型:能够保证所有进程对数据的读写书序都保持一致
弱一致性模型:不能保证强一致性的模型
## 强一致性模型
### 线性一致性
线性一致性也叫严格一致性或者原子一致性,条件是:
任何一次读都能读取到某个数据最近的一次写的数据。
所有进程看到的操作顺序都跟全局时钟下的顺序一致
对一致性要求最高的一致性模型,现有技术无法实现
### 顺序一致性
条件是
任何一次读写操作都是按照某种特定的顺序
所有进程看到的读写操作顺序都保持一致
通过逻辑时钟作为参考系,保证所有进程的读写操作顺序
## 弱一致性模型
### 因果一致性
### 最终一致性
仅保证所有副本的数据最终在某个时刻会保持一致。需要关系两个问题:
最终到底是多久,一般来说,数据运行的系统需要能够保证一共一个有下限的时间范围
多副本之间对数据更新采取什么样的策略?常用的数据更新策略就是以时间戳最新的数据为准。