Consul 键值存储是否为我们提供了使用两个不同键对两次写入进行排序的任何保证？

Question

假设我们只有两个节点 A 和 B。

当我们在节点A上发出这两个命令时，

$ curl -X PUT -d one .../v1/kv/key1
$ curl -X PUT -d two .../v1/kv/key2

(ie. PUT one key1 happens-before PUT two key2) 然后GET of /v1/kv/key2 在节点B 上返回two，是不是保证节点 B 上的 GET 的 /v1/kv/key1 返回 one ？换句话说，Consul KVS 是否尊重节点 A 上两次写入之间的发生前关系？

• https://www.consul.io/docs/internals/consensus.html

Consul 使用共识协议来提供一致性（由 CAP 定义）。

是的，但我的理解是 CAP 定理不涉及多个寄存器。这两个写入可能最终传播到节点 B，但是否保证我们永远不会看到意外的中间状态？

Answer 1

Consul 声称可线性化。 “所有服务器都参与 Raft 共识算法，以确保交易以一致、可线性化的方式发生。”

如果 put 的同步顺序与接收顺序不同，则在从另一个节点读取时，您可能会看到它们是乱序的，这违反了线性化保证。因此，应始终按顺序观察它们。

但是，由于decreasing a timeout value 已经“解决”了之前的线性化违规问题，然后在营销部门claiming Jepsen never found any bugs，我不会指望它可以完全线性化，至少在接下来的几年里是这样。