(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隔离级别值保证一个事务的单个命令看到的数据是一致的,不能保证一个事务发出的所有命令看到的数据都是一致的。