Question

理论指出，当且仅当它们的并发执行等同于其可能的串行执行之一时，一组并发事务才是可序列化的。

现在事务T1和T2的以下并发执行是可序列化的，因为它相当于串行执行“T1然后T2”

T1: r1x   w1y  c1
T2:    w2x   c2

(i.e., T1 reads x, T2 writes x, T1 writes y, T2 commits, and finally, T1 commits)

然而，当在PostgreSQL 10.4中尝试时，像这样：

T1: begin
T1: set transaction isolation level serializable;
T2: begin
T2: set transaction isolation level serializable;
T2: update variables set value = value + 1 where name = 'x'
T1: update variables set value = value + 1 where name = 'y'
T2: commit
T1: commit

数据库在此事务尝试提交时中止T1。为什么呢？

Answer 1

PostgreSQL使用启发式方法来确定是否中止可序列化的事务，因为它确实太难了。因此，即使存在等效的串行执行（误报），也可能发生事务中止。

但我怀疑在这种情况下有不同的原因。如果查看执行计划，您可能会看到顺序扫描。现在，顺序扫描会读取所有行，因此T2在更新期间已读取y。

可序列化事务的行为取决于所选的执行计划！

为什么PostgreSQL会中止这个可序列化的时间表

1 个答案: