Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to content

Commit e3f4cfc

Browse files
committed
Fix bug leading to restoring unlogged relations from empty files.
At the end of crash recovery, unlogged relations are reset to the empty state, using their init fork as the template. The init fork is copied to the main fork without going through shared buffers. Unfortunately WAL replay so far has not necessarily flushed writes from shared buffers to disk at that point. In normal crash recovery, and before the introduction of 'fast promotions' in fd4ced5 / 9.3, the END_OF_RECOVERY checkpoint flushes the buffers out in time. But with fast promotions that's not the case anymore. To fix, force WAL writes targeting the init fork to be flushed immediately (using the new FlushOneBuffer() function). In 9.5+ that flush can centrally be triggered from the code dealing with restoring full page writes (XLogReadBufferForRedoExtended), in earlier releases that responsibility is in the hands of XLOG_HEAP_NEWPAGE's replay function. Backpatch to 9.1, even if this currently is only known to trigger in 9.3+. Flushing earlier is more robust, and it is advantageous to keep the branches similar. Typical symptoms of this bug are errors like 'ERROR: index "..." contains unexpected zero page at block 0' shortly after promoting a node. Reported-By: Thom Brown Author: Andres Freund and Michael Paquier Discussion: 20150326175024.GJ451@alap3.anarazel.de Backpatch: 9.1-
1 parent 9c779c4 commit e3f4cfc

File tree

3 files changed

+31
-0
lines changed

3 files changed

+31
-0
lines changed

src/backend/access/transam/xlogutils.c

+9
Original file line numberDiff line numberDiff line change
@@ -368,6 +368,15 @@ XLogReadBufferForRedoExtended(XLogReaderState *record,
368368

369369
MarkBufferDirty(*buf);
370370

371+
/*
372+
* At the end of crash recovery the init forks of unlogged relations
373+
* are copied, without going through shared buffers. So we need to
374+
* force the on-disk state of init forks to always be in sync with the
375+
* state in shared buffers.
376+
*/
377+
if (forknum == INIT_FORKNUM)
378+
FlushOneBuffer(*buf);
379+
371380
return BLK_RESTORED;
372381
}
373382
else

src/backend/storage/buffer/bufmgr.c

+21
Original file line numberDiff line numberDiff line change
@@ -2988,6 +2988,27 @@ FlushDatabaseBuffers(Oid dbid)
29882988
}
29892989
}
29902990

2991+
/*
2992+
* Flush a previously, shared or exclusively, locked and pinned buffer to the
2993+
* OS.
2994+
*/
2995+
void
2996+
FlushOneBuffer(Buffer buffer)
2997+
{
2998+
BufferDesc *bufHdr;
2999+
3000+
/* currently not needed, but no fundamental reason not to support */
3001+
Assert(!BufferIsLocal(buffer));
3002+
3003+
Assert(BufferIsPinned(buffer));
3004+
3005+
bufHdr = GetBufferDescriptor(buffer - 1);
3006+
3007+
LWLockHeldByMe(bufHdr->content_lock);
3008+
3009+
FlushBuffer(bufHdr, NULL);
3010+
}
3011+
29913012
/*
29923013
* ReleaseBuffer -- release the pin on a buffer
29933014
*/

src/include/storage/bufmgr.h

+1
Original file line numberDiff line numberDiff line change
@@ -176,6 +176,7 @@ extern void CheckPointBuffers(int flags);
176176
extern BlockNumber BufferGetBlockNumber(Buffer buffer);
177177
extern BlockNumber RelationGetNumberOfBlocksInFork(Relation relation,
178178
ForkNumber forkNum);
179+
extern void FlushOneBuffer(Buffer buffer);
179180
extern void FlushRelationBuffers(Relation rel);
180181
extern void FlushDatabaseBuffers(Oid dbid);
181182
extern void DropRelFileNodeBuffers(RelFileNodeBackend rnode,

0 commit comments

Comments
 (0)