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

最新推荐文章于 2023-10-10 10:28:56 发布

weixin_33939380

最新推荐文章于 2023-10-10 10:28:56 发布

阅读量136

点赞数

文章标签：数据库

在博文《数据库并发事务控制四：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 Mode	Current Lock Mode
Requested Lock Mode	ACCESS SHARE	ROW SHARE	ROW EXCLUSIVE	SHARE UPDATE EXCLUSIVE	SHARE	SHARE ROW EXCLUSIVE	EXCLUSIVE	ACCESS 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是冲突的。