PostgreSQL Source Code  git master
brin_revmap.c File Reference
#include "postgres.h"
#include "access/brin_page.h"
#include "access/brin_pageops.h"
#include "access/brin_revmap.h"
#include "access/brin_tuple.h"
#include "access/brin_xlog.h"
#include "access/rmgr.h"
#include "access/xloginsert.h"
#include "miscadmin.h"
#include "storage/bufmgr.h"
#include "storage/lmgr.h"
#include "utils/rel.h"
Include dependency graph for brin_revmap.c:

Go to the source code of this file.

Data Structures

struct  BrinRevmap
 

Macros

#define HEAPBLK_TO_REVMAP_BLK(pagesPerRange, heapBlk)    ((heapBlk / pagesPerRange) / REVMAP_PAGE_MAXITEMS)
 
#define HEAPBLK_TO_REVMAP_INDEX(pagesPerRange, heapBlk)    ((heapBlk / pagesPerRange) % REVMAP_PAGE_MAXITEMS)
 

Functions

static BlockNumber revmap_get_blkno (BrinRevmap *revmap, BlockNumber heapBlk)
 
static Buffer revmap_get_buffer (BrinRevmap *revmap, BlockNumber heapBlk)
 
static BlockNumber revmap_extend_and_get_blkno (BrinRevmap *revmap, BlockNumber heapBlk)
 
static void revmap_physical_extend (BrinRevmap *revmap)
 
BrinRevmapbrinRevmapInitialize (Relation idxrel, BlockNumber *pagesPerRange, Snapshot snapshot)
 
void brinRevmapTerminate (BrinRevmap *revmap)
 
void brinRevmapExtend (BrinRevmap *revmap, BlockNumber heapBlk)
 
Buffer brinLockRevmapPageForUpdate (BrinRevmap *revmap, BlockNumber heapBlk)
 
void brinSetHeapBlockItemptr (Buffer buf, BlockNumber pagesPerRange, BlockNumber heapBlk, ItemPointerData tid)
 
BrinTuplebrinGetTupleForHeapBlock (BrinRevmap *revmap, BlockNumber heapBlk, Buffer *buf, OffsetNumber *off, Size *size, int mode, Snapshot snapshot)
 
bool brinRevmapDesummarizeRange (Relation idxrel, BlockNumber heapBlk)
 

Macro Definition Documentation

◆ HEAPBLK_TO_REVMAP_BLK

#define HEAPBLK_TO_REVMAP_BLK (   pagesPerRange,
  heapBlk 
)     ((heapBlk / pagesPerRange) / REVMAP_PAGE_MAXITEMS)

Definition at line 41 of file brin_revmap.c.

◆ HEAPBLK_TO_REVMAP_INDEX

#define HEAPBLK_TO_REVMAP_INDEX (   pagesPerRange,
  heapBlk 
)     ((heapBlk / pagesPerRange) % REVMAP_PAGE_MAXITEMS)

Definition at line 43 of file brin_revmap.c.

Function Documentation

◆ brinGetTupleForHeapBlock()

BrinTuple* brinGetTupleForHeapBlock ( BrinRevmap revmap,
BlockNumber  heapBlk,
Buffer buf,
OffsetNumber off,
Size size,
int  mode,
Snapshot  snapshot 
)

Definition at line 197 of file brin_revmap.c.

200 {
201  Relation idxRel = revmap->rm_irel;
202  BlockNumber mapBlk;
203  RevmapContents *contents;
204  ItemPointerData *iptr;
205  BlockNumber blk;
206  Page page;
207  ItemId lp;
208  BrinTuple *tup;
209  ItemPointerData previptr;
210 
211  /* normalize the heap block number to be the first page in the range */
212  heapBlk = (heapBlk / revmap->rm_pagesPerRange) * revmap->rm_pagesPerRange;
213 
214  /*
215  * Compute the revmap page number we need. If Invalid is returned (i.e.,
216  * the revmap page hasn't been created yet), the requested page range is
217  * not summarized.
218  */
219  mapBlk = revmap_get_blkno(revmap, heapBlk);
220  if (mapBlk == InvalidBlockNumber)
221  {
222  *off = InvalidOffsetNumber;
223  return NULL;
224  }
225 
226  ItemPointerSetInvalid(&previptr);
227  for (;;)
228  {
230 
231  if (revmap->rm_currBuf == InvalidBuffer ||
232  BufferGetBlockNumber(revmap->rm_currBuf) != mapBlk)
233  {
234  if (revmap->rm_currBuf != InvalidBuffer)
235  ReleaseBuffer(revmap->rm_currBuf);
236 
237  Assert(mapBlk != InvalidBlockNumber);
238  revmap->rm_currBuf = ReadBuffer(revmap->rm_irel, mapBlk);
239  }
240 
242 
243  contents = (RevmapContents *)
245  iptr = contents->rm_tids;
246  iptr += HEAPBLK_TO_REVMAP_INDEX(revmap->rm_pagesPerRange, heapBlk);
247 
248  if (!ItemPointerIsValid(iptr))
249  {
251  return NULL;
252  }
253 
254  /*
255  * Check the TID we got in a previous iteration, if any, and save the
256  * current TID we got from the revmap; if we loop, we can sanity-check
257  * that the next one we get is different. Otherwise we might be stuck
258  * looping forever if the revmap is somehow badly broken.
259  */
260  if (ItemPointerIsValid(&previptr) && ItemPointerEquals(&previptr, iptr))
261  ereport(ERROR,
262  (errcode(ERRCODE_INDEX_CORRUPTED),
263  errmsg_internal("corrupted BRIN index: inconsistent range map")));
264  previptr = *iptr;
265 
266  blk = ItemPointerGetBlockNumber(iptr);
267  *off = ItemPointerGetOffsetNumber(iptr);
268 
270 
271  /* Ok, got a pointer to where the BrinTuple should be. Fetch it. */
272  if (!BufferIsValid(*buf) || BufferGetBlockNumber(*buf) != blk)
273  {
274  if (BufferIsValid(*buf))
275  ReleaseBuffer(*buf);
276  *buf = ReadBuffer(idxRel, blk);
277  }
278  LockBuffer(*buf, mode);
279  page = BufferGetPage(*buf);
280  TestForOldSnapshot(snapshot, idxRel, page);
281 
282  /* If we land on a revmap page, start over */
283  if (BRIN_IS_REGULAR_PAGE(page))
284  {
285  /*
286  * If the offset number is greater than what's in the page, it's
287  * possible that the range was desummarized concurrently. Just
288  * return NULL to handle that case.
289  */
290  if (*off > PageGetMaxOffsetNumber(page))
291  {
293  return NULL;
294  }
295 
296  lp = PageGetItemId(page, *off);
297  if (ItemIdIsUsed(lp))
298  {
299  tup = (BrinTuple *) PageGetItem(page, lp);
300 
301  if (tup->bt_blkno == heapBlk)
302  {
303  if (size)
304  *size = ItemIdGetLength(lp);
305  /* found it! */
306  return tup;
307  }
308  }
309  }
310 
311  /*
312  * No luck. Assume that the revmap was updated concurrently.
313  */
315  }
316  /* not reached, but keep compiler quiet */
317  return NULL;
318 }
uint32 BlockNumber
Definition: block.h:31
#define InvalidBlockNumber
Definition: block.h:33
#define BRIN_IS_REGULAR_PAGE(page)
Definition: brin_page.h:57
static BlockNumber revmap_get_blkno(BrinRevmap *revmap, BlockNumber heapBlk)
Definition: brin_revmap.c:452
#define HEAPBLK_TO_REVMAP_INDEX(pagesPerRange, heapBlk)
Definition: brin_revmap.c:43
#define InvalidBuffer
Definition: buf.h:25
BlockNumber BufferGetBlockNumber(Buffer buffer)
Definition: bufmgr.c:2791
void ReleaseBuffer(Buffer buffer)
Definition: bufmgr.c:3985
void LockBuffer(Buffer buffer, int mode)
Definition: bufmgr.c:4226
Buffer ReadBuffer(Relation reln, BlockNumber blockNum)
Definition: bufmgr.c:704
#define BUFFER_LOCK_UNLOCK
Definition: bufmgr.h:110
#define BUFFER_LOCK_SHARE
Definition: bufmgr.h:111
static Page BufferGetPage(Buffer buffer)
Definition: bufmgr.h:284
static void TestForOldSnapshot(Snapshot snapshot, Relation relation, Page page)
Definition: bufmgr.h:307
static bool BufferIsValid(Buffer bufnum)
Definition: bufmgr.h:232
static char * PageGetContents(Page page)
Definition: bufpage.h:254
Pointer Page
Definition: bufpage.h:78
static Item PageGetItem(Page page, ItemId itemId)
Definition: bufpage.h:351
static ItemId PageGetItemId(Page page, OffsetNumber offsetNumber)
Definition: bufpage.h:240
static OffsetNumber PageGetMaxOffsetNumber(Page page)
Definition: bufpage.h:369
int errmsg_internal(const char *fmt,...)
Definition: elog.c:1156
int errcode(int sqlerrcode)
Definition: elog.c:858
#define ERROR
Definition: elog.h:39
#define ereport(elevel,...)
Definition: elog.h:149
#define ItemIdGetLength(itemId)
Definition: itemid.h:59
#define ItemIdIsUsed(itemId)
Definition: itemid.h:92
bool ItemPointerEquals(ItemPointer pointer1, ItemPointer pointer2)
Definition: itemptr.c:35
static void ItemPointerSetInvalid(ItemPointerData *pointer)
Definition: itemptr.h:184
static OffsetNumber ItemPointerGetOffsetNumber(const ItemPointerData *pointer)
Definition: itemptr.h:124
static BlockNumber ItemPointerGetBlockNumber(const ItemPointerData *pointer)
Definition: itemptr.h:103
static bool ItemPointerIsValid(const ItemPointerData *pointer)
Definition: itemptr.h:83
Assert(fmt[strlen(fmt) - 1] !='\n')
#define CHECK_FOR_INTERRUPTS()
Definition: miscadmin.h:121
#define InvalidOffsetNumber
Definition: off.h:26
static PgChecksumMode mode
Definition: pg_checksums.c:65
static char * buf
Definition: pg_test_fsync.c:67
BlockNumber rm_pagesPerRange
Definition: brin_revmap.c:50
Buffer rm_currBuf
Definition: brin_revmap.c:53
Relation rm_irel
Definition: brin_revmap.c:49
BlockNumber bt_blkno
Definition: brin_tuple.h:65
ItemPointerData rm_tids[1]
Definition: brin_page.h:85

References Assert(), BRIN_IS_REGULAR_PAGE, BrinTuple::bt_blkno, buf, BUFFER_LOCK_SHARE, BUFFER_LOCK_UNLOCK, BufferGetBlockNumber(), BufferGetPage(), BufferIsValid(), CHECK_FOR_INTERRUPTS, ereport, errcode(), errmsg_internal(), ERROR, HEAPBLK_TO_REVMAP_INDEX, InvalidBlockNumber, InvalidBuffer, InvalidOffsetNumber, ItemIdGetLength, ItemIdIsUsed, ItemPointerEquals(), ItemPointerGetBlockNumber(), ItemPointerGetOffsetNumber(), ItemPointerIsValid(), ItemPointerSetInvalid(), LockBuffer(), mode, PageGetContents(), PageGetItem(), PageGetItemId(), PageGetMaxOffsetNumber(), ReadBuffer(), ReleaseBuffer(), revmap_get_blkno(), BrinRevmap::rm_currBuf, BrinRevmap::rm_irel, BrinRevmap::rm_pagesPerRange, RevmapContents::rm_tids, and TestForOldSnapshot().

Referenced by bringetbitmap(), brininsert(), brinsummarize(), and summarize_range().

◆ brinLockRevmapPageForUpdate()

Buffer brinLockRevmapPageForUpdate ( BrinRevmap revmap,
BlockNumber  heapBlk 
)

Definition at line 137 of file brin_revmap.c.

138 {
139  Buffer rmBuf;
140 
141  rmBuf = revmap_get_buffer(revmap, heapBlk);
143 
144  return rmBuf;
145 }
static Buffer revmap_get_buffer(BrinRevmap *revmap, BlockNumber heapBlk)
Definition: brin_revmap.c:473
int Buffer
Definition: buf.h:23
#define BUFFER_LOCK_EXCLUSIVE
Definition: bufmgr.h:112

References BUFFER_LOCK_EXCLUSIVE, LockBuffer(), and revmap_get_buffer().

Referenced by brin_doinsert(), brin_doupdate(), and brinRevmapDesummarizeRange().

◆ brinRevmapDesummarizeRange()

bool brinRevmapDesummarizeRange ( Relation  idxrel,
BlockNumber  heapBlk 
)

Definition at line 328 of file brin_revmap.c.

329 {
330  BrinRevmap *revmap;
331  BlockNumber pagesPerRange;
332  RevmapContents *contents;
333  ItemPointerData *iptr;
334  ItemPointerData invalidIptr;
335  BlockNumber revmapBlk;
336  Buffer revmapBuf;
337  Buffer regBuf;
338  Page revmapPg;
339  Page regPg;
340  OffsetNumber revmapOffset;
341  OffsetNumber regOffset;
342  ItemId lp;
343 
344  revmap = brinRevmapInitialize(idxrel, &pagesPerRange, NULL);
345 
346  revmapBlk = revmap_get_blkno(revmap, heapBlk);
347  if (!BlockNumberIsValid(revmapBlk))
348  {
349  /* revmap page doesn't exist: range not summarized, we're done */
350  brinRevmapTerminate(revmap);
351  return true;
352  }
353 
354  /* Lock the revmap page, obtain the index tuple pointer from it */
355  revmapBuf = brinLockRevmapPageForUpdate(revmap, heapBlk);
356  revmapPg = BufferGetPage(revmapBuf);
357  revmapOffset = HEAPBLK_TO_REVMAP_INDEX(revmap->rm_pagesPerRange, heapBlk);
358 
359  contents = (RevmapContents *) PageGetContents(revmapPg);
360  iptr = contents->rm_tids;
361  iptr += revmapOffset;
362 
363  if (!ItemPointerIsValid(iptr))
364  {
365  /* no index tuple: range not summarized, we're done */
366  LockBuffer(revmapBuf, BUFFER_LOCK_UNLOCK);
367  brinRevmapTerminate(revmap);
368  return true;
369  }
370 
371  regBuf = ReadBuffer(idxrel, ItemPointerGetBlockNumber(iptr));
373  regPg = BufferGetPage(regBuf);
374 
375  /*
376  * We're only removing data, not reading it, so there's no need to
377  * TestForOldSnapshot here.
378  */
379 
380  /* if this is no longer a regular page, tell caller to start over */
381  if (!BRIN_IS_REGULAR_PAGE(regPg))
382  {
383  LockBuffer(revmapBuf, BUFFER_LOCK_UNLOCK);
385  brinRevmapTerminate(revmap);
386  return false;
387  }
388 
389  regOffset = ItemPointerGetOffsetNumber(iptr);
390  if (regOffset > PageGetMaxOffsetNumber(regPg))
391  ereport(ERROR,
392  (errcode(ERRCODE_INDEX_CORRUPTED),
393  errmsg("corrupted BRIN index: inconsistent range map")));
394 
395  lp = PageGetItemId(regPg, regOffset);
396  if (!ItemIdIsUsed(lp))
397  ereport(ERROR,
398  (errcode(ERRCODE_INDEX_CORRUPTED),
399  errmsg("corrupted BRIN index: inconsistent range map")));
400 
401  /*
402  * Placeholder tuples only appear during unfinished summarization, and we
403  * hold ShareUpdateExclusiveLock, so this function cannot run concurrently
404  * with that. So any placeholder tuples that exist are leftovers from a
405  * crashed or aborted summarization; remove them silently.
406  */
407 
409 
410  ItemPointerSetInvalid(&invalidIptr);
411  brinSetHeapBlockItemptr(revmapBuf, revmap->rm_pagesPerRange, heapBlk,
412  invalidIptr);
413  PageIndexTupleDeleteNoCompact(regPg, regOffset);
414  /* XXX record free space in FSM? */
415 
416  MarkBufferDirty(regBuf);
417  MarkBufferDirty(revmapBuf);
418 
419  if (RelationNeedsWAL(idxrel))
420  {
421  xl_brin_desummarize xlrec;
422  XLogRecPtr recptr;
423 
424  xlrec.pagesPerRange = revmap->rm_pagesPerRange;
425  xlrec.heapBlk = heapBlk;
426  xlrec.regOffset = regOffset;
427 
428  XLogBeginInsert();
429  XLogRegisterData((char *) &xlrec, SizeOfBrinDesummarize);
430  XLogRegisterBuffer(0, revmapBuf, 0);
432  recptr = XLogInsert(RM_BRIN_ID, XLOG_BRIN_DESUMMARIZE);
433  PageSetLSN(revmapPg, recptr);
434  PageSetLSN(regPg, recptr);
435  }
436 
438 
439  UnlockReleaseBuffer(regBuf);
440  LockBuffer(revmapBuf, BUFFER_LOCK_UNLOCK);
441  brinRevmapTerminate(revmap);
442 
443  return true;
444 }
static bool BlockNumberIsValid(BlockNumber blockNumber)
Definition: block.h:71
BrinRevmap * brinRevmapInitialize(Relation idxrel, BlockNumber *pagesPerRange, Snapshot snapshot)
Definition: brin_revmap.c:71
void brinRevmapTerminate(BrinRevmap *revmap)
Definition: brin_revmap.c:103
void brinSetHeapBlockItemptr(Buffer buf, BlockNumber pagesPerRange, BlockNumber heapBlk, ItemPointerData tid)
Definition: brin_revmap.c:158
Buffer brinLockRevmapPageForUpdate(BrinRevmap *revmap, BlockNumber heapBlk)
Definition: brin_revmap.c:137
#define XLOG_BRIN_DESUMMARIZE
Definition: brin_xlog.h:36
#define SizeOfBrinDesummarize
Definition: brin_xlog.h:142
void UnlockReleaseBuffer(Buffer buffer)
Definition: bufmgr.c:4008
void MarkBufferDirty(Buffer buffer)
Definition: bufmgr.c:1621
void PageIndexTupleDeleteNoCompact(Page page, OffsetNumber offnum)
Definition: bufpage.c:1295
static void PageSetLSN(Page page, XLogRecPtr lsn)
Definition: bufpage.h:388
int errmsg(const char *fmt,...)
Definition: elog.c:1069
#define START_CRIT_SECTION()
Definition: miscadmin.h:148
#define END_CRIT_SECTION()
Definition: miscadmin.h:150
uint16 OffsetNumber
Definition: off.h:24
#define RelationNeedsWAL(relation)
Definition: rel.h:628
BlockNumber pagesPerRange
Definition: brin_xlog.h:135
BlockNumber heapBlk
Definition: brin_xlog.h:137
OffsetNumber regOffset
Definition: brin_xlog.h:139
uint64 XLogRecPtr
Definition: xlogdefs.h:21
void XLogRegisterData(char *data, uint32 len)
Definition: xloginsert.c:351
XLogRecPtr XLogInsert(RmgrId rmid, uint8 info)
Definition: xloginsert.c:451
void XLogRegisterBuffer(uint8 block_id, Buffer buffer, uint8 flags)
Definition: xloginsert.c:243
void XLogBeginInsert(void)
Definition: xloginsert.c:150
#define REGBUF_STANDARD
Definition: xloginsert.h:34

References BlockNumberIsValid(), BRIN_IS_REGULAR_PAGE, brinLockRevmapPageForUpdate(), brinRevmapInitialize(), brinRevmapTerminate(), brinSetHeapBlockItemptr(), BUFFER_LOCK_EXCLUSIVE, BUFFER_LOCK_UNLOCK, BufferGetPage(), END_CRIT_SECTION, ereport, errcode(), errmsg(), ERROR, xl_brin_desummarize::heapBlk, HEAPBLK_TO_REVMAP_INDEX, ItemIdIsUsed, ItemPointerGetBlockNumber(), ItemPointerGetOffsetNumber(), ItemPointerIsValid(), ItemPointerSetInvalid(), LockBuffer(), MarkBufferDirty(), PageGetContents(), PageGetItemId(), PageGetMaxOffsetNumber(), PageIndexTupleDeleteNoCompact(), PageSetLSN(), xl_brin_desummarize::pagesPerRange, ReadBuffer(), REGBUF_STANDARD, xl_brin_desummarize::regOffset, RelationNeedsWAL, revmap_get_blkno(), BrinRevmap::rm_pagesPerRange, RevmapContents::rm_tids, SizeOfBrinDesummarize, START_CRIT_SECTION, UnlockReleaseBuffer(), XLOG_BRIN_DESUMMARIZE, XLogBeginInsert(), XLogInsert(), XLogRegisterBuffer(), and XLogRegisterData().

Referenced by brin_desummarize_range().

◆ brinRevmapExtend()

void brinRevmapExtend ( BrinRevmap revmap,
BlockNumber  heapBlk 
)

Definition at line 115 of file brin_revmap.c.

116 {
118 
119  mapBlk = revmap_extend_and_get_blkno(revmap, heapBlk);
120 
121  /* Ensure the buffer we got is in the expected range */
122  Assert(mapBlk != InvalidBlockNumber &&
123  mapBlk != BRIN_METAPAGE_BLKNO &&
124  mapBlk <= revmap->rm_lastRevmapPage);
125 }
#define BRIN_METAPAGE_BLKNO
Definition: brin_page.h:75
static BlockNumber revmap_extend_and_get_blkno(BrinRevmap *revmap, BlockNumber heapBlk)
Definition: brin_revmap.c:510
#define PG_USED_FOR_ASSERTS_ONLY
Definition: c.h:166

References Assert(), BRIN_METAPAGE_BLKNO, InvalidBlockNumber, PG_USED_FOR_ASSERTS_ONLY, and revmap_extend_and_get_blkno().

Referenced by brin_doinsert(), and brin_doupdate().

◆ brinRevmapInitialize()

BrinRevmap* brinRevmapInitialize ( Relation  idxrel,
BlockNumber pagesPerRange,
Snapshot  snapshot 
)

Definition at line 71 of file brin_revmap.c.

73 {
74  BrinRevmap *revmap;
75  Buffer meta;
76  BrinMetaPageData *metadata;
77  Page page;
78 
79  meta = ReadBuffer(idxrel, BRIN_METAPAGE_BLKNO);
81  page = BufferGetPage(meta);
82  TestForOldSnapshot(snapshot, idxrel, page);
83  metadata = (BrinMetaPageData *) PageGetContents(page);
84 
85  revmap = palloc(sizeof(BrinRevmap));
86  revmap->rm_irel = idxrel;
87  revmap->rm_pagesPerRange = metadata->pagesPerRange;
88  revmap->rm_lastRevmapPage = metadata->lastRevmapPage;
89  revmap->rm_metaBuf = meta;
90  revmap->rm_currBuf = InvalidBuffer;
91 
92  *pagesPerRange = metadata->pagesPerRange;
93 
95 
96  return revmap;
97 }
void * palloc(Size size)
Definition: mcxt.c:1210
BlockNumber lastRevmapPage
Definition: brin_page.h:69
BlockNumber pagesPerRange
Definition: brin_page.h:68
BlockNumber rm_lastRevmapPage
Definition: brin_revmap.c:51
Buffer rm_metaBuf
Definition: brin_revmap.c:52

References BRIN_METAPAGE_BLKNO, BUFFER_LOCK_SHARE, BUFFER_LOCK_UNLOCK, BufferGetPage(), InvalidBuffer, BrinMetaPageData::lastRevmapPage, LockBuffer(), PageGetContents(), BrinMetaPageData::pagesPerRange, palloc(), ReadBuffer(), BrinRevmap::rm_currBuf, BrinRevmap::rm_irel, BrinRevmap::rm_lastRevmapPage, BrinRevmap::rm_metaBuf, BrinRevmap::rm_pagesPerRange, and TestForOldSnapshot().

Referenced by brinbeginscan(), brinbuild(), brininsert(), brinRevmapDesummarizeRange(), and brinsummarize().

◆ brinRevmapTerminate()

void brinRevmapTerminate ( BrinRevmap revmap)

Definition at line 103 of file brin_revmap.c.

104 {
105  ReleaseBuffer(revmap->rm_metaBuf);
106  if (revmap->rm_currBuf != InvalidBuffer)
107  ReleaseBuffer(revmap->rm_currBuf);
108  pfree(revmap);
109 }
void pfree(void *pointer)
Definition: mcxt.c:1436

References InvalidBuffer, pfree(), ReleaseBuffer(), BrinRevmap::rm_currBuf, and BrinRevmap::rm_metaBuf.

Referenced by brinbuild(), brinendscan(), brininsert(), brinRevmapDesummarizeRange(), and brinsummarize().

◆ brinSetHeapBlockItemptr()

void brinSetHeapBlockItemptr ( Buffer  buf,
BlockNumber  pagesPerRange,
BlockNumber  heapBlk,
ItemPointerData  tid 
)

Definition at line 158 of file brin_revmap.c.

160 {
161  RevmapContents *contents;
162  ItemPointerData *iptr;
163  Page page;
164 
165  /* The correct page should already be pinned and locked */
166  page = BufferGetPage(buf);
167  contents = (RevmapContents *) PageGetContents(page);
168  iptr = (ItemPointerData *) contents->rm_tids;
169  iptr += HEAPBLK_TO_REVMAP_INDEX(pagesPerRange, heapBlk);
170 
171  if (ItemPointerIsValid(&tid))
172  ItemPointerSet(iptr,
175  else
176  ItemPointerSetInvalid(iptr);
177 }
static void ItemPointerSet(ItemPointerData *pointer, BlockNumber blockNumber, OffsetNumber offNum)
Definition: itemptr.h:135

References buf, BufferGetPage(), HEAPBLK_TO_REVMAP_INDEX, ItemPointerGetBlockNumber(), ItemPointerGetOffsetNumber(), ItemPointerIsValid(), ItemPointerSet(), ItemPointerSetInvalid(), PageGetContents(), and RevmapContents::rm_tids.

Referenced by brin_doinsert(), brin_doupdate(), brin_xlog_desummarize_page(), brin_xlog_insert_update(), and brinRevmapDesummarizeRange().

◆ revmap_extend_and_get_blkno()

static BlockNumber revmap_extend_and_get_blkno ( BrinRevmap revmap,
BlockNumber  heapBlk 
)
static

Definition at line 510 of file brin_revmap.c.

511 {
512  BlockNumber targetblk;
513 
514  /* obtain revmap block number, skip 1 for metapage block */
515  targetblk = HEAPBLK_TO_REVMAP_BLK(revmap->rm_pagesPerRange, heapBlk) + 1;
516 
517  /* Extend the revmap, if necessary */
518  while (targetblk > revmap->rm_lastRevmapPage)
519  {
521  revmap_physical_extend(revmap);
522  }
523 
524  return targetblk;
525 }
static void revmap_physical_extend(BrinRevmap *revmap)
Definition: brin_revmap.c:532
#define HEAPBLK_TO_REVMAP_BLK(pagesPerRange, heapBlk)
Definition: brin_revmap.c:41

References CHECK_FOR_INTERRUPTS, HEAPBLK_TO_REVMAP_BLK, revmap_physical_extend(), BrinRevmap::rm_lastRevmapPage, and BrinRevmap::rm_pagesPerRange.

Referenced by brinRevmapExtend().

◆ revmap_get_blkno()

static BlockNumber revmap_get_blkno ( BrinRevmap revmap,
BlockNumber  heapBlk 
)
static

Definition at line 452 of file brin_revmap.c.

453 {
454  BlockNumber targetblk;
455 
456  /* obtain revmap block number, skip 1 for metapage block */
457  targetblk = HEAPBLK_TO_REVMAP_BLK(revmap->rm_pagesPerRange, heapBlk) + 1;
458 
459  /* Normal case: the revmap page is already allocated */
460  if (targetblk <= revmap->rm_lastRevmapPage)
461  return targetblk;
462 
463  return InvalidBlockNumber;
464 }

References HEAPBLK_TO_REVMAP_BLK, InvalidBlockNumber, and BrinRevmap::rm_pagesPerRange.

Referenced by brinGetTupleForHeapBlock(), brinRevmapDesummarizeRange(), and revmap_get_buffer().

◆ revmap_get_buffer()

static Buffer revmap_get_buffer ( BrinRevmap revmap,
BlockNumber  heapBlk 
)
static

Definition at line 473 of file brin_revmap.c.

474 {
475  BlockNumber mapBlk;
476 
477  /* Translate the heap block number to physical index location. */
478  mapBlk = revmap_get_blkno(revmap, heapBlk);
479 
480  if (mapBlk == InvalidBlockNumber)
481  elog(ERROR, "revmap does not cover heap block %u", heapBlk);
482 
483  /* Ensure the buffer we got is in the expected range */
484  Assert(mapBlk != BRIN_METAPAGE_BLKNO &&
485  mapBlk <= revmap->rm_lastRevmapPage);
486 
487  /*
488  * Obtain the buffer from which we need to read. If we already have the
489  * correct buffer in our access struct, use that; otherwise, release that,
490  * (if valid) and read the one we need.
491  */
492  if (revmap->rm_currBuf == InvalidBuffer ||
493  mapBlk != BufferGetBlockNumber(revmap->rm_currBuf))
494  {
495  if (revmap->rm_currBuf != InvalidBuffer)
496  ReleaseBuffer(revmap->rm_currBuf);
497 
498  revmap->rm_currBuf = ReadBuffer(revmap->rm_irel, mapBlk);
499  }
500 
501  return revmap->rm_currBuf;
502 }

References Assert(), BRIN_METAPAGE_BLKNO, BufferGetBlockNumber(), elog(), ERROR, InvalidBlockNumber, InvalidBuffer, ReadBuffer(), ReleaseBuffer(), revmap_get_blkno(), BrinRevmap::rm_currBuf, and BrinRevmap::rm_irel.

Referenced by brinLockRevmapPageForUpdate().

◆ revmap_physical_extend()

static void revmap_physical_extend ( BrinRevmap revmap)
static

Definition at line 532 of file brin_revmap.c.

533 {
534  Buffer buf;
535  Page page;
536  Page metapage;
537  BrinMetaPageData *metadata;
538  BlockNumber mapBlk;
539  BlockNumber nblocks;
540  Relation irel = revmap->rm_irel;
541  bool needLock = !RELATION_IS_LOCAL(irel);
542 
543  /*
544  * Lock the metapage. This locks out concurrent extensions of the revmap,
545  * but note that we still need to grab the relation extension lock because
546  * another backend can extend the index with regular BRIN pages.
547  */
549  metapage = BufferGetPage(revmap->rm_metaBuf);
550  metadata = (BrinMetaPageData *) PageGetContents(metapage);
551 
552  /*
553  * Check that our cached lastRevmapPage value was up-to-date; if it
554  * wasn't, update the cached copy and have caller start over.
555  */
556  if (metadata->lastRevmapPage != revmap->rm_lastRevmapPage)
557  {
558  revmap->rm_lastRevmapPage = metadata->lastRevmapPage;
560  return;
561  }
562  mapBlk = metadata->lastRevmapPage + 1;
563 
564  nblocks = RelationGetNumberOfBlocks(irel);
565  if (mapBlk < nblocks)
566  {
567  buf = ReadBuffer(irel, mapBlk);
569  page = BufferGetPage(buf);
570  }
571  else
572  {
573  if (needLock)
575 
576  buf = ReadBuffer(irel, P_NEW);
577  if (BufferGetBlockNumber(buf) != mapBlk)
578  {
579  /*
580  * Very rare corner case: somebody extended the relation
581  * concurrently after we read its length. If this happens, give
582  * up and have caller start over. We will have to evacuate that
583  * page from under whoever is using it.
584  */
585  if (needLock)
589  return;
590  }
592  page = BufferGetPage(buf);
593 
594  if (needLock)
596  }
597 
598  /* Check that it's a regular block (or an empty page) */
599  if (!PageIsNew(page) && !BRIN_IS_REGULAR_PAGE(page))
600  ereport(ERROR,
601  (errcode(ERRCODE_INDEX_CORRUPTED),
602  errmsg("unexpected page type 0x%04X in BRIN index \"%s\" block %u",
603  BrinPageType(page),
606 
607  /* If the page is in use, evacuate it and restart */
608  if (brin_start_evacuating_page(irel, buf))
609  {
611  brin_evacuate_page(irel, revmap->rm_pagesPerRange, revmap, buf);
612 
613  /* have caller start over */
614  return;
615  }
616 
617  /*
618  * Ok, we have now locked the metapage and the target block. Re-initialize
619  * the target block as a revmap page, and update the metapage.
620  */
622 
623  /* the rm_tids array is initialized to all invalid by PageInit */
626 
627  metadata->lastRevmapPage = mapBlk;
628 
629  /*
630  * Set pd_lower just past the end of the metadata. This is essential,
631  * because without doing so, metadata will be lost if xlog.c compresses
632  * the page. (We must do this here because pre-v11 versions of PG did not
633  * set the metapage's pd_lower correctly, so a pg_upgraded index might
634  * contain the wrong value.)
635  */
636  ((PageHeader) metapage)->pd_lower =
637  ((char *) metadata + sizeof(BrinMetaPageData)) - (char *) metapage;
638 
639  MarkBufferDirty(revmap->rm_metaBuf);
640 
641  if (RelationNeedsWAL(revmap->rm_irel))
642  {
643  xl_brin_revmap_extend xlrec;
644  XLogRecPtr recptr;
645 
646  xlrec.targetBlk = mapBlk;
647 
648  XLogBeginInsert();
649  XLogRegisterData((char *) &xlrec, SizeOfBrinRevmapExtend);
651 
653 
654  recptr = XLogInsert(RM_BRIN_ID, XLOG_BRIN_REVMAP_EXTEND);
655  PageSetLSN(metapage, recptr);
656  PageSetLSN(page, recptr);
657  }
658 
660 
662 
664 }
#define BRIN_PAGETYPE_REVMAP
Definition: brin_page.h:52
#define BrinPageType(page)
Definition: brin_page.h:42
void brin_evacuate_page(Relation idxRel, BlockNumber pagesPerRange, BrinRevmap *revmap, Buffer buf)
Definition: brin_pageops.c:565
bool brin_start_evacuating_page(Relation idxRel, Buffer buf)
Definition: brin_pageops.c:525
void brin_page_init(Page page, uint16 type)
Definition: brin_pageops.c:476
#define XLOG_BRIN_REVMAP_EXTEND
Definition: brin_xlog.h:35
#define SizeOfBrinRevmapExtend
Definition: brin_xlog.h:124
#define P_NEW
Definition: bufmgr.h:105
#define RelationGetNumberOfBlocks(reln)
Definition: bufmgr.h:161
PageHeaderData * PageHeader
Definition: bufpage.h:170
static bool PageIsNew(Page page)
Definition: bufpage.h:230
void LockRelationForExtension(Relation relation, LOCKMODE lockmode)
Definition: lmgr.c:431
void UnlockRelationForExtension(Relation relation, LOCKMODE lockmode)
Definition: lmgr.c:481
#define ExclusiveLock
Definition: lockdefs.h:42
#define RELATION_IS_LOCAL(relation)
Definition: rel.h:648
#define RelationGetRelationName(relation)
Definition: rel.h:537
BlockNumber targetBlk
Definition: brin_xlog.h:121
#define REGBUF_WILL_INIT
Definition: xloginsert.h:33

References brin_evacuate_page(), BRIN_IS_REGULAR_PAGE, brin_page_init(), BRIN_PAGETYPE_REVMAP, brin_start_evacuating_page(), BrinPageType, buf, BUFFER_LOCK_EXCLUSIVE, BUFFER_LOCK_UNLOCK, BufferGetBlockNumber(), BufferGetPage(), END_CRIT_SECTION, ereport, errcode(), errmsg(), ERROR, ExclusiveLock, BrinMetaPageData::lastRevmapPage, LockBuffer(), LockRelationForExtension(), MarkBufferDirty(), P_NEW, PageGetContents(), PageIsNew(), PageSetLSN(), ReadBuffer(), REGBUF_STANDARD, REGBUF_WILL_INIT, RELATION_IS_LOCAL, RelationGetNumberOfBlocks, RelationGetRelationName, RelationNeedsWAL, ReleaseBuffer(), BrinRevmap::rm_irel, BrinRevmap::rm_lastRevmapPage, BrinRevmap::rm_metaBuf, BrinRevmap::rm_pagesPerRange, SizeOfBrinRevmapExtend, START_CRIT_SECTION, xl_brin_revmap_extend::targetBlk, UnlockRelationForExtension(), UnlockReleaseBuffer(), XLOG_BRIN_REVMAP_EXTEND, XLogBeginInsert(), XLogInsert(), XLogRegisterBuffer(), and XLogRegisterData().

Referenced by revmap_extend_and_get_blkno().