paxos是否提供真正的线性一致性？

Question

[我想我可能会在这里混淆概念，但在我看来，paxos会为实现它的系统提供线性化的一致性。

我知道Cassandra使用它。我不是100％清楚如何做，但假设选择了一个领导者，并且由单个领导者完成所有写操作，然后通信是同步的，并且实现了实时线性化，对吗？

但是像paxos这样的共识算法通常被认为是部分同步的，因为存在法定人数（不是节点通信的100％-这是否也意味着它也不能真正线性化？

也许是因为只有一个法定人数，一个节点可能不同步，这会破坏线性化？

Answer 1

我不认为香草Paxos是可线性化的。它不能保证客户端的请求以FIFO方式执行。领导者故障转移可能会导致请求出现故障。