PostgreSQL中Tuple可见性判断分析-创新互联

本篇内容主要讲解“PostgreSQL中Tuple可见性判断分析”,感兴趣的朋友不妨来看看。本文介绍的方法操作简单快捷,实用性强。下面就让小编来带大家学习“PostgreSQL中Tuple可见性判断分析”吧!

创新互联专注为客户提供全方位的互联网综合服务,包含不限于成都网站设计、成都做网站、平和网络推广、小程序开发、平和网络营销、平和企业策划、平和品牌公关、搜索引擎seo、人物专访、企业宣传片、企业代运营等,从售前售中售后,我们都将竭诚为您服务,您的肯定,是我们大的嘉奖;创新互联为所有大学生创业者提供平和建站搭建服务,24小时服务热线:18980820575,官方网址:www.cdcxhl.com

一、xmin/xmax是当前事务

Tuple.xmin或xmax是当前事务的情况,事务状态为IN_PROGRESS,其判断逻辑如下:
插入未提交
If xmin == 当前事务 Then
  If xmax == 当前事务 Then
   元组不可见
  Else
   元组可见
  End If
End If

如下例所示:

15:40:39 (xdb@[local]:5432)testdb=# 
15:40:40 (xdb@[local]:5432)testdb=# begin;
BEGIN
15:40:44 (xdb@[local]:5432)testdb=#* insert into t_session1 values(1);
INSERT 0 1
15:40:52 (xdb@[local]:5432)testdb=#* update t_session1 set id = 0;
UPDATE 1
15:41:02 (xdb@[local]:5432)testdb=#* select lp,lp_off,t_xmin,t_xmax from heap_page_items(get_raw_page('t_session1',0));
 lp | lp_off | t_xmin | t_xmax 
----+--------+--------+--------
  1 |   8160 |   2370 |   2370    --> 2370插入数据,2370更新数据,该Tuple不可见
  2 |   8128 |   2370 |      0    --> 2370更新后的数据,该Tuple可见
(2 rows)

插入已提交
If xmax == 当前事务 Then
  元组不可见
End If

15:41:11 (xdb@[local]:5432)testdb=#* delete from t_session1;
DELETE 1
15:41:36 (xdb@[local]:5432)testdb=#* select lp,lp_off,t_xmin,t_xmax from heap_page_items(get_raw_page('t_session1',0));
 lp | lp_off | t_xmin | t_xmax 
----+--------+--------+--------
  1 |   8160 |   2370 |   2370    --> 2370更新该Tuple,不可见
  2 |   8128 |   2370 |   2370    --> 2370删除该Tuple,不可见
(2 rows)
15:41:38 (xdb@[local]:5432)testdb=#* commit;
COMMIT

注意:在这种情况下(xmax == 当前事务),xmin状态不可能是ABORTED,因为不可能Update/Delete不存在的元组(事务未提交可视为不存在).

二、xmin&xmax非当前事务

xmin和xmax均不是当前事务,假定快照为ST1:ST2:XIP[],其判断逻辑如下:
If xmin.STATUS == COMMITTED Then
  If xmax < ST1 && xmax.STATUS == COMMITTED Then
    元组不可见
  If xmax ∉ XIP[] && xmax.STATUS == COMMITTED Then
    元组不可见
  Else
    元组可见
  End If
Else
  元组不可见
End If

到此,相信大家对“PostgreSQL中Tuple可见性判断分析”有了更深的了解,不妨来实际操作一番吧!这里是创新互联网站,更多相关内容可以进入相关频道进行查询,关注我们,继续学习!


分享名称:PostgreSQL中Tuple可见性判断分析-创新互联
网页路径:http://pwwzsj.com/article/degecc.html