知识卡片
共识只选一个值
内容
Basic Paxos 解决的是多个进程从多个提议中只选出一个值，并让学习者最终知道该值。发散：它不是数据库或日志系统本身，而是抽象出“分布式决定一个事实”的最小内核。
参考来源
- 位置：《分布式系统与一致性》第10章《共识算法Paxos》"10.3.1 共识问题"一节（源文件：_epub-src/OEBPS/Text/chapter14.xhtml）
- 结论依据：原文引用Lamport对共识问题的描述："假设有一组进程，在这组进程中每一个进程都可以提议一个值。共识算法可以保证在所有这些提议的值中，只有唯一的一个值会被选中……如果有一个值被选中，那么所有进程都应该能学习到这个值"，并明确三种角色proposer提出值、acceptor选择值、learner学习被选中的值。
- 原始内容：不严格地说，共识问题就是多个进程对一个值达成一致。每个进程都可以提议（propose）一个自己想要的值，但是最终只有一个值会被选中，并且所有进程对这个选中的值达成一致……proposer角色负责提出一个值。acceptor角色负责选择一个值。learner角色负责学习到被选中的值。