PG mvcc可见性判断
免费下载
1
、知识准备
1
）
Tuple
格式头
HeapTupleHeaderData
!"
#$%&&'&((
)*+
)
其中
,
：存储的是产生这个元组的事务
，可能是
或者
语句
：存储的是删除或者锁定这个元组的事务
：包含
和
两个字段，分别存储创建这个元组的
和
删除这个元组的
#
：存储的是
$%&&'&((
命令的事务
-./(
主要就是通过
，
，
和
，
，
来唯
一定义一个元组（
，
，
和
，
实际上也是一个表的隐藏的
标记字段）。
2
）
Clog
-./(
在
(01
中维护事务的状态，持久化存储在
目录下，为了访问高
效，会在内存中维护一块共享内存用于缓存
(01
的内容。
-1
定义有四种事务状态：
2*3%4.%04.%&.4-30135.. 666
2*3%4.%04.%&.0''5 667
2*3%4.%04.%&.%8035 669
2*3%4.%04.%&..&80''5 66+
文件以页为单位。数组下标是事务
，参考
1.
这个函数。
数 组 内 容 是 事 务 状 态 ， 每 个 事 务 状 态 占 用
9!
即 可 。 一 个 页 面
:;
， 可 以 存 储
:;:9<+9;
个事务状态。
!=
大小为
'>79: '>? 48=@79AA
，
初始化函数为
(01."
。启动时会从
读取事务状态加载到内存。系统
运行过程中，
#
会定时将不再使用的
文件清理。
3
）
Hint
在进行可见性判断时，需要获取事务的状态，即元组中
和
的状态，这些
事务状态保存在
(01
中，为加速获取事务状态的过程，
-./(
引入了
8
。
所有
8
，就是把事务状态直接记录在元组头中（
），避
免频繁访问
(01
，元组头中对应的标识位如下
,BC
2*5%-D'40''5 66766
2*5%-D'44$%( 66966 #!
2*5%-D'430E54 >5%-D'40''5F
5%-D'44$%(A
2*5%-D'%D0''5 66?66
2*5%-D'%D4$%( 66:66 #!
2*5%-D'%D.'&( 67666 'D
-./(
并不会在事务提交或者回滚时主动更新元组上的
8
，而是等到访问
该元组并进行可见性判断时，如果发现
8
没有设置，则从
(01
中读取并设置，
否 则 直 接 读 取
8
的 值 。 判 断 可 见 性 过 程 中 设 置
8
的 函 数 入 口 为
.8
。这里的访问可能是
$%&&'
，
'(
或者
.5(5
。
因此，
8
可以理解为是事务状态在元组头上的一份缓存。
4
）
Hint
与日志
在开启
"
或者
1&
参数
G"
为
的情况下，如果
"
后第一次使页面
的操作是更新
8
，则会产生一条
H%(
日志，将当前页面写
入
H%(
日志中
>
即
-A
，避免产生部分写，导致数据
"
异常。注
意，以上写
-
日志的行为与是否开启
G
没有关系。因此，
在开启
"
或者
1&
参数
G"
为
时，即便执行
.5(5
，也可
能更改页面的
8
，从而导致产生
H%(
日志，这会在一定程度上增加
H%(
日志占
用的存储空间。
2
、快照判断
判断一个事务是否在快照，即针对这个快照是否还在
：
7
）大于等于
BC
：未来事务，不可见
9
）小于
BC
：已结束事务，可见
+
）
IBC BCA
：查看
(01
。
状态：可见；
和
!
状态：不可见
of 4
免费下载
【版权声明】本文为墨天轮用户原创内容，转载时必须标注文档的来源（墨天轮），文档链接，文档作者等基本信息，否则作者和墨天轮有权追究责任。如果您发现墨天轮中有涉嫌抄袭或者侵权的内容，欢迎发送邮件至：contact@modb.pro进行举报，并提供相关证据，一经查实，墨天轮将立刻删除相关内容。
下载排行榜
评论