PostgreSQL中元组可见性判断分析

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

一、xmin/xmax是当前事务

元组。xmin或xmax是当前事务的情况,事务状态为IN_PROGRESS,其判断逻辑如下:
<>强插入未提交
如果xmin==当前事务
如果xmax==当前事务然后
元组不可见

其他元组可见
结束如果结束

如下例所示:

 15:40:39  (xdb@(本地):5432)testdb=#,
　　15:40:40  (xdb@(本地):5432)testdb=#,开始;
　　开始
　　15:40:44  (xdb@(本地):5432)=# *,testdb insert  into  t_session1 价值(1);
　　INSERT  0, 1
　　15:40:52  (xdb@(本地):5432)=# *,testdb update  t_session1  set  id =, 0;
　　UPDATE  1
　　15:41:02  (xdb@(本地):5432)=# *,testdb select  lp lp_off, t_xmin, t_xmax 得到heap_page_items (get_raw_page (& # 39; t_session1& # 39;, 0));
　　|,lp  lp_off  |, t_xmin  |, t_xmax 
　　- - - - - + - - - - - - - - - - - - - - - - - - - - + - - - - - - - - - -
　　1,才能|,,,8160,|,,,2370,|,,,2370,,,,,祝辞,2370插入数据,2370年更新数据,该元组不可见
　　2,才能|,,,8128,|,,,2370,|,,,,,,0,,,,,的在,2370年更新后的数据,该元组可见
　　(2,行)

<>强插入已提交
如果xmax==当前事务然后
元组不可见
结束如果

 15:41:11  (xdb@(本地):5432)=# *,testdb delete 得到t_session1;
　　DELETE  1
　　15:41:36  (xdb@(本地):5432)=# *,testdb select  lp lp_off, t_xmin, t_xmax 得到heap_page_items (get_raw_page (& # 39; t_session1& # 39;, 0));
　　|,lp  lp_off  |, t_xmin  |, t_xmax 
　　- - - - - + - - - - - - - - - - - - - - - - - - - - + - - - - - - - - - -
　　1,才能|,,,8160,|,,,2370,|,,,2370,,,,,的在,2370年更新该元组,不可见
　　2,才能|,,,8128,|,,,2370,|,,,2370,,,,,祝辞,2370删除该元组,不可见
　　(2,行)
　　15:41:38  (xdb@(本地):5432)testdb=# *,提交;
　　之前提交 
注意:在这种情况下(xmax==当前事务),xmin状态不可能是流产,因为不可能更新/删除不存在的元组(事务未提交可视为不存在)。
 
二,xmin& xmax非当前事务
 
 xmin和xmax均不是当前事务,假定快照为某ST2: XIP[],其判断逻辑如下:如果xmin 
。状态==然后提交
如果xmax & lt;相约,,xmax。状态==然后提交
元组不可见如果xmax 
 ?XIP [],,xmax。状态==承诺然后
元组不可见
 
其他元组可见
结束如果其他
 
元组不可见
结束如果
 
到此,相信大家对“PostgreSQL中元组可见性判断分析”有了更深的了解,不妨来实际操作一番吧!这里是网站,更多相关内容可以进入相关频道进行查询,关注我们,继续学习! 
PostgreSQL中元组可见性判断分析