3

关于 Paxos 算法,我有一个非常特殊的问题,该算法在 Cassandra 的轻量级事务中实现:

如果两个节点同时发布相同的提案会发生什么?他们都得到 ' [applied]: true ' 吗?

例如,考虑这个表:

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}]

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

(我的用例在这个stackoverflow问题中描述)

4

2 回答 2

4

Paxos 的效果是查询被“线性化”:在 2 个不同节点上的同一行上同时执行 2 个查询将导致其中一个在另一个之后执行。第二个将不适用。显然,这两个查询都必须使用 CAS 才能工作。更多信息在这里这里

于 2015-04-02T11:36:18.047 回答
1

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

于 2015-04-02T11:32:33.517 回答