如何产生Postgres死锁

 

（1）终端1使用psql连接数据库：

postgres=# CREATE TABLE test(id integer NOT NULL, value integer NOT NULL);
CREATE TABLE
postgres=# \d test
     Table "public.test"
 Column |  Type   | Modifiers
--------+---------+-----------
 id     | integer | not null
 value  | integer | not null

postgres=# SELECT * FROM test;
 id | value
----+-------
(0 rows)

postgres=# INSERT INTO test VALUES(1,1);
INSERT 0 1
postgres=# INSERT INTO test VALUES(2,2);
INSERT 0 1
postgres=# SELECT * FROM test;
 id | value
----+-------
  1 |     1
  2 |     2
(2 rows)

postgres=# BEGIN;
BEGIN
postgres=# UPDATE test SET value = 50 WHERE id = 1;【第1步】
UPDATE 1
postgres=# UPDATE test SET value = 60 WHERE id = 2;【第3步】
UPDATE 1
postgres=# COMMIT;
COMMIT
postgres=# SELECT * FROM test;
 id | value
----+-------
  1 |    50
  2 |    60
(2 rows)

postgres=#

（2）终端2使用psql连接数据库：

postgres=# BEGIN;
BEGIN
postgres=# UPDATE test SET value = 100 WHERE id = 2;【第2步】
UPDATE 1
postgres=# UPDATE test SET value = 90 WHERE id = 1;【第4步】
ERROR:  deadlock detected
DETAIL:  Process 104 waits for ShareLock on transaction 579; blocked by process 63.
Process 63 waits for ShareLock on transaction 580; blocked by process 104.
HINT:  See server log for query details.
CONTEXT:  while updating tuple (0,1) in relation "test"
postgres=# COMMIT;
ROLLBACK
postgres=#

上述命令中【第1步】【第2步】【第3步】【第4步】需要按照时间顺序执行。

产生死锁的原因：

Read Committed是PostgreSQL的默认隔离级别。如果一个事务运行在这个隔离级别，事务发出的SELECT命令只能看见在SELECT命令开始执行以前提交的数据。同一个事务的两个先后执行的 SELECT命令可能会看到不同的数据，因为在其它并发执行的事务可能在【第1个SELECT命令执行完毕到第2个SELECT命令开始执行之前】的过程中被提交。另外，事务发出的SELECT命令可以看到该事务以前发出的更新命令（包括INSERT、DELETE和UPDATE）修改过的数据。

 

命令UPDATE、 DELETE、SELECT FOR UPDATE和SELECT FOR SHARE可以看到的数据和SELECT命令是一样的。如果一个事务执行命令UPDATE（DELETE、SELECT FOR UPDATE或SELECT FOR SHARE），该命令发现一个数据行R1满足自己的搜索条件，同时有另外一个事务T2已经锁住了数据行R1（T2可能正在删除或更新R1），那么T1将进入等待状态，直到T2执行结束（回滚或提交），T1才能继续运行，根据T2的执行结果，T1有两种执行方式：

 

（1）如果T2被回滚，T2对R1做的更新将被取消，T1会使用R1原来的值继续运行命令。

（2）如果T2被提交，那要分两种情况：

（a）T2删除了数据行R1，那么T1继续运行时，将忽略R1, R1对T1正在执行的命令是不可见的。

（b）T2修改了数据行R1, 那么T1继续运行时，T1正在执行的命令将看见R1的新的值，同时会重新检查R1的新值是否符合该命令的WHERE子句的搜素条件, 如果符合，将使用R1的新值作为搜索结果，如果不符合，将忽略R1的新值。

 

Read Committed隔离级别值保证一个事务的单个命令看到的数据是一致的，不能保证一个事务发出的所有命令看到的数据都是一致的。