高可用架构设计

flp不可能原理

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

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

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

FLP不可能三角

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

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

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

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

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

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

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

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

  

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

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

  同时满足cap

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

 

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

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

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

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

  

 

posted on   李某人的窥视  阅读(29)  评论(0编辑  收藏  举报

相关博文:
阅读排行:
· PowerShell开发游戏 · 打蜜蜂
· 在鹅厂做java开发是什么体验
· 百万级群聊的设计实践
· WPF到Web的无缝过渡:英雄联盟客户端的OpenSilver迁移实战
· 永远不要相信用户的输入:从 SQL 注入攻防看输入验证的重要性

导航

< 2025年2月 >
26 27 28 29 30 31 1
2 3 4 5 6 7 8
9 10 11 12 13 14 15
16 17 18 19 20 21 22
23 24 25 26 27 28 1
2 3 4 5 6 7 8

统计

点击右上角即可分享
微信分享提示