一致性保证-paxos

更新中。。。

Goal : replicated log

如果其实状态一样，输入指令一样，那么产出应该也一样。

state machine

状态机概念

Basic Paxos

1. safety
   1. 保证只有一个被chosen
   2. 只选择自己收到的
2. liveness
   1. 可以有提议被通过
   2. 如果提议被通过，所有的服务 最终都会知晓。（最终一致性）

不稳定的网络

1. 消息可能会丢失
2. 消息可能会延迟到达

千人心中 千个哈姆雷特，

paxos 不是一个固定的A或者B，

proposal number

1. each has a unique number. never same. so acceptor accept new one, and reject one whice is old.

Q:

日志如何保证一致性

how it work.

遇到不同的值如何处理