关于Block-STM中事务中止需重验后续事务的疑问

针对你提出的疑问——为什么更早事务中止时，即使后续事务无内存交集也需要重验证，下面用一个具体场景说明：

场景设定 #

预设块内事务序列化顺序：tx1 → tx2 → tx3
初始内存状态：A=10, B=20, C=30

第一次块执行流程

• tx1执行：读取A，准备写入A=11。验证阶段发现块外事务已修改A，tx1中止，触发后续事务重验证。
• tx2执行：读取A（仍为10），准备写入A=12。验证时发现tx1写集合包含A，验证失败，标记需重执行。
• tx3执行：读取C，准备写入C=31。检查前面tx1、tx2的读写集合均仅涉及A，与自己的C无重叠，验证通过。

tx1重执行后的关键变化

tx1重执行时因运行时条件触发代码分支切换，操作变为：读取B，准备写入B=25（读写集合与第一次完全不同）。

为什么tx3必须重验证？

tx3之前的验证仅基于tx1第一次执行的读写集合（仅A），但tx1重执行后，其读写集合变为B，整个块的执行上下文已更新。

Block-STM的核心约束是：块内事务必须严格按预设顺序提交，每个事务的有效性依赖于前面所有事务的最终执行结果。即使tx3与tx1新的读写集合无交集，Block-STM无法提前预判tx1重执行后的操作是否会影响tx3（比如极端情况下tx3的逻辑可能依赖全局状态的隐式变化）。为了严格保证序列化顺序的正确性，必须统一触发所有更高序事务的重验证，确保它们在新的块上下文下仍然满足可串行化要求。

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