了解 Postgres SERIALIZABLE 隔离级别

Question

在阅读 postgres 文档后，我有两个实验没有按预期工作。 我使用 postgres 12

实验一

数据准备：

CREATE TABLE Test 
(
    id SERIAL primary key,
    level int,
    value int
);

INSERT INTO Test (
    level,
    value
)
SELECT 1, 10 UNION ALL
SELECT 1, 20 UNION all
SELECT 1, 30 UNION ALL
SELECT 2, 100;

然后我打开两个查询窗口

窗口 1

BEGIN TRANSACTION ISOLATION level SERIALIZABLE;

INSERT INTO Test(level, value)
SELECT 2, SUM(value)
FROM Test
WHERE level = 1

窗口 2

BEGIN TRANSACTION ISOLATION level SERIALIZABLE;

INSERT INTO Test(level, value)
SELECT 3, SUM(value)
FROM Test
WHERE level = 2

现在，如果我先提交窗口 1，然后提交窗口 2，则窗口 2 将失败，因为它读取的数据是陈旧的，这是预期的。 但是，如果我先提交 Window 2 然后提交 Window 1，则 Window 1 会失败，但为什么呢？ Window 2 已经提交，它的结果没有受到Window 1 的影响。Window 1 的结果也没有受到影响。 因此，我不明白为什么在窗口 2 提交后窗口 1 提交失败

实验二

它与实验 1 非常相似，但现在不同的级别存储在不同的表中。

数据准备

CREATE TABLE Level1 (
    id SERIAL primary key,
    value int
);

CREATE TABLE Level2 (
    id SERIAL primary key,
    value int
);

CREATE TABLE Level3 (
    id SERIAL primary key,
    value int
);

INSERT INTO Level1 (
    value
)
SELECT 10 UNION ALL
SELECT 20 UNION all
SELECT 30; 

INSERT INTO Level2 (
    value
)
SELECT 100;

窗口 1

BEGIN TRANSACTION ISOLATION level SERIALIZABLE;

INSERT INTO Level2(value)
SELECT SUM(value)
FROM Level1

窗口 2

BEGIN TRANSACTION ISOLATION level SERIALIZABLE;

INSERT INTO Level3(value)
SELECT SUM(value)
FROM Level2

现在两个窗口都以我提交的任何顺序成功提交！ 这完全让我感到困惑。 从逻辑上讲，它与实验 1 相同，如果它像实验 1 一样工作，我会理解，但是这里的可序列化隔离似乎根本不起作用！

Answer 1

在实验1中，事务读写相同的表，因此存在冲突的可能性。

没有实际冲突是对的，但是您运行的SELECT语句执行了顺序扫描，它读取所有行并因此在整个表上放置一个谓词锁。 这就是为什么您会收到误报序列化错误的原因。

比较文档的内容：

与大多数其他数据库系统一样，PostgreSQL 中的谓词锁基于事务实际访问的数据。 这些将在显示pg_locks具有系统视图mode的SIReadLock 。 在查询执行期间获取的特定锁将取决于查询使用的计划

虽然 PostgreSQL 的 Serializable 事务隔离级别只允许并发事务提交，前提是它可以证明存在会产生相同效果的串行执行顺序，但它并不总是防止引发在真正串行执行中不会发生的错误。

这不会发生在您的第二个实验中。 这两个事务可以被序列化（就像在你的第一个实验中）：首先是窗口 2 中的一个，然后是窗口 1 中的一个。这次没有误报序列化错误。