mirror of
https://git.postgresql.org/git/postgresql.git
synced 2025-01-30 19:00:29 +08:00
Fix ReadBuffer() to correctly handle the case where it's trying to extend
the relation but it finds a pre-existing valid buffer. The buffer does not correspond to any page known to the kernel, so we *must* do smgrextend to ensure that the space becomes allocated. The 7.x branches all do this correctly, but the corner case got lost somewhere during 8.0 bufmgr rewrites. (My fault no doubt :-( ... I think I assumed that such a buffer must be not-BM_VALID, which is not so.)
This commit is contained in:
parent
0add52b4f6
commit
718d3232af
@ -8,7 +8,7 @@
|
||||
*
|
||||
*
|
||||
* IDENTIFICATION
|
||||
* $PostgreSQL: pgsql/src/backend/storage/buffer/bufmgr.c,v 1.185 2005/01/10 20:02:21 tgl Exp $
|
||||
* $PostgreSQL: pgsql/src/backend/storage/buffer/bufmgr.c,v 1.185.4.1 2006/01/06 00:04:33 tgl Exp $
|
||||
*
|
||||
*-------------------------------------------------------------------------
|
||||
*/
|
||||
@ -166,13 +166,41 @@ ReadBufferInternal(Relation reln, BlockNumber blockNum,
|
||||
/* if it was already in the buffer pool, we're done */
|
||||
if (found)
|
||||
{
|
||||
/* Just need to update stats before we exit */
|
||||
pgstat_count_buffer_hit(&reln->pgstat_info, reln);
|
||||
if (!isExtend)
|
||||
{
|
||||
/* Just need to update stats before we exit */
|
||||
pgstat_count_buffer_hit(&reln->pgstat_info, reln);
|
||||
|
||||
if (VacuumCostActive)
|
||||
VacuumCostBalance += VacuumCostPageHit;
|
||||
if (VacuumCostActive)
|
||||
VacuumCostBalance += VacuumCostPageHit;
|
||||
|
||||
return BufferDescriptorGetBuffer(bufHdr);
|
||||
return BufferDescriptorGetBuffer(bufHdr);
|
||||
}
|
||||
|
||||
/*
|
||||
* We get here only in the corner case where we are trying to extend
|
||||
* the relation but we found a pre-existing buffer marked BM_VALID.
|
||||
* (This can happen because mdread doesn't complain about reads
|
||||
* beyond EOF --- which is arguably bogus, but changing it seems
|
||||
* tricky.) We *must* do smgrextend before succeeding, else the
|
||||
* page will not be reserved by the kernel, and the next P_NEW call
|
||||
* will decide to return the same page. Clear the BM_VALID bit,
|
||||
* do the StartBufferIO call that BufferAlloc didn't, and proceed.
|
||||
*/
|
||||
if (isLocalBuf)
|
||||
{
|
||||
/* Only need to adjust flags */
|
||||
Assert(bufHdr->flags & BM_VALID);
|
||||
bufHdr->flags &= ~BM_VALID;
|
||||
}
|
||||
else
|
||||
{
|
||||
LWLockAcquire(BufMgrLock, LW_EXCLUSIVE);
|
||||
Assert(bufHdr->flags & BM_VALID);
|
||||
bufHdr->flags &= ~BM_VALID;
|
||||
StartBufferIO(bufHdr, true);
|
||||
LWLockRelease(BufMgrLock);
|
||||
}
|
||||
}
|
||||
|
||||
/*
|
||||
|
Loading…
Reference in New Issue
Block a user