PostgreSQL（二十）行可见性规则

原创

已于 2024-06-07 16:41:02 修改 · 860 阅读

10 ·

CC 4.0 BY-SA版权

文章标签：

#postgresql #数据库

于 2024-06-07 16:18:19 首次发布

在查看此内容前，需要先了解一些PG数据库相关基础概念：

1、事务ID：TXID，详见本专栏：PostgreSQL（十八）TXID与冻结
2、PG中的元组结构、DML操作原理，详见本专栏：PostgreSQL（十五）行结构与DML操作
3、PG记录事务状态的方式、事务快照概述，详见本专栏：PostgreSQL（十九）PG事务概述

一、事务快照在可见性规则中的作用

核心思想：过去已发生的为可见，将来未发生的为不可见

二、可见性判断的重要因素&常见规则

可见性判断有四个重要因素：t_xmin、t_xmax、clog、获取的事务快照

1、T_Xmin，T_xmax

T_Xmin有3种状态：Abort、In_Progress、Commited

（1）T_Xmin=Aborted 不可见</

最低0.47元/天解锁文章

确定要放弃本次机会？

福利倒计时

: :

立减 ¥

普通VIP年卡可用

立即使用

忧愁的锅盖儿

关注关注

16
点赞
踩
10

收藏

觉得还不错? 一键收藏
0
评论
分享

复制链接

分享到 QQ

分享到新浪微博

扫一扫
举报

举报

专栏目录

PostgreSQL VACUUM可见性

帅的数说

03-27

779

分两种情况，一是XMIN事务未提交，一个是xmin事务已提交。针对xmin未提交的事务，即当前的tuple刚insert还未提交： 1）元组不合法，即坏元组时，返回HEAPTUPLE_DEAD 2）该tuple是当前事务产生的：此时这个记录在这个事务未删除或只是被锁住或进行了delete但是delete abort了，那返回HAPTUPLE_INSERT_IN_PROGRESS；若则记...

postgresql 从应用角度看快照snapshot使用，事务隔离控制不再神密

一个追逐梦想的码农

06-22

7751

快照snapshot 是事务中使用，配合事务的隔离级别，体现出不同的可见性。开启事务1，保存事务1的快照，然后在别一个事务中应用此快照，那么这两个事务看到的内容是一样的。事务1启动可重复读事务，并导出快照。

参与评论您还未登录，请先登录后发表或查看评论

学了这么久，PostgreSQL 这些指标到底是什么？

IvorySQL的博客

08-21

939

我已经研究了 PostgreSQL 可见性检查逻辑的整个过程，并制作了下面更详细的流程图：可见性检查可以像这张图展示的那样深入，但由于使用了hintbit，只需通过使用数据元组的 xmin 和 xmax 值检查 hintbit 和快照，就可以很快完成大多数可见性检查。事务 747 是当前 A 所在的事务，但在快照中没有标记，因此它可以看到当前事务中由自己插入的数据。C 能够看到由事务ID小于750的数据元组插入的数据，但不能看到事务ID为747和748的数据，因为它们仍在进行中（尚未提交或回滚）。

postgressql——子事务可见性判断 & 性能问题（8）

Re_view的博客

05-31

560

postgressql——子事务可见性判断 & 性能问题（8）

postgresql源码学习（十九）—— MVCC④-可见性判断 HeapTupleSatisfiesMVCC函数

Hehuyi_In的博客

10-16

2145

回顾一下前面提到的SNAPSHOT_MVCC类型快照的可见性判断条件：

PostgreSQL 行可见性验证

03-02

PostgreSQL 行可见性验证 PostgreSQL 行可见性验证 PostgreSQL 行可见性验证

pg事务：可见性检查

liuzhilong的博客

05-20

1552

pg源码分析事务可见性检查实现

postgresql源码学习（49）—— MVCC⑤-cmin与cmax 同事务内的可见性判断

Hehuyi_In的博客

11-20

1735

cmin与cmax 同事务内的可见性判断

PostgreSQL 行可见性验证实践手册

05-29

5. **行可见性规则** PostgreSQL 使用多版本并发控制（MVCC）来管理行的可见性。每个事务看到的是基于其启动时数据库的状态的一个快照，而不会受到其他未提交事务的影响。元组的 `t_xmin` 和 `t_xmax` 字段用于确定...

PostgreSQL事务隔离与行可见性验证

"本文主要探讨了PostgreSQL数据库中的行可见性验证机制，涉及事务ID、元组结构以及插入、删除和更新操作的规则。" 在PostgreSQL中，行可见性验证是事务隔离级别的重要组成部分，它确保了在并发环境下数据的一致性和...

PostgreSQL行可见性验证：深入解析与实践

"PostgreSQL 行可见性验证实践手册" 在PostgreSQL数据库系统中，行可见性验证是确保数据一致性、事务隔离性和正确性的关键部分。本手册深入探讨了这一主题，涉及事务ID、元组结构以及插入、删除和更新操作的细节。 ...

了解 PostgreSQL 的 MVCC 可见性基本检查规则

最新发布

IvorySQL的博客

08-22

1045

以上是我对 PostgreSQL 中基本可见性规则的理解。当然，还有其他复杂的检查未在此提及，例如子事务和多事务的处理，但它们的模式与本文提到的内容有些相似。

PostgreSQL DBA(26) - MVCC#6(Tuple可见性判断-简化版)

01-16

227

本节介绍了Tuple可见性判断的基本逻辑,以下判断逻辑来自于Bruce Momjian写的 Mvcc Unmasked - Bruce ...

Postgresql源码（25）子事务可见性判断和性能问题

InternalsOf

01-07

1328

1 子事务的性能问题测试SQL BEGIN; PREPARE sel(integer) AS SELECT count(*) FROM contend WHERE id BETWEEN $1 AND $1 + 100; PREPARE upd(integer) AS UPDATE contend SET val = val + 1 WHERE id IN ($1, $1 + 10, $1 + 20, $1 + 30); SAVEPOINT a; \set rnd rand

PG 行可见性规则与提高判断效率

dnuiking的博客

05-17

1822

当一个事务开始时，PG会给该事务分配一个唯一标识（循环使用，能记录42亿个事务）。使用完前21亿个事务进行冻结，分为惰性冻结和急切冻结。txid用来标识一个事务的先后顺序，该顺序决定了锁申请的优先权（类似于Oracle的scn号），以及访问一张表时对行可见性规则判断。

PostgreSQL学习笔记- 可见性检测规则（Visibility Check Rules）

StMoHa的博客

06-10

240

只有一种情况是例外的，t_xmin的状态是in_process, t_xmin = current_txid,并且t_max 是invalid。那么此时它的状态是可见的（visible）1.虽然t_xmin的状态是 commited，但是，t_xmin的快照仍然是active的，那么t_xmin应当被视作in_process。如果是committed，那么大多数情况下是可见的（visible），但也有三种状态是不可见的，如果是aborted的，那么t_xmin 的状态一定是不可见的（invisible）

PostgreSQL（十八）TXIDS与冻结

shmily_coco的博客

04-07

1450

txid=事务id：当一个事务开始时，pg的事务管理系统会为该事务分配一个唯一标识符：事务id，即txidpg中的txid被定义为一个32位的无符号整数，约能记录42亿个事务；通常来说，txid对管理者是透明的，但我们可以利用pg的内部函数，来获取当前事务的txid：事务ID用来标识一个事务的先后顺序，该顺序决定了锁申请的优先权，以及访问一张表时对行的可见性规则判断。

PG可见性规则

qiao2458的博客

11-04

1056

PostgreSQL 内核解读系列 - 第4节存储管理（下）

于巍，花名漠雪，移动云数据库技术委员会主任，海山数据库研发负责人，PG中文社区常委，PG中文社区海外联络人。15年数据库内核研发经验，4年美国、以色列等海外研发经历，华为GaussDB、阿里云PolarDB、移动云He3DB等核心架构

11-27

305

本文整理自阿里云数据库开源社区 Maintainer 于巍（花名漠雪），在PostgreSQL数据库内核解读系列的分享。本篇内容主要分为四个部分： 1. 磁盘管理 2. 空闲空间映射表（FSM） 3. 可见性映射表（VM） 4. 内存管理。本文整理自阿里云数据库开源社区 Maintainer 于巍（花名漠雪），在PostgreSQL数据库内核解读系列的分享。本篇内容主要分为四个部分： 1. 磁盘管理 2. 空闲空间映射表（FSM） 3. 可见性映射表（VM） 4. 内存管理。