禁止脏写（dirty-write）的原因说明及事务回滚前镜像恢复问题咨询

我们先明确讨论的前提：无P0（禁止脏写）约束，允许未提交事务互相覆盖同一数据项的修改，执行序列为：w1[x]（事务T1修改数据x）→w2[x]（事务T2在T1未提交/回滚时修改同一x）→a1（T1触发回滚）。 #

核心概念澄清 #

• 事务的前镜像（before image）：默认指当前事务执行修改操作前，该数据在数据库中的最新值，每个事务修改数据时确实会单独存储自己本次修改对应的前镜像，用于自身回滚时恢复。
• T2修改x时的前镜像：和你理解的一致，就是w1[x]执行后、被T1修改过的x的未提交值——因为没有脏写约束时，数据库允许T2读取T1的未提交修改作为自己的写入基础。

场景下的恢复矛盾推导 #

当T1先触发回滚（a1）时，数据库会立刻陷入两难：

1. 如果正常执行T1的回滚逻辑，把x恢复为T1的前镜像（也就是T1修改前x的已提交值），就会直接覆盖T2刚刚做的w2[x]修改，T2的更新直接丢失，完全不符合预期。
2. 如果为了保留T2的修改，放弃把x恢复为T1的前镜像，就会导致x现在的值是T2写入的版本，而T1的修改痕迹相当于被“合并”到了当前值里，没有被撤销。

为什么后续T2回滚时无法撤销w2[x] #

当后续T2也触发回滚时，它能拿到的自己的前镜像，是当初w2[x]执行前的那个被T1修改过的未提交x值。此时如果T2执行回滚，只能把x恢复到这个被T1修改过的未提交值：

• 但此时T1早就已经回滚了，这个被T1修改过的值本质上是一个“不存在的脏值”，从来没有被提交过，根本就不该出现在数据库里
• 数据库也没有别的地方还存着x最原始的已提交值了——T1的回滚流程因为之前要保留T2的修改，已经放弃了对原始值的记录
  所以不管怎么操作，都没法把x恢复到两个事务执行前的正确已提交状态，只能留下脏数据。这也是为什么所有事务型数据库都要首先实现P0约束，从根源上禁止未提交事务互相覆盖修改。

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