Cassandra 3.0+写入失败无回滚时强一致性实现及文档冲突疑问

一、未达一致性级别的写入不会回滚 #

当写入请求未满足指定的一致性级别（如QUORUM）时，已成功写入数据的副本不会执行回滚，这是Cassandra的设计特性：

• 文档依据：Cassandra官方文档明确说明，协调器在收到部分副本成功响应但未达一致性级别时，会向客户端返回失败，但已完成的写入操作不会被撤销，这些数据会保留在对应节点上。
• 源码逻辑：协调器节点在处理写入请求时，会异步向所有副本发送写入指令，仅等待指定数量的成功响应来判定是否返回成功；对于已成功写入的副本，协调器不会发起任何回滚或撤销请求，也没有内置的事务回滚机制。

二、对「R+W>副本数实现强一致性」的误解纠正 #

你提到的冲突源于对这个规则的适用场景理解偏差：
这个规则保证的是已确认成功的写入的强一致性，而非所有写入操作（包括未确认失败的写入）。具体来说：

1. 规则的前提：只有当写入请求满足指定的写入一致性级别（W）时，该写入才被视为「已成功提交」。
2. 核心逻辑：当R（读一致性级别）+ W（写一致性级别）> RF（副本数）时，读操作的节点集合与写操作的节点集合必然存在交集。因此，读操作至少会从一个已成功写入最新数据的节点读取到值，最终返回最新数据，并通过读修复机制同步到其他节点，确保后续读操作都能获取到最新值。

以你给出的场景为例：

replica number = 5
consistency level write = 3
consistency level read = 3

• 若某次写入仅1个节点成功，协调器返回失败，这个写入属于「未确认的写入」，客户端会知晓写入失败并发起重试。重试的写入会带有更新的时间戳，最终当重试的写入满足W=3的一致性级别后，后续的读操作（R=3）必然能读取到这个已确认的最新值，符合R+W>RF的强一致性保证。
• 对于那次未确认的单节点写入，后续的读操作在遇到新旧值冲突时，会根据时间戳选择最新值（如果重试写入的时间戳更新，就会覆盖旧的未确认值），同时通过读修复将最新值同步到其他节点，最终消除不一致。

三、总结 #

Cassandra的设计是最终一致基础上的可调节一致性：

• 未达一致性级别的写入不会回滚，但这类写入属于未确认状态，客户端需要负责重试，最终通过时间戳机制和修复流程消除不一致。
• R+W>RF的规则针对的是已确认成功的写入，确保这类写入的强可见性，和未确认写入的处理逻辑并不冲突。

内容的提问来源于stack exchange，提问作者olaf