Bruce Momjianの2020レポート「Postgres Lock Managerのロック解除」の筆記録。
（注：このリンクを使用すると、スライドからすべてのSQLクエリを取得できます：http : //momjian.us/main/writings/pgsql/locking.sql）
! . , , . , , . . , . , .
. EnterpriseDB Postgres 23 . , . 90 . 40 . , , . . 30 . , 500. . , .
, , Postgres. , , . . 110 . , , .
. – . , - . .
- , . . . . .
- . , .
- . .
- . .
.
. , ? . , « ». 80- , . , , . .
, Oracle. .
, . , SHARE UPDATE ECXLUSIVE. SHARE RAW ECXLUSIVE. , . . «share», – . «exclusive» — . . , .
«» — access. «row» — . . . , .
, Postgres, , , , MVCC. -. , , MVCC – , , . , . .
, – . . , . Postgres . , .
, , , , .
http://momjian.us/main/writings/pgsql/locking.sql
. . SELECT pg_back. ID .
, , , , SQL . PSQL . , .
ID . , . ID Postgres, ID
. , Postgres.
ID – ID , . , SELECT, , , , . , SELECT, ID. ID.
Postgres, , ID . – ID . .
, , ID – 2.
, , , . , 2/10, 2/11, 2/12 . .
, . ID – 2/12. ID . . . ID .
( (ANALYZE)), ID . , . ID, .
, , . – 2/13. ID , , , .
, . ID ID . , Postgres.
. Postgres. . . , , .
, . , , , , , , Postgres.
, Postgres, system view. pg_lock. Pg_lock – , , Postgres.
pg_lock , . view, pg_locks. , . . . , . . SQL , .
, view , – lockview2.
. , . , .
, , Lockdemo. . . , .
, , . ACCESS SHARE. . , .
, «lock table». , . . ACCESS SHARE lock table. PSQL , . . . ? « lockview ». AccessShareLock . , . , . .
, , . .
«SELECT», () AccessShareLock. , . AccessShareLock. SELECT AccessShareLock . , .
SELECT ? , : pg_class, pg_namespace pg_attribute.
, , 9 AccessShareLocks . ? : pg_attribute, pg_class, pg_namespace. , , , AccessShareLock.
, . , , , . . . . , , , AccessShare – , " , ". , , .
ROW SHARE – .
. SELECT ROW SHARE . , .
, , SHARE LOCK? , ID 681 SELECT’. . ? «Lock». ID , , . , , , , - . , . .
, .
, () , . , , .
SHARE EXCLUSIVE – .
(ANALYZE) , .
SHARE LOCK – share.
. SHARE LOCK, . SHARE LOCK.
SHARE LOCK , , . , .
concurrently , , , , concurrently . , , . concurrently , .
SHARE ROW EXCLUSIVE – ().
, . . - , .
EXCLUSIVE , .
.
ACCESS EXCLUSIVE, , . , CLUSTER table, , . , .
ACCESS EXCLUSIVE, , . , .
, . , ID , ID , ID .
. . . – , Postgres , . , .
.
. -, ExclusiveLock, ID ExclusiveLock .
, ? . . , ? , , . , , Postgres.
, , 100 , 100 . 1 000 , 1 000 . . , . , , , . , , Postgres .
, , , MVCC, . , , Postgres . .
? , , . , . , . , , .
, ? , . , .
, Postgres , MVCC, , Postgres , . Postgres , , , .
- ? , , , , .
, , 1 000 , , 1 000 , , , . . MVCC . , , , , .
?
«», . « », .
. , . .
, shared, 30 .
, , .
, Postgres, – , update select. . select update . , , , , .
. . INSERT. – 694. ID , . , .
ID, – 695.
, 695 .
, . 695 – , update , , .
, – ShareLock, – ExclusiveLock. .
MVCC, , . , , . . SELECT UPDATE.
.
update , . , , , , . . . , . , .
, Lockdemo . . 698.
2-. 699 – . , .
– 2/51 – , . 3/112 – , 3. , , 699. 3/112 . Lock_mode , . 699. , 699, . ? ID. , Postgres . ID. , - , , . .
. ID. ID , lock_type. ? , , ID. , relation. . relation. transactionid, , , , transationid, , 699 .
, . . ID , . , .
6- , , . 699 . 700 . , , 699 .
lock_type, tuple .
, 0/10. , offset .
, 0/11, .
– 0/10, . , , , .
commit, , , . 700 – , , . , . 699 , . 700 , , , , .
, view, . , . , .
, . . .
, , . 3 4.
4. ID 702.
4 5. 5 6, 6 7. , , .
. ? 702. ID, . Granted? f. , (5, 6, 7) , , ID 702 . ID. 5 ID.
704, 705, , , . , , . , , - , .
, . , 12- .
, . 0/12.
, , , . . . .
, . 702 . 703 , 704 , 703 . 705 . , . , . , . , . , . .
, deadlocks. , . . deadlocks – , , - . , -.
, , : « -», : «, , - ». : «, , ». . , , , - , , . .
, , . , . , . , , .
deadlocks. 50 80. 50 50. 710.
80 81, 50 51.
, . 710 , 711 . , . 710 – . 711 , 710 .
deadlocks. .
80 80.
, deadlocks. 710 711, 711 710. . . .
. .
Postgres , . , . , - SHARE LOCK’ , . . 711 . , SHARE LOCK - ID - . .
deadlocks? ? .
. 40 40, .
60 61, 80 81.
80, – !
714 715. 716- 715- . .
, . - , - , - . , , , .
Postgres . , , , . . , 20 .
– serializable.
serializable .
719. .
, serializable.
, SA – serializable.
, SARieadLock, .
.
.
, 2, 2. 2. , 721- . 722 , 721 , 2 , , 721.
subtransaction.
723.
, ID. , . , ID . 724 . 725.
? , : serializable SAVEPOINT – , .
() , pg_advisory_lock.
, advisory. «advisory». pg_advisory_unlock.
. . pg_locks pg_stat_activity. ? , . , .
pg_stat_view.
. 724. . ? , . . , . , . , – . .
, – pg_blocking_pids. , , . ? , 11740, ID- . , 11740 724. 724 . 11306 ID-. , . , , . , , ID, , . , ID, , . pg_blocking_pids.
. 9.6, 5 , . . , .
, . , , . . , . , , !
:
, , . , - intent lock’. Postgres?
. , , , , SELECT, AccessShareLock. . , , , - , AccessShareLock . , . - , .
. . , lock .
lock exclusive, ?
, . , . , , SELECT, ShareExclusive, Row Exclusive, ? . , , , lock, . , , . , . . . , , , .
, . , , . , . . , !
, deadlock’, , ?
Postgres deadlock’. . , , . , , deadlocks… , . 1, 2, 1. deadlocks – , . , , 80 % , . , deadlock’.
! vacuum full , , vacuum full , . vacuum full ?
. , vacuum full . , , . . . , , , , , , . . , . , , , , lock exclusive.
, , , , . . . . lock exclusive.
locking timeout Postgres? Oracle , , « » 50 . . Postgres , - .
, - , locks. no way, …, . lock timeout, , . . , . .
75 ?
.
. 703?
. , , Postgres . 703 , 702. 704 705 , , , , . Postgres : , « ?», -. , . ? 702 703 , . , , . . , .
, Postgres . , f…. , . , 20 , . . . , 703. , . , , , 707, .
, , , 702 703, , , . , , , . , , , , .
, . , , . , , , lock, , . . , , , . . !
, , 705 704.
. , . . ? , 703 ID. , Postgres . 703 ID, , - , 703. , , 703 . - . , . . , . , , , . . , .
そして問題は、CP無限大があることです。そして、後の方を起こすことができる可能性は十分にあります。そして、例えば、後の方を起こした場合、ロックを取得したばかりの人を期待するので、正確に誰が最初に目覚めるかは決定しません。私たちはそのような状況を作り出し、システムはそれらを特定の順序で起こしません。
Yegor Rogovによるロックに関する記事があります。見てください、それらも面白くて便利です。もちろん、トピックはひどく複雑です。ブルース、どうもありがとう！