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 "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)
 
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)
 
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 40 of file brin_revmap.c.

◆ HEAPBLK_TO_REVMAP_INDEX

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

Definition at line 42 of file brin_revmap.c.

Function Documentation

◆ brinGetTupleForHeapBlock()

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

Definition at line 194 of file brin_revmap.c.

196 {
197  Relation idxRel = revmap->rm_irel;
198  BlockNumber mapBlk;
199  RevmapContents *contents;
200  ItemPointerData *iptr;
201  BlockNumber blk;
202  Page page;
203  ItemId lp;
204  BrinTuple *tup;
205  ItemPointerData previptr;
206 
207  /* normalize the heap block number to be the first page in the range */
208  heapBlk = (heapBlk / revmap->rm_pagesPerRange) * revmap->rm_pagesPerRange;
209 
210  /*
211  * Compute the revmap page number we need. If Invalid is returned (i.e.,
212  * the revmap page hasn't been created yet), the requested page range is
213  * not summarized.
214  */
215  mapBlk = revmap_get_blkno(revmap, heapBlk);
216  if (mapBlk == InvalidBlockNumber)
217  {
218  *off = InvalidOffsetNumber;
219  return NULL;
220  }
221 
222  ItemPointerSetInvalid(&previptr);
223  for (;;)
224  {
226 
227  if (revmap->rm_currBuf == InvalidBuffer ||
228  BufferGetBlockNumber(revmap->rm_currBuf) != mapBlk)
229  {
230  if (revmap->rm_currBuf != InvalidBuffer)
231  ReleaseBuffer(revmap->rm_currBuf);
232 
233  Assert(mapBlk != InvalidBlockNumber);
234  revmap->rm_currBuf = ReadBuffer(revmap->rm_irel, mapBlk);
235  }
236 
238 
239  contents = (RevmapContents *)
241  iptr = contents->rm_tids;
242  iptr += HEAPBLK_TO_REVMAP_INDEX(revmap->rm_pagesPerRange, heapBlk);
243 
244  if (!ItemPointerIsValid(iptr))
245  {
247  return NULL;
248  }
249 
250  /*
251  * Check the TID we got in a previous iteration, if any, and save the
252  * current TID we got from the revmap; if we loop, we can sanity-check
253  * that the next one we get is different. Otherwise we might be stuck
254  * looping forever if the revmap is somehow badly broken.
255  */
256  if (ItemPointerIsValid(&previptr) && ItemPointerEquals(&previptr, iptr))
257  ereport(ERROR,
258  (errcode(ERRCODE_INDEX_CORRUPTED),
259  errmsg_internal("corrupted BRIN index: inconsistent range map")));
260  previptr = *iptr;
261 
262  blk = ItemPointerGetBlockNumber(iptr);
263  *off = ItemPointerGetOffsetNumber(iptr);
264 
266 
267  /* Ok, got a pointer to where the BrinTuple should be. Fetch it. */
268  if (!BufferIsValid(*buf) || BufferGetBlockNumber(*buf) != blk)
269  {
270  if (BufferIsValid(*buf))
271  ReleaseBuffer(*buf);
272  *buf = ReadBuffer(idxRel, blk);
273  }
274  LockBuffer(*buf, mode);
275  page = BufferGetPage(*buf);
276 
277  /* If we land on a revmap page, start over */
278  if (BRIN_IS_REGULAR_PAGE(page))
279  {
280  /*
281  * If the offset number is greater than what's in the page, it's
282  * possible that the range was desummarized concurrently. Just
283  * return NULL to handle that case.
284  */
285  if (*off > PageGetMaxOffsetNumber(page))
286  {
288  return NULL;
289  }
290 
291  lp = PageGetItemId(page, *off);
292  if (ItemIdIsUsed(lp))
293  {
294  tup = (BrinTuple *) PageGetItem(page, lp);
295 
296  if (tup->bt_blkno == heapBlk)
297  {
298  if (size)
299  *size = ItemIdGetLength(lp);
300  /* found it! */
301  return tup;
302  }
303  }
304  }
305 
306  /*
307  * No luck. Assume that the revmap was updated concurrently.
308  */
310  }
311  /* not reached, but keep compiler quiet */
312  return NULL;
313 }
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:442
#define HEAPBLK_TO_REVMAP_INDEX(pagesPerRange, heapBlk)
Definition: brin_revmap.c:42
#define InvalidBuffer
Definition: buf.h:25
BlockNumber BufferGetBlockNumber(Buffer buffer)
Definition: bufmgr.c:3724
void ReleaseBuffer(Buffer buffer)
Definition: bufmgr.c:4924
void LockBuffer(Buffer buffer, int mode)
Definition: bufmgr.c:5158
Buffer ReadBuffer(Relation reln, BlockNumber blockNum)
Definition: bufmgr.c:746
#define BUFFER_LOCK_UNLOCK
Definition: bufmgr.h:189
#define BUFFER_LOCK_SHARE
Definition: bufmgr.h:190
static Page BufferGetPage(Buffer buffer)
Definition: bufmgr.h:400
static bool BufferIsValid(Buffer bufnum)
Definition: bufmgr.h:351
static char * PageGetContents(Page page)
Definition: bufpage.h:257
Pointer Page
Definition: bufpage.h:81
static Item PageGetItem(Page page, ItemId itemId)
Definition: bufpage.h:354
static ItemId PageGetItemId(Page page, OffsetNumber offsetNumber)
Definition: bufpage.h:243
static OffsetNumber PageGetMaxOffsetNumber(Page page)
Definition: bufpage.h:372
#define Assert(condition)
Definition: c.h:861
int errmsg_internal(const char *fmt,...)
Definition: elog.c:1157
int errcode(int sqlerrcode)
Definition: elog.c:853
#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
#define CHECK_FOR_INTERRUPTS()
Definition: miscadmin.h:122
#define InvalidOffsetNumber
Definition: off.h:26
static PgChecksumMode mode
Definition: pg_checksums.c:56
static char * buf
Definition: pg_test_fsync.c:73
static pg_noinline void Size size
Definition: slab.c:607
BlockNumber rm_pagesPerRange
Definition: brin_revmap.c:49
Buffer rm_currBuf
Definition: brin_revmap.c:52
Relation rm_irel
Definition: brin_revmap.c:48
BlockNumber bt_blkno
Definition: brin_tuple.h:66
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 size.

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

◆ brinLockRevmapPageForUpdate()

Buffer brinLockRevmapPageForUpdate ( BrinRevmap revmap,
BlockNumber  heapBlk 
)

Definition at line 134 of file brin_revmap.c.

135 {
136  Buffer rmBuf;
137 
138  rmBuf = revmap_get_buffer(revmap, heapBlk);
140 
141  return rmBuf;
142 }
static Buffer revmap_get_buffer(BrinRevmap *revmap, BlockNumber heapBlk)
Definition: brin_revmap.c:463
int Buffer
Definition: buf.h:23
#define BUFFER_LOCK_EXCLUSIVE
Definition: bufmgr.h:191

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 323 of file brin_revmap.c.

324 {
325  BrinRevmap *revmap;
326  BlockNumber pagesPerRange;
327  RevmapContents *contents;
328  ItemPointerData *iptr;
329  ItemPointerData invalidIptr;
330  BlockNumber revmapBlk;
331  Buffer revmapBuf;
332  Buffer regBuf;
333  Page revmapPg;
334  Page regPg;
335  OffsetNumber revmapOffset;
336  OffsetNumber regOffset;
337  ItemId lp;
338 
339  revmap = brinRevmapInitialize(idxrel, &pagesPerRange);
340 
341  revmapBlk = revmap_get_blkno(revmap, heapBlk);
342  if (!BlockNumberIsValid(revmapBlk))
343  {
344  /* revmap page doesn't exist: range not summarized, we're done */
345  brinRevmapTerminate(revmap);
346  return true;
347  }
348 
349  /* Lock the revmap page, obtain the index tuple pointer from it */
350  revmapBuf = brinLockRevmapPageForUpdate(revmap, heapBlk);
351  revmapPg = BufferGetPage(revmapBuf);
352  revmapOffset = HEAPBLK_TO_REVMAP_INDEX(revmap->rm_pagesPerRange, heapBlk);
353 
354  contents = (RevmapContents *) PageGetContents(revmapPg);
355  iptr = contents->rm_tids;
356  iptr += revmapOffset;
357 
358  if (!ItemPointerIsValid(iptr))
359  {
360  /* no index tuple: range not summarized, we're done */
361  LockBuffer(revmapBuf, BUFFER_LOCK_UNLOCK);
362  brinRevmapTerminate(revmap);
363  return true;
364  }
365 
366  regBuf = ReadBuffer(idxrel, ItemPointerGetBlockNumber(iptr));
368  regPg = BufferGetPage(regBuf);
369 
370  /* if this is no longer a regular page, tell caller to start over */
371  if (!BRIN_IS_REGULAR_PAGE(regPg))
372  {
373  LockBuffer(revmapBuf, BUFFER_LOCK_UNLOCK);
375  brinRevmapTerminate(revmap);
376  return false;
377  }
378 
379  regOffset = ItemPointerGetOffsetNumber(iptr);
380  if (regOffset > PageGetMaxOffsetNumber(regPg))
381  ereport(ERROR,
382  (errcode(ERRCODE_INDEX_CORRUPTED),
383  errmsg("corrupted BRIN index: inconsistent range map")));
384 
385  lp = PageGetItemId(regPg, regOffset);
386  if (!ItemIdIsUsed(lp))
387  ereport(ERROR,
388  (errcode(ERRCODE_INDEX_CORRUPTED),
389  errmsg("corrupted BRIN index: inconsistent range map")));
390 
391  /*
392  * Placeholder tuples only appear during unfinished summarization, and we
393  * hold ShareUpdateExclusiveLock, so this function cannot run concurrently
394  * with that. So any placeholder tuples that exist are leftovers from a
395  * crashed or aborted summarization; remove them silently.
396  */
397 
399 
400  ItemPointerSetInvalid(&invalidIptr);
401  brinSetHeapBlockItemptr(revmapBuf, revmap->rm_pagesPerRange, heapBlk,
402  invalidIptr);
403  PageIndexTupleDeleteNoCompact(regPg, regOffset);
404  /* XXX record free space in FSM? */
405 
406  MarkBufferDirty(regBuf);
407  MarkBufferDirty(revmapBuf);
408 
409  if (RelationNeedsWAL(idxrel))
410  {
411  xl_brin_desummarize xlrec;
412  XLogRecPtr recptr;
413 
414  xlrec.pagesPerRange = revmap->rm_pagesPerRange;
415  xlrec.heapBlk = heapBlk;
416  xlrec.regOffset = regOffset;
417 
418  XLogBeginInsert();
419  XLogRegisterData((char *) &xlrec, SizeOfBrinDesummarize);
420  XLogRegisterBuffer(0, revmapBuf, 0);
422  recptr = XLogInsert(RM_BRIN_ID, XLOG_BRIN_DESUMMARIZE);
423  PageSetLSN(revmapPg, recptr);
424  PageSetLSN(regPg, recptr);
425  }
426 
428 
429  UnlockReleaseBuffer(regBuf);
430  LockBuffer(revmapBuf, BUFFER_LOCK_UNLOCK);
431  brinRevmapTerminate(revmap);
432 
433  return true;
434 }
static bool BlockNumberIsValid(BlockNumber blockNumber)
Definition: block.h:71
void brinRevmapTerminate(BrinRevmap *revmap)
Definition: brin_revmap.c:100
BrinRevmap * brinRevmapInitialize(Relation idxrel, BlockNumber *pagesPerRange)
Definition: brin_revmap.c:70
void brinSetHeapBlockItemptr(Buffer buf, BlockNumber pagesPerRange, BlockNumber heapBlk, ItemPointerData tid)
Definition: brin_revmap.c:155
Buffer brinLockRevmapPageForUpdate(BrinRevmap *revmap, BlockNumber heapBlk)
Definition: brin_revmap.c:134
#define XLOG_BRIN_DESUMMARIZE
Definition: brin_xlog.h:36
#define SizeOfBrinDesummarize
Definition: brin_xlog.h:142
void UnlockReleaseBuffer(Buffer buffer)
Definition: bufmgr.c:4941
void MarkBufferDirty(Buffer buffer)
Definition: bufmgr.c:2532
void PageIndexTupleDeleteNoCompact(Page page, OffsetNumber offnum)
Definition: bufpage.c:1295
static void PageSetLSN(Page page, XLogRecPtr lsn)
Definition: bufpage.h:391
int errmsg(const char *fmt,...)
Definition: elog.c:1070
#define START_CRIT_SECTION()
Definition: miscadmin.h:149
#define END_CRIT_SECTION()
Definition: miscadmin.h:151
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
XLogRecPtr XLogInsert(RmgrId rmid, uint8 info)
Definition: xloginsert.c:474
void XLogRegisterData(const char *data, uint32 len)
Definition: xloginsert.c:364
void XLogRegisterBuffer(uint8 block_id, Buffer buffer, uint8 flags)
Definition: xloginsert.c:242
void XLogBeginInsert(void)
Definition: xloginsert.c:149
#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 112 of file brin_revmap.c.

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

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 
)

Definition at line 70 of file brin_revmap.c.

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

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, and BrinRevmap::rm_pagesPerRange.

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

◆ brinRevmapTerminate()

void brinRevmapTerminate ( BrinRevmap revmap)

Definition at line 100 of file brin_revmap.c.

101 {
102  ReleaseBuffer(revmap->rm_metaBuf);
103  if (revmap->rm_currBuf != InvalidBuffer)
104  ReleaseBuffer(revmap->rm_currBuf);
105  pfree(revmap);
106 }
void pfree(void *pointer)
Definition: mcxt.c:1521

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

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

◆ brinSetHeapBlockItemptr()

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

Definition at line 155 of file brin_revmap.c.

157 {
158  RevmapContents *contents;
159  ItemPointerData *iptr;
160  Page page;
161 
162  /* The correct page should already be pinned and locked */
163  page = BufferGetPage(buf);
164  contents = (RevmapContents *) PageGetContents(page);
165  iptr = (ItemPointerData *) contents->rm_tids;
166  iptr += HEAPBLK_TO_REVMAP_INDEX(pagesPerRange, heapBlk);
167 
168  if (ItemPointerIsValid(&tid))
169  ItemPointerSet(iptr,
172  else
173  ItemPointerSetInvalid(iptr);
174 }
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 500 of file brin_revmap.c.

501 {
502  BlockNumber targetblk;
503 
504  /* obtain revmap block number, skip 1 for metapage block */
505  targetblk = HEAPBLK_TO_REVMAP_BLK(revmap->rm_pagesPerRange, heapBlk) + 1;
506 
507  /* Extend the revmap, if necessary */
508  while (targetblk > revmap->rm_lastRevmapPage)
509  {
511  revmap_physical_extend(revmap);
512  }
513 
514  return targetblk;
515 }
static void revmap_physical_extend(BrinRevmap *revmap)
Definition: brin_revmap.c:522
#define HEAPBLK_TO_REVMAP_BLK(pagesPerRange, heapBlk)
Definition: brin_revmap.c:40

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 442 of file brin_revmap.c.

443 {
444  BlockNumber targetblk;
445 
446  /* obtain revmap block number, skip 1 for metapage block */
447  targetblk = HEAPBLK_TO_REVMAP_BLK(revmap->rm_pagesPerRange, heapBlk) + 1;
448 
449  /* Normal case: the revmap page is already allocated */
450  if (targetblk <= revmap->rm_lastRevmapPage)
451  return targetblk;
452 
453  return InvalidBlockNumber;
454 }

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 463 of file brin_revmap.c.

464 {
465  BlockNumber mapBlk;
466 
467  /* Translate the heap block number to physical index location. */
468  mapBlk = revmap_get_blkno(revmap, heapBlk);
469 
470  if (mapBlk == InvalidBlockNumber)
471  elog(ERROR, "revmap does not cover heap block %u", heapBlk);
472 
473  /* Ensure the buffer we got is in the expected range */
474  Assert(mapBlk != BRIN_METAPAGE_BLKNO &&
475  mapBlk <= revmap->rm_lastRevmapPage);
476 
477  /*
478  * Obtain the buffer from which we need to read. If we already have the
479  * correct buffer in our access struct, use that; otherwise, release that,
480  * (if valid) and read the one we need.
481  */
482  if (revmap->rm_currBuf == InvalidBuffer ||
483  mapBlk != BufferGetBlockNumber(revmap->rm_currBuf))
484  {
485  if (revmap->rm_currBuf != InvalidBuffer)
486  ReleaseBuffer(revmap->rm_currBuf);
487 
488  revmap->rm_currBuf = ReadBuffer(revmap->rm_irel, mapBlk);
489  }
490 
491  return revmap->rm_currBuf;
492 }
#define elog(elevel,...)
Definition: elog.h:225

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 522 of file brin_revmap.c.

523 {
524  Buffer buf;
525  Page page;
526  Page metapage;
527  BrinMetaPageData *metadata;
528  BlockNumber mapBlk;
529  BlockNumber nblocks;
530  Relation irel = revmap->rm_irel;
531 
532  /*
533  * Lock the metapage. This locks out concurrent extensions of the revmap,
534  * but note that we still need to grab the relation extension lock because
535  * another backend can extend the index with regular BRIN pages.
536  */
538  metapage = BufferGetPage(revmap->rm_metaBuf);
539  metadata = (BrinMetaPageData *) PageGetContents(metapage);
540 
541  /*
542  * Check that our cached lastRevmapPage value was up-to-date; if it
543  * wasn't, update the cached copy and have caller start over.
544  */
545  if (metadata->lastRevmapPage != revmap->rm_lastRevmapPage)
546  {
547  revmap->rm_lastRevmapPage = metadata->lastRevmapPage;
549  return;
550  }
551  mapBlk = metadata->lastRevmapPage + 1;
552 
553  nblocks = RelationGetNumberOfBlocks(irel);
554  if (mapBlk < nblocks)
555  {
556  buf = ReadBuffer(irel, mapBlk);
558  page = BufferGetPage(buf);
559  }
560  else
561  {
562  buf = ExtendBufferedRel(BMR_REL(irel), MAIN_FORKNUM, NULL,
563  EB_LOCK_FIRST);
564  if (BufferGetBlockNumber(buf) != mapBlk)
565  {
566  /*
567  * Very rare corner case: somebody extended the relation
568  * concurrently after we read its length. If this happens, give
569  * up and have caller start over. We will have to evacuate that
570  * page from under whoever is using it.
571  */
574  return;
575  }
576  page = BufferGetPage(buf);
577  }
578 
579  /* Check that it's a regular block (or an empty page) */
580  if (!PageIsNew(page) && !BRIN_IS_REGULAR_PAGE(page))
581  ereport(ERROR,
582  (errcode(ERRCODE_INDEX_CORRUPTED),
583  errmsg("unexpected page type 0x%04X in BRIN index \"%s\" block %u",
584  BrinPageType(page),
587 
588  /* If the page is in use, evacuate it and restart */
589  if (brin_start_evacuating_page(irel, buf))
590  {
592  brin_evacuate_page(irel, revmap->rm_pagesPerRange, revmap, buf);
593 
594  /* have caller start over */
595  return;
596  }
597 
598  /*
599  * Ok, we have now locked the metapage and the target block. Re-initialize
600  * the target block as a revmap page, and update the metapage.
601  */
603 
604  /* the rm_tids array is initialized to all invalid by PageInit */
607 
608  metadata->lastRevmapPage = mapBlk;
609 
610  /*
611  * Set pd_lower just past the end of the metadata. This is essential,
612  * because without doing so, metadata will be lost if xlog.c compresses
613  * the page. (We must do this here because pre-v11 versions of PG did not
614  * set the metapage's pd_lower correctly, so a pg_upgraded index might
615  * contain the wrong value.)
616  */
617  ((PageHeader) metapage)->pd_lower =
618  ((char *) metadata + sizeof(BrinMetaPageData)) - (char *) metapage;
619 
620  MarkBufferDirty(revmap->rm_metaBuf);
621 
622  if (RelationNeedsWAL(revmap->rm_irel))
623  {
624  xl_brin_revmap_extend xlrec;
625  XLogRecPtr recptr;
626 
627  xlrec.targetBlk = mapBlk;
628 
629  XLogBeginInsert();
630  XLogRegisterData((char *) &xlrec, SizeOfBrinRevmapExtend);
632 
634 
635  recptr = XLogInsert(RM_BRIN_ID, XLOG_BRIN_REVMAP_EXTEND);
636  PageSetLSN(metapage, recptr);
637  PageSetLSN(page, recptr);
638  }
639 
641 
643 
645 }
#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:564
bool brin_start_evacuating_page(Relation idxRel, Buffer buf)
Definition: brin_pageops.c:524
void brin_page_init(Page page, uint16 type)
Definition: brin_pageops.c:475
#define XLOG_BRIN_REVMAP_EXTEND
Definition: brin_xlog.h:35
#define SizeOfBrinRevmapExtend
Definition: brin_xlog.h:124
Buffer ExtendBufferedRel(BufferManagerRelation bmr, ForkNumber forkNum, BufferAccessStrategy strategy, uint32 flags)
Definition: bufmgr.c:846
#define RelationGetNumberOfBlocks(reln)
Definition: bufmgr.h:273
@ EB_LOCK_FIRST
Definition: bufmgr.h:86
#define BMR_REL(p_rel)
Definition: bufmgr.h:107
PageHeaderData * PageHeader
Definition: bufpage.h:173
static bool PageIsNew(Page page)
Definition: bufpage.h:233
#define RelationGetRelationName(relation)
Definition: rel.h:539
@ MAIN_FORKNUM
Definition: relpath.h:58
BlockNumber targetBlk
Definition: brin_xlog.h:121
#define REGBUF_WILL_INIT
Definition: xloginsert.h:33

References BMR_REL, 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(), EB_LOCK_FIRST, END_CRIT_SECTION, ereport, errcode(), errmsg(), ERROR, ExtendBufferedRel(), BrinMetaPageData::lastRevmapPage, LockBuffer(), MAIN_FORKNUM, MarkBufferDirty(), PageGetContents(), PageIsNew(), PageSetLSN(), ReadBuffer(), REGBUF_STANDARD, REGBUF_WILL_INIT, RelationGetNumberOfBlocks, RelationGetRelationName, RelationNeedsWAL, BrinRevmap::rm_irel, BrinRevmap::rm_lastRevmapPage, BrinRevmap::rm_metaBuf, BrinRevmap::rm_pagesPerRange, SizeOfBrinRevmapExtend, START_CRIT_SECTION, xl_brin_revmap_extend::targetBlk, UnlockReleaseBuffer(), XLOG_BRIN_REVMAP_EXTEND, XLogBeginInsert(), XLogInsert(), XLogRegisterBuffer(), and XLogRegisterData().

Referenced by revmap_extend_and_get_blkno().