aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorNeil Conway <neilc@samurai.com>2004-11-24 02:56:17 +0000
committerNeil Conway <neilc@samurai.com>2004-11-24 02:56:17 +0000
commit4acc97d7e4742a0130c93ece34146beda8b851f3 (patch)
tree468445499865297cd033a6b556039ca57d60851e /src
parentdec2c77c1f6321200b65ebcda8aa0d9894c21190 (diff)
downloadpostgresql-4acc97d7e4742a0130c93ece34146beda8b851f3.tar.gz
postgresql-4acc97d7e4742a0130c93ece34146beda8b851f3.zip
Assert that BufferIsPinned() in IncrBufferRefCount(), rather than using
a home-brewed combination of assertions that boiled down to the same thing.
Diffstat (limited to 'src')
-rw-r--r--src/backend/storage/buffer/bufmgr.c13
1 files changed, 3 insertions, 10 deletions
diff --git a/src/backend/storage/buffer/bufmgr.c b/src/backend/storage/buffer/bufmgr.c
index c96c635d0a6..71998190ff3 100644
--- a/src/backend/storage/buffer/bufmgr.c
+++ b/src/backend/storage/buffer/bufmgr.c
@@ -8,7 +8,7 @@
*
*
* IDENTIFICATION
- * $PostgreSQL: pgsql/src/backend/storage/buffer/bufmgr.c,v 1.181 2004/10/17 22:01:50 tgl Exp $
+ * $PostgreSQL: pgsql/src/backend/storage/buffer/bufmgr.c,v 1.182 2004/11/24 02:56:17 neilc Exp $
*
*-------------------------------------------------------------------------
*/
@@ -1549,25 +1549,18 @@ ReleaseBuffer(Buffer buffer)
* at least once.
*
* This function cannot be used on a buffer we do not have pinned,
- * because it doesn't change the shared buffer state. Therefore the
- * Assert checks are for refcount > 0. Someone got this wrong once...
+ * because it doesn't change the shared buffer state.
*/
void
IncrBufferRefCount(Buffer buffer)
{
- Assert(BufferIsValid(buffer));
+ Assert(BufferIsPinned(buffer));
ResourceOwnerEnlargeBuffers(CurrentResourceOwner);
ResourceOwnerRememberBuffer(CurrentResourceOwner, buffer);
if (BufferIsLocal(buffer))
- {
- Assert(LocalRefCount[-buffer - 1] > 0);
LocalRefCount[-buffer - 1]++;
- }
else
- {
- Assert(PrivateRefCount[buffer - 1] > 0);
PrivateRefCount[buffer - 1]++;
- }
}
#ifdef NOT_USED