主页 / dba / 问题 / 280284
Accepted
John Bachir
Asked: 2020-11-25 14:56:20 +0800 CST

并发创建 Postgres 索引时需要什么类型的锁？

  • 772

我知道同时创建索引时，只需要一个SHARE ShareUpdateExclusiveLock 锁。

但是，在流程开始的一小段时间内是否需要更严格的锁定类型？还是整个操作只需要一个SHARE ShareUpdateExclusiveLock 锁？

我问是因为我想知道在同时创建索引时设置哪些类型的超时是有利的。

postgresql index

1 个回答

  1. Best Answer

    好吧，当文档不足时，可以直接查看代码。为了避免将来可能的行号更改，我将提供已发布PostgreSQL 13.1（标签）的链接。REL_13_1

    我可能不会描述来自客户端的命令的整个代码路径。通过语法，我们知道我们需要IndexStmt命令节点——并发和非并发创建索引的语法相同。一切有用的开始ProcessUtilitySlow

    在这里，在评论中case T_IndexStmt，可以找到问题的直接答案：

    /*
 * .... To avoid lock upgrade hazards, it's
 * important that we take the strongest lock that will
 * eventually be needed here, so the lockmode calculation
 * needs to match what DefineIndex() does.
 */
lockmode = stmt->concurrent ? ShareUpdateExclusiveLock
    : ShareLock;

    一般来说，PostgreSQL 在命令执行期间不会升级锁。并将采取最终需要的最强锁。因为CREATE INDEX CONCURRENTLY它ShareUpdateExclusiveLock。不是SHARE问题中提到的锁。

    但让我们继续阅读：

    • 在分区表的情况下，find_all_inheritors继承者将获得相同的锁定模式。
    • intransformIndexStmt可以找到一些锁定模式，但是NoLock-AccessShareLock它们比ShareUpdateExclusiveLock
    • 在DefineIndex我们看到另一个提醒：
         * To avoid lock upgrade hazards, that lock should be at least
     * as strong as the one we take here.

    并决定再次使用 ShareUpdateExclusiveLock 进行并发构建。这部分代码明显很长（仍然没有规划器那么大），但可读。

    我错过了什么？大概。因此，让我们构建带有-DLOCK_DEBUG调试锁定行为选项的 PostgreSQL，看看会发生什么：

    ./configure  --prefix=/home/melkij/tmp/pgdev/inst --enable-cassert --enable-debug CFLAGS="-ggdb -Og -g3 -fno-omit-frame-pointer -DLOCK_DEBUG" --enable-tap-tests
make -sj 4
make install
initdb ...
pg_ctl start ...
# then psql with follow commands
create table foo as select generate_series(1,1000) as id;
set trace_locks = true;
create index concurrently on foo (id);
select oid, relname, relkind from pg_class where oid in (16387,16393);
#  oid  |  relname   | relkind 
#-------+------------+---------
# 16387 | foo        | r
# 16393 | foo_id_idx | i

    trace_locks会记录很多东西，但我们感兴趣的是：

    [vxid:3/62 txid:0] [CREATE INDEX] LOG:  LockAcquire: lock [12664,16387] ShareUpdateExclusiveLock
[vxid:3/62 txid:0] [CREATE INDEX] LOG:  LockAcquire: lock [12664,16387] ShareUpdateExclusiveLock
[vxid:3/62 txid:0] [CREATE INDEX] LOG:  LockAcquire: lock [12664,16393] AccessExclusiveLock
[vxid:3/62 txid:495] [CREATE INDEX] LOG:  LockAcquire: lock [12664,16387] ShareUpdateExclusiveLock
[vxid:3/63 txid:0] [CREATE INDEX] LOG:  LockAcquire: lock [12664,16387] ShareUpdateExclusiveLock
[vxid:3/63 txid:0] [CREATE INDEX] LOG:  LockAcquire: lock [12664,16393] RowExclusiveLock
[vxid:3/64 txid:0] [CREATE INDEX] LOG:  LockAcquire: lock [12664,16387] ShareUpdateExclusiveLock
[vxid:3/64 txid:0] [CREATE INDEX] LOG:  LockAcquire: lock [12664,16393] RowExclusiveLock
[vxid:3/64 txid:0] [CREATE INDEX] LOG:  LockAcquire: lock [12664,16393] ExclusiveLock
[vxid:3/64 txid:0] [CREATE INDEX] LOG:  LockAcquire: lock [12664,16393] ExclusiveLock

    lock [12664,16387]这里的意思是 database OID = 12664，pg_class OID = 16387（这些行是从 记录的LockAcquireExtended）。

    所以，我们实际上只ShareUpdateExclusiveLock在表本身上获取。OID=16393与其他几个锁是该命令建立的索引。尽管针对此对象提到了重锁定级别，但它不会干扰其他查询。Create index concurrently命令专门设计用于在运行正常的应用程序查询时安全工作。

    • 6

相关问题