Cassandra的轻量级交易& Paxos共识算法

Question

我有一个关于 Paxos 算法的非常特殊的问题，它是在 Cassandra 的轻量级事务中实现的：

如果两个节点同时发出同一个提案会怎样？他们都得到 '[applied]: true' ?

例如，考虑这个 table:

ids:
+-------------------+---------------+
| id_name (varchar) | next_id (int) |
+-------------------+---------------+
| person_id         |             1 |
+-------------------+---------------+

这个查询：

UPDATE ids
SET next_id = 2
WHERE id_name = 'person_id'
IF next_id = 1

如果我执行这个查询，我会得到响应：

[{[applied]: True}]

如果我再次执行它，那么它将不会被接受，因为 next_id != 1，我得到：

[{[applied]: False, next_id: 2}]

我的问题是 - 如果我从两个节点并行执行此查询会发生什么情况。他们有机会被录取吗？

（我的用例在 Whosebug question 中描述）

Answer 1

两个查询不可能同时执行。对于每个查询，都会创建一个提案，该提案将用于基于 paxos 达成共识。这将基于与提案相关联的时间戳发生，其中相同的时间戳仍然会导致两个提案中的一个失败。

Answer 2

Paxos 的效果是查询得到 "linearized"：在 2 个不同节点上的同一行上同时执行 2 个查询将导致其中一个在另一个之后执行。而第二个将不会被应用。显然，两个查询都必须使用 CAS 才能工作。更多信息 here and here.