Avoid deadlock during orphan temp table removal.
commit6faca9ae2878c8f642a2e5748d2dbb2b91341bec
authorTom Lane <tgl@sss.pgh.pa.us>
Tue, 2 Apr 2024 18:59:04 +0000 (2 14:59 -0400)
committerTom Lane <tgl@sss.pgh.pa.us>
Tue, 2 Apr 2024 18:59:32 +0000 (2 14:59 -0400)
tree52b5c98b4232cc3bb94aafec74fc76341793dc41
parent4133c1f45c54f0e52b4bb758f67af78951930e43
Avoid deadlock during orphan temp table removal.

If temp tables have dependencies (such as sequences) then it's
possible for autovacuum's cleanup of orphan temp tables to deadlock
against an incoming backend that's trying to clean out the temp
namespace for its own use.  That can happen because RemoveTempRelations'
performDeletion call can visit objects within the namespace in
an order different from the order in which a per-table deletion
will visit them.

To fix, observe that performDeletion will begin by taking an exclusive
lock on the temp namespace (even though it won't actually delete it).
So, if we can get a shared lock on the namespace, we can be sure we're
not running concurrently with RemoveTempRelations, while also not
conflicting with ordinary use of the namespace.  This requires
introducing a conditional version of LockDatabaseObject, but that's no
big deal.  (It's surprising we've got along without that this long.)

Report and patch by Mikhail Zhilin.  Back-patch to all supported
branches.

Discussion: https://postgr.es/m/c43ce028-2bc2-4865-9b89-3f706246eed5@postgrespro.ru
src/backend/postmaster/autovacuum.c
src/backend/storage/lmgr/lmgr.c
src/include/storage/lmgr.h