高可用架构设计

flp不可能原理

　　确定性协议  给定一个输入 有确定相同的输出

　　异步通信网络  没有统一时钟 不能二十间同步 不能使用超时 不能探测失败 消息可延迟可乱序

　　所有存活节点  所有存活节点最终达到一致

FLP不可能三角

　　safety 系统中非故障节点达成了一致和合法的共识

　　liveness 系统中非故障节点在有限时间内能够达成共识

　　fault tolerance 协议必须在节点故障时同样有效

Paxos    可能出现livelock  同步通信有超时机制   采取了quorum机制

cap定理  分布式存储系统不可能同时满足一致性，可用性和容忍性

　　C一致性：每次读取操作都会读到最新写入的数据或者返回错误

　　A可用性：每次请求都会得到非错请求，但不保证返回最新数据

　　P分区容忍性：系统在发生分区的时候继续提供服务

　　

　　分布式-可能发生网络分区   

　　数据存储-复制实现数据共享

　　同时满足cap

 　　cap忽略网络延迟    cap关注单个数据不是整个系统  

 

base理论 虽然不能做到强一致性，但可以采用合适的方式达到最终的一致性

　　basically available 读写操作尽量可用 但是写操作冲突时可能丢失数据 读操作可能读到旧值

　　soft state 没有一致性的保证 系统可以存在中间态，而该中间态不影响系统整体可用性

　　eventually consistency 如果系统运行正常且等待足够长的时间，系统最终将达成一致性的状态。