恳请Cassandra 5专家澄清BATCH的原子性与隔离性行为

首先明确核心术语的官方对齐（基于Cassandra 5实现）：

• 原子性：批处理中的所有操作最终要么全部成功持久化，要么全部不生效（无永久的部分完成状态）。
• 隔离性：批处理的写入操作对外部读取的可见性是原子的——读取操作要么看到批处理的全部写入，要么完全看不到，不会出现读取到部分写入的情况。

以下是Cassandra 5中不同类型BATCH的具体行为：

1. 单分区BATCH #

无论是否带日志，单分区BATCH的行为完全一致：

• 原子性：完全保证。单分区的所有写入操作由同一个节点处理，作为一个原子单元执行，要么全部成功，要么全部失败回滚。
• 隔离性：完全保证。单分区的写入是一次性应用到数据快照中的，外部读取要么看到完整的批处理写入，要么完全看不到，不会出现部分可见的情况。

2. 多分区BATCH #

多分区BATCH的行为取决于是否使用日志批处理（Logged Batch）：

2.1 不带日志的多分区BATCH（Unlogged Batch） #

• 原子性：无任何保证。批处理会被拆分为多个独立的分区操作，分发到不同节点执行。如果部分节点操作失败，会出现部分写入成功、部分失败的情况，且没有自动重试或回滚机制。
• 隔离性：无任何保证。各个分区的写入独立完成，外部读取可能看到部分分区的写入结果，无法保证全局的原子可见性。

2.2 带日志的多分区BATCH（Logged Batch） #

• 原子性：最终一致性下的原子性保证。协调节点会先写入一个批处理日志，然后分发操作到各个分区节点。若有节点操作失败，协调节点会不断重试直到所有操作成功，最终所有写入都会生效，不会出现永久的部分完成状态。但注意：Cassandra没有传统数据库的即时回滚机制，在重试期间，可能存在部分分区已完成写入的临时状态。
• 隔离性：无全局隔离保证。尽管每个分区内的写入是原子的，但跨分区的写入是异步完成的，外部读取可能在某个时间点看到部分分区的写入结果，无法保证全局的原子可见性。这也是DataStax文档出现矛盾的核心原因——部分表述混淆了“分区内隔离”和“全局跨分区隔离”，实际上带日志批处理仅保证每个分区内部的隔离，而非跨分区的全局隔离。

文档矛盾的原因解释 #

• Apache官方文档仅强调跨多表（本质是多分区）批处理的最终原子性，未提及隔离性，是因为全局隔离并非Cassandra的设计目标，其核心是在分布式架构下实现最终一致性的原子性保障。
• DataStax文档的矛盾表述，源于对“隔离性”的范围定义差异：部分表述指单个分区内的隔离，另一部分则指跨分区的全局隔离，需结合上下文区分。
• DataStax博客提到的“无传统原子性回滚机制”，指的是多分区批处理在执行过程中可能存在部分写入可见的临时状态，但最终会通过重试保证全部写入生效，这是Cassandra基于分布式架构的折中设计。

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