一致性
werflychen
曾经在腾讯百度从事过后台开发,现在一个券商从事后台开发,chenwenh@foxmail.com
展开
-
paxos协议的理解及证明推导
文章目录导读历史解决的问题理论分析只有一个Acceptor两个Acceptor结果到原因的推进如何预测未来理论到工程的缺陷根本问题在哪里算法提出FAQ导读paxos算法为什么是这么设计?Paxos协议为什么是两阶段?为什么第一阶段的时候需要取一个最大编号?本文尝试从一个简单场景一步步构建出理论框架并转化为可工程化的算法历史paxos从诞生至今已经近30年,从开始工业化至今也有10来年历史,但至今仍然难以理解。本文尝试从最简单的场景入手,一步步尝试去推导及理解理论约束中的各个细节点,其中不免有理解不对原创 2020-06-17 12:43:31 · 780 阅读 · 0 评论 -
RAFT一致性算法关于成员变更(membership change)问题讨论
RAFT成员变更什么场景需要变量正常情况下,我们最多接触的是RAFT中选举Leader,并正常提交数据的过来。并且了解leader或者follower出现故障之后,如何恢复的过程。今天讨论的场景,是关于成员变更。例如:A、B、C三台机器,A机器负载比较高,需要更强的A1机器顶上。这时候,需要用到成员变更。原来的集群A、B,C,换成A1,B,C。变成的方式方案一:停掉A,增加A1。方案二:...原创 2019-05-17 00:24:40 · 1223 阅读 · 2 评论