postgres SELECT FORUPDATE中的锁定顺序

Question

假设表 a 和 b 都有一行，则查询

 SELECT * FROM a, b FOR UPDATE

应该有两个行级锁（一个在 A 上，一个在 B 上）。是否有任何定义的顺序来获取锁？有没有办法要求表 b 中的锁在来自 a 的锁之前获得锁定（以避免与其他事务死锁）？

Answer 1

是否有任何定义的获取锁的顺序？

据我所知，对于SELECT*，无论如何。由于这种情况没有记录锁顺序，因此即使在实践中它存在，您也不能依赖它。它可能会在未来的版本中发生变化。

有没有办法要求表 b 中的锁在来自 a 的锁之前获得锁定（以避免与其他事务死锁）？

如果您必须使用< code>SELECT *，则不能。但如果您可以控制< code > SELECT -列表，则可以。看起来行锁是按照相关元组字段出现在< code>SELECT列表中的顺序获取的，因此:

SELECT a.x, b.x FROM b, a FOR UPDATE;

将从a获取行的锁，然后从b获取行。无论如何，此刻；我认为标准没有规定这一点，也没有在文档中看到对它的任何引用，因此这可能会在以后发生变化。

就我个人而言…我会使用DO块或单独的查询。使用一些子查询或CTE可能是可行的，但您必须在它们之间创建某种形式的人工依赖关系，以确保排序。脆弱，不值得。

让我们看看实际发生了什么:

regress=> EXPLAIN (VERBOSE) SELECT * FROM a, b FOR UPDATE;
                                  QUERY PLAN                                   
-------------------------------------------------------------------------------
 LockRows  (cost=0.00..129674.00 rows=5760000 width=20)
   Output: a.x, b.x, a.ctid, b.ctid
   ->  Nested Loop  (cost=0.00..72074.00 rows=5760000 width=20)
         Output: a.x, b.x, a.ctid, b.ctid
         ->  Seq Scan on public.a  (cost=0.00..34.00 rows=2400 width=10)
               Output: a.x, a.ctid
         ->  Materialize  (cost=0.00..46.00 rows=2400 width=10)
               Output: b.x, b.ctid
               ->  Seq Scan on public.b  (cost=0.00..34.00 rows=2400 width=10)
                     Output: b.x, b.ctid
(10 rows)

执行查询，然后将结果馈送到 LockRows 节点。锁行是做什么的？为此，是时候进行源代码潜水了。

< code > src/back end/executor/nodelockrows . c 中的< code > execclock rows 是相关代码。这里有很多，但它的要点是它在一个< code>RowMark列表上按顺序迭代，并按顺序获取每个锁。该列表由< code > exeinitlockrows 设置，它复制并过滤在计划期间准备并存储在< code>LockRows节点中的列表。

我没有时间在计划程序中回溯以查找LockRow创建的顺序，但IIRC基本上只是解析顺序（对于SELECT*）或字段在SELECT列表中出现的顺序（如果您没有使用*）。我建议不要依赖它。