我如何理解 bacis paxos 中的 "value"
How can I understand "value" in bacis paxos
我正在阅读 Lamport 的 Paxos 模式简单,我对这里的“值”的含义感到困惑。
例如,兰波特说:
If a proposal with value v is chosen, then every higher-numbered proposal that is chosen has value v
我不知道这里的值v是什么意思:
- 是否表示某个变量的值不同,比如变量x的值可以是1或42?
- 或者是像 Raft 中的一个日志条目,例如
x=1
或 y=42
?
我认为第一种解释是对的,基本的Paxos不能确定多个值,它只是Propose-Accept-Chosen,整个基本的Paxos实例完成了它的任务。
不过,我不确定。
您的第二种解释是正确的(“这就像 Raft 中的一个日志条目”)。
你也说对了,Basic Paxos 不能选择多个值,它只选择 一个,就像 Raft 中的单个日志条目一样。要选择一系列值,您需要将多个 Basic Paxos 实例链接在一起,就像在 Multi-Paxos 或 Raft 中一样。
我正在阅读 Lamport 的 Paxos 模式简单,我对这里的“值”的含义感到困惑。
例如,兰波特说:
If a proposal with value v is chosen, then every higher-numbered proposal that is chosen has value v
我不知道这里的值v是什么意思:
- 是否表示某个变量的值不同,比如变量x的值可以是1或42?
- 或者是像 Raft 中的一个日志条目,例如
x=1
或y=42
?
我认为第一种解释是对的,基本的Paxos不能确定多个值,它只是Propose-Accept-Chosen,整个基本的Paxos实例完成了它的任务。
不过,我不确定。
您的第二种解释是正确的(“这就像 Raft 中的一个日志条目”)。
你也说对了,Basic Paxos 不能选择多个值,它只选择 一个,就像 Raft 中的单个日志条目一样。要选择一系列值,您需要将多个 Basic Paxos 实例链接在一起,就像在 Multi-Paxos 或 Raft 中一样。