From d72792d0213ec352cdb71f3994a53194bc00f220 Mon Sep 17 00:00:00 2001 From: Heikki Linnakangas Date: Mon, 13 Apr 2015 16:53:49 +0300 Subject: [PATCH] Don't archive bogus recycled or preallocated files after timeline switch. After a timeline switch, we would leave behind recycled WAL segments that are in the future, but on the old timeline. After promotion, and after they become old enough to be recycled again, we would notice that they don't have a .ready or .done file, create a .ready file for them, and archive them. That's bogus, because the files contain garbage, recycled from an older timeline (or prealloced as zeros). We shouldn't archive such files. This could happen when we're following a timeline switch during replay, or when we switch to new timeline at end-of-recovery. To fix, whenever we switch to a new timeline, scan the data directory for WAL segments on the old timeline, but with a higher segment number, and remove them. Those don't belong to our timeline history, and are most likely bogus recycled or preallocated files. They could also be valid files that we streamed from the primary ahead of time, but in any case, they're not needed to recover to the new timeline. --- src/backend/access/transam/xlog.c | 283 +++++++++++++++-------- src/backend/access/transam/xlogarchive.c | 19 ++ src/include/access/xlog_internal.h | 1 + 3 files changed, 209 insertions(+), 94 deletions(-) diff --git a/src/backend/access/transam/xlog.c b/src/backend/access/transam/xlog.c index 7cf29b69ea..7bba264b5d 100644 --- a/src/backend/access/transam/xlog.c +++ b/src/backend/access/transam/xlog.c @@ -782,6 +782,8 @@ static int emode_for_corrupt_record(int emode, XLogRecPtr RecPtr); static void XLogFileClose(void); static void PreallocXlogFiles(XLogRecPtr endptr); static void RemoveOldXlogFiles(XLogSegNo segno, XLogRecPtr endptr); +static void RemoveXlogFile(const char *segname, XLogRecPtr endptr); +static void RemoveNonParentXlogFiles(XLogRecPtr switchpoint, TimeLineID newTLI); static void UpdateLastRemovedPtr(char *filename); static void ValidateXLOGDirectoryStructure(void); static void CleanupBackupHistory(void); @@ -3743,7 +3745,7 @@ UpdateLastRemovedPtr(char *filename) } /* - * Recycle or remove all log files older or equal to passed segno + * Recycle or remove all log files older or equal to passed segno. * * endptr is current (or recent) end of xlog; this is used to determine * whether we want to recycle rather than delete no-longer-wanted log files. @@ -3751,24 +3753,9 @@ UpdateLastRemovedPtr(char *filename) static void RemoveOldXlogFiles(XLogSegNo segno, XLogRecPtr endptr) { - XLogSegNo endlogSegNo; - int max_advance; DIR *xldir; struct dirent *xlde; char lastoff[MAXFNAMELEN]; - char path[MAXPGPATH]; - -#ifdef WIN32 - char newpath[MAXPGPATH]; -#endif - struct stat statbuf; - - /* - * Initialize info about where to try to recycle to. We allow recycling - * segments up to XLOGfileslop segments beyond the current XLOG location. - */ - XLByteToPrevSeg(endptr, endlogSegNo); - max_advance = XLOGfileslop; xldir = AllocateDir(XLOGDIR); if (xldir == NULL) @@ -3789,6 +3776,11 @@ RemoveOldXlogFiles(XLogSegNo segno, XLogRecPtr endptr) while ((xlde = ReadDir(xldir, XLOGDIR)) != NULL) { + /* Ignore files that are not XLOG segments */ + if (strlen(xlde->d_name) != 24 || + strspn(xlde->d_name, "0123456789ABCDEF") != 24) + continue; + /* * We ignore the timeline part of the XLOG segment identifiers in * deciding whether a segment is still needed. This ensures that we @@ -3800,92 +3792,110 @@ RemoveOldXlogFiles(XLogSegNo segno, XLogRecPtr endptr) * We use the alphanumeric sorting property of the filenames to decide * which ones are earlier than the lastoff segment. */ - if (strlen(xlde->d_name) == 24 && - strspn(xlde->d_name, "0123456789ABCDEF") == 24 && - strcmp(xlde->d_name + 8, lastoff + 8) <= 0) + if (strcmp(xlde->d_name + 8, lastoff + 8) <= 0) { if (XLogArchiveCheckDone(xlde->d_name)) { - snprintf(path, MAXPGPATH, XLOGDIR "/%s", xlde->d_name); - /* Update the last removed location in shared memory first */ UpdateLastRemovedPtr(xlde->d_name); - /* - * Before deleting the file, see if it can be recycled as a - * future log segment. Only recycle normal files, pg_standby - * for example can create symbolic links pointing to a - * separate archive directory. - */ - if (lstat(path, &statbuf) == 0 && S_ISREG(statbuf.st_mode) && - InstallXLogFileSegment(&endlogSegNo, path, - true, &max_advance, true)) - { - ereport(DEBUG2, - (errmsg("recycled transaction log file \"%s\"", - xlde->d_name))); - CheckpointStats.ckpt_segs_recycled++; - /* Needn't recheck that slot on future iterations */ - if (max_advance > 0) - { - endlogSegNo++; - max_advance--; - } - } - else - { - /* No need for any more future segments... */ - int rc; + RemoveXlogFile(xlde->d_name, endptr); + } + } + } - ereport(DEBUG2, - (errmsg("removing transaction log file \"%s\"", - xlde->d_name))); + FreeDir(xldir); +} +/* + * Recycle or remove a log file that's no longer needed. + * + * endptr is current (or recent) end of xlog; this is used to determine + * whether we want to recycle rather than delete no-longer-wanted log files. + */ +static void +RemoveXlogFile(const char *segname, XLogRecPtr endptr) +{ + char path[MAXPGPATH]; #ifdef WIN32 + char newpath[MAXPGPATH]; +#endif + struct stat statbuf; + XLogSegNo endlogSegNo; + int max_advance; - /* - * On Windows, if another process (e.g another backend) - * holds the file open in FILE_SHARE_DELETE mode, unlink - * will succeed, but the file will still show up in - * directory listing until the last handle is closed. To - * avoid confusing the lingering deleted file for a live - * WAL file that needs to be archived, rename it before - * deleting it. - * - * If another process holds the file open without - * FILE_SHARE_DELETE flag, rename will fail. We'll try - * again at the next checkpoint. - */ - snprintf(newpath, MAXPGPATH, "%s.deleted", path); - if (rename(path, newpath) != 0) - { - ereport(LOG, - (errcode_for_file_access(), - errmsg("could not rename old transaction log file \"%s\": %m", - path))); - continue; - } - rc = unlink(newpath); + /* + * Initialize info about where to try to recycle to. We allow recycling + * segments up to XLOGfileslop segments beyond the current XLOG location. + */ + XLByteToPrevSeg(endptr, endlogSegNo); + max_advance = XLOGfileslop; + + snprintf(path, MAXPGPATH, XLOGDIR "/%s", segname); + + /* + * Before deleting the file, see if it can be recycled as a future log + * segment. Only recycle normal files, pg_standby for example can create + * symbolic links pointing to a separate archive directory. + */ + if (lstat(path, &statbuf) == 0 && S_ISREG(statbuf.st_mode) && + InstallXLogFileSegment(&endlogSegNo, path, + true, &max_advance, true)) + { + ereport(DEBUG2, + (errmsg("recycled transaction log file \"%s\"", segname))); + CheckpointStats.ckpt_segs_recycled++; + /* Needn't recheck that slot on future iterations */ + if (max_advance > 0) + { + endlogSegNo++; + max_advance--; + } + } + else + { + /* No need for any more future segments... */ + int rc; + + ereport(DEBUG2, + (errmsg("removing transaction log file \"%s\"", segname))); + +#ifdef WIN32 + /* + * On Windows, if another process (e.g another backend) holds the file + * open in FILE_SHARE_DELETE mode, unlink will succeed, but the file + * will still show up in directory listing until the last handle is + * closed. To avoid confusing the lingering deleted file for a live + * WAL file that needs to be archived, rename it before deleting it. + * + * If another process holds the file open without FILE_SHARE_DELETE + * flag, rename will fail. We'll try again at the next checkpoint. + */ + snprintf(newpath, MAXPGPATH, "%s.deleted", path); + if (rename(path, newpath) != 0) + { + ereport(LOG, + (errcode_for_file_access(), + errmsg("could not rename old transaction log file \"%s\": %m", + path))); + return; + } + rc = unlink(newpath); #else - rc = unlink(path); + rc = unlink(path); #endif - if (rc != 0) - { - ereport(LOG, - (errcode_for_file_access(), - errmsg("could not remove old transaction log file \"%s\": %m", - path))); - continue; - } - CheckpointStats.ckpt_segs_removed++; - } - - XLogArchiveCleanup(xlde->d_name); - } + if (rc != 0) + { + ereport(LOG, + (errcode_for_file_access(), + errmsg("could not remove old transaction log file \"%s\": %m", + path))); + return; } + CheckpointStats.ckpt_segs_removed++; } - FreeDir(xldir); + XLogArchiveCleanup(segname); } /* @@ -5407,6 +5417,76 @@ exitArchiveRecovery(TimeLineID endTLI, XLogSegNo endLogSegNo) (errmsg("archive recovery complete"))); } +/* + * Remove WAL files that are not part of the given timeline's history. + * + * This is called during recovery, whenever we switch to follow a new + * timeline, and at the end of recovery when we create a new timeline. We + * wouldn't otherwise care about extra WAL files lying in pg_xlog, but they + * can be pre-allocated or recycled WAL segments on the old timeline that we + * haven't used yet, and contain garbage. If we just leave them in pg_xlog, + * they will eventually be archived, and we can't let that happen. Files that + * belong to our timeline history are valid, because we have successfully + * replayed them, but from others we can't be sure. + * + * 'switchpoint' is the current point in WAL where we switch to new timeline, + * and 'newTLI' is the new timeline we switch to. + */ +static void +RemoveNonParentXlogFiles(XLogRecPtr switchpoint, TimeLineID newTLI) +{ + DIR *xldir; + struct dirent *xlde; + char switchseg[MAXFNAMELEN]; + XLogSegNo endLogSegNo; + + XLByteToPrevSeg(switchpoint, endLogSegNo); + + xldir = AllocateDir(XLOGDIR); + if (xldir == NULL) + ereport(ERROR, + (errcode_for_file_access(), + errmsg("could not open transaction log directory \"%s\": %m", + XLOGDIR))); + + /* + * Construct a filename of the last segment to be kept. + */ + XLogFileName(switchseg, newTLI, endLogSegNo); + + elog(DEBUG2, "attempting to remove WAL segments newer than log file %s", + switchseg); + + while ((xlde = ReadDir(xldir, XLOGDIR)) != NULL) + { + /* Ignore files that are not XLOG segments */ + if (strlen(xlde->d_name) != 24 || + strspn(xlde->d_name, "0123456789ABCDEF") != 24) + continue; + + /* + * Remove files that are on a timeline older than the new one we're + * switching to, but with a segment number >= the first segment on + * the new timeline. + */ + if (strncmp(xlde->d_name, switchseg, 8) < 0 && + strcmp(xlde->d_name + 8, switchseg + 8) > 0) + { + /* + * If the file has already been marked as .ready, however, don't + * remove it yet. It should be OK to remove it - files that are + * not part of our timeline history are not required for recovery + * - but seems safer to let them be archived and removed later. + */ + if (!XLogArchiveIsReady(xlde->d_name)) + RemoveXlogFile(xlde->d_name, switchpoint); + } + } + + FreeDir(xldir); +} + + /* * Extract timestamp from WAL record. * @@ -6775,9 +6855,9 @@ StartupXLOG(void) */ if (record->xl_rmid == RM_XLOG_ID) { + uint8 info = record->xl_info & ~XLR_INFO_MASK; TimeLineID newTLI = ThisTimeLineID; TimeLineID prevTLI = ThisTimeLineID; - uint8 info = record->xl_info & ~XLR_INFO_MASK; if (info == XLOG_CHECKPOINT_SHUTDOWN) { @@ -6845,12 +6925,21 @@ StartupXLOG(void) /* Allow read-only connections if we're consistent now */ CheckRecoveryConsistency(); - /* - * If this record was a timeline switch, wake up any - * walsenders to notice that we are on a new timeline. - */ - if (switchedTLI && AllowCascadeReplication()) - WalSndWakeup(); + if (switchedTLI) + { + /* + * Before we go further on the new timeline, clean up any + * (possibly bogus) future WAL segments on the old one. + */ + RemoveNonParentXlogFiles(EndRecPtr, ThisTimeLineID); + + /* + * Wake up any walsenders to notice that we are on a new + * timeline. + */ + if (AllowCascadeReplication()) + WalSndWakeup(); + } /* Exit loop if we reached inclusive recovery target */ if (recoveryStopsAfter(record)) @@ -7177,6 +7266,12 @@ StartupXLOG(void) true); } + /* + * Clean up any (possibly bogus) future WAL segments on the old timeline. + */ + if (ArchiveRecoveryRequested) + RemoveNonParentXlogFiles(EndOfLog, ThisTimeLineID); + /* * Preallocate additional log files, if wanted. */ diff --git a/src/backend/access/transam/xlogarchive.c b/src/backend/access/transam/xlogarchive.c index 37745dce89..7f7e614c1b 100644 --- a/src/backend/access/transam/xlogarchive.c +++ b/src/backend/access/transam/xlogarchive.c @@ -693,6 +693,25 @@ XLogArchiveIsBusy(const char *xlog) return true; } +/* + * XLogArchiveIsReady + * + * Check to see if an XLOG segment file has an archive notification (.ready) + * file. + */ +bool +XLogArchiveIsReady(const char *xlog) +{ + char archiveStatusPath[MAXPGPATH]; + struct stat stat_buf; + + StatusFilePath(archiveStatusPath, xlog, ".ready"); + if (stat(archiveStatusPath, &stat_buf) == 0) + return true; + + return false; +} + /* * XLogArchiveCleanup * diff --git a/src/include/access/xlog_internal.h b/src/include/access/xlog_internal.h index 3a692cdf0c..3229364ae6 100644 --- a/src/include/access/xlog_internal.h +++ b/src/include/access/xlog_internal.h @@ -283,6 +283,7 @@ extern void XLogArchiveNotifySeg(XLogSegNo segno); extern void XLogArchiveForceDone(const char *xlog); extern bool XLogArchiveCheckDone(const char *xlog); extern bool XLogArchiveIsBusy(const char *xlog); +extern bool XLogArchiveIsReady(const char *xlog); extern void XLogArchiveCleanup(const char *xlog); #endif /* XLOG_INTERNAL_H */ -- 2.40.0