In WAL replay, restore GIN metapage unconditionally to avoid torn page.
We don't take a full-page image of the GIN metapage; instead, the WAL record contains all the information required to reconstruct it from scratch. But to avoid torn page hazards, we must re-initialize it from the WAL record every time, even if it already has a greater LSN, similar to how normal full page images are restored. This was highly unlikely to cause any problems in practice, because the GIN metapage is small. We rely on an update smaller than a 512 byte disk sector to be atomic elsewhere, at least in pg_control. But better safe than sorry, and this would be easy to overlook if more fields are added to the metapage so that it's no longer small. Reported by Noah Misch. Backpatch to all supported versions.
This commit is contained in:
parent
e85a5ffba8
commit
fecfc2b913
1 changed files with 11 additions and 12 deletions
|
@ -564,17 +564,19 @@ ginRedoUpdateMetapage(XLogRecPtr lsn, XLogRecord *record)
|
|||
Page metapage;
|
||||
Buffer buffer;
|
||||
|
||||
/*
|
||||
* Restore the metapage. This is essentially the same as a full-page image,
|
||||
* so restore the metapage unconditionally without looking at the LSN, to
|
||||
* avoid torn page hazards.
|
||||
*/
|
||||
metabuffer = XLogReadBuffer(data->node, GIN_METAPAGE_BLKNO, false);
|
||||
if (!BufferIsValid(metabuffer))
|
||||
return; /* assume index was deleted, nothing to do */
|
||||
metapage = BufferGetPage(metabuffer);
|
||||
|
||||
if (lsn > PageGetLSN(metapage))
|
||||
{
|
||||
memcpy(GinPageGetMeta(metapage), &data->metadata, sizeof(GinMetaPageData));
|
||||
PageSetLSN(metapage, lsn);
|
||||
MarkBufferDirty(metabuffer);
|
||||
}
|
||||
memcpy(GinPageGetMeta(metapage), &data->metadata, sizeof(GinMetaPageData));
|
||||
PageSetLSN(metapage, lsn);
|
||||
MarkBufferDirty(metabuffer);
|
||||
|
||||
if (data->ntuples > 0)
|
||||
{
|
||||
|
@ -724,12 +726,9 @@ ginRedoDeleteListPages(XLogRecPtr lsn, XLogRecord *record)
|
|||
return; /* assume index was deleted, nothing to do */
|
||||
metapage = BufferGetPage(metabuffer);
|
||||
|
||||
if (lsn > PageGetLSN(metapage))
|
||||
{
|
||||
memcpy(GinPageGetMeta(metapage), &data->metadata, sizeof(GinMetaPageData));
|
||||
PageSetLSN(metapage, lsn);
|
||||
MarkBufferDirty(metabuffer);
|
||||
}
|
||||
memcpy(GinPageGetMeta(metapage), &data->metadata, sizeof(GinMetaPageData));
|
||||
PageSetLSN(metapage, lsn);
|
||||
MarkBufferDirty(metabuffer);
|
||||
|
||||
/*
|
||||
* In normal operation, shiftList() takes exclusive lock on all the
|
||||
|
|
Loading…
Reference in a new issue