PostgreSQL Source Code  git master
xlogutils.c File Reference
#include "postgres.h"
#include <unistd.h>
#include "access/timeline.h"
#include "access/xlog.h"
#include "access/xlog_internal.h"
#include "access/xlogutils.h"
#include "miscadmin.h"
#include "pgstat.h"
#include "storage/smgr.h"
#include "utils/guc.h"
#include "utils/hsearch.h"
#include "utils/rel.h"
Include dependency graph for xlogutils.c:

Go to the source code of this file.

Data Structures

struct  xl_invalid_page_key
 
struct  xl_invalid_page
 
struct  FakeRelCacheEntryData
 

Typedefs

typedef struct xl_invalid_page_key xl_invalid_page_key
 
typedef struct xl_invalid_page xl_invalid_page
 
typedef FakeRelCacheEntryDataFakeRelCacheEntry
 

Functions

static void report_invalid_page (int elevel, RelFileNode node, ForkNumber forkno, BlockNumber blkno, bool present)
 
static void log_invalid_page (RelFileNode node, ForkNumber forkno, BlockNumber blkno, bool present)
 
static void forget_invalid_pages (RelFileNode node, ForkNumber forkno, BlockNumber minblkno)
 
static void forget_invalid_pages_db (Oid dbid)
 
bool XLogHaveInvalidPages (void)
 
void XLogCheckInvalidPages (void)
 
XLogRedoAction XLogReadBufferForRedo (XLogReaderState *record, uint8 block_id, Buffer *buf)
 
Buffer XLogInitBufferForRedo (XLogReaderState *record, uint8 block_id)
 
XLogRedoAction XLogReadBufferForRedoExtended (XLogReaderState *record, uint8 block_id, ReadBufferMode mode, bool get_cleanup_lock, Buffer *buf)
 
Buffer XLogReadBufferExtended (RelFileNode rnode, ForkNumber forknum, BlockNumber blkno, ReadBufferMode mode)
 
Relation CreateFakeRelcacheEntry (RelFileNode rnode)
 
void FreeFakeRelcacheEntry (Relation fakerel)
 
void XLogDropRelation (RelFileNode rnode, ForkNumber forknum)
 
void XLogDropDatabase (Oid dbid)
 
void XLogTruncateRelation (RelFileNode rnode, ForkNumber forkNum, BlockNumber nblocks)
 
void XLogReadDetermineTimeline (XLogReaderState *state, XLogRecPtr wantPage, uint32 wantLength)
 
void wal_segment_open (XLogReaderState *state, XLogSegNo nextSegNo, TimeLineID *tli_p)
 
void wal_segment_close (XLogReaderState *state)
 
int read_local_xlog_page (XLogReaderState *state, XLogRecPtr targetPagePtr, int reqLen, XLogRecPtr targetRecPtr, char *cur_page)
 
void WALReadRaiseError (WALReadError *errinfo)
 

Variables

bool ignore_invalid_pages = false
 
static HTABinvalid_page_tab = NULL
 

Typedef Documentation

◆ FakeRelCacheEntry

Definition at line 539 of file xlogutils.c.

◆ xl_invalid_page

◆ xl_invalid_page_key

Function Documentation

◆ CreateFakeRelcacheEntry()

Relation CreateFakeRelcacheEntry ( RelFileNode  rnode)

Definition at line 556 of file xlogutils.c.

References LockRelId::dbId, RelFileNode::dbNode, InvalidBackendId, LockInfoData::lockRelId, palloc0(), FakeRelCacheEntryData::pgc, RelationData::rd_backend, RelationData::rd_lockInfo, RelationData::rd_node, RelationData::rd_rel, RelationData::rd_smgr, RelationGetRelationName, LockRelId::relId, RelFileNode::relNode, and sprintf.

Referenced by heap_xlog_delete(), heap_xlog_insert(), heap_xlog_lock(), heap_xlog_lock_updated(), heap_xlog_multi_insert(), heap_xlog_update(), heap_xlog_visible(), smgr_redo(), and smgrDoPendingSyncs().

557 {
558  FakeRelCacheEntry fakeentry;
559  Relation rel;
560 
561  /* Allocate the Relation struct and all related space in one block. */
562  fakeentry = palloc0(sizeof(FakeRelCacheEntryData));
563  rel = (Relation) fakeentry;
564 
565  rel->rd_rel = &fakeentry->pgc;
566  rel->rd_node = rnode;
567 
568  /*
569  * We will never be working with temp rels during recovery or while
570  * syncing WAL-skipped files.
571  */
573 
574  /* It must be a permanent table here */
575  rel->rd_rel->relpersistence = RELPERSISTENCE_PERMANENT;
576 
577  /* We don't know the name of the relation; use relfilenode instead */
578  sprintf(RelationGetRelationName(rel), "%u", rnode.relNode);
579 
580  /*
581  * We set up the lockRelId in case anything tries to lock the dummy
582  * relation. Note that this is fairly bogus since relNode may be
583  * different from the relation's OID. It shouldn't really matter though.
584  * In recovery, we are running by ourselves and can't have any lock
585  * conflicts. While syncing, we already hold AccessExclusiveLock.
586  */
587  rel->rd_lockInfo.lockRelId.dbId = rnode.dbNode;
588  rel->rd_lockInfo.lockRelId.relId = rnode.relNode;
589 
590  rel->rd_smgr = NULL;
591 
592  return rel;
593 }
LockRelId lockRelId
Definition: rel.h:44
struct SMgrRelationData * rd_smgr
Definition: rel.h:57
Oid dbId
Definition: rel.h:39
Form_pg_class rd_rel
Definition: rel.h:110
#define sprintf
Definition: port.h:217
struct RelationData * Relation
Definition: relcache.h:27
LockInfoData rd_lockInfo
Definition: rel.h:113
#define RelationGetRelationName(relation)
Definition: rel.h:491
#define InvalidBackendId
Definition: backendid.h:23
void * palloc0(Size size)
Definition: mcxt.c:981
RelFileNode rd_node
Definition: rel.h:55
BackendId rd_backend
Definition: rel.h:59
FormData_pg_class pgc
Definition: xlogutils.c:536
Oid relId
Definition: rel.h:38

◆ forget_invalid_pages()

static void forget_invalid_pages ( RelFileNode  node,
ForkNumber  forkno,
BlockNumber  minblkno 
)
static

Definition at line 146 of file xlogutils.c.

References xl_invalid_page_key::blkno, DEBUG2, elog, ERROR, xl_invalid_page_key::forkno, HASH_REMOVE, hash_search(), hash_seq_init(), hash_seq_search(), xl_invalid_page::key, message_level_is_interesting(), xl_invalid_page_key::node, pfree(), RelFileNodeEquals, relpathperm, and status().

Referenced by XLogDropRelation(), and XLogTruncateRelation().

147 {
149  xl_invalid_page *hentry;
150 
151  if (invalid_page_tab == NULL)
152  return; /* nothing to do */
153 
155 
156  while ((hentry = (xl_invalid_page *) hash_seq_search(&status)) != NULL)
157  {
158  if (RelFileNodeEquals(hentry->key.node, node) &&
159  hentry->key.forkno == forkno &&
160  hentry->key.blkno >= minblkno)
161  {
163  {
164  char *path = relpathperm(hentry->key.node, forkno);
165 
166  elog(DEBUG2, "page %u of relation %s has been dropped",
167  hentry->key.blkno, path);
168  pfree(path);
169  }
170 
172  (void *) &hentry->key,
173  HASH_REMOVE, NULL) == NULL)
174  elog(ERROR, "hash table corrupted");
175  }
176  }
177 }
#define relpathperm(rnode, forknum)
Definition: relpath.h:83
ForkNumber forkno
Definition: xlogutils.c:50
void * hash_search(HTAB *hashp, const void *keyPtr, HASHACTION action, bool *foundPtr)
Definition: dynahash.c:919
RelFileNode node
Definition: xlogutils.c:49
void pfree(void *pointer)
Definition: mcxt.c:1057
#define ERROR
Definition: elog.h:43
#define DEBUG2
Definition: elog.h:24
bool message_level_is_interesting(int elevel)
Definition: elog.c:264
BlockNumber blkno
Definition: xlogutils.c:51
xl_invalid_page_key key
Definition: xlogutils.c:56
void * hash_seq_search(HASH_SEQ_STATUS *status)
Definition: dynahash.c:1401
void hash_seq_init(HASH_SEQ_STATUS *status, HTAB *hashp)
Definition: dynahash.c:1391
#define elog(elevel,...)
Definition: elog.h:228
static HTAB * invalid_page_tab
Definition: xlogutils.c:60
static void static void status(const char *fmt,...) pg_attribute_printf(1
Definition: pg_regress.c:227
#define RelFileNodeEquals(node1, node2)
Definition: relfilenode.h:88

◆ forget_invalid_pages_db()

static void forget_invalid_pages_db ( Oid  dbid)
static

Definition at line 181 of file xlogutils.c.

References xl_invalid_page_key::blkno, RelFileNode::dbNode, DEBUG2, elog, ERROR, xl_invalid_page_key::forkno, HASH_REMOVE, hash_search(), hash_seq_init(), hash_seq_search(), xl_invalid_page::key, message_level_is_interesting(), xl_invalid_page_key::node, pfree(), relpathperm, and status().

Referenced by XLogDropDatabase().

182 {
184  xl_invalid_page *hentry;
185 
186  if (invalid_page_tab == NULL)
187  return; /* nothing to do */
188 
190 
191  while ((hentry = (xl_invalid_page *) hash_seq_search(&status)) != NULL)
192  {
193  if (hentry->key.node.dbNode == dbid)
194  {
196  {
197  char *path = relpathperm(hentry->key.node, hentry->key.forkno);
198 
199  elog(DEBUG2, "page %u of relation %s has been dropped",
200  hentry->key.blkno, path);
201  pfree(path);
202  }
203 
205  (void *) &hentry->key,
206  HASH_REMOVE, NULL) == NULL)
207  elog(ERROR, "hash table corrupted");
208  }
209  }
210 }
#define relpathperm(rnode, forknum)
Definition: relpath.h:83
ForkNumber forkno
Definition: xlogutils.c:50
void * hash_search(HTAB *hashp, const void *keyPtr, HASHACTION action, bool *foundPtr)
Definition: dynahash.c:919
RelFileNode node
Definition: xlogutils.c:49
void pfree(void *pointer)
Definition: mcxt.c:1057
#define ERROR
Definition: elog.h:43
#define DEBUG2
Definition: elog.h:24
bool message_level_is_interesting(int elevel)
Definition: elog.c:264
BlockNumber blkno
Definition: xlogutils.c:51
xl_invalid_page_key key
Definition: xlogutils.c:56
void * hash_seq_search(HASH_SEQ_STATUS *status)
Definition: dynahash.c:1401
void hash_seq_init(HASH_SEQ_STATUS *status, HTAB *hashp)
Definition: dynahash.c:1391
#define elog(elevel,...)
Definition: elog.h:228
static HTAB * invalid_page_tab
Definition: xlogutils.c:60
static void static void status(const char *fmt,...) pg_attribute_printf(1
Definition: pg_regress.c:227

◆ FreeFakeRelcacheEntry()

void FreeFakeRelcacheEntry ( Relation  fakerel)

Definition at line 599 of file xlogutils.c.

References pfree(), RelationData::rd_smgr, and smgrclearowner().

Referenced by heap_xlog_delete(), heap_xlog_insert(), heap_xlog_lock(), heap_xlog_lock_updated(), heap_xlog_multi_insert(), heap_xlog_update(), heap_xlog_visible(), smgr_redo(), and smgrDoPendingSyncs().

600 {
601  /* make sure the fakerel is not referenced by the SmgrRelation anymore */
602  if (fakerel->rd_smgr != NULL)
603  smgrclearowner(&fakerel->rd_smgr, fakerel->rd_smgr);
604  pfree(fakerel);
605 }
void smgrclearowner(SMgrRelation *owner, SMgrRelation reln)
Definition: smgr.c:228
struct SMgrRelationData * rd_smgr
Definition: rel.h:57
void pfree(void *pointer)
Definition: mcxt.c:1057

◆ log_invalid_page()

static void log_invalid_page ( RelFileNode  node,
ForkNumber  forkno,
BlockNumber  blkno,
bool  present 
)
static

Definition at line 81 of file xlogutils.c.

References xl_invalid_page_key::blkno, DEBUG1, elog, HASHCTL::entrysize, xl_invalid_page_key::forkno, HASH_BLOBS, hash_create(), HASH_ELEM, HASH_ENTER, hash_search(), ignore_invalid_pages, sort-test::key, HASHCTL::keysize, message_level_is_interesting(), xl_invalid_page_key::node, PANIC, xl_invalid_page::present, reachedConsistency, report_invalid_page(), and WARNING.

Referenced by XLogReadBufferExtended().

83 {
85  xl_invalid_page *hentry;
86  bool found;
87 
88  /*
89  * Once recovery has reached a consistent state, the invalid-page table
90  * should be empty and remain so. If a reference to an invalid page is
91  * found after consistency is reached, PANIC immediately. This might seem
92  * aggressive, but it's better than letting the invalid reference linger
93  * in the hash table until the end of recovery and PANIC there, which
94  * might come only much later if this is a standby server.
95  */
97  {
98  report_invalid_page(WARNING, node, forkno, blkno, present);
100  "WAL contains references to invalid pages");
101  }
102 
103  /*
104  * Log references to invalid pages at DEBUG1 level. This allows some
105  * tracing of the cause (note the elog context mechanism will tell us
106  * something about the XLOG record that generated the reference).
107  */
109  report_invalid_page(DEBUG1, node, forkno, blkno, present);
110 
111  if (invalid_page_tab == NULL)
112  {
113  /* create hash table when first needed */
114  HASHCTL ctl;
115 
116  memset(&ctl, 0, sizeof(ctl));
117  ctl.keysize = sizeof(xl_invalid_page_key);
118  ctl.entrysize = sizeof(xl_invalid_page);
119 
120  invalid_page_tab = hash_create("XLOG invalid-page table",
121  100,
122  &ctl,
124  }
125 
126  /* we currently assume xl_invalid_page_key contains no padding */
127  key.node = node;
128  key.forkno = forkno;
129  key.blkno = blkno;
130  hentry = (xl_invalid_page *)
131  hash_search(invalid_page_tab, (void *) &key, HASH_ENTER, &found);
132 
133  if (!found)
134  {
135  /* hash_search already filled in the key */
136  hentry->present = present;
137  }
138  else
139  {
140  /* repeat reference ... leave "present" as it was */
141  }
142 }
#define DEBUG1
Definition: elog.h:25
struct xl_invalid_page xl_invalid_page
#define HASH_ELEM
Definition: hsearch.h:85
Size entrysize
Definition: hsearch.h:72
struct xl_invalid_page_key xl_invalid_page_key
ForkNumber forkno
Definition: xlogutils.c:50
void * hash_search(HTAB *hashp, const void *keyPtr, HASHACTION action, bool *foundPtr)
Definition: dynahash.c:919
#define PANIC
Definition: elog.h:53
RelFileNode node
Definition: xlogutils.c:49
static void report_invalid_page(int elevel, RelFileNode node, ForkNumber forkno, BlockNumber blkno, bool present)
Definition: xlogutils.c:65
bool message_level_is_interesting(int elevel)
Definition: elog.c:264
BlockNumber blkno
Definition: xlogutils.c:51
bool ignore_invalid_pages
Definition: xlogutils.c:35
#define WARNING
Definition: elog.h:40
#define HASH_BLOBS
Definition: hsearch.h:86
HTAB * hash_create(const char *tabname, long nelem, HASHCTL *info, int flags)
Definition: dynahash.c:326
Size keysize
Definition: hsearch.h:71
bool reachedConsistency
Definition: xlog.c:870
#define elog(elevel,...)
Definition: elog.h:228
static HTAB * invalid_page_tab
Definition: xlogutils.c:60

◆ read_local_xlog_page()

int read_local_xlog_page ( XLogReaderState state,
XLogRecPtr  targetPagePtr,
int  reqLen,
XLogRecPtr  targetRecPtr,
char *  cur_page 
)

Definition at line 831 of file xlogutils.c.

References CHECK_FOR_INTERRUPTS, XLogReaderState::currTLI, XLogReaderState::currTLIValidUntil, GetFlushRecPtr(), GetXLogReplayRecPtr(), pg_usleep(), RecoveryInProgress(), ThisTimeLineID, WALRead(), WALReadRaiseError(), and XLogReadDetermineTimeline().

Referenced by create_logical_replication_slot(), pg_logical_replication_slot_advance(), pg_logical_slot_get_changes_guts(), and XlogReadTwoPhaseData().

833 {
834  XLogRecPtr read_upto,
835  loc;
836  TimeLineID tli;
837  int count;
838  WALReadError errinfo;
839 
840  loc = targetPagePtr + reqLen;
841 
842  /* Loop waiting for xlog to be available if necessary */
843  while (1)
844  {
845  /*
846  * Determine the limit of xlog we can currently read to, and what the
847  * most recent timeline is.
848  *
849  * RecoveryInProgress() will update ThisTimeLineID when it first
850  * notices recovery finishes, so we only have to maintain it for the
851  * local process until recovery ends.
852  */
853  if (!RecoveryInProgress())
854  read_upto = GetFlushRecPtr();
855  else
856  read_upto = GetXLogReplayRecPtr(&ThisTimeLineID);
857  tli = ThisTimeLineID;
858 
859  /*
860  * Check which timeline to get the record from.
861  *
862  * We have to do it each time through the loop because if we're in
863  * recovery as a cascading standby, the current timeline might've
864  * become historical. We can't rely on RecoveryInProgress() because in
865  * a standby configuration like
866  *
867  * A => B => C
868  *
869  * if we're a logical decoding session on C, and B gets promoted, our
870  * timeline will change while we remain in recovery.
871  *
872  * We can't just keep reading from the old timeline as the last WAL
873  * archive in the timeline will get renamed to .partial by
874  * StartupXLOG().
875  *
876  * If that happens after our caller updated ThisTimeLineID but before
877  * we actually read the xlog page, we might still try to read from the
878  * old (now renamed) segment and fail. There's not much we can do
879  * about this, but it can only happen when we're a leaf of a cascading
880  * standby whose primary gets promoted while we're decoding, so a
881  * one-off ERROR isn't too bad.
882  */
883  XLogReadDetermineTimeline(state, targetPagePtr, reqLen);
884 
885  if (state->currTLI == ThisTimeLineID)
886  {
887 
888  if (loc <= read_upto)
889  break;
890 
892  pg_usleep(1000L);
893  }
894  else
895  {
896  /*
897  * We're on a historical timeline, so limit reading to the switch
898  * point where we moved to the next timeline.
899  *
900  * We don't need to GetFlushRecPtr or GetXLogReplayRecPtr. We know
901  * about the new timeline, so we must've received past the end of
902  * it.
903  */
904  read_upto = state->currTLIValidUntil;
905 
906  /*
907  * Setting tli to our wanted record's TLI is slightly wrong; the
908  * page might begin on an older timeline if it contains a timeline
909  * switch, since its xlog segment will have been copied from the
910  * prior timeline. This is pretty harmless though, as nothing
911  * cares so long as the timeline doesn't go backwards. We should
912  * read the page header instead; FIXME someday.
913  */
914  tli = state->currTLI;
915 
916  /* No need to wait on a historical timeline */
917  break;
918  }
919  }
920 
921  if (targetPagePtr + XLOG_BLCKSZ <= read_upto)
922  {
923  /*
924  * more than one block available; read only that block, have caller
925  * come back if they need more.
926  */
927  count = XLOG_BLCKSZ;
928  }
929  else if (targetPagePtr + reqLen > read_upto)
930  {
931  /* not enough data there */
932  return -1;
933  }
934  else
935  {
936  /* enough bytes available to satisfy the request */
937  count = read_upto - targetPagePtr;
938  }
939 
940  /*
941  * Even though we just determined how much of the page can be validly read
942  * as 'count', read the whole page anyway. It's guaranteed to be
943  * zero-padded up to the page boundary if it's incomplete.
944  */
945  if (!WALRead(state, cur_page, targetPagePtr, XLOG_BLCKSZ, tli,
946  &errinfo))
947  WALReadRaiseError(&errinfo);
948 
949  /* number of valid bytes in the buffer */
950  return count;
951 }
uint32 TimeLineID
Definition: xlogdefs.h:52
void WALReadRaiseError(WALReadError *errinfo)
Definition: xlogutils.c:958
XLogRecPtr GetFlushRecPtr(void)
Definition: xlog.c:8422
bool RecoveryInProgress(void)
Definition: xlog.c:8070
void XLogReadDetermineTimeline(XLogReaderState *state, XLogRecPtr wantPage, uint32 wantLength)
Definition: xlogutils.c:689
void pg_usleep(long microsec)
Definition: signal.c:53
XLogRecPtr GetXLogReplayRecPtr(TimeLineID *replayTLI)
Definition: xlog.c:11480
XLogRecPtr currTLIValidUntil
Definition: xlogreader.h:238
TimeLineID ThisTimeLineID
Definition: xlog.c:192
TimeLineID currTLI
Definition: xlogreader.h:228
uint64 XLogRecPtr
Definition: xlogdefs.h:21
bool WALRead(XLogReaderState *state, char *buf, XLogRecPtr startptr, Size count, TimeLineID tli, WALReadError *errinfo)
Definition: xlogreader.c:1063
#define CHECK_FOR_INTERRUPTS()
Definition: miscadmin.h:99

◆ report_invalid_page()

static void report_invalid_page ( int  elevel,
RelFileNode  node,
ForkNumber  forkno,
BlockNumber  blkno,
bool  present 
)
static

Definition at line 65 of file xlogutils.c.

References elog, pfree(), and relpathperm.

Referenced by log_invalid_page(), and XLogCheckInvalidPages().

67 {
68  char *path = relpathperm(node, forkno);
69 
70  if (present)
71  elog(elevel, "page %u of relation %s is uninitialized",
72  blkno, path);
73  else
74  elog(elevel, "page %u of relation %s does not exist",
75  blkno, path);
76  pfree(path);
77 }
#define relpathperm(rnode, forknum)
Definition: relpath.h:83
void pfree(void *pointer)
Definition: mcxt.c:1057
static int elevel
Definition: vacuumlazy.c:333
#define elog(elevel,...)
Definition: elog.h:228

◆ wal_segment_close()

void wal_segment_close ( XLogReaderState state)

◆ wal_segment_open()

void wal_segment_open ( XLogReaderState state,
XLogSegNo  nextSegNo,
TimeLineID tli_p 
)

Definition at line 787 of file xlogutils.c.

References BasicOpenFile(), ereport, errcode_for_file_access(), errmsg(), ERROR, MAXPGPATH, PG_BINARY, XLogReaderState::seg, XLogReaderState::segcxt, WALOpenSegment::ws_file, WALSegmentContext::ws_segsize, and XLogFilePath.

Referenced by create_logical_replication_slot(), pg_logical_replication_slot_advance(), pg_logical_slot_get_changes_guts(), and XlogReadTwoPhaseData().

789 {
790  TimeLineID tli = *tli_p;
791  char path[MAXPGPATH];
792 
793  XLogFilePath(path, tli, nextSegNo, state->segcxt.ws_segsize);
794  state->seg.ws_file = BasicOpenFile(path, O_RDONLY | PG_BINARY);
795  if (state->seg.ws_file >= 0)
796  return;
797 
798  if (errno == ENOENT)
799  ereport(ERROR,
801  errmsg("requested WAL segment %s has already been removed",
802  path)));
803  else
804  ereport(ERROR,
806  errmsg("could not open file \"%s\": %m",
807  path)));
808 }
uint32 TimeLineID
Definition: xlogdefs.h:52
#define PG_BINARY
Definition: c.h:1267
WALOpenSegment seg
Definition: xlogreader.h:215
#define ERROR
Definition: elog.h:43
#define MAXPGPATH
int errcode_for_file_access(void)
Definition: elog.c:714
#define ereport(elevel,...)
Definition: elog.h:155
int BasicOpenFile(const char *fileName, int fileFlags)
Definition: fd.c:986
#define XLogFilePath(path, tli, logSegNo, wal_segsz_bytes)
int errmsg(const char *fmt,...)
Definition: elog.c:902
WALSegmentContext segcxt
Definition: xlogreader.h:214

◆ WALReadRaiseError()

void WALReadRaiseError ( WALReadError errinfo)

Definition at line 958 of file xlogutils.c.

References ereport, errcode(), ERRCODE_DATA_CORRUPTED, errcode_for_file_access(), errmsg(), ERROR, MAXFNAMELEN, wal_segment_size, WALReadError::wre_errno, WALReadError::wre_off, WALReadError::wre_read, WALReadError::wre_req, WALReadError::wre_seg, WALOpenSegment::ws_segno, WALOpenSegment::ws_tli, and XLogFileName.

Referenced by logical_read_xlog_page(), read_local_xlog_page(), and XLogSendPhysical().

959 {
960  WALOpenSegment *seg = &errinfo->wre_seg;
961  char fname[MAXFNAMELEN];
962 
963  XLogFileName(fname, seg->ws_tli, seg->ws_segno, wal_segment_size);
964 
965  if (errinfo->wre_read < 0)
966  {
967  errno = errinfo->wre_errno;
968  ereport(ERROR,
970  errmsg("could not read from log segment %s, offset %u: %m",
971  fname, errinfo->wre_off)));
972  }
973  else if (errinfo->wre_read == 0)
974  {
975  ereport(ERROR,
977  errmsg("could not read from log segment %s, offset %u: read %d of %zu",
978  fname, errinfo->wre_off, errinfo->wre_read,
979  (Size) errinfo->wre_req)));
980  }
981 }
WALOpenSegment wre_seg
Definition: xlogreader.h:291
int wal_segment_size
Definition: xlog.c:117
int errcode(int sqlerrcode)
Definition: elog.c:691
#define ERROR
Definition: elog.h:43
XLogSegNo ws_segno
Definition: xlogreader.h:47
int errcode_for_file_access(void)
Definition: elog.c:714
#define ERRCODE_DATA_CORRUPTED
Definition: pg_basebackup.c:45
#define MAXFNAMELEN
#define ereport(elevel,...)
Definition: elog.h:155
size_t Size
Definition: c.h:528
#define XLogFileName(fname, tli, logSegNo, wal_segsz_bytes)
TimeLineID ws_tli
Definition: xlogreader.h:48
int errmsg(const char *fmt,...)
Definition: elog.c:902

◆ XLogCheckInvalidPages()

void XLogCheckInvalidPages ( void  )

Definition at line 224 of file xlogutils.c.

References xl_invalid_page_key::blkno, elog, xl_invalid_page_key::forkno, hash_destroy(), hash_seq_init(), hash_seq_search(), ignore_invalid_pages, xl_invalid_page::key, xl_invalid_page_key::node, PANIC, xl_invalid_page::present, report_invalid_page(), status(), and WARNING.

Referenced by CheckRecoveryConsistency().

225 {
227  xl_invalid_page *hentry;
228  bool foundone = false;
229 
230  if (invalid_page_tab == NULL)
231  return; /* nothing to do */
232 
234 
235  /*
236  * Our strategy is to emit WARNING messages for all remaining entries and
237  * only PANIC after we've dumped all the available info.
238  */
239  while ((hentry = (xl_invalid_page *) hash_seq_search(&status)) != NULL)
240  {
241  report_invalid_page(WARNING, hentry->key.node, hentry->key.forkno,
242  hentry->key.blkno, hentry->present);
243  foundone = true;
244  }
245 
246  if (foundone)
248  "WAL contains references to invalid pages");
249 
251  invalid_page_tab = NULL;
252 }
void hash_destroy(HTAB *hashp)
Definition: dynahash.c:827
ForkNumber forkno
Definition: xlogutils.c:50
#define PANIC
Definition: elog.h:53
RelFileNode node
Definition: xlogutils.c:49
static void report_invalid_page(int elevel, RelFileNode node, ForkNumber forkno, BlockNumber blkno, bool present)
Definition: xlogutils.c:65
BlockNumber blkno
Definition: xlogutils.c:51
xl_invalid_page_key key
Definition: xlogutils.c:56
bool ignore_invalid_pages
Definition: xlogutils.c:35
#define WARNING
Definition: elog.h:40
void * hash_seq_search(HASH_SEQ_STATUS *status)
Definition: dynahash.c:1401
void hash_seq_init(HASH_SEQ_STATUS *status, HTAB *hashp)
Definition: dynahash.c:1391
#define elog(elevel,...)
Definition: elog.h:228
static HTAB * invalid_page_tab
Definition: xlogutils.c:60
static void static void status(const char *fmt,...) pg_attribute_printf(1
Definition: pg_regress.c:227

◆ XLogDropDatabase()

void XLogDropDatabase ( Oid  dbid)

Definition at line 625 of file xlogutils.c.

References forget_invalid_pages_db(), and smgrcloseall().

Referenced by dbase_redo().

626 {
627  /*
628  * This is unnecessarily heavy-handed, as it will close SMgrRelation
629  * objects for other databases as well. DROP DATABASE occurs seldom enough
630  * that it's not worth introducing a variant of smgrclose for just this
631  * purpose. XXX: Or should we rather leave the smgr entries dangling?
632  */
633  smgrcloseall();
634 
636 }
static void forget_invalid_pages_db(Oid dbid)
Definition: xlogutils.c:181
void smgrcloseall(void)
Definition: smgr.c:287

◆ XLogDropRelation()

void XLogDropRelation ( RelFileNode  rnode,
ForkNumber  forknum 
)

Definition at line 614 of file xlogutils.c.

References forget_invalid_pages().

Referenced by DropRelationFiles().

615 {
616  forget_invalid_pages(rnode, forknum, 0);
617 }
static void forget_invalid_pages(RelFileNode node, ForkNumber forkno, BlockNumber minblkno)
Definition: xlogutils.c:146

◆ XLogHaveInvalidPages()

bool XLogHaveInvalidPages ( void  )

Definition at line 214 of file xlogutils.c.

References hash_get_num_entries().

Referenced by RecoveryRestartPoint().

215 {
216  if (invalid_page_tab != NULL &&
218  return true;
219  return false;
220 }
long hash_get_num_entries(HTAB *hashp)
Definition: dynahash.c:1347
static HTAB * invalid_page_tab
Definition: xlogutils.c:60

◆ XLogInitBufferForRedo()

◆ XLogReadBufferExtended()

Buffer XLogReadBufferExtended ( RelFileNode  rnode,
ForkNumber  forknum,
BlockNumber  blkno,
ReadBufferMode  mode 
)

Definition at line 441 of file xlogutils.c.

References Assert, BUFFER_LOCK_UNLOCK, BufferGetBlockNumber(), BufferGetPage, InRecovery, InvalidBackendId, InvalidBuffer, LockBuffer(), log_invalid_page(), P_NEW, PageIsNew, RBM_NORMAL, RBM_NORMAL_NO_LOG, RBM_ZERO_AND_CLEANUP_LOCK, RBM_ZERO_AND_LOCK, ReadBufferWithoutRelcache(), ReleaseBuffer(), smgrcreate(), smgrnblocks(), and smgropen().

Referenced by checkXLogConsistency(), XLogReadBufferForRedoExtended(), and XLogRecordPageWithFreeSpace().

443 {
444  BlockNumber lastblock;
445  Buffer buffer;
446  SMgrRelation smgr;
447 
448  Assert(blkno != P_NEW);
449 
450  /* Open the relation at smgr level */
451  smgr = smgropen(rnode, InvalidBackendId);
452 
453  /*
454  * Create the target file if it doesn't already exist. This lets us cope
455  * if the replay sequence contains writes to a relation that is later
456  * deleted. (The original coding of this routine would instead suppress
457  * the writes, but that seems like it risks losing valuable data if the
458  * filesystem loses an inode during a crash. Better to write the data
459  * until we are actually told to delete the file.)
460  */
461  smgrcreate(smgr, forknum, true);
462 
463  lastblock = smgrnblocks(smgr, forknum);
464 
465  if (blkno < lastblock)
466  {
467  /* page exists in file */
468  buffer = ReadBufferWithoutRelcache(rnode, forknum, blkno,
469  mode, NULL);
470  }
471  else
472  {
473  /* hm, page doesn't exist in file */
474  if (mode == RBM_NORMAL)
475  {
476  log_invalid_page(rnode, forknum, blkno, false);
477  return InvalidBuffer;
478  }
479  if (mode == RBM_NORMAL_NO_LOG)
480  return InvalidBuffer;
481  /* OK to extend the file */
482  /* we do this in recovery only - no rel-extension lock needed */
484  buffer = InvalidBuffer;
485  do
486  {
487  if (buffer != InvalidBuffer)
488  {
491  ReleaseBuffer(buffer);
492  }
493  buffer = ReadBufferWithoutRelcache(rnode, forknum,
494  P_NEW, mode, NULL);
495  }
496  while (BufferGetBlockNumber(buffer) < blkno);
497  /* Handle the corner case that P_NEW returns non-consecutive pages */
498  if (BufferGetBlockNumber(buffer) != blkno)
499  {
502  ReleaseBuffer(buffer);
503  buffer = ReadBufferWithoutRelcache(rnode, forknum, blkno,
504  mode, NULL);
505  }
506  }
507 
508  if (mode == RBM_NORMAL)
509  {
510  /* check that page has been initialized */
511  Page page = (Page) BufferGetPage(buffer);
512 
513  /*
514  * We assume that PageIsNew is safe without a lock. During recovery,
515  * there should be no other backends that could modify the buffer at
516  * the same time.
517  */
518  if (PageIsNew(page))
519  {
520  ReleaseBuffer(buffer);
521  log_invalid_page(rnode, forknum, blkno, true);
522  return InvalidBuffer;
523  }
524  }
525 
526  return buffer;
527 }
static PgChecksumMode mode
Definition: pg_checksums.c:61
#define BUFFER_LOCK_UNLOCK
Definition: bufmgr.h:96
void smgrcreate(SMgrRelation reln, ForkNumber forknum, bool isRedo)
Definition: smgr.c:334
bool InRecovery
Definition: xlog.c:205
#define InvalidBuffer
Definition: buf.h:25
Buffer ReadBufferWithoutRelcache(RelFileNode rnode, ForkNumber forkNum, BlockNumber blockNum, ReadBufferMode mode, BufferAccessStrategy strategy)
Definition: bufmgr.c:696
uint32 BlockNumber
Definition: block.h:31
void ReleaseBuffer(Buffer buffer)
Definition: bufmgr.c:3513
#define P_NEW
Definition: bufmgr.h:91
static void log_invalid_page(RelFileNode node, ForkNumber forkno, BlockNumber blkno, bool present)
Definition: xlogutils.c:81
#define BufferGetPage(buffer)
Definition: bufmgr.h:169
SMgrRelation smgropen(RelFileNode rnode, BackendId backend)
Definition: smgr.c:146
#define InvalidBackendId
Definition: backendid.h:23
void LockBuffer(Buffer buffer, int mode)
Definition: bufmgr.c:3752
BlockNumber smgrnblocks(SMgrRelation reln, ForkNumber forknum)
Definition: smgr.c:549
#define Assert(condition)
Definition: c.h:800
BlockNumber BufferGetBlockNumber(Buffer buffer)
Definition: bufmgr.c:2663
#define PageIsNew(page)
Definition: bufpage.h:229
int Buffer
Definition: buf.h:23
Pointer Page
Definition: bufpage.h:78

◆ XLogReadBufferForRedo()

XLogRedoAction XLogReadBufferForRedo ( XLogReaderState record,
uint8  block_id,
Buffer buf 
)

Definition at line 293 of file xlogutils.c.

References RBM_NORMAL, and XLogReadBufferForRedoExtended().

Referenced by _bt_clear_incomplete_split(), brin_xlog_desummarize_page(), brin_xlog_insert_update(), brin_xlog_revmap_extend(), brin_xlog_samepage_update(), brin_xlog_update(), btree_xlog_dedup(), btree_xlog_delete(), btree_xlog_insert(), btree_xlog_mark_page_halfdead(), btree_xlog_split(), btree_xlog_unlink_page(), generic_redo(), ginRedoClearIncompleteSplit(), ginRedoDeletePage(), ginRedoInsert(), ginRedoSplit(), ginRedoUpdateMetapage(), ginRedoVacuumDataLeafPage(), ginRedoVacuumPage(), gistRedoClearFollowRight(), gistRedoDeleteRecord(), gistRedoPageDelete(), gistRedoPageUpdateRecord(), hash_xlog_add_ovfl_page(), hash_xlog_delete(), hash_xlog_init_bitmap_page(), hash_xlog_insert(), hash_xlog_move_page_contents(), hash_xlog_split_allocate_page(), hash_xlog_split_cleanup(), hash_xlog_split_complete(), hash_xlog_split_page(), hash_xlog_squeeze_page(), hash_xlog_update_meta_page(), hash_xlog_vacuum_one_page(), heap_xlog_confirm(), heap_xlog_delete(), heap_xlog_freeze_page(), heap_xlog_inplace(), heap_xlog_insert(), heap_xlog_lock(), heap_xlog_lock_updated(), heap_xlog_multi_insert(), heap_xlog_update(), heap_xlog_visible(), spgRedoAddLeaf(), spgRedoAddNode(), spgRedoMoveLeafs(), spgRedoPickSplit(), spgRedoSplitTuple(), spgRedoVacuumLeaf(), spgRedoVacuumRedirect(), spgRedoVacuumRoot(), and xlog_redo().

295 {
296  return XLogReadBufferForRedoExtended(record, block_id, RBM_NORMAL,
297  false, buf);
298 }
static char * buf
Definition: pg_test_fsync.c:68
XLogRedoAction XLogReadBufferForRedoExtended(XLogReaderState *record, uint8 block_id, ReadBufferMode mode, bool get_cleanup_lock, Buffer *buf)
Definition: xlogutils.c:330

◆ XLogReadBufferForRedoExtended()

XLogRedoAction XLogReadBufferForRedoExtended ( XLogReaderState record,
uint8  block_id,
ReadBufferMode  mode,
bool  get_cleanup_lock,
Buffer buf 
)

Definition at line 330 of file xlogutils.c.

References Assert, BKPBLOCK_WILL_INIT, BLK_DONE, BLK_NEEDS_REDO, BLK_NOTFOUND, BLK_RESTORED, xl_invalid_page_key::blkno, XLogReaderState::blocks, BUFFER_LOCK_EXCLUSIVE, BufferGetPage, BufferIsValid, elog, XLogReaderState::EndRecPtr, ERROR, DecodedBkpBlock::flags, FlushOneBuffer(), INIT_FORKNUM, LockBuffer(), LockBufferForCleanup(), MarkBufferDirty(), PageGetLSN, PageIsNew, PageSetLSN, PANIC, RBM_ZERO_AND_CLEANUP_LOCK, RBM_ZERO_AND_LOCK, RestoreBlockImage(), XLogReadBufferExtended(), XLogRecBlockImageApply, XLogRecGetBlockTag(), and XLogRecHasBlockImage.

Referenced by btree_xlog_vacuum(), hash_xlog_delete(), hash_xlog_move_page_contents(), hash_xlog_split_allocate_page(), hash_xlog_squeeze_page(), hash_xlog_vacuum_one_page(), heap_xlog_clean(), heap_xlog_visible(), XLogInitBufferForRedo(), and XLogReadBufferForRedo().

334 {
335  XLogRecPtr lsn = record->EndRecPtr;
336  RelFileNode rnode;
337  ForkNumber forknum;
338  BlockNumber blkno;
339  Page page;
340  bool zeromode;
341  bool willinit;
342 
343  if (!XLogRecGetBlockTag(record, block_id, &rnode, &forknum, &blkno))
344  {
345  /* Caller specified a bogus block_id */
346  elog(PANIC, "failed to locate backup block with ID %d", block_id);
347  }
348 
349  /*
350  * Make sure that if the block is marked with WILL_INIT, the caller is
351  * going to initialize it. And vice versa.
352  */
354  willinit = (record->blocks[block_id].flags & BKPBLOCK_WILL_INIT) != 0;
355  if (willinit && !zeromode)
356  elog(PANIC, "block with WILL_INIT flag in WAL record must be zeroed by redo routine");
357  if (!willinit && zeromode)
358  elog(PANIC, "block to be initialized in redo routine must be marked with WILL_INIT flag in the WAL record");
359 
360  /* If it has a full-page image and it should be restored, do it. */
361  if (XLogRecBlockImageApply(record, block_id))
362  {
363  Assert(XLogRecHasBlockImage(record, block_id));
364  *buf = XLogReadBufferExtended(rnode, forknum, blkno,
365  get_cleanup_lock ? RBM_ZERO_AND_CLEANUP_LOCK : RBM_ZERO_AND_LOCK);
366  page = BufferGetPage(*buf);
367  if (!RestoreBlockImage(record, block_id, page))
368  elog(ERROR, "failed to restore block image");
369 
370  /*
371  * The page may be uninitialized. If so, we can't set the LSN because
372  * that would corrupt the page.
373  */
374  if (!PageIsNew(page))
375  {
376  PageSetLSN(page, lsn);
377  }
378 
380 
381  /*
382  * At the end of crash recovery the init forks of unlogged relations
383  * are copied, without going through shared buffers. So we need to
384  * force the on-disk state of init forks to always be in sync with the
385  * state in shared buffers.
386  */
387  if (forknum == INIT_FORKNUM)
389 
390  return BLK_RESTORED;
391  }
392  else
393  {
394  *buf = XLogReadBufferExtended(rnode, forknum, blkno, mode);
395  if (BufferIsValid(*buf))
396  {
398  {
399  if (get_cleanup_lock)
401  else
403  }
404  if (lsn <= PageGetLSN(BufferGetPage(*buf)))
405  return BLK_DONE;
406  else
407  return BLK_NEEDS_REDO;
408  }
409  else
410  return BLK_NOTFOUND;
411  }
412 }
static PgChecksumMode mode
Definition: pg_checksums.c:61
void LockBufferForCleanup(Buffer buffer)
Definition: bufmgr.c:3809
#define XLogRecHasBlockImage(decoder, block_id)
Definition: xlogreader.h:315
void MarkBufferDirty(Buffer buffer)
Definition: bufmgr.c:1471
Buffer XLogReadBufferExtended(RelFileNode rnode, ForkNumber forknum, BlockNumber blkno, ReadBufferMode mode)
Definition: xlogutils.c:441
uint32 BlockNumber
Definition: block.h:31
#define BUFFER_LOCK_EXCLUSIVE
Definition: bufmgr.h:98
#define PANIC
Definition: elog.h:53
XLogRecPtr EndRecPtr
Definition: xlogreader.h:176
#define ERROR
Definition: elog.h:43
static char * buf
Definition: pg_test_fsync.c:68
#define BufferGetPage(buffer)
Definition: bufmgr.h:169
#define BKPBLOCK_WILL_INIT
Definition: xlogrecord.h:182
ForkNumber
Definition: relpath.h:40
bool XLogRecGetBlockTag(XLogReaderState *record, uint8 block_id, RelFileNode *rnode, ForkNumber *forknum, BlockNumber *blknum)
Definition: xlogreader.c:1498
void LockBuffer(Buffer buffer, int mode)
Definition: bufmgr.c:3752
uint64 XLogRecPtr
Definition: xlogdefs.h:21
#define Assert(condition)
Definition: c.h:800
#define BufferIsValid(bufnum)
Definition: bufmgr.h:123
void FlushOneBuffer(Buffer buffer)
Definition: bufmgr.c:3493
bool RestoreBlockImage(XLogReaderState *record, uint8 block_id, char *page)
Definition: xlogreader.c:1551
#define PageGetLSN(page)
Definition: bufpage.h:366
#define PageIsNew(page)
Definition: bufpage.h:229
#define elog(elevel,...)
Definition: elog.h:228
#define XLogRecBlockImageApply(decoder, block_id)
Definition: xlogreader.h:317
#define PageSetLSN(page, lsn)
Definition: bufpage.h:368
Pointer Page
Definition: bufpage.h:78
DecodedBkpBlock blocks[XLR_MAX_BLOCK_ID+1]
Definition: xlogreader.h:197

◆ XLogReadDetermineTimeline()

void XLogReadDetermineTimeline ( XLogReaderState state,
XLogRecPtr  wantPage,
uint32  wantLength 
)

Definition at line 689 of file xlogutils.c.

References Assert, XLogReaderState::currTLI, XLogReaderState::currTLIValidUntil, DEBUG3, elog, InvalidXLogRecPtr, list_free_deep(), Min, XLogReaderState::nextTLI, XLogReaderState::readLen, readTimeLineHistory(), XLogReaderState::seg, XLogReaderState::segcxt, XLogReaderState::segoff, ThisTimeLineID, tliOfPointInHistory(), tliSwitchPoint(), WALOpenSegment::ws_segno, and WALSegmentContext::ws_segsize.

Referenced by logical_read_xlog_page(), and read_local_xlog_page().

690 {
691  const XLogRecPtr lastReadPage = (state->seg.ws_segno *
692  state->segcxt.ws_segsize + state->segoff);
693 
694  Assert(wantPage != InvalidXLogRecPtr && wantPage % XLOG_BLCKSZ == 0);
695  Assert(wantLength <= XLOG_BLCKSZ);
696  Assert(state->readLen == 0 || state->readLen <= XLOG_BLCKSZ);
697 
698  /*
699  * If the desired page is currently read in and valid, we have nothing to
700  * do.
701  *
702  * The caller should've ensured that it didn't previously advance readOff
703  * past the valid limit of this timeline, so it doesn't matter if the
704  * current TLI has since become historical.
705  */
706  if (lastReadPage == wantPage &&
707  state->readLen != 0 &&
708  lastReadPage + state->readLen >= wantPage + Min(wantLength, XLOG_BLCKSZ - 1))
709  return;
710 
711  /*
712  * If we're reading from the current timeline, it hasn't become historical
713  * and the page we're reading is after the last page read, we can again
714  * just carry on. (Seeking backwards requires a check to make sure the
715  * older page isn't on a prior timeline).
716  *
717  * ThisTimeLineID might've become historical since we last looked, but the
718  * caller is required not to read past the flush limit it saw at the time
719  * it looked up the timeline. There's nothing we can do about it if
720  * StartupXLOG() renames it to .partial concurrently.
721  */
722  if (state->currTLI == ThisTimeLineID && wantPage >= lastReadPage)
723  {
725  return;
726  }
727 
728  /*
729  * If we're just reading pages from a previously validated historical
730  * timeline and the timeline we're reading from is valid until the end of
731  * the current segment we can just keep reading.
732  */
733  if (state->currTLIValidUntil != InvalidXLogRecPtr &&
734  state->currTLI != ThisTimeLineID &&
735  state->currTLI != 0 &&
736  ((wantPage + wantLength) / state->segcxt.ws_segsize) <
737  (state->currTLIValidUntil / state->segcxt.ws_segsize))
738  return;
739 
740  /*
741  * If we reach this point we're either looking up a page for random
742  * access, the current timeline just became historical, or we're reading
743  * from a new segment containing a timeline switch. In all cases we need
744  * to determine the newest timeline on the segment.
745  *
746  * If it's the current timeline we can just keep reading from here unless
747  * we detect a timeline switch that makes the current timeline historical.
748  * If it's a historical timeline we can read all the segment on the newest
749  * timeline because it contains all the old timelines' data too. So only
750  * one switch check is required.
751  */
752  {
753  /*
754  * We need to re-read the timeline history in case it's been changed
755  * by a promotion or replay from a cascaded replica.
756  */
757  List *timelineHistory = readTimeLineHistory(ThisTimeLineID);
758  XLogRecPtr endOfSegment;
759 
760  endOfSegment = ((wantPage / state->segcxt.ws_segsize) + 1) *
761  state->segcxt.ws_segsize - 1;
762  Assert(wantPage / state->segcxt.ws_segsize ==
763  endOfSegment / state->segcxt.ws_segsize);
764 
765  /*
766  * Find the timeline of the last LSN on the segment containing
767  * wantPage.
768  */
769  state->currTLI = tliOfPointInHistory(endOfSegment, timelineHistory);
770  state->currTLIValidUntil = tliSwitchPoint(state->currTLI, timelineHistory,
771  &state->nextTLI);
772 
774  wantPage + wantLength < state->currTLIValidUntil);
775 
776  list_free_deep(timelineHistory);
777 
778  elog(DEBUG3, "switched to timeline %u valid until %X/%X",
779  state->currTLI,
780  (uint32) (state->currTLIValidUntil >> 32),
781  (uint32) (state->currTLIValidUntil));
782  }
783 }
#define InvalidXLogRecPtr
Definition: xlogdefs.h:28
TimeLineID tliOfPointInHistory(XLogRecPtr ptr, List *history)
Definition: timeline.c:552
#define DEBUG3
Definition: elog.h:23
#define Min(x, y)
Definition: c.h:982
List * readTimeLineHistory(TimeLineID targetTLI)
Definition: timeline.c:76
void list_free_deep(List *list)
Definition: list.c:1390
WALOpenSegment seg
Definition: xlogreader.h:215
XLogSegNo ws_segno
Definition: xlogreader.h:47
XLogRecPtr currTLIValidUntil
Definition: xlogreader.h:238
unsigned int uint32
Definition: c.h:429
TimeLineID nextTLI
Definition: xlogreader.h:244
XLogRecPtr tliSwitchPoint(TimeLineID tli, List *history, TimeLineID *nextTLI)
Definition: timeline.c:580
TimeLineID ThisTimeLineID
Definition: xlog.c:192
TimeLineID currTLI
Definition: xlogreader.h:228
uint64 XLogRecPtr
Definition: xlogdefs.h:21
#define Assert(condition)
Definition: c.h:800
#define elog(elevel,...)
Definition: elog.h:228
WALSegmentContext segcxt
Definition: xlogreader.h:214
Definition: pg_list.h:50

◆ XLogTruncateRelation()

void XLogTruncateRelation ( RelFileNode  rnode,
ForkNumber  forkNum,
BlockNumber  nblocks 
)

Definition at line 644 of file xlogutils.c.

References forget_invalid_pages().

Referenced by smgr_redo().

646 {
647  forget_invalid_pages(rnode, forkNum, nblocks);
648 }
static void forget_invalid_pages(RelFileNode node, ForkNumber forkno, BlockNumber minblkno)
Definition: xlogutils.c:146

Variable Documentation

◆ ignore_invalid_pages

bool ignore_invalid_pages = false

Definition at line 35 of file xlogutils.c.

Referenced by log_invalid_page(), and XLogCheckInvalidPages().

◆ invalid_page_tab

HTAB* invalid_page_tab = NULL
static

Definition at line 60 of file xlogutils.c.