本文介绍了在长事务（开启事务，一直不提交/回滚）的情况下，通过使用pageinspect插件分析Update数据表导致数据表占用空间“暴涨”的原因。

一、测试场景

使用psql启动会话Session B

testdb=# --------------------------- Session Btestdb=# -- 开启事务testdb=# begin;BEGINtestdb=# testdb=# select txid_current();   txid_current --------------      1600322(1 row)testdb=# -- 创建表&插入100行数据testdb=# drop table if exists t1;DROP TABLEtestdb=# create table t1(id int,c1 varchar(50));CREATE TABLEtestdb=# insert into t1 select generate_series(1,100),'#abcd#';INSERT 0 100testdb=# select txid_current();   txid_current --------------      1600322(1 row)testdb=# select count(*) from t1; count -------   100(1 row)testdb=# testdb=# -- 提交事务testdb=# end;COMMITtestdb=#

开启新的Console创建，使用psql启动会话Session A

testdb=# --------------------------- Session Atestdb=# -- 开启事务testdb=# begin;BEGINtestdb=# testdb=# -- 查询当前事务testdb=# select txid_current();   txid_current --------------      1600324(1 row)testdb=# testdb=# -- do nothing

虽然什么都不做，但Session A仍然可以开启一个事务，在这里这个事务一直不提交。

回到Session B，查看数据表t1的数据：

testdb=# --------------------------- Session Btestdb=# -- 查看数据表testdb=# select ctid, xmin, xmax, cmin, cmax,id from t1 limit 8; ctid  |  xmin   | xmax | cmin | cmax | id -------+---------+------+------+------+---- (0,1) | 1600322 |    0 |    4 |    4 |  1 (0,2) | 1600322 |    0 |    4 |    4 |  2 (0,3) | 1600322 |    0 |    4 |    4 |  3 (0,4) | 1600322 |    0 |    4 |    4 |  4 (0,5) | 1600322 |    0 |    4 |    4 |  5 (0,6) | 1600322 |    0 |    4 |    4 |  6 (0,7) | 1600322 |    0 |    4 |    4 |  7 (0,8) | 1600322 |    0 |    4 |    4 |  8(8 rows)testdb=# -- 查看数据占用空间testdb=# \set v_tablename t1testdb=# SELECT pg_size_pretty( pg_total_relation_size(:'v_tablename') ); pg_size_pretty ---------------- 8192 bytes(1 row)testdb=# -- page_headertestdb=# SELECT * FROM page_header(get_raw_page('t1', 0));    lsn     | checksum | flags | lower | upper | special | pagesize | version | prune_xid ------------+----------+-------+-------+-------+---------+----------+---------+----------- 1/4476E4A0 |        0 |     0 |   424 |  4192 |    8192 |     8192 |       4 |         0(1 row)

再打开一个Shell窗口，使用pgbench持续不断的更新t1，在此过程进行数据分析。

[xdb@localhost benchmark]$ cat update.sql \set rowid random(1,100)begin;update t1 set c1=:rowid where id= :rowid;end;[xdb@localhost benchmark]$ pgbench -c 2 -C -f ./update.sql -j 1 -n -T 600 -U xdb testdb

二、数据分析

下面通过pageinspect插件分析t1数据页中的数据。

testdb=# \set v_tablename t1testdb=# testdb=# SELECT pg_size_pretty( pg_total_relation_size(:'v_tablename') ); pg_size_pretty ---------------- 160 kB(1 row)testdb=# -- 查看第0个数据页的头部数据和用户数据testdb=# SELECT * FROM page_header(get_raw_page('t1', 0));    lsn     | checksum | flags | lower | upper | special | pagesize | version | prune_xid ------------+----------+-------+-------+-------+---------+----------+---------+----------- 1/44787990 |        0 |     2 |   840 |   864 |    8192 |     8192 |       4 |   1600325(1 row)testdb=# select * from heap_page_items(get_raw_page('t1',0)) limit 10; lp | lp_off | lp_flags | lp_len | t_xmin  | t_xmax  | t_field3 | t_ctid  | t_infomask2 | t_infomask | t_hoff | t_bits | t_oid |          t_data          ----+--------+----------+--------+---------+---------+----------+---------+-------------+------------+--------+--------+-------+--------------------------  1 |   8152 |        1 |     35 | 1600322 | 1600365 |        0 | (0,141) |       16386 |       1282 |     24 |        |       | \x010000000f236162636423  2 |   8112 |        1 |     35 | 1600322 | 1600325 |        0 | (0,101) |       16386 |       1282 |     24 |        |       | \x020000000f236162636423  3 |   8072 |        1 |     35 | 1600322 | 1600421 |        0 | (0,197) |       16386 |       1282 |     24 |        |       | \x030000000f236162636423  4 |   8032 |        1 |     35 | 1600322 | 1600435 |        0 | (1,7)   |           2 |       1282 |     24 |        |       | \x040000000f236162636423  5 |   7992 |        1 |     35 | 1600322 | 1600474 |        0 | (1,46)  |           2 |       1282 |     24 |        |       | \x050000000f236162636423  6 |   7952 |        1 |     35 | 1600322 | 1600538 |        0 | (1,110) |           2 |       1282 |     24 |        |       | \x060000000f236162636423  7 |   7912 |        1 |     35 | 1600322 | 1600396 |        0 | (0,172) |       16386 |       1282 |     24 |        |       | \x070000000f236162636423  8 |   7872 |        1 |     35 | 1600322 | 1600331 |        0 | (0,107) |       16386 |       1282 |     24 |        |       | \x080000000f236162636423  9 |   7832 |        1 |     35 | 1600322 | 1600531 |        0 | (1,103) |           2 |       1282 |     24 |        |       | \x090000000f236162636423 10 |   7792 |        1 |     35 | 1600322 | 1600413 |        0 | (0,189) |       16386 |       1282 |     24 |        |       | \x0a0000000f236162636423(10 rows)testdb=# -- 再次查看空间占用testdb=# SELECT pg_size_pretty( pg_total_relation_size(:'v_tablename') ); pg_size_pretty ---------------- 360 kB(1 row)

可以看出，数据表占用空间一直在增长，已远远超出一个数据页的范围。同时，我们注意到t_xmax、t_infomask2、t_infomask中的部分值与先前首次插入的数据的取值不同。

t_xmax 该值 > 0，表示该行数据已废弃，该值为delete/update操作的事务号t_infomask2 该值为16386，转换为十六进制显示：

[xdb@localhost benchmark]$ echo "obase=16;16386"|bc4002

前（低）11位表示属性个数，值为2，也就是说数据表有2个属性（字段）；\x4000表示HEAP_HOT_UPDATED，官方解释如下：

An updated tuple, for which the next tuple in the chain is a heap-only tuple. Marked with HEAP_HOT_UPDATED flag.

t_infomask

该值为1282，转换为十六进制显示：

[xdb@localhost benchmark]$ echo "obase=16;1282"|bc502

\0x0502 = HEAP_XMIN_COMMITTED | HEAP_XMAX_COMMITTED

意思是插入数据的事务和更新（或删除）的事务均已提交。

三、空间回收

数据表t1不管如何Update，实际的数据行数只有100行，大小远不到8K，但为何占用了几百KB的空间？原因是PG为了MVCC（多版本并发控制）的需要保留了更新前的“垃圾”数据，这些垃圾数据可以通过vacuum机制定期清理这些垃圾数据。但在本例中，由于“长”事务的存在，垃圾数据不能正常清理。

testdb=# SELECT pg_size_pretty( pg_total_relation_size(:'v_tablename') ); pg_size_pretty ---------------- 472 kB(1 row)testdb=# vacuum t1;VACUUMtestdb=# SELECT pg_size_pretty( pg_total_relation_size(:'v_tablename') ); pg_size_pretty ---------------- 472 kB(1 row)testdb=# vacuum full;VACUUMtestdb=# SELECT pg_size_pretty( pg_total_relation_size(:'v_tablename') ); pg_size_pretty ---------------- 472 kB(1 row)

使用命令vacuum t1和vacuum full均不能正常回收垃圾数据，原因是PG认为这些垃圾数据对于正在活动中的事务（Session A）是可见的。

我们回顾一下，Session A的事务号：1600324，Session B插入数据时的事务号：1600322，更新数据时的事务号 > 1600324，Session A（活动事务）查询t1时，通过PG的snapshot机制实现“一致性”读。PG的snapshot可以通过txid_current_snapshot函数获得：

testdb=# select txid_current_snapshot();  txid_current_snapshot  ------------------------- 1600324:1612465:1600324(1 row)

返回值分为三部分，分别是xin、xmax和xip_list：

格式：xin:xmax:xip_list

xin：Earliest transaction ID (txid) that is still active. 未提交并活跃的事务中最小的XID

xmax：First as-yet-unassigned txid. All txids greater than or equal to this are not yet started as of the time of the snapshot, and thus invisible.所有已提交事务中最大的XID + 1

xip_list：Active txids at the time of the snapshot. All of them are between xmin and xmax. A txid that is xmin <= txid < xmax and not in this list was already completed at the time of the snapshot, and thus either visible or dead according to its commit status.

数据行中的xin和xmax符合条件xmax>活动事务号xid（1600324）>xin的所有记录均不能被回收！

testdb=# --------------------------- Session Btestdb=# vacuum t1;VACUUMtestdb=# SELECT pg_size_pretty( pg_total_relation_size(:'v_tablename') ); pg_size_pretty ---------------- 472 kB(1 row)testdb=# vacuum full;VACUUMtestdb=# SELECT pg_size_pretty( pg_total_relation_size(:'v_tablename') ); pg_size_pretty ---------------- 472 kB(1 row)

反之，活动事务提交后，垃圾数据占用的空间可正常回收：

testdb=# --------------------------- Session Atestdb=# -- 结束事务testdb=# end;COMMIT

执行vacuum命令回收垃圾数据：

testdb=# --------------------------- Session Btestdb=# vacuum t1;VACUUMtestdb=# SELECT pg_size_pretty( pg_total_relation_size(:'v_tablename') ); pg_size_pretty ---------------- 472 kB(1 row)testdb=# vacuum full;VACUUMtestdb=# SELECT pg_size_pretty( pg_total_relation_size(:'v_tablename') ); pg_size_pretty ---------------- 8192 bytes(1 row)

通过vacuum t1命令还不能回收数据？为什么？请注意t_infomask2标志HEAP_HOT_UPDATED，简单来说，在update chain中的data不会回收，由于涉及到HOT机制，详细后续再解析。

四、小结

主要有三点需要总结：

1、保留原数据：PG没有回滚段，在执行更新/删除操作时并没有真正的更新和删除，而是保留原有数据，在合适的时候通过vacuum机制清理垃圾数据； 2、避免长事务：为了避免垃圾数据暴涨，在业务逻辑允许的情况下应尽可能的尽快提交事务，避免长事务的出现； 3、查询操作：使用JDBC驱动或者其他驱动连接PG，如明确知道只执行查询操作，请开启自动提交事务。