数据库并发事务控制四:postgresql数据库的锁机制二:表锁 <转>

在博文《数据库并发事务控制四:postgresql数据库的锁机制 》
http://blog.csdn.net/beiigang/article/details/43302947
中后面提到:


常规锁机制可以参考pg的官方手册,章节和内容见下面
13.3. Explicit Locking
http://www.postgresql.org/docs/9.4/static/explicit-locking.html
这节分为:表锁、行锁、页锁、死锁、Advisory锁(这个名字怎么翻译好??? 忠告锁,公告锁,咨询锁???)。

后面的内容提纲就是:
表锁、
行锁、
页锁、
死锁、
Advisory锁(这个名字怎么翻译好??? 忠告锁,公告锁,咨询锁???)、
查看锁。


感觉有些累了,懒了,不想写了,后面看情况到网上找些同仁同志同学朋友们的文章,放到这儿归类,如有需要待下次按我的思路再整理组织,今次先把题目做完整吧。


这儿继续,下面的内容转自下面,只是小改了几处手误的地方,把第三节的图换成了官网上的

http://francs3.blog.163.com/blog/static/40576727201082134343604/

原文标题:Postgresql 锁浅析


一、概述
此文档主要对Postgresql 锁机制进行分析,在讲解的过程中结合实验,理解Postgresql的锁机制。

二、表级锁类型
表级锁类型分为八种,以下对各种表级锁类型进行简单介绍下, 锁的冲突模式可以参考3.1的图一:表级锁冲突模式。

2.1 ACCESS SHARE
“ACCESS SHARE”锁模式只与“ACCESS EXCLUSIVE” 锁模式冲突;
查询命令(Select command)将会在它查询的表上获取”Access Shared” 锁,一般地,任何一个对表上的只读查询操作都将获取这种类型的锁。

2.2 ROW SHARE
 “Row Share” 锁模式与”Exclusive’和”Access Exclusive”锁模式冲突;
Select for update”和”Select for share”命令将获得这种类型锁,并且所有被引用但没有 FOR UPDATE 的表上会加上”Access shared locks”锁。

2.3 ROW EXCLUSIVE
 “Row exclusive” 与 “Share,Shared roexclusive,Exclusive,Access exclusive”模式冲突;
Update,Delete,Insert”命令会在目标表上获得这种类型的锁,并且在其它被引用的表上加上”Access shared”锁,一般地,更改表数据的命令都将在这张表上获得”Row exclusive”锁。

2.4 SHARE UPDATE EXCLUSIVE
”Share update exclusive,Share,Share row ,exclusive,exclusive,Access exclusive”模式冲突,这种模式保护一张表不被并发的模式更改和VACUUM;
 “Vacuum(without full), Analyze ”和 “Create index concurrently”命令会获得这种类型锁。

2.5 SHARE
与“Row exclusive,Shared update exclusive,Share row exclusive ,Exclusive,Access exclusive”锁模式冲突,这种模式保护一张表数据不被并发的更改;
Create index”命令会获得这种锁模式。

2.6 SHARE ROW EXCLUSIVE
与“Row exclusive,Share update exclusive,Shared,Shared row exclusive,Exclusive,Access Exclusive”锁模式冲突;
任何Postgresql 命令不会自动获得这种锁。

2.7 EXCLUSIVE
与” ROW SHARE, ROW EXCLUSIVE, SHARE UPDATE EXCLUSIVE, SHARE, SHARE ROW EXCLUSIVE, EXCLUSIVE, ACCESS EXCLUSIVE”模式冲突,这种索模式仅能与Access Share 模式并发,换句话说,只有读操作可以和持有”EXCLUSIVE”锁的事务并行;
任何Postgresql 命令不会自动获得这种类型的锁;

2.8 ACCESS EXCLUSIVE
与所有模式锁冲突(ACCESS SHARE, ROW SHARE, ROW EXCLUSIVE, SHARE UPDATE EXCLUSIVE, SHARE, SHARE ROW EXCLUSIVE, EXCLUSIVE, and ACCESS EXCLUSIVE),这种模式保证了当前只有一个事务访问这张表;
ALTER TABLE, DROP TABLE, TRUNCATE, REINDEX, CLUSTER, VACUUM FULL” 命令会获得这种类型锁,在Lock table 命令中,如果没有申明其它模式,它也是缺省模式。

三、表级锁冲突模式
3.1  Conflicting lock modes

Table 13-2. Conflicting Lock Modes

Requested Lock ModeCurrent Lock Mode
ACCESS SHAREROW SHAREROW EXCLUSIVESHARE UPDATE EXCLUSIVESHARESHARE ROW EXCLUSIVEEXCLUSIVEACCESS EXCLUSIVE
ACCESS SHARE






X
ROW SHARE





X X
ROW EXCLUSIVE



X X X X
SHARE UPDATE EXCLUSIVE


X X X X X
SHARE

X X
X X X
SHARE ROW EXCLUSIVE

X X X X X X
EXCLUSIVE
X X X X X X X
ACCESS EXCLUSIVE X X X X X X X X



备注: 上图是pg 表级锁的各种冲突模式对照表,‘X’表示冲突项, 在章节四中会对其中典型的锁模式进行模似演示。

四、实验
在这一章节中将会对图一中比较典型的锁冲突进行模似演练,了解这些在Postgresql DBA的日常维护工作中很有帮助,同时也能减少人为故障的发生。

4.1  Access exclusive 锁与Access share锁冲突
       在日常维护中,大家应该执行过’ALTER TABLE’更改表结构的DDL,例如加字段,更改字段数据类型等,根据章节二的理论,在执行’ALTER TABLE’命令时将申请一个Access exclusive锁, 根据图一,大家知道Access exclusive 锁和所有的锁模式都冲突,那么,它将会’Select’命令冲突,因为Select 加的是Access share锁,那么真的会与‘SELECT‘命令冲突吗,接下来给大家演示下:

--创建一张测试表 test_2 并插入测试数据
mydb=> create table test_2 (id integer,name varchar(32));
CREATE TABLE
mydb=> insert into test_2 values (1,'franc');
INSERT 0 1
mydb=> insert into test_2 values (2,'tan');
INSERT 0 1
mydb=> select * from test_2;
 id | name
----+-------
  1 | franc
  2 | tan
(2 rows)

--会话一 查询表数据 ( 这里获得Access Shared 锁)
mydb=> begin;
BEGIN
mydb=> select * from test_2 where id=1;
 id | name
----+-------
  1 | franc
(1 row)
注意:这里begin开始事务,没有提交;

--会话二 更改表结构 (这里申请 Access Exclusive锁 )
mydb=> alter table test_2 add column sex char(1);
发现,命令一直等侍,执行不下去;

--会话三 查询状态
mydb=# select oid,relname from pg_class where relname='test_2';
  oid  | relname
-------+---------
 33802 | test_2
mydb=# select locktype,database,relation,pid,mode from pg_locks where relation='33802';
 locktype | database | relation |  pid  |        mode        
----------+----------+----------+-------+---------------------
 relation |    16466 |    33802 | 18577 | AccessShareLock
 relation |    16466 |    33802 | 18654 | AccessExclusiveLock
mydb=# select datname,procpid,usename,current_query from pg_stat_activity where procpid in (18577,18654);
 datname | procpid | usename |               current_query               
---------+---------+---------+--------------------------------------------
 mydb    |   18577 | skytf   | <IDLE> in transaction
 mydb    |   18654 | skytf   | alter table test_2 add column sex char(1);
(2 rows)
     这里可以看出会话一(pid=18577) 获取的是 “AccessShareLock”锁,
会话二(pid=18654 ) 获取的是 “AccessExclusiveLock”锁。

--再次回到会话一,执行'end'结束事务后会发生什么结果
注意,此时会话二还处于等侍状态
mydb=> end;
COMMIT

--回到会话二发现 原来处于等侍状态的'ALTER TABLE'命令执行成功
mydb=> alter table test_2 add column sex char(1);
ALTER TABLE
mydb=> \d test_2
            Table "skytf.test_2"
 Column |         Type          | Modifiers
--------+-----------------------+-----------
 id     | integer               |
 name   | character varying(32) |
 sex    | character(1)          |

--回到会话三,锁已经释放
mydb=# select locktype,database,relation,pid,mode from pg_locks where relation='33802';
 locktype | database | relation | pid | mode
----------+----------+----------+-----+------
(0 rows)
mydb=# select datname,procpid,usename,client_addr,current_query from pg_stat_activity where procpid in (18577,18654);
 datname | procpid | usename | client_addr | current_query
---------+---------+---------+-------------+---------------
 mydb    |   18577 | skytf   |             | <IDLE>
 mydb    |   18654 | skytf   |             | <IDLE>
(2 rows)
实验说明: 这个实验说明了 'ALTER TABLE'命令与'SELECT'命令会产生冲突,证实了开始的结论,即"Access exclusive"锁模式与申请"Access shared"锁模式的'SELECT'命令相冲突。

4.2  Share 锁与 Row Exclusive 锁冲突
在数据库的维护过程中,创建索引也是经常做的工作,别小看创建索引,如果是一个很繁忙的系统,索引不一定能创建得上,可能会发生等侍, 严重时造成系统故障;根据章节二的理论,’Create Index’ 命令需要获取Share 锁模式。
根据图一,”Share” 锁和”Row Exclusive”锁冲突,下面来验证一下:
根据图一可以看出,share锁模式和多种锁模式冲突,有可能会问我,为什么单独讲share锁和Row Exclusive冲突呢?因为” Update,Delete,Insert”命令获取的是Row Exclusive 操作,而这种操作在生产过程中非常频繁;这个实验正是模似生产维护过程。
 
--会话一, 向 test_2 上插入一条数据
mydb=> select * from test_2;
 id | name  | sex
----+-------+-----
  1 | franc |
  2 | tan   |
(2 rows)
mydb=> begin;
BEGIN
mydb=> insert into test_2 values (3,'fpzhou');
INSERT 0 1
mydb=>
说明: 这个Insert 操作放在一个事务里,注意此时事务尚未提交。

--会话二,在表test_2上创建索引
mydb=> \d test_2;
            Table "skytf.test_2"
 Column |         Type          | Modifiers
--------+-----------------------+-----------
 id     | integer               |
 name   | character varying(32) |
 sex    | character(1)          |
mydb=> create unique index idx_test_2_id  on test_2 (id);
说明: 创建索引命令发生等侍

--会话三,查询状态
mydb=# select locktype,database,relation,pid,mode from pg_locks where relation='33802';
 locktype | database | relation |  pid  |       mode      
----------+----------+----------+-------+------------------
 relation |    16466 |    33802 | 18577 | RowExclusiveLock
 relation |    16466 |    33802 | 18654 | ShareLock
(2 rows)
mydb=# select datname,procpid,usename,client_addr,current_query from pg_stat_activity where procpid in (18577,18654);
 datname | procpid | usename | client_addr |                   current_query                   
---------+---------+---------+-------------+----------------------------------------------------
 mydb    |   18577 | skytf   |             | <IDLE> in transaction
 mydb    |   18654 | skytf   |             | create unique index idx_test_2_id  on test_2 (id);
 说明:  这里可以看出"Insert into"(procpid=18577) 命令获取"RowExclusiveLock”,而"Create Index"(procpid=18654)操作获取的是"Sharelock", 并且创建索引操作发了等侍,因为这两种锁模式是冲突的。

--回到会话一,提交事务,看看会发生什么
注意,此时创建索引的会话二仍处于等侍状态
mydb=> end;
COMMIT

--回到会话二,发现创建索引命令成功,等侍消失
mydb=> create unique index idx_test_2_id  on test_2 (id);
CREATE INDEX
实验结论:1 上述实验说明 "Create index "操作和"Insert"操作冲突;也就是 "Share"锁和"RowExclusive"锁冲突。
          2 在生产库上应该避免在业务高峰期执行新建索引操作,因为如果在张大表上新建索引,消耗时间较长,在这个过程中会阻塞业务的DML操作。

4.3  SHARE UPDATE EXCLUSIVE 与自身冲突
       根据章节二,大家知道 VACUUM(Without full), Analyze 和 Create index (Concurently)操作会申请获得”Shared update Exclusive 锁”。根据图一,”Shared update Exclusive 锁”与本身也是会冲突的,下面实验验证一下:

--会话一,分析表test_2

mydb=> select * from test_2;
 id |  name  | sex
----+--------+-----
  1 | franc  |
  2 | tan    |
  3 | fpzhou |
(3 rows)
mydb=>
mydb=>
mydb=> begin;
BEGIN
mydb=> analyze test_2;
ANALYZE      
注意: 表分析放在一个事务里,此时并没有提交;

--会话二 对表 test_2 做 vacuum
mydb=> \d test_2;
            Table "skytf.test_2"
 Column |         Type          | Modifiers
--------+-----------------------+-----------
 id     | integer               |
 name   | character varying(32) |
 sex    | character(1)          |
Indexes:
    "idx_test_2_id" UNIQUE, btree (id)
mydb=> vacuum test_2;
注意: 当对表 test_2 执行 vacuum操作时,操作等侍,

--会话三,观察系统哪里锁住了
[postgres@pg1 ~]$ psql -d mydb
psql (9.0beta3)
Type "help" for help.
mydb=# select datname,procpid,waiting,current_query from pg_stat_activity where waiting='t';
 datname | procpid | waiting | current_query
---------+---------+---------+----------------
 mydb    |   20625 | t       | vacuum test_2;
(1 row)
这里说明会话 vacuum test_2 在等侍

mydb=# select oid,relname from pg_class where relname='test_2';
  oid  | relname
-------+---------
 33802 | test_2
(1 row)
mydb=# select locktype,database,relation,pid,mode from pg_locks where relation='33802';
 locktype | database | relation |  pid  |           mode          
----------+----------+----------+-------+--------------------------
 relation |    16466 |    33802 | 20625 | ShareUpdateExclusiveLock
 relation |    16466 |    33802 | 20553 | ShareUpdateExclusiveLock
 (2 rows)
 说明: 这里可以看出 'Analyze'操作 (pid=20553) 和'Vacuum'操作 (pid=20625)都是加的"ShareUpdateExclusiveLock"。

mydb=# select datname,procpid,waiting,current_query from pg_stat_activity where procpid in (20625,20553);
 datname | procpid | waiting |     current_query    
---------+---------+---------+-----------------------
 mydb    |   20553 | f       | <IDLE> in transaction
 mydb    |   20625 | t       | vacuum test_2;
(2 rows)
说明: 结束上面查询可以看出会话20625在等侍会话20553,也就是说"vacuum test_2" 被事务堵住了,

--再次回到会话一,提交会话,注意此时会话二处于等侍姿态;
mydb=> end;
COMMIT

 

--再次回到会话二,发现 vacuum命令执行下去了,等侍消失。
mydb=> vacuum test_2;
VACUUM
mydb=>  select datname,procpid,waiting,current_query from pg_stat_activity where waiting='t';
 datname | procpid | waiting | current_query
---------+---------+---------+---------------
(0 rows)
实验结论 1 Analyze 和 Vacuum 操作都会申请获得 "ShareUpdateExclusiveLock"。
         2 ShareUpdateExclusiveLoc与ShareUpdateExclusiveLock是冲突的。




转自 http://blog.csdn.net/beiigang/article/details/43339327

posted @ 2017-01-05 18:13  人生如若初见  阅读(1940)  评论(0编辑  收藏  举报