主页 / 问题 / 1598235
Accepted
CyberNinja
Asked:2024-10-30 04:07:23 +0800 CST2024-10-30 04:07:23 +0800 CST

xmax 字段值

  • 772

假设有两个事务：T1 和 T2。

BEGIN; -- Т1

UPDATE table
SET amount = 1
WHERE id = 1;

SELECT xmin, xmax FROM table
WHERE id = 1; 
-- получаем: xmin = xid транзакции Т1, xmax = 0

让我们开始第二笔交易：

BEGIN; -- T2

UPDATE table
SET amount = 2
WHERE id = 1; 
-- ожидание завершения транзакции Т1

我们完成第一笔交易：

COMMIT;

我们继续第二个：

SELECT xmin, xmax FROM table
WHERE id = 1; 
-- получаем: xmin и xmax равный идентификатору (xid) транзакции Т2.

问题：为什么事务 T1 在更新后开始看到 xmax = 0，而事务 T2 在更新后开始看到 xmax = xid(T2)？我想强调的是，这些值相对于更新数据的事务是可见的。

PS 我之前不知何故没有注意到这一点，并且总是认为如果事务更改了一行，那么相对于其自身，它会在新行中看到 xmax = 0，因为这是一个新元组，而且还没有人更改它。

postgresql

1 个回答

  1. Best Answer

    xmin和xmax很好地解释了 MVCC 是如何实现的，但在实际代码中一切都更加复杂。Pageinspect将有助于澄清在这种情况下发生的情况，借助它我们将研究信息掩码：

    melkij=> create table "table" (id int, amount int);
CREATE TABLE

melkij=> insert into "table" values (1,2);
INSERT 0 1

melkij=# SELECT t_ctid, t_xmin, t_xmax, raw_flags, combined_flags
         FROM heap_page_items(get_raw_page('table', 0)),
           LATERAL heap_tuple_infomask_flags(t_infomask, t_infomask2)
         WHERE t_infomask IS NOT NULL OR t_infomask2 IS NOT NULL;
 t_ctid | t_xmin | t_xmax |      raw_flags      | combined_flags 
--------+--------+--------+---------------------+----------------
 (0,1)  |    864 |      0 | {HEAP_XMAX_INVALID} | {}

    在这里，新插入的行将具有执行插入的事务的 xmin，但 xmax 不会。

    # T1
melkij=> begin;
BEGIN
melkij=*> UPDATE "table"
SET amount = 1
WHERE id = 1;
UPDATE 1

# T2
melkij=> begin;
BEGIN
melkij=*> UPDATE "table"
SET amount = 2
WHERE id = 1;

 t_ctid | t_xmin | t_xmax |                    raw_flags                     | combined_flags 
--------+--------+--------+--------------------------------------------------+----------------
 (0,2)  |    864 |    865 | {HEAP_XMIN_COMMITTED,HEAP_HOT_UPDATED}           | {}
 (0,2)  |    865 |      0 | {HEAP_XMAX_INVALID,HEAP_UPDATED,HEAP_ONLY_TUPLE} | {}

# T1 commit

 t_ctid | t_xmin | t_xmax |                                raw_flags                                 | combined_flags 
--------+--------+--------+--------------------------------------------------------------------------+----------------
 (0,2)  |    864 |    865 | {HEAP_XMIN_COMMITTED,HEAP_HOT_UPDATED}                                   | {}
 (0,3)  |    865 |    866 | {HEAP_XMIN_COMMITTED,HEAP_UPDATED,HEAP_HOT_UPDATED,HEAP_ONLY_TUPLE}      | {}
 (0,3)  |    866 |    866 | {HEAP_XMAX_KEYSHR_LOCK,HEAP_XMAX_LOCK_ONLY,HEAP_UPDATED,HEAP_ONLY_TUPLE} | {}

    现在该行的第三个版本出现了 (xmin=xmax=866)，从名称为 的标志中可以明显看出为什么这样的 xmax HEAP_XMAX_LOCK_ONLY。通过这种方式，我们留下信息，以便下一个想要更新该行的事务必须检查是否仍然有一个事务正在运行，其 XID 等于 xmax 中写入的值。在行锁定的实现中，xmax 与其他信息掩码标志积极结合使用。

    • 3

相关问题