From 58ffcee444a3b28b37cd7458e179f891fe1578ae Mon Sep 17 00:00:00 2001 From: Andres Freund Date: Wed, 1 Jul 2020 19:06:45 -0700 Subject: [PATCH v1 02/12] aio: Add some error checking around pinning. --- src/include/storage/bufmgr.h | 1 + src/backend/storage/buffer/bufmgr.c | 42 ++++++++++++++++++++--------- 2 files changed, 30 insertions(+), 13 deletions(-) diff --git a/src/include/storage/bufmgr.h b/src/include/storage/bufmgr.h index 6f4dfa09602..2c1f12d3066 100644 --- a/src/include/storage/bufmgr.h +++ b/src/include/storage/bufmgr.h @@ -120,6 +120,7 @@ extern void ReleaseBuffer(Buffer buffer); extern void UnlockReleaseBuffer(Buffer buffer); extern void MarkBufferDirty(Buffer buffer); extern void IncrBufferRefCount(Buffer buffer); +extern void BufferCheckOneLocalPin(Buffer buffer); extern Buffer ReleaseAndReadBuffer(Buffer buffer, Relation relation, BlockNumber blockNum); diff --git a/src/backend/storage/buffer/bufmgr.c b/src/backend/storage/buffer/bufmgr.c index 6b953814812..dfb7cfe0ef3 100644 --- a/src/backend/storage/buffer/bufmgr.c +++ b/src/backend/storage/buffer/bufmgr.c @@ -1707,6 +1707,8 @@ PinBuffer(BufferDesc *buf, BufferAccessStrategy strategy) bool result; PrivateRefCountEntry *ref; + Assert(!BufferIsLocal(b)); + ref = GetPrivateRefCountEntry(b, true); if (ref == NULL) @@ -1852,6 +1854,8 @@ UnpinBuffer(BufferDesc *buf) PrivateRefCountEntry *ref; Buffer b = BufferDescriptorGetBuffer(buf); + Assert(!BufferIsLocal(b)); + /* not moving as we're likely deleting it soon anyway */ ref = GetPrivateRefCountEntry(b, false); Assert(ref != NULL); @@ -4209,6 +4213,25 @@ ConditionalLockBuffer(Buffer buffer) LW_EXCLUSIVE); } +void +BufferCheckOneLocalPin(Buffer buffer) +{ + if (BufferIsLocal(buffer)) + { + /* There should be exactly one pin */ + if (LocalRefCount[-buffer - 1] != 1) + elog(ERROR, "incorrect local pin count: %d", + LocalRefCount[-buffer - 1]); + } + else + { + /* There should be exactly one local pin */ + if (GetPrivateRefCount(buffer) != 1) + elog(ERROR, "incorrect local pin count: %d", + GetPrivateRefCount(buffer)); + } +} + /* * LockBufferForCleanup - lock a buffer in preparation for deleting items * @@ -4236,20 +4259,11 @@ LockBufferForCleanup(Buffer buffer) Assert(BufferIsPinned(buffer)); Assert(PinCountWaitBuf == NULL); - if (BufferIsLocal(buffer)) - { - /* There should be exactly one pin */ - if (LocalRefCount[-buffer - 1] != 1) - elog(ERROR, "incorrect local pin count: %d", - LocalRefCount[-buffer - 1]); - /* Nobody else to wait for */ - return; - } + BufferCheckOneLocalPin(buffer); - /* There should be exactly one local pin */ - if (GetPrivateRefCount(buffer) != 1) - elog(ERROR, "incorrect local pin count: %d", - GetPrivateRefCount(buffer)); + /* Nobody else to wait for */ + if (BufferIsLocal(buffer)) + return; bufHdr = GetBufferDescriptor(buffer - 1); @@ -4757,6 +4771,8 @@ LockBufHdr(BufferDesc *desc) SpinDelayStatus delayStatus; uint32 old_buf_state; + Assert(!BufferIsLocal(BufferDescriptorGetBuffer(desc))); + init_local_spin_delay(&delayStatus); while (true) -- 2.38.0