Prevent concurrent SimpleLruTruncate() for any given SLRU.
authorNoah Misch <noah@leadboat.com>
Sat, 15 Aug 2020 17:15:53 +0000 (10:15 -0700)
committerNoah Misch <noah@leadboat.com>
Sat, 15 Aug 2020 17:15:57 +0000 (10:15 -0700)
commit3fbbf64ceecbd0fe675850070ea1e5d77c401c4f
tree9e7021dbabf53488b004337a94ca2c4a66fed09d
parent5190707d7436089a33dd0e83482a314333ab6e59
Prevent concurrent SimpleLruTruncate() for any given SLRU.

The SimpleLruTruncate() header comment states the new coding rule.  To
achieve this, add locktype "frozenid" and two LWLocks.  This closes a
rare opportunity for data loss, which manifested as "apparent
wraparound" or "could not access status of transaction" errors.  Data
loss is more likely in pg_multixact, due to released branches' thin
margin between multiStopLimit and multiWrapLimit.  If a user's physical
replication primary logged ":  apparent wraparound" messages, the user
should rebuild standbys of that primary regardless of symptoms.  At less
risk is a cluster having emitted "not accepting commands" errors or
"must be vacuumed" warnings at some point.  One can test a cluster for
this data loss by running VACUUM FREEZE in every database.  Back-patch
to 9.5 (all supported versions).

Discussion: http://postgr.es/m/20190218073103.GA1434723@rfd.leadboat.com
doc/src/sgml/catalogs.sgml
src/backend/access/transam/slru.c
src/backend/access/transam/subtrans.c
src/backend/commands/async.c
src/backend/commands/vacuum.c
src/backend/storage/lmgr/lmgr.c
src/backend/utils/adt/lockfuncs.c
src/include/storage/lmgr.h
src/include/storage/lock.h
src/include/storage/lwlock.h