PostgreSQL Source Code  git master
genam.c
Go to the documentation of this file.
1 /*-------------------------------------------------------------------------
2  *
3  * genam.c
4  * general index access method routines
5  *
6  * Portions Copyright (c) 1996-2020, PostgreSQL Global Development Group
7  * Portions Copyright (c) 1994, Regents of the University of California
8  *
9  *
10  * IDENTIFICATION
11  * src/backend/access/index/genam.c
12  *
13  * NOTES
14  * many of the old access method routines have been turned into
15  * macros and moved to genam.h -cim 4/30/91
16  *
17  *-------------------------------------------------------------------------
18  */
19 
20 #include "postgres.h"
21 
22 #include "access/genam.h"
23 #include "access/heapam.h"
24 #include "access/relscan.h"
25 #include "access/tableam.h"
26 #include "access/transam.h"
27 #include "catalog/index.h"
28 #include "lib/stringinfo.h"
29 #include "miscadmin.h"
30 #include "storage/bufmgr.h"
31 #include "storage/procarray.h"
32 #include "utils/acl.h"
33 #include "utils/builtins.h"
34 #include "utils/lsyscache.h"
35 #include "utils/rel.h"
36 #include "utils/rls.h"
37 #include "utils/ruleutils.h"
38 #include "utils/snapmgr.h"
39 #include "utils/syscache.h"
40 
41 
42 /* ----------------------------------------------------------------
43  * general access method routines
44  *
45  * All indexed access methods use an identical scan structure.
46  * We don't know how the various AMs do locking, however, so we don't
47  * do anything about that here.
48  *
49  * The intent is that an AM implementor will define a beginscan routine
50  * that calls RelationGetIndexScan, to fill in the scan, and then does
51  * whatever kind of locking he wants.
52  *
53  * At the end of a scan, the AM's endscan routine undoes the locking,
54  * but does *not* call IndexScanEnd --- the higher-level index_endscan
55  * routine does that. (We can't do it in the AM because index_endscan
56  * still needs to touch the IndexScanDesc after calling the AM.)
57  *
58  * Because of this, the AM does not have a choice whether to call
59  * RelationGetIndexScan or not; its beginscan routine must return an
60  * object made by RelationGetIndexScan. This is kinda ugly but not
61  * worth cleaning up now.
62  * ----------------------------------------------------------------
63  */
64 
65 /* ----------------
66  * RelationGetIndexScan -- Create and fill an IndexScanDesc.
67  *
68  * This routine creates an index scan structure and sets up initial
69  * contents for it.
70  *
71  * Parameters:
72  * indexRelation -- index relation for scan.
73  * nkeys -- count of scan keys (index qual conditions).
74  * norderbys -- count of index order-by operators.
75  *
76  * Returns:
77  * An initialized IndexScanDesc.
78  * ----------------
79  */
81 RelationGetIndexScan(Relation indexRelation, int nkeys, int norderbys)
82 {
83  IndexScanDesc scan;
84 
85  scan = (IndexScanDesc) palloc(sizeof(IndexScanDescData));
86 
87  scan->heapRelation = NULL; /* may be set later */
88  scan->xs_heapfetch = NULL;
89  scan->indexRelation = indexRelation;
90  scan->xs_snapshot = InvalidSnapshot; /* caller must initialize this */
91  scan->numberOfKeys = nkeys;
92  scan->numberOfOrderBys = norderbys;
93 
94  /*
95  * We allocate key workspace here, but it won't get filled until amrescan.
96  */
97  if (nkeys > 0)
98  scan->keyData = (ScanKey) palloc(sizeof(ScanKeyData) * nkeys);
99  else
100  scan->keyData = NULL;
101  if (norderbys > 0)
102  scan->orderByData = (ScanKey) palloc(sizeof(ScanKeyData) * norderbys);
103  else
104  scan->orderByData = NULL;
105 
106  scan->xs_want_itup = false; /* may be set later */
107 
108  /*
109  * During recovery we ignore killed tuples and don't bother to kill them
110  * either. We do this because the xmin on the primary node could easily be
111  * later than the xmin on the standby node, so that what the primary
112  * thinks is killed is supposed to be visible on standby. So for correct
113  * MVCC for queries during recovery we must ignore these hints and check
114  * all tuples. Do *not* set ignore_killed_tuples to true when running in a
115  * transaction that was started during recovery. xactStartedInRecovery
116  * should not be altered by index AMs.
117  */
118  scan->kill_prior_tuple = false;
121 
122  scan->opaque = NULL;
123 
124  scan->xs_itup = NULL;
125  scan->xs_itupdesc = NULL;
126  scan->xs_hitup = NULL;
127  scan->xs_hitupdesc = NULL;
128 
129  return scan;
130 }
131 
132 /* ----------------
133  * IndexScanEnd -- End an index scan.
134  *
135  * This routine just releases the storage acquired by
136  * RelationGetIndexScan(). Any AM-level resources are
137  * assumed to already have been released by the AM's
138  * endscan routine.
139  *
140  * Returns:
141  * None.
142  * ----------------
143  */
144 void
146 {
147  if (scan->keyData != NULL)
148  pfree(scan->keyData);
149  if (scan->orderByData != NULL)
150  pfree(scan->orderByData);
151 
152  pfree(scan);
153 }
154 
155 /*
156  * BuildIndexValueDescription
157  *
158  * Construct a string describing the contents of an index entry, in the
159  * form "(key_name, ...)=(key_value, ...)". This is currently used
160  * for building unique-constraint and exclusion-constraint error messages,
161  * so only key columns of the index are checked and printed.
162  *
163  * Note that if the user does not have permissions to view all of the
164  * columns involved then a NULL is returned. Returning a partial key seems
165  * unlikely to be useful and we have no way to know which of the columns the
166  * user provided (unlike in ExecBuildSlotValueDescription).
167  *
168  * The passed-in values/nulls arrays are the "raw" input to the index AM,
169  * e.g. results of FormIndexDatum --- this is not necessarily what is stored
170  * in the index, but it's what the user perceives to be stored.
171  *
172  * Note: if you change anything here, check whether
173  * ExecBuildSlotPartitionKeyDescription() in execMain.c needs a similar
174  * change.
175  */
176 char *
178  Datum *values, bool *isnull)
179 {
181  Form_pg_index idxrec;
182  int indnkeyatts;
183  int i;
184  int keyno;
185  Oid indexrelid = RelationGetRelid(indexRelation);
186  Oid indrelid;
187  AclResult aclresult;
188 
189  indnkeyatts = IndexRelationGetNumberOfKeyAttributes(indexRelation);
190 
191  /*
192  * Check permissions- if the user does not have access to view all of the
193  * key columns then return NULL to avoid leaking data.
194  *
195  * First check if RLS is enabled for the relation. If so, return NULL to
196  * avoid leaking data.
197  *
198  * Next we need to check table-level SELECT access and then, if there is
199  * no access there, check column-level permissions.
200  */
201  idxrec = indexRelation->rd_index;
202  indrelid = idxrec->indrelid;
203  Assert(indexrelid == idxrec->indexrelid);
204 
205  /* RLS check- if RLS is enabled then we don't return anything. */
206  if (check_enable_rls(indrelid, InvalidOid, true) == RLS_ENABLED)
207  return NULL;
208 
209  /* Table-level SELECT is enough, if the user has it */
210  aclresult = pg_class_aclcheck(indrelid, GetUserId(), ACL_SELECT);
211  if (aclresult != ACLCHECK_OK)
212  {
213  /*
214  * No table-level access, so step through the columns in the index and
215  * make sure the user has SELECT rights on all of them.
216  */
217  for (keyno = 0; keyno < indnkeyatts; keyno++)
218  {
219  AttrNumber attnum = idxrec->indkey.values[keyno];
220 
221  /*
222  * Note that if attnum == InvalidAttrNumber, then this is an index
223  * based on an expression and we return no detail rather than try
224  * to figure out what column(s) the expression includes and if the
225  * user has SELECT rights on them.
226  */
227  if (attnum == InvalidAttrNumber ||
228  pg_attribute_aclcheck(indrelid, attnum, GetUserId(),
230  {
231  /* No access, so clean up and return */
232  return NULL;
233  }
234  }
235  }
236 
237  initStringInfo(&buf);
238  appendStringInfo(&buf, "(%s)=(",
239  pg_get_indexdef_columns(indexrelid, true));
240 
241  for (i = 0; i < indnkeyatts; i++)
242  {
243  char *val;
244 
245  if (isnull[i])
246  val = "null";
247  else
248  {
249  Oid foutoid;
250  bool typisvarlena;
251 
252  /*
253  * The provided data is not necessarily of the type stored in the
254  * index; rather it is of the index opclass's input type. So look
255  * at rd_opcintype not the index tupdesc.
256  *
257  * Note: this is a bit shaky for opclasses that have pseudotype
258  * input types such as ANYARRAY or RECORD. Currently, the
259  * typoutput functions associated with the pseudotypes will work
260  * okay, but we might have to try harder in future.
261  */
262  getTypeOutputInfo(indexRelation->rd_opcintype[i],
263  &foutoid, &typisvarlena);
264  val = OidOutputFunctionCall(foutoid, values[i]);
265  }
266 
267  if (i > 0)
268  appendStringInfoString(&buf, ", ");
269  appendStringInfoString(&buf, val);
270  }
271 
272  appendStringInfoChar(&buf, ')');
273 
274  return buf.data;
275 }
276 
277 /*
278  * Get the latestRemovedXid from the table entries pointed at by the index
279  * tuples being deleted.
280  *
281  * Note: index access methods that don't consistently use the standard
282  * IndexTuple + heap TID item pointer representation will need to provide
283  * their own version of this function.
284  */
287  Relation hrel,
288  Buffer ibuf,
289  OffsetNumber *itemnos,
290  int nitems)
291 {
292  ItemPointerData *ttids =
293  (ItemPointerData *) palloc(sizeof(ItemPointerData) * nitems);
294  TransactionId latestRemovedXid = InvalidTransactionId;
295  Page ipage = BufferGetPage(ibuf);
296  IndexTuple itup;
297 
298  /* identify what the index tuples about to be deleted point to */
299  for (int i = 0; i < nitems; i++)
300  {
301  ItemId iitemid;
302 
303  iitemid = PageGetItemId(ipage, itemnos[i]);
304  itup = (IndexTuple) PageGetItem(ipage, iitemid);
305 
306  ItemPointerCopy(&itup->t_tid, &ttids[i]);
307  }
308 
309  /* determine the actual xid horizon */
310  latestRemovedXid =
311  table_compute_xid_horizon_for_tuples(hrel, ttids, nitems);
312 
313  pfree(ttids);
314 
315  return latestRemovedXid;
316 }
317 
318 
319 /* ----------------------------------------------------------------
320  * heap-or-index-scan access to system catalogs
321  *
322  * These functions support system catalog accesses that normally use
323  * an index but need to be capable of being switched to heap scans
324  * if the system indexes are unavailable.
325  *
326  * The specified scan keys must be compatible with the named index.
327  * Generally this means that they must constrain either all columns
328  * of the index, or the first K columns of an N-column index.
329  *
330  * These routines could work with non-system tables, actually,
331  * but they're only useful when there is a known index to use with
332  * the given scan keys; so in practice they're only good for
333  * predetermined types of scans of system catalogs.
334  * ----------------------------------------------------------------
335  */
336 
337 /*
338  * systable_beginscan --- set up for heap-or-index scan
339  *
340  * rel: catalog to scan, already opened and suitably locked
341  * indexId: OID of index to conditionally use
342  * indexOK: if false, forces a heap scan (see notes below)
343  * snapshot: time qual to use (NULL for a recent catalog snapshot)
344  * nkeys, key: scan keys
345  *
346  * The attribute numbers in the scan key should be set for the heap case.
347  * If we choose to index, we reset them to 1..n to reference the index
348  * columns. Note this means there must be one scankey qualification per
349  * index column! This is checked by the Asserts in the normal, index-using
350  * case, but won't be checked if the heapscan path is taken.
351  *
352  * The routine checks the normal cases for whether an indexscan is safe,
353  * but caller can make additional checks and pass indexOK=false if needed.
354  * In standard case indexOK can simply be constant TRUE.
355  */
358  Oid indexId,
359  bool indexOK,
360  Snapshot snapshot,
361  int nkeys, ScanKey key)
362 {
363  SysScanDesc sysscan;
364  Relation irel;
365 
366  if (indexOK &&
368  !ReindexIsProcessingIndex(indexId))
369  irel = index_open(indexId, AccessShareLock);
370  else
371  irel = NULL;
372 
373  sysscan = (SysScanDesc) palloc(sizeof(SysScanDescData));
374 
375  sysscan->heap_rel = heapRelation;
376  sysscan->irel = irel;
377  sysscan->slot = table_slot_create(heapRelation, NULL);
378 
379  if (snapshot == NULL)
380  {
381  Oid relid = RelationGetRelid(heapRelation);
382 
383  snapshot = RegisterSnapshot(GetCatalogSnapshot(relid));
384  sysscan->snapshot = snapshot;
385  }
386  else
387  {
388  /* Caller is responsible for any snapshot. */
389  sysscan->snapshot = NULL;
390  }
391 
392  if (irel)
393  {
394  int i;
395 
396  /* Change attribute numbers to be index column numbers. */
397  for (i = 0; i < nkeys; i++)
398  {
399  int j;
400 
401  for (j = 0; j < IndexRelationGetNumberOfAttributes(irel); j++)
402  {
403  if (key[i].sk_attno == irel->rd_index->indkey.values[j])
404  {
405  key[i].sk_attno = j + 1;
406  break;
407  }
408  }
409  if (j == IndexRelationGetNumberOfAttributes(irel))
410  elog(ERROR, "column is not in index");
411  }
412 
413  sysscan->iscan = index_beginscan(heapRelation, irel,
414  snapshot, nkeys, 0);
415  index_rescan(sysscan->iscan, key, nkeys, NULL, 0);
416  sysscan->scan = NULL;
417  }
418  else
419  {
420  /*
421  * We disallow synchronized scans when forced to use a heapscan on a
422  * catalog. In most cases the desired rows are near the front, so
423  * that the unpredictable start point of a syncscan is a serious
424  * disadvantage; and there are no compensating advantages, because
425  * it's unlikely that such scans will occur in parallel.
426  */
427  sysscan->scan = table_beginscan_strat(heapRelation, snapshot,
428  nkeys, key,
429  true, false);
430  sysscan->iscan = NULL;
431  }
432 
433  /*
434  * If CheckXidAlive is set then set a flag to indicate that system table
435  * scan is in-progress. See detailed comments in xact.c where these
436  * variables are declared.
437  */
439  bsysscan = true;
440 
441  return sysscan;
442 }
443 
444 /*
445  * HandleConcurrentAbort - Handle concurrent abort of the CheckXidAlive.
446  *
447  * Error out, if CheckXidAlive is aborted. We can't directly use
448  * TransactionIdDidAbort as after crash such transaction might not have been
449  * marked as aborted. See detailed comments in xact.c where the variable
450  * is declared.
451  */
452 static inline void
454 {
458  ereport(ERROR,
459  (errcode(ERRCODE_TRANSACTION_ROLLBACK),
460  errmsg("transaction aborted during system catalog scan")));
461 }
462 
463 /*
464  * systable_getnext --- get next tuple in a heap-or-index scan
465  *
466  * Returns NULL if no more tuples available.
467  *
468  * Note that returned tuple is a reference to data in a disk buffer;
469  * it must not be modified, and should be presumed inaccessible after
470  * next getnext() or endscan() call.
471  *
472  * XXX: It'd probably make sense to offer a slot based interface, at least
473  * optionally.
474  */
475 HeapTuple
477 {
478  HeapTuple htup = NULL;
479 
480  if (sysscan->irel)
481  {
482  if (index_getnext_slot(sysscan->iscan, ForwardScanDirection, sysscan->slot))
483  {
484  bool shouldFree;
485 
486  htup = ExecFetchSlotHeapTuple(sysscan->slot, false, &shouldFree);
487  Assert(!shouldFree);
488 
489  /*
490  * We currently don't need to support lossy index operators for
491  * any system catalog scan. It could be done here, using the scan
492  * keys to drive the operator calls, if we arranged to save the
493  * heap attnums during systable_beginscan(); this is practical
494  * because we still wouldn't need to support indexes on
495  * expressions.
496  */
497  if (sysscan->iscan->xs_recheck)
498  elog(ERROR, "system catalog scans with lossy index conditions are not implemented");
499  }
500  }
501  else
502  {
503  if (table_scan_getnextslot(sysscan->scan, ForwardScanDirection, sysscan->slot))
504  {
505  bool shouldFree;
506 
507  htup = ExecFetchSlotHeapTuple(sysscan->slot, false, &shouldFree);
508  Assert(!shouldFree);
509  }
510  }
511 
512  /*
513  * Handle the concurrent abort while fetching the catalog tuple during
514  * logical streaming of a transaction.
515  */
517 
518  return htup;
519 }
520 
521 /*
522  * systable_recheck_tuple --- recheck visibility of most-recently-fetched tuple
523  *
524  * In particular, determine if this tuple would be visible to a catalog scan
525  * that started now. We don't handle the case of a non-MVCC scan snapshot,
526  * because no caller needs that yet.
527  *
528  * This is useful to test whether an object was deleted while we waited to
529  * acquire lock on it.
530  *
531  * Note: we don't actually *need* the tuple to be passed in, but it's a
532  * good crosscheck that the caller is interested in the right tuple.
533  */
534 bool
536 {
537  Snapshot freshsnap;
538  bool result;
539 
540  Assert(tup == ExecFetchSlotHeapTuple(sysscan->slot, false, NULL));
541 
542  /*
543  * Trust that table_tuple_satisfies_snapshot() and its subsidiaries
544  * (commonly LockBuffer() and HeapTupleSatisfiesMVCC()) do not themselves
545  * acquire snapshots, so we need not register the snapshot. Those
546  * facilities are too low-level to have any business scanning tables.
547  */
548  freshsnap = GetCatalogSnapshot(RelationGetRelid(sysscan->heap_rel));
549 
550  result = table_tuple_satisfies_snapshot(sysscan->heap_rel,
551  sysscan->slot,
552  freshsnap);
553 
554  /*
555  * Handle the concurrent abort while fetching the catalog tuple during
556  * logical streaming of a transaction.
557  */
559 
560  return result;
561 }
562 
563 /*
564  * systable_endscan --- close scan, release resources
565  *
566  * Note that it's still up to the caller to close the heap relation.
567  */
568 void
570 {
571  if (sysscan->slot)
572  {
574  sysscan->slot = NULL;
575  }
576 
577  if (sysscan->irel)
578  {
579  index_endscan(sysscan->iscan);
580  index_close(sysscan->irel, AccessShareLock);
581  }
582  else
583  table_endscan(sysscan->scan);
584 
585  if (sysscan->snapshot)
586  UnregisterSnapshot(sysscan->snapshot);
587 
588  /*
589  * Reset the bsysscan flag at the end of the systable scan. See
590  * detailed comments in xact.c where these variables are declared.
591  */
593  bsysscan = false;
594 
595  pfree(sysscan);
596 }
597 
598 
599 /*
600  * systable_beginscan_ordered --- set up for ordered catalog scan
601  *
602  * These routines have essentially the same API as systable_beginscan etc,
603  * except that they guarantee to return multiple matching tuples in
604  * index order. Also, for largely historical reasons, the index to use
605  * is opened and locked by the caller, not here.
606  *
607  * Currently we do not support non-index-based scans here. (In principle
608  * we could do a heapscan and sort, but the uses are in places that
609  * probably don't need to still work with corrupted catalog indexes.)
610  * For the moment, therefore, these functions are merely the thinnest of
611  * wrappers around index_beginscan/index_getnext_slot. The main reason for
612  * their existence is to centralize possible future support of lossy operators
613  * in catalog scans.
614  */
617  Relation indexRelation,
618  Snapshot snapshot,
619  int nkeys, ScanKey key)
620 {
621  SysScanDesc sysscan;
622  int i;
623 
624  /* REINDEX can probably be a hard error here ... */
625  if (ReindexIsProcessingIndex(RelationGetRelid(indexRelation)))
626  elog(ERROR, "cannot do ordered scan on index \"%s\", because it is being reindexed",
627  RelationGetRelationName(indexRelation));
628  /* ... but we only throw a warning about violating IgnoreSystemIndexes */
630  elog(WARNING, "using index \"%s\" despite IgnoreSystemIndexes",
631  RelationGetRelationName(indexRelation));
632 
633  sysscan = (SysScanDesc) palloc(sizeof(SysScanDescData));
634 
635  sysscan->heap_rel = heapRelation;
636  sysscan->irel = indexRelation;
637  sysscan->slot = table_slot_create(heapRelation, NULL);
638 
639  if (snapshot == NULL)
640  {
641  Oid relid = RelationGetRelid(heapRelation);
642 
643  snapshot = RegisterSnapshot(GetCatalogSnapshot(relid));
644  sysscan->snapshot = snapshot;
645  }
646  else
647  {
648  /* Caller is responsible for any snapshot. */
649  sysscan->snapshot = NULL;
650  }
651 
652  /* Change attribute numbers to be index column numbers. */
653  for (i = 0; i < nkeys; i++)
654  {
655  int j;
656 
657  for (j = 0; j < IndexRelationGetNumberOfAttributes(indexRelation); j++)
658  {
659  if (key[i].sk_attno == indexRelation->rd_index->indkey.values[j])
660  {
661  key[i].sk_attno = j + 1;
662  break;
663  }
664  }
665  if (j == IndexRelationGetNumberOfAttributes(indexRelation))
666  elog(ERROR, "column is not in index");
667  }
668 
669  sysscan->iscan = index_beginscan(heapRelation, indexRelation,
670  snapshot, nkeys, 0);
671  index_rescan(sysscan->iscan, key, nkeys, NULL, 0);
672  sysscan->scan = NULL;
673 
674  return sysscan;
675 }
676 
677 /*
678  * systable_getnext_ordered --- get next tuple in an ordered catalog scan
679  */
680 HeapTuple
682 {
683  HeapTuple htup = NULL;
684 
685  Assert(sysscan->irel);
686  if (index_getnext_slot(sysscan->iscan, direction, sysscan->slot))
687  htup = ExecFetchSlotHeapTuple(sysscan->slot, false, NULL);
688 
689  /* See notes in systable_getnext */
690  if (htup && sysscan->iscan->xs_recheck)
691  elog(ERROR, "system catalog scans with lossy index conditions are not implemented");
692 
693  /*
694  * Handle the concurrent abort while fetching the catalog tuple during
695  * logical streaming of a transaction.
696  */
698 
699  return htup;
700 }
701 
702 /*
703  * systable_endscan_ordered --- close scan, release resources
704  */
705 void
707 {
708  if (sysscan->slot)
709  {
711  sysscan->slot = NULL;
712  }
713 
714  Assert(sysscan->irel);
715  index_endscan(sysscan->iscan);
716  if (sysscan->snapshot)
717  UnregisterSnapshot(sysscan->snapshot);
718  pfree(sysscan);
719 }
TupleTableSlot * table_slot_create(Relation relation, List **reglist)
Definition: tableam.c:91
Relation irel
Definition: relscan.h:181
struct SysScanDescData * SysScanDesc
Definition: genam.h:88
void getTypeOutputInfo(Oid type, Oid *typOutput, bool *typIsVarlena)
Definition: lsyscache.c:2784
Relation heap_rel
Definition: relscan.h:180
void systable_endscan(SysScanDesc sysscan)
Definition: genam.c:569
bool TransactionStartedDuringRecovery(void)
Definition: xact.c:970
uint32 TransactionId
Definition: c.h:521
struct ScanKeyData * orderByData
Definition: relscan.h:120
IndexTuple xs_itup
Definition: relscan.h:139
Snapshot RegisterSnapshot(Snapshot snapshot)
Definition: snapmgr.c:810
AclResult pg_attribute_aclcheck(Oid table_oid, AttrNumber attnum, Oid roleid, AclMode mode)
Definition: aclchk.c:4449
Oid GetUserId(void)
Definition: miscinit.c:476
struct SnapshotData * snapshot
Definition: relscan.h:184
bool TransactionIdIsInProgress(TransactionId xid)
Definition: procarray.c:1305
struct TupleDescData * xs_itupdesc
Definition: relscan.h:140
struct TupleDescData * xs_hitupdesc
Definition: relscan.h:142
ItemPointerData t_tid
Definition: itup.h:37
Snapshot GetCatalogSnapshot(Oid relid)
Definition: snapmgr.c:386
#define AccessShareLock
Definition: lockdefs.h:36
char * pg_get_indexdef_columns(Oid indexrelid, bool pretty)
Definition: ruleutils.c:1169
void index_rescan(IndexScanDesc scan, ScanKey keys, int nkeys, ScanKey orderbys, int norderbys)
Definition: indexam.c:295
int errcode(int sqlerrcode)
Definition: elog.c:610
struct SnapshotData * xs_snapshot
Definition: relscan.h:116
bool IgnoreSystemIndexes
Definition: miscinit.c:79
bool TransactionIdDidCommit(TransactionId transactionId)
Definition: transam.c:125
HeapTuple systable_getnext_ordered(SysScanDesc sysscan, ScanDirection direction)
Definition: genam.c:681
static bool table_scan_getnextslot(TableScanDesc sscan, ScanDirection direction, TupleTableSlot *slot)
Definition: tableam.h:904
unsigned int Oid
Definition: postgres_ext.h:31
struct IndexScanDescData * iscan
Definition: relscan.h:183
struct TupleTableSlot * slot
Definition: relscan.h:185
SysScanDesc systable_beginscan(Relation heapRelation, Oid indexId, bool indexOK, Snapshot snapshot, int nkeys, ScanKey key)
Definition: genam.c:357
static TableScanDesc table_beginscan_strat(Relation rel, Snapshot snapshot, int nkeys, struct ScanKeyData *key, bool allow_strat, bool allow_sync)
Definition: tableam.h:779
bool ignore_killed_tuples
Definition: relscan.h:126
Relation indexRelation
Definition: relscan.h:115
uint16 OffsetNumber
Definition: off.h:24
bool systable_recheck_tuple(SysScanDesc sysscan, HeapTuple tup)
Definition: genam.c:535
Relation heapRelation
Definition: relscan.h:114
static TransactionId table_compute_xid_horizon_for_tuples(Relation rel, ItemPointerData *items, int nitems)
Definition: tableam.h:1130
Form_pg_index rd_index
Definition: rel.h:174
HeapTuple systable_getnext(SysScanDesc sysscan)
Definition: genam.c:476
void pfree(void *pointer)
Definition: mcxt.c:1057
void appendStringInfo(StringInfo str, const char *fmt,...)
Definition: stringinfo.c:91
#define ERROR
Definition: elog.h:43
struct TableScanDescData * scan
Definition: relscan.h:182
bool bsysscan
Definition: xact.c:96
void appendStringInfoString(StringInfo str, const char *s)
Definition: stringinfo.c:176
static char * buf
Definition: pg_test_fsync.c:68
void ExecDropSingleTupleTableSlot(TupleTableSlot *slot)
Definition: execTuples.c:1224
bool xactStartedInRecovery
Definition: relscan.h:127
ScanKeyData * ScanKey
Definition: skey.h:75
IndexTupleData * IndexTuple
Definition: itup.h:53
ScanDirection
Definition: sdir.h:22
#define IndexRelationGetNumberOfAttributes(relation)
Definition: rel.h:468
#define InvalidTransactionId
Definition: transam.h:31
#define RelationGetRelationName(relation)
Definition: rel.h:490
void IndexScanEnd(IndexScanDesc scan)
Definition: genam.c:145
#define IndexRelationGetNumberOfKeyAttributes(relation)
Definition: rel.h:475
void index_endscan(IndexScanDesc scan)
Definition: indexam.c:321
#define BufferGetPage(buffer)
Definition: bufmgr.h:169
HeapTuple ExecFetchSlotHeapTuple(TupleTableSlot *slot, bool materialize, bool *shouldFree)
Definition: execTuples.c:1614
void UnregisterSnapshot(Snapshot snapshot)
Definition: snapmgr.c:852
void appendStringInfoChar(StringInfo str, char ch)
Definition: stringinfo.c:188
void initStringInfo(StringInfo str)
Definition: stringinfo.c:59
#define WARNING
Definition: elog.h:40
TransactionId CheckXidAlive
Definition: xact.c:95
FormData_pg_index * Form_pg_index
Definition: pg_index.h:68
#define PageGetItemId(page, offsetNumber)
Definition: bufpage.h:235
#define InvalidSnapshot
Definition: snapshot.h:123
AclResult
Definition: acl.h:177
uintptr_t Datum
Definition: postgres.h:367
#define ACL_SELECT
Definition: parsenodes.h:75
void systable_endscan_ordered(SysScanDesc sysscan)
Definition: genam.c:706
#define InvalidOid
Definition: postgres_ext.h:36
int16 attnum
Definition: pg_attribute.h:79
#define ereport(elevel,...)
Definition: elog.h:144
int check_enable_rls(Oid relid, Oid checkAsUser, bool noError)
Definition: rls.c:52
static bool table_tuple_satisfies_snapshot(Relation rel, TupleTableSlot *slot, Snapshot snapshot)
Definition: tableam.h:1118
#define Assert(condition)
Definition: c.h:746
IndexFetchTableData * xs_heapfetch
Definition: relscan.h:147
bool index_getnext_slot(IndexScanDesc scan, ScanDirection direction, TupleTableSlot *slot)
Definition: indexam.c:614
#define InvalidAttrNumber
Definition: attnum.h:23
void index_close(Relation relation, LOCKMODE lockmode)
Definition: indexam.c:158
AclResult pg_class_aclcheck(Oid table_oid, Oid roleid, AclMode mode)
Definition: aclchk.c:4563
struct ScanKeyData * keyData
Definition: relscan.h:119
static void table_endscan(TableScanDesc scan)
Definition: tableam.h:863
static Datum values[MAXATTR]
Definition: bootstrap.c:165
char * OidOutputFunctionCall(Oid functionId, Datum val)
Definition: fmgr.c:1657
void * palloc(Size size)
Definition: mcxt.c:950
int errmsg(const char *fmt,...)
Definition: elog.c:821
SysScanDesc systable_beginscan_ordered(Relation heapRelation, Relation indexRelation, Snapshot snapshot, int nkeys, ScanKey key)
Definition: genam.c:616
HeapTuple xs_hitup
Definition: relscan.h:141
#define elog(elevel,...)
Definition: elog.h:214
int i
bool kill_prior_tuple
Definition: relscan.h:125
IndexScanDesc RelationGetIndexScan(Relation indexRelation, int nkeys, int norderbys)
Definition: genam.c:81
int numberOfOrderBys
Definition: relscan.h:118
char * BuildIndexValueDescription(Relation indexRelation, Datum *values, bool *isnull)
Definition: genam.c:177
#define TransactionIdIsValid(xid)
Definition: transam.h:41
Oid * rd_opcintype
Definition: rel.h:190
bool ReindexIsProcessingIndex(Oid indexOid)
Definition: index.c:3845
static void HandleConcurrentAbort()
Definition: genam.c:453
int Buffer
Definition: buf.h:23
struct IndexScanDescData * IndexScanDesc
Definition: genam.h:87
int16 AttrNumber
Definition: attnum.h:21
#define RelationGetRelid(relation)
Definition: rel.h:456
long val
Definition: informix.c:664
Relation index_open(Oid relationId, LOCKMODE lockmode)
Definition: indexam.c:132
#define PageGetItem(page, itemId)
Definition: bufpage.h:340
AttrNumber sk_attno
Definition: skey.h:67
Pointer Page
Definition: bufpage.h:78
IndexScanDesc index_beginscan(Relation heapRelation, Relation indexRelation, Snapshot snapshot, int nkeys, int norderbys)
Definition: indexam.c:203
#define ItemPointerCopy(fromPointer, toPointer)
Definition: itemptr.h:161
TransactionId index_compute_xid_horizon_for_tuples(Relation irel, Relation hrel, Buffer ibuf, OffsetNumber *itemnos, int nitems)
Definition: genam.c:286