PostgreSQL Source Code  git master
genam.c File Reference
#include "postgres.h"
#include "access/genam.h"
#include "access/heapam.h"
#include "access/relscan.h"
#include "access/tableam.h"
#include "access/transam.h"
#include "catalog/index.h"
#include "lib/stringinfo.h"
#include "miscadmin.h"
#include "storage/bufmgr.h"
#include "storage/procarray.h"
#include "utils/acl.h"
#include "utils/injection_point.h"
#include "utils/lsyscache.h"
#include "utils/rel.h"
#include "utils/rls.h"
#include "utils/ruleutils.h"
#include "utils/snapmgr.h"
Include dependency graph for genam.c:

Go to the source code of this file.

Functions

IndexScanDesc RelationGetIndexScan (Relation indexRelation, int nkeys, int norderbys)
 
void IndexScanEnd (IndexScanDesc scan)
 
char * BuildIndexValueDescription (Relation indexRelation, const Datum *values, const bool *isnull)
 
TransactionId index_compute_xid_horizon_for_tuples (Relation irel, Relation hrel, Buffer ibuf, OffsetNumber *itemnos, int nitems)
 
SysScanDesc systable_beginscan (Relation heapRelation, Oid indexId, bool indexOK, Snapshot snapshot, int nkeys, ScanKey key)
 
static void HandleConcurrentAbort ()
 
HeapTuple systable_getnext (SysScanDesc sysscan)
 
bool systable_recheck_tuple (SysScanDesc sysscan, HeapTuple tup)
 
void systable_endscan (SysScanDesc sysscan)
 
SysScanDesc systable_beginscan_ordered (Relation heapRelation, Relation indexRelation, Snapshot snapshot, int nkeys, ScanKey key)
 
HeapTuple systable_getnext_ordered (SysScanDesc sysscan, ScanDirection direction)
 
void systable_endscan_ordered (SysScanDesc sysscan)
 
void systable_inplace_update_begin (Relation relation, Oid indexId, bool indexOK, Snapshot snapshot, int nkeys, const ScanKeyData *key, HeapTuple *oldtupcopy, void **state)
 
void systable_inplace_update_finish (void *state, HeapTuple tuple)
 
void systable_inplace_update_cancel (void *state)
 

Function Documentation

◆ BuildIndexValueDescription()

char* BuildIndexValueDescription ( Relation  indexRelation,
const Datum values,
const bool isnull 
)

Definition at line 177 of file genam.c.

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 ||
230  {
231  /* No access, so clean up and return */
232  return NULL;
233  }
234  }
235  }
236 
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, ", ");
270  }
271 
272  appendStringInfoChar(&buf, ')');
273 
274  return buf.data;
275 }
AclResult
Definition: acl.h:182
@ ACLCHECK_OK
Definition: acl.h:183
AclResult pg_attribute_aclcheck(Oid table_oid, AttrNumber attnum, Oid roleid, AclMode mode)
Definition: aclchk.c:3923
AclResult pg_class_aclcheck(Oid table_oid, Oid roleid, AclMode mode)
Definition: aclchk.c:4094
int16 AttrNumber
Definition: attnum.h:21
#define InvalidAttrNumber
Definition: attnum.h:23
static Datum values[MAXATTR]
Definition: bootstrap.c:150
#define Assert(condition)
Definition: c.h:849
char * OidOutputFunctionCall(Oid functionId, Datum val)
Definition: fmgr.c:1763
long val
Definition: informix.c:689
int i
Definition: isn.c:73
void getTypeOutputInfo(Oid type, Oid *typOutput, bool *typIsVarlena)
Definition: lsyscache.c:2907
Oid GetUserId(void)
Definition: miscinit.c:514
#define ACL_SELECT
Definition: parsenodes.h:77
int16 attnum
Definition: pg_attribute.h:74
FormData_pg_index * Form_pg_index
Definition: pg_index.h:70
static char * buf
Definition: pg_test_fsync.c:73
#define InvalidOid
Definition: postgres_ext.h:36
unsigned int Oid
Definition: postgres_ext.h:31
#define RelationGetRelid(relation)
Definition: rel.h:505
#define IndexRelationGetNumberOfKeyAttributes(relation)
Definition: rel.h:524
int check_enable_rls(Oid relid, Oid checkAsUser, bool noError)
Definition: rls.c:52
@ RLS_ENABLED
Definition: rls.h:45
char * pg_get_indexdef_columns(Oid indexrelid, bool pretty)
Definition: ruleutils.c:1229
void appendStringInfo(StringInfo str, const char *fmt,...)
Definition: stringinfo.c:97
void appendStringInfoString(StringInfo str, const char *s)
Definition: stringinfo.c:182
void appendStringInfoChar(StringInfo str, char ch)
Definition: stringinfo.c:194
void initStringInfo(StringInfo str)
Definition: stringinfo.c:59
Oid * rd_opcintype
Definition: rel.h:208
Form_pg_index rd_index
Definition: rel.h:192

References ACL_SELECT, ACLCHECK_OK, appendStringInfo(), appendStringInfoChar(), appendStringInfoString(), Assert, attnum, buf, check_enable_rls(), getTypeOutputInfo(), GetUserId(), i, IndexRelationGetNumberOfKeyAttributes, initStringInfo(), InvalidAttrNumber, InvalidOid, OidOutputFunctionCall(), pg_attribute_aclcheck(), pg_class_aclcheck(), pg_get_indexdef_columns(), RelationData::rd_index, RelationData::rd_opcintype, RelationGetRelid, RLS_ENABLED, val, and values.

Referenced by _bt_check_unique(), build_index_value_desc(), check_exclusion_or_unique_constraint(), and comparetup_index_btree_tiebreak().

◆ HandleConcurrentAbort()

static void HandleConcurrentAbort ( )
inlinestatic

Definition at line 488 of file genam.c.

489 {
493  ereport(ERROR,
494  (errcode(ERRCODE_TRANSACTION_ROLLBACK),
495  errmsg("transaction aborted during system catalog scan")));
496 }
int errcode(int sqlerrcode)
Definition: elog.c:853
int errmsg(const char *fmt,...)
Definition: elog.c:1070
#define ERROR
Definition: elog.h:39
#define ereport(elevel,...)
Definition: elog.h:149
bool TransactionIdIsInProgress(TransactionId xid)
Definition: procarray.c:1402
bool TransactionIdDidCommit(TransactionId transactionId)
Definition: transam.c:126
#define TransactionIdIsValid(xid)
Definition: transam.h:41
TransactionId CheckXidAlive
Definition: xact.c:98

References CheckXidAlive, ereport, errcode(), errmsg(), ERROR, TransactionIdDidCommit(), TransactionIdIsInProgress(), and TransactionIdIsValid.

Referenced by systable_getnext(), systable_getnext_ordered(), and systable_recheck_tuple().

◆ index_compute_xid_horizon_for_tuples()

TransactionId index_compute_xid_horizon_for_tuples ( Relation  irel,
Relation  hrel,
Buffer  ibuf,
OffsetNumber itemnos,
int  nitems 
)

Definition at line 294 of file genam.c.

299 {
300  TM_IndexDeleteOp delstate;
301  TransactionId snapshotConflictHorizon = InvalidTransactionId;
302  Page ipage = BufferGetPage(ibuf);
303  IndexTuple itup;
304 
305  Assert(nitems > 0);
306 
307  delstate.irel = irel;
308  delstate.iblknum = BufferGetBlockNumber(ibuf);
309  delstate.bottomup = false;
310  delstate.bottomupfreespace = 0;
311  delstate.ndeltids = 0;
312  delstate.deltids = palloc(nitems * sizeof(TM_IndexDelete));
313  delstate.status = palloc(nitems * sizeof(TM_IndexStatus));
314 
315  /* identify what the index tuples about to be deleted point to */
316  for (int i = 0; i < nitems; i++)
317  {
318  OffsetNumber offnum = itemnos[i];
319  ItemId iitemid;
320 
321  iitemid = PageGetItemId(ipage, offnum);
322  itup = (IndexTuple) PageGetItem(ipage, iitemid);
323 
324  Assert(ItemIdIsDead(iitemid));
325 
326  ItemPointerCopy(&itup->t_tid, &delstate.deltids[i].tid);
327  delstate.deltids[i].id = delstate.ndeltids;
328  delstate.status[i].idxoffnum = offnum;
329  delstate.status[i].knowndeletable = true; /* LP_DEAD-marked */
330  delstate.status[i].promising = false; /* unused */
331  delstate.status[i].freespace = 0; /* unused */
332 
333  delstate.ndeltids++;
334  }
335 
336  /* determine the actual xid horizon */
337  snapshotConflictHorizon = table_index_delete_tuples(hrel, &delstate);
338 
339  /* assert tableam agrees that all items are deletable */
340  Assert(delstate.ndeltids == nitems);
341 
342  pfree(delstate.deltids);
343  pfree(delstate.status);
344 
345  return snapshotConflictHorizon;
346 }
BlockNumber BufferGetBlockNumber(Buffer buffer)
Definition: bufmgr.c:3724
static Page BufferGetPage(Buffer buffer)
Definition: bufmgr.h:400
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
uint32 TransactionId
Definition: c.h:643
#define nitems(x)
Definition: indent.h:31
#define ItemIdIsDead(itemId)
Definition: itemid.h:113
static void ItemPointerCopy(const ItemPointerData *fromPointer, ItemPointerData *toPointer)
Definition: itemptr.h:172
IndexTupleData * IndexTuple
Definition: itup.h:53
void pfree(void *pointer)
Definition: mcxt.c:1521
void * palloc(Size size)
Definition: mcxt.c:1317
uint16 OffsetNumber
Definition: off.h:24
ItemPointerData t_tid
Definition: itup.h:37
TM_IndexStatus * status
Definition: tableam.h:255
int bottomupfreespace
Definition: tableam.h:250
Relation irel
Definition: tableam.h:247
TM_IndexDelete * deltids
Definition: tableam.h:254
BlockNumber iblknum
Definition: tableam.h:248
ItemPointerData tid
Definition: tableam.h:213
bool knowndeletable
Definition: tableam.h:220
bool promising
Definition: tableam.h:223
int16 freespace
Definition: tableam.h:224
OffsetNumber idxoffnum
Definition: tableam.h:219
static TransactionId table_index_delete_tuples(Relation rel, TM_IndexDeleteOp *delstate)
Definition: tableam.h:1356
#define InvalidTransactionId
Definition: transam.h:31

References Assert, TM_IndexDeleteOp::bottomup, TM_IndexDeleteOp::bottomupfreespace, BufferGetBlockNumber(), BufferGetPage(), TM_IndexDeleteOp::deltids, TM_IndexStatus::freespace, i, TM_IndexDeleteOp::iblknum, TM_IndexDelete::id, TM_IndexStatus::idxoffnum, InvalidTransactionId, TM_IndexDeleteOp::irel, ItemIdIsDead, ItemPointerCopy(), TM_IndexStatus::knowndeletable, TM_IndexDeleteOp::ndeltids, nitems, PageGetItem(), PageGetItemId(), palloc(), pfree(), TM_IndexStatus::promising, TM_IndexDeleteOp::status, IndexTupleData::t_tid, table_index_delete_tuples(), and TM_IndexDelete::tid.

Referenced by _hash_vacuum_one_page(), and gistprunepage().

◆ IndexScanEnd()

void IndexScanEnd ( IndexScanDesc  scan)

Definition at line 144 of file genam.c.

145 {
146  if (scan->keyData != NULL)
147  pfree(scan->keyData);
148  if (scan->orderByData != NULL)
149  pfree(scan->orderByData);
150 
151  pfree(scan);
152 }
struct ScanKeyData * keyData
Definition: relscan.h:123
struct ScanKeyData * orderByData
Definition: relscan.h:124

References IndexScanDescData::keyData, IndexScanDescData::orderByData, and pfree().

Referenced by index_endscan().

◆ RelationGetIndexScan()

IndexScanDesc RelationGetIndexScan ( Relation  indexRelation,
int  nkeys,
int  norderbys 
)

Definition at line 80 of file genam.c.

81 {
82  IndexScanDesc scan;
83 
84  scan = (IndexScanDesc) palloc(sizeof(IndexScanDescData));
85 
86  scan->heapRelation = NULL; /* may be set later */
87  scan->xs_heapfetch = NULL;
88  scan->indexRelation = indexRelation;
89  scan->xs_snapshot = InvalidSnapshot; /* caller must initialize this */
90  scan->numberOfKeys = nkeys;
91  scan->numberOfOrderBys = norderbys;
92 
93  /*
94  * We allocate key workspace here, but it won't get filled until amrescan.
95  */
96  if (nkeys > 0)
97  scan->keyData = (ScanKey) palloc(sizeof(ScanKeyData) * nkeys);
98  else
99  scan->keyData = NULL;
100  if (norderbys > 0)
101  scan->orderByData = (ScanKey) palloc(sizeof(ScanKeyData) * norderbys);
102  else
103  scan->orderByData = NULL;
104 
105  scan->xs_want_itup = false; /* may be set later */
106 
107  /*
108  * During recovery we ignore killed tuples and don't bother to kill them
109  * either. We do this because the xmin on the primary node could easily be
110  * later than the xmin on the standby node, so that what the primary
111  * thinks is killed is supposed to be visible on standby. So for correct
112  * MVCC for queries during recovery we must ignore these hints and check
113  * all tuples. Do *not* set ignore_killed_tuples to true when running in a
114  * transaction that was started during recovery. xactStartedInRecovery
115  * should not be altered by index AMs.
116  */
117  scan->kill_prior_tuple = false;
120 
121  scan->opaque = NULL;
122 
123  scan->xs_itup = NULL;
124  scan->xs_itupdesc = NULL;
125  scan->xs_hitup = NULL;
126  scan->xs_hitupdesc = NULL;
127 
128  return scan;
129 }
struct IndexScanDescData * IndexScanDesc
Definition: genam.h:90
ScanKeyData * ScanKey
Definition: skey.h:75
#define InvalidSnapshot
Definition: snapshot.h:123
HeapTuple xs_hitup
Definition: relscan.h:145
bool ignore_killed_tuples
Definition: relscan.h:130
IndexFetchTableData * xs_heapfetch
Definition: relscan.h:151
int numberOfOrderBys
Definition: relscan.h:122
bool xactStartedInRecovery
Definition: relscan.h:131
IndexTuple xs_itup
Definition: relscan.h:143
bool kill_prior_tuple
Definition: relscan.h:129
struct TupleDescData * xs_hitupdesc
Definition: relscan.h:146
struct TupleDescData * xs_itupdesc
Definition: relscan.h:144
Relation indexRelation
Definition: relscan.h:119
struct SnapshotData * xs_snapshot
Definition: relscan.h:120
Relation heapRelation
Definition: relscan.h:118
bool TransactionStartedDuringRecovery(void)
Definition: xact.c:1041

References IndexScanDescData::heapRelation, IndexScanDescData::ignore_killed_tuples, IndexScanDescData::indexRelation, InvalidSnapshot, IndexScanDescData::keyData, IndexScanDescData::kill_prior_tuple, IndexScanDescData::numberOfKeys, IndexScanDescData::numberOfOrderBys, IndexScanDescData::opaque, IndexScanDescData::orderByData, palloc(), TransactionStartedDuringRecovery(), IndexScanDescData::xactStartedInRecovery, IndexScanDescData::xs_heapfetch, IndexScanDescData::xs_hitup, IndexScanDescData::xs_hitupdesc, IndexScanDescData::xs_itup, IndexScanDescData::xs_itupdesc, IndexScanDescData::xs_snapshot, and IndexScanDescData::xs_want_itup.

Referenced by blbeginscan(), brinbeginscan(), btbeginscan(), dibeginscan(), ginbeginscan(), gistbeginscan(), hashbeginscan(), and spgbeginscan().

◆ systable_beginscan()

SysScanDesc systable_beginscan ( Relation  heapRelation,
Oid  indexId,
bool  indexOK,
Snapshot  snapshot,
int  nkeys,
ScanKey  key 
)

Definition at line 387 of file genam.c.

392 {
393  SysScanDesc sysscan;
394  Relation irel;
395 
396  if (indexOK &&
398  !ReindexIsProcessingIndex(indexId))
399  irel = index_open(indexId, AccessShareLock);
400  else
401  irel = NULL;
402 
403  sysscan = (SysScanDesc) palloc(sizeof(SysScanDescData));
404 
405  sysscan->heap_rel = heapRelation;
406  sysscan->irel = irel;
407  sysscan->slot = table_slot_create(heapRelation, NULL);
408 
409  if (snapshot == NULL)
410  {
411  Oid relid = RelationGetRelid(heapRelation);
412 
413  snapshot = RegisterSnapshot(GetCatalogSnapshot(relid));
414  sysscan->snapshot = snapshot;
415  }
416  else
417  {
418  /* Caller is responsible for any snapshot. */
419  sysscan->snapshot = NULL;
420  }
421 
422  if (irel)
423  {
424  int i;
425  ScanKey idxkey;
426 
427  idxkey = palloc_array(ScanKeyData, nkeys);
428 
429  /* Convert attribute numbers to be index column numbers. */
430  for (i = 0; i < nkeys; i++)
431  {
432  int j;
433 
434  memcpy(&idxkey[i], &key[i], sizeof(ScanKeyData));
435 
436  for (j = 0; j < IndexRelationGetNumberOfAttributes(irel); j++)
437  {
438  if (key[i].sk_attno == irel->rd_index->indkey.values[j])
439  {
440  idxkey[i].sk_attno = j + 1;
441  break;
442  }
443  }
445  elog(ERROR, "column is not in index");
446  }
447 
448  sysscan->iscan = index_beginscan(heapRelation, irel,
449  snapshot, nkeys, 0);
450  index_rescan(sysscan->iscan, idxkey, nkeys, NULL, 0);
451  sysscan->scan = NULL;
452  }
453  else
454  {
455  /*
456  * We disallow synchronized scans when forced to use a heapscan on a
457  * catalog. In most cases the desired rows are near the front, so
458  * that the unpredictable start point of a syncscan is a serious
459  * disadvantage; and there are no compensating advantages, because
460  * it's unlikely that such scans will occur in parallel.
461  */
462  sysscan->scan = table_beginscan_strat(heapRelation, snapshot,
463  nkeys, key,
464  true, false);
465  sysscan->iscan = NULL;
466  }
467 
468  /*
469  * If CheckXidAlive is set then set a flag to indicate that system table
470  * scan is in-progress. See detailed comments in xact.c where these
471  * variables are declared.
472  */
474  bsysscan = true;
475 
476  return sysscan;
477 }
#define elog(elevel,...)
Definition: elog.h:225
#define palloc_array(type, count)
Definition: fe_memutils.h:64
struct SysScanDescData * SysScanDesc
Definition: genam.h:91
bool ReindexIsProcessingIndex(Oid indexOid)
Definition: index.c:4091
IndexScanDesc index_beginscan(Relation heapRelation, Relation indexRelation, Snapshot snapshot, int nkeys, int norderbys)
Definition: indexam.c:256
Relation index_open(Oid relationId, LOCKMODE lockmode)
Definition: indexam.c:133
void index_rescan(IndexScanDesc scan, ScanKey keys, int nkeys, ScanKey orderbys, int norderbys)
Definition: indexam.c:352
int j
Definition: isn.c:74
#define AccessShareLock
Definition: lockdefs.h:36
bool IgnoreSystemIndexes
Definition: miscinit.c:80
#define IndexRelationGetNumberOfAttributes(relation)
Definition: rel.h:517
Snapshot GetCatalogSnapshot(Oid relid)
Definition: snapmgr.c:352
Snapshot RegisterSnapshot(Snapshot snapshot)
Definition: snapmgr.c:794
AttrNumber sk_attno
Definition: skey.h:67
Relation irel
Definition: relscan.h:185
Relation heap_rel
Definition: relscan.h:184
struct SnapshotData * snapshot
Definition: relscan.h:188
struct IndexScanDescData * iscan
Definition: relscan.h:187
struct TupleTableSlot * slot
Definition: relscan.h:189
struct TableScanDescData * scan
Definition: relscan.h:186
TupleTableSlot * table_slot_create(Relation relation, List **reglist)
Definition: tableam.c:91
static TableScanDesc table_beginscan_strat(Relation rel, Snapshot snapshot, int nkeys, struct ScanKeyData *key, bool allow_strat, bool allow_sync)
Definition: tableam.h:932
bool bsysscan
Definition: xact.c:99

References AccessShareLock, bsysscan, CheckXidAlive, elog, ERROR, GetCatalogSnapshot(), SysScanDescData::heap_rel, i, IgnoreSystemIndexes, index_beginscan(), index_open(), index_rescan(), IndexRelationGetNumberOfAttributes, SysScanDescData::irel, SysScanDescData::iscan, j, sort-test::key, palloc(), palloc_array, RelationData::rd_index, RegisterSnapshot(), ReindexIsProcessingIndex(), RelationGetRelid, SysScanDescData::scan, ScanKeyData::sk_attno, SysScanDescData::slot, SysScanDescData::snapshot, table_beginscan_strat(), table_slot_create(), and TransactionIdIsValid.

Referenced by AfterTriggerSetState(), AlterConstraintNamespaces(), AlterDatabase(), AlterDatabaseOwner(), AlterDatabaseRefreshColl(), AlterDomainDropConstraint(), AlterDomainValidateConstraint(), AlterExtensionNamespace(), AlterPolicy(), AlterSeqNamespaces(), AlterSetting(), AlterTypeRecurse(), ApplyExtensionUpdates(), ApplySetting(), ATExecAddOf(), ATExecAlterColumnType(), ATExecAlterConstraint(), ATExecAlterConstrRecurse(), ATExecAttachPartition(), ATExecDropConstraint(), ATExecValidateConstraint(), ATPrepChangePersistence(), AttrDefaultFetch(), change_owner_fix_column_acls(), change_owner_recurse_to_sequences(), changeDependenciesOf(), changeDependenciesOn(), changeDependencyFor(), CheckConstraintFetch(), checkSharedDependencies(), ChooseConstraintName(), CloneFkReferenced(), CloneRowTriggersToPartition(), ConstraintNameExists(), ConstraintNameIsUsed(), CopyStatistics(), copyTemplateDependencies(), CountDBSubscriptions(), CreateComments(), CreateInheritance(), CreatePolicy(), CreateSharedComments(), CreateTriggerFiringOn(), DefineOpClass(), DefineTSConfiguration(), DeleteAttributeTuples(), DeleteComments(), deleteDependencyRecordsFor(), deleteDependencyRecordsForClass(), deleteDependencyRecordsForSpecific(), DeleteInheritsTuple(), DeleteInitPrivs(), deleteOneObject(), DeleteSecurityLabel(), DeleteSharedComments(), DeleteSharedSecurityLabel(), DeleteSystemAttributeTuples(), drop_parent_dependency(), DropClonedTriggersFromPartition(), DropConfigurationMapping(), dropDatabaseDependencies(), DropObjectById(), DropRole(), EnableDisableTrigger(), EnumValuesDelete(), exec_object_restorecon(), ExecAlterExtensionStmt(), ExecGrant_Largeobject(), extension_config_remove(), fetch_statentries_for_relation(), find_composite_type_dependencies(), find_inheritance_children_extended(), findDependentObjects(), findDomainNotNullConstraint(), get_catalog_object_by_oid(), get_database_oid(), get_db_info(), get_domain_constraint_oid(), get_index_constraint(), get_index_ref_constraints(), get_partition_parent_worker(), get_pkey_attnames(), get_primary_key_attnos(), get_relation_constraint_attnos(), get_relation_constraint_oid(), get_relation_idx_constraint_oid(), get_relation_policy_oid(), get_rels_with_domain(), get_trigger_oid(), GetAllTablesPublications(), GetAttrDefaultColumnAddress(), GetAttrDefaultOid(), getAutoExtensionsOfObject(), GetComment(), GetDatabaseTuple(), GetDatabaseTupleByOid(), GetDefaultOpClass(), getExtensionOfObject(), GetForeignKeyActionTriggers(), GetForeignKeyCheckTriggers(), GetNewOidWithIndex(), getObjectDescription(), getObjectIdentityParts(), getOwnedSequences_internal(), GetParentedForeignKeyRefs(), GetPublicationRelations(), GetPublicationSchemas(), GetSecurityLabel(), GetSharedSecurityLabel(), GetSubscriptionRelations(), has_superclass(), HasSubscriptionRelations(), heap_truncate_find_FKs(), index_concurrently_swap(), IndexSetParentIndex(), is_schema_publication(), LargeObjectDrop(), LargeObjectExistsWithSnapshot(), load_domaintype_info(), load_enum_cache_data(), LookupOpclassInfo(), makeConfigurationDependencies(), MakeConfigurationMapping(), MarkInheritDetached(), MergeConstraintsIntoExisting(), MergeWithExistingConstraint(), movedb(), object_ownercheck(), PartitionHasPendingDetach(), pg_extension_config_dump(), pg_get_constraintdef_worker(), pg_get_serial_sequence(), pg_get_triggerdef_worker(), pg_largeobject_aclmask_snapshot(), RangeDelete(), recordExtensionInitPrivWorker(), recordExtObjInitPriv(), relation_has_policies(), RelationBuildPartitionDesc(), RelationBuildRowSecurity(), RelationBuildRuleLock(), RelationBuildTriggers(), RelationBuildTupleDesc(), RelationGetExclusionInfo(), RelationGetFKeyList(), RelationGetIndexList(), RelationGetStatExtList(), RelationRemoveInheritance(), RelidByRelfilenumber(), RememberAllDependentForRebuilding(), RemoveAttrDefault(), RemoveAttrDefaultById(), RemoveExtensionById(), RemoveInheritance(), RemovePolicyById(), RemoveRewriteRuleById(), RemoveRoleFromInitPriv(), RemoveRoleFromObjectACL(), RemoveRoleFromObjectPolicy(), RemoveStatistics(), RemoveTriggerById(), RemoveTSConfigurationById(), rename_policy(), renametrig(), renametrig_internal(), renametrig_partition(), ReplaceRoleInInitPriv(), replorigin_create(), ScanPgRelation(), SearchCatCacheList(), SearchCatCacheMiss(), sepgsql_attribute_post_create(), sepgsql_database_post_create(), sepgsql_proc_post_create(), sepgsql_proc_setattr(), sepgsql_relation_post_create(), sepgsql_relation_setattr(), sepgsql_relation_setattr_extra(), sepgsql_schema_post_create(), sequenceIsOwned(), SetSecurityLabel(), SetSharedSecurityLabel(), shdepChangeDep(), shdepDropDependency(), shdepDropOwned(), shdepReassignOwned(), systable_inplace_update_begin(), toastrel_valueid_exists(), TriggerSetParentTrigger(), tryAttachPartitionForeignKey(), typeInheritsFrom(), vac_update_datfrozenxid(), and validatePartitionedIndex().

◆ systable_beginscan_ordered()

SysScanDesc systable_beginscan_ordered ( Relation  heapRelation,
Relation  indexRelation,
Snapshot  snapshot,
int  nkeys,
ScanKey  key 
)

Definition at line 651 of file genam.c.

655 {
656  SysScanDesc sysscan;
657  int i;
658  ScanKey idxkey;
659 
660  /* REINDEX can probably be a hard error here ... */
661  if (ReindexIsProcessingIndex(RelationGetRelid(indexRelation)))
662  ereport(ERROR,
663  (errcode(ERRCODE_FEATURE_NOT_SUPPORTED),
664  errmsg("cannot access index \"%s\" while it is being reindexed",
665  RelationGetRelationName(indexRelation))));
666  /* ... but we only throw a warning about violating IgnoreSystemIndexes */
668  elog(WARNING, "using index \"%s\" despite IgnoreSystemIndexes",
669  RelationGetRelationName(indexRelation));
670 
671  sysscan = (SysScanDesc) palloc(sizeof(SysScanDescData));
672 
673  sysscan->heap_rel = heapRelation;
674  sysscan->irel = indexRelation;
675  sysscan->slot = table_slot_create(heapRelation, NULL);
676 
677  if (snapshot == NULL)
678  {
679  Oid relid = RelationGetRelid(heapRelation);
680 
681  snapshot = RegisterSnapshot(GetCatalogSnapshot(relid));
682  sysscan->snapshot = snapshot;
683  }
684  else
685  {
686  /* Caller is responsible for any snapshot. */
687  sysscan->snapshot = NULL;
688  }
689 
690  idxkey = palloc_array(ScanKeyData, nkeys);
691 
692  /* Convert attribute numbers to be index column numbers. */
693  for (i = 0; i < nkeys; i++)
694  {
695  int j;
696 
697  memcpy(&idxkey[i], &key[i], sizeof(ScanKeyData));
698 
699  for (j = 0; j < IndexRelationGetNumberOfAttributes(indexRelation); j++)
700  {
701  if (key[i].sk_attno == indexRelation->rd_index->indkey.values[j])
702  {
703  idxkey[i].sk_attno = j + 1;
704  break;
705  }
706  }
707  if (j == IndexRelationGetNumberOfAttributes(indexRelation))
708  elog(ERROR, "column is not in index");
709  }
710 
711  sysscan->iscan = index_beginscan(heapRelation, indexRelation,
712  snapshot, nkeys, 0);
713  index_rescan(sysscan->iscan, idxkey, nkeys, NULL, 0);
714  sysscan->scan = NULL;
715 
716  /*
717  * If CheckXidAlive is set then set a flag to indicate that system table
718  * scan is in-progress. See detailed comments in xact.c where these
719  * variables are declared.
720  */
722  bsysscan = true;
723 
724  return sysscan;
725 }
#define WARNING
Definition: elog.h:36
#define RelationGetRelationName(relation)
Definition: rel.h:539

References bsysscan, CheckXidAlive, elog, ereport, errcode(), errmsg(), ERROR, GetCatalogSnapshot(), SysScanDescData::heap_rel, i, IgnoreSystemIndexes, index_beginscan(), index_rescan(), IndexRelationGetNumberOfAttributes, SysScanDescData::irel, SysScanDescData::iscan, j, sort-test::key, palloc(), palloc_array, RelationData::rd_index, RegisterSnapshot(), ReindexIsProcessingIndex(), RelationGetRelationName, RelationGetRelid, SysScanDescData::scan, ScanKeyData::sk_attno, SysScanDescData::slot, SysScanDescData::snapshot, table_slot_create(), TransactionIdIsValid, and WARNING.

Referenced by BuildEventTriggerCache(), check_toasted_attribute(), enum_endpoint(), enum_range_internal(), heap_fetch_toast_slice(), inv_getsize(), inv_read(), inv_truncate(), inv_write(), lookup_ts_config_cache(), and toast_delete_datum().

◆ systable_endscan()

void systable_endscan ( SysScanDesc  sysscan)

Definition at line 604 of file genam.c.

605 {
606  if (sysscan->slot)
607  {
609  sysscan->slot = NULL;
610  }
611 
612  if (sysscan->irel)
613  {
614  index_endscan(sysscan->iscan);
615  index_close(sysscan->irel, AccessShareLock);
616  }
617  else
618  table_endscan(sysscan->scan);
619 
620  if (sysscan->snapshot)
621  UnregisterSnapshot(sysscan->snapshot);
622 
623  /*
624  * Reset the bsysscan flag at the end of the systable scan. See detailed
625  * comments in xact.c where these variables are declared.
626  */
628  bsysscan = false;
629 
630  pfree(sysscan);
631 }
void ExecDropSingleTupleTableSlot(TupleTableSlot *slot)
Definition: execTuples.c:1341
void index_close(Relation relation, LOCKMODE lockmode)
Definition: indexam.c:177
void index_endscan(IndexScanDesc scan)
Definition: indexam.c:378
void UnregisterSnapshot(Snapshot snapshot)
Definition: snapmgr.c:836
static void table_endscan(TableScanDesc scan)
Definition: tableam.h:1019

References AccessShareLock, bsysscan, CheckXidAlive, ExecDropSingleTupleTableSlot(), index_close(), index_endscan(), SysScanDescData::irel, SysScanDescData::iscan, pfree(), SysScanDescData::scan, SysScanDescData::slot, SysScanDescData::snapshot, table_endscan(), TransactionIdIsValid, and UnregisterSnapshot().

Referenced by AfterTriggerSetState(), AlterConstraintNamespaces(), AlterDatabase(), AlterDatabaseOwner(), AlterDatabaseRefreshColl(), AlterDomainDropConstraint(), AlterDomainValidateConstraint(), AlterExtensionNamespace(), AlterPolicy(), AlterSeqNamespaces(), AlterSetting(), AlterTypeRecurse(), ApplyExtensionUpdates(), ApplySetting(), ATExecAddOf(), ATExecAlterColumnType(), ATExecAlterConstraint(), ATExecAlterConstrRecurse(), ATExecAttachPartition(), ATExecDropConstraint(), ATExecValidateConstraint(), ATPrepChangePersistence(), AttrDefaultFetch(), change_owner_fix_column_acls(), change_owner_recurse_to_sequences(), changeDependenciesOf(), changeDependenciesOn(), changeDependencyFor(), CheckConstraintFetch(), checkSharedDependencies(), ChooseConstraintName(), CloneFkReferenced(), CloneRowTriggersToPartition(), ConstraintNameExists(), ConstraintNameIsUsed(), CopyStatistics(), copyTemplateDependencies(), CountDBSubscriptions(), CreateComments(), CreateInheritance(), CreatePolicy(), CreateSharedComments(), CreateTriggerFiringOn(), DefineOpClass(), DefineTSConfiguration(), DeleteAttributeTuples(), DeleteComments(), deleteDependencyRecordsFor(), deleteDependencyRecordsForClass(), deleteDependencyRecordsForSpecific(), DeleteInheritsTuple(), DeleteInitPrivs(), deleteOneObject(), DeleteSecurityLabel(), DeleteSharedComments(), DeleteSharedSecurityLabel(), DeleteSystemAttributeTuples(), drop_parent_dependency(), DropClonedTriggersFromPartition(), DropConfigurationMapping(), dropDatabaseDependencies(), DropObjectById(), DropRole(), EnableDisableTrigger(), EnumValuesDelete(), exec_object_restorecon(), ExecAlterExtensionStmt(), ExecGrant_Largeobject(), extension_config_remove(), fetch_statentries_for_relation(), find_composite_type_dependencies(), find_inheritance_children_extended(), findDependentObjects(), findDomainNotNullConstraint(), get_catalog_object_by_oid(), get_database_oid(), get_db_info(), get_domain_constraint_oid(), get_index_constraint(), get_index_ref_constraints(), get_partition_parent_worker(), get_pkey_attnames(), get_primary_key_attnos(), get_relation_constraint_attnos(), get_relation_constraint_oid(), get_relation_idx_constraint_oid(), get_relation_policy_oid(), get_rels_with_domain(), get_trigger_oid(), GetAllTablesPublications(), GetAttrDefaultColumnAddress(), GetAttrDefaultOid(), getAutoExtensionsOfObject(), GetComment(), GetDatabaseTuple(), GetDatabaseTupleByOid(), GetDefaultOpClass(), getExtensionOfObject(), GetForeignKeyActionTriggers(), GetForeignKeyCheckTriggers(), GetNewOidWithIndex(), getObjectDescription(), getObjectIdentityParts(), getOwnedSequences_internal(), GetParentedForeignKeyRefs(), GetPublicationRelations(), GetPublicationSchemas(), GetSecurityLabel(), GetSharedSecurityLabel(), GetSubscriptionRelations(), has_superclass(), HasSubscriptionRelations(), heap_truncate_find_FKs(), index_concurrently_swap(), IndexSetParentIndex(), is_schema_publication(), LargeObjectDrop(), LargeObjectExistsWithSnapshot(), load_domaintype_info(), load_enum_cache_data(), LookupOpclassInfo(), makeConfigurationDependencies(), MakeConfigurationMapping(), MarkInheritDetached(), MergeConstraintsIntoExisting(), MergeWithExistingConstraint(), movedb(), object_ownercheck(), PartitionHasPendingDetach(), pg_extension_config_dump(), pg_get_constraintdef_worker(), pg_get_serial_sequence(), pg_get_triggerdef_worker(), pg_largeobject_aclmask_snapshot(), RangeDelete(), recordExtensionInitPrivWorker(), recordExtObjInitPriv(), relation_has_policies(), RelationBuildPartitionDesc(), RelationBuildRowSecurity(), RelationBuildRuleLock(), RelationBuildTriggers(), RelationBuildTupleDesc(), RelationGetExclusionInfo(), RelationGetFKeyList(), RelationGetIndexList(), RelationGetStatExtList(), RelationRemoveInheritance(), RelidByRelfilenumber(), RememberAllDependentForRebuilding(), RemoveAttrDefault(), RemoveAttrDefaultById(), RemoveExtensionById(), RemoveInheritance(), RemovePolicyById(), RemoveRewriteRuleById(), RemoveRoleFromInitPriv(), RemoveRoleFromObjectACL(), RemoveRoleFromObjectPolicy(), RemoveStatistics(), RemoveTriggerById(), RemoveTSConfigurationById(), rename_policy(), renametrig(), renametrig_internal(), renametrig_partition(), ReplaceRoleInInitPriv(), replorigin_create(), ScanPgRelation(), SearchCatCacheList(), SearchCatCacheMiss(), sepgsql_attribute_post_create(), sepgsql_database_post_create(), sepgsql_proc_post_create(), sepgsql_proc_setattr(), sepgsql_relation_post_create(), sepgsql_relation_setattr(), sepgsql_relation_setattr_extra(), sepgsql_schema_post_create(), sequenceIsOwned(), SetSecurityLabel(), SetSharedSecurityLabel(), shdepChangeDep(), shdepDropDependency(), shdepDropOwned(), shdepReassignOwned(), systable_inplace_update_begin(), systable_inplace_update_cancel(), systable_inplace_update_finish(), toastrel_valueid_exists(), TriggerSetParentTrigger(), tryAttachPartitionForeignKey(), typeInheritsFrom(), vac_update_datfrozenxid(), and validatePartitionedIndex().

◆ systable_endscan_ordered()

void systable_endscan_ordered ( SysScanDesc  sysscan)

Definition at line 756 of file genam.c.

757 {
758  if (sysscan->slot)
759  {
761  sysscan->slot = NULL;
762  }
763 
764  Assert(sysscan->irel);
765  index_endscan(sysscan->iscan);
766  if (sysscan->snapshot)
767  UnregisterSnapshot(sysscan->snapshot);
768 
769  /*
770  * Reset the bsysscan flag at the end of the systable scan. See detailed
771  * comments in xact.c where these variables are declared.
772  */
774  bsysscan = false;
775 
776  pfree(sysscan);
777 }

References Assert, bsysscan, CheckXidAlive, ExecDropSingleTupleTableSlot(), index_endscan(), SysScanDescData::irel, SysScanDescData::iscan, pfree(), SysScanDescData::slot, SysScanDescData::snapshot, TransactionIdIsValid, and UnregisterSnapshot().

Referenced by BuildEventTriggerCache(), check_toasted_attribute(), enum_endpoint(), enum_range_internal(), heap_fetch_toast_slice(), inv_getsize(), inv_read(), inv_truncate(), inv_write(), lookup_ts_config_cache(), and toast_delete_datum().

◆ systable_getnext()

HeapTuple systable_getnext ( SysScanDesc  sysscan)

Definition at line 511 of file genam.c.

512 {
513  HeapTuple htup = NULL;
514 
515  if (sysscan->irel)
516  {
517  if (index_getnext_slot(sysscan->iscan, ForwardScanDirection, sysscan->slot))
518  {
519  bool shouldFree;
520 
521  htup = ExecFetchSlotHeapTuple(sysscan->slot, false, &shouldFree);
522  Assert(!shouldFree);
523 
524  /*
525  * We currently don't need to support lossy index operators for
526  * any system catalog scan. It could be done here, using the scan
527  * keys to drive the operator calls, if we arranged to save the
528  * heap attnums during systable_beginscan(); this is practical
529  * because we still wouldn't need to support indexes on
530  * expressions.
531  */
532  if (sysscan->iscan->xs_recheck)
533  elog(ERROR, "system catalog scans with lossy index conditions are not implemented");
534  }
535  }
536  else
537  {
538  if (table_scan_getnextslot(sysscan->scan, ForwardScanDirection, sysscan->slot))
539  {
540  bool shouldFree;
541 
542  htup = ExecFetchSlotHeapTuple(sysscan->slot, false, &shouldFree);
543  Assert(!shouldFree);
544  }
545  }
546 
547  /*
548  * Handle the concurrent abort while fetching the catalog tuple during
549  * logical streaming of a transaction.
550  */
552 
553  return htup;
554 }
HeapTuple ExecFetchSlotHeapTuple(TupleTableSlot *slot, bool materialize, bool *shouldFree)
Definition: execTuples.c:1731
static void HandleConcurrentAbort()
Definition: genam.c:488
bool index_getnext_slot(IndexScanDesc scan, ScanDirection direction, TupleTableSlot *slot)
Definition: indexam.c:675
@ ForwardScanDirection
Definition: sdir.h:28
static bool table_scan_getnextslot(TableScanDesc sscan, ScanDirection direction, TupleTableSlot *slot)
Definition: tableam.h:1055

References Assert, elog, ERROR, ExecFetchSlotHeapTuple(), ForwardScanDirection, HandleConcurrentAbort(), index_getnext_slot(), SysScanDescData::irel, SysScanDescData::iscan, SysScanDescData::scan, SysScanDescData::slot, table_scan_getnextslot(), and IndexScanDescData::xs_recheck.

Referenced by AfterTriggerSetState(), AlterConstraintNamespaces(), AlterDatabase(), AlterDatabaseOwner(), AlterDatabaseRefreshColl(), AlterDomainDropConstraint(), AlterDomainValidateConstraint(), AlterExtensionNamespace(), AlterPolicy(), AlterSeqNamespaces(), AlterSetting(), AlterTypeRecurse(), ApplyExtensionUpdates(), ApplySetting(), ATExecAddOf(), ATExecAlterColumnType(), ATExecAlterConstraint(), ATExecAlterConstrRecurse(), ATExecAttachPartition(), ATExecDropConstraint(), ATExecValidateConstraint(), ATPrepChangePersistence(), AttrDefaultFetch(), change_owner_fix_column_acls(), change_owner_recurse_to_sequences(), changeDependenciesOf(), changeDependenciesOn(), changeDependencyFor(), CheckConstraintFetch(), checkSharedDependencies(), ChooseConstraintName(), CloneFkReferenced(), CloneRowTriggersToPartition(), ConstraintNameExists(), ConstraintNameIsUsed(), CopyStatistics(), copyTemplateDependencies(), CountDBSubscriptions(), CreateComments(), CreateInheritance(), CreatePolicy(), CreateSharedComments(), CreateTriggerFiringOn(), DefineOpClass(), DefineTSConfiguration(), DeleteAttributeTuples(), DeleteComments(), deleteDependencyRecordsFor(), deleteDependencyRecordsForClass(), deleteDependencyRecordsForSpecific(), DeleteInheritsTuple(), DeleteInitPrivs(), deleteOneObject(), DeleteSecurityLabel(), DeleteSharedComments(), DeleteSharedSecurityLabel(), DeleteSystemAttributeTuples(), drop_parent_dependency(), DropClonedTriggersFromPartition(), DropConfigurationMapping(), dropDatabaseDependencies(), DropObjectById(), DropRole(), EnableDisableTrigger(), EnumValuesDelete(), exec_object_restorecon(), ExecAlterExtensionStmt(), ExecGrant_Largeobject(), extension_config_remove(), fetch_statentries_for_relation(), find_composite_type_dependencies(), find_inheritance_children_extended(), findDependentObjects(), findDomainNotNullConstraint(), get_catalog_object_by_oid(), get_database_oid(), get_db_info(), get_domain_constraint_oid(), get_index_constraint(), get_index_ref_constraints(), get_partition_parent_worker(), get_pkey_attnames(), get_primary_key_attnos(), get_relation_constraint_attnos(), get_relation_constraint_oid(), get_relation_idx_constraint_oid(), get_relation_policy_oid(), get_rels_with_domain(), get_trigger_oid(), GetAllTablesPublications(), GetAttrDefaultColumnAddress(), GetAttrDefaultOid(), getAutoExtensionsOfObject(), GetComment(), GetDatabaseTuple(), GetDatabaseTupleByOid(), GetDefaultOpClass(), getExtensionOfObject(), GetForeignKeyActionTriggers(), GetForeignKeyCheckTriggers(), GetNewOidWithIndex(), getObjectDescription(), getObjectIdentityParts(), getOwnedSequences_internal(), GetParentedForeignKeyRefs(), GetPublicationRelations(), GetPublicationSchemas(), GetSecurityLabel(), GetSharedSecurityLabel(), GetSubscriptionRelations(), has_superclass(), HasSubscriptionRelations(), heap_truncate_find_FKs(), index_concurrently_swap(), IndexSetParentIndex(), is_schema_publication(), LargeObjectDrop(), LargeObjectExistsWithSnapshot(), load_domaintype_info(), load_enum_cache_data(), LookupOpclassInfo(), makeConfigurationDependencies(), MakeConfigurationMapping(), MarkInheritDetached(), MergeConstraintsIntoExisting(), MergeWithExistingConstraint(), movedb(), object_ownercheck(), PartitionHasPendingDetach(), pg_extension_config_dump(), pg_get_constraintdef_worker(), pg_get_serial_sequence(), pg_get_triggerdef_worker(), pg_largeobject_aclmask_snapshot(), RangeDelete(), recordExtensionInitPrivWorker(), recordExtObjInitPriv(), relation_has_policies(), RelationBuildPartitionDesc(), RelationBuildRowSecurity(), RelationBuildRuleLock(), RelationBuildTriggers(), RelationBuildTupleDesc(), RelationGetExclusionInfo(), RelationGetFKeyList(), RelationGetIndexList(), RelationGetStatExtList(), RelationRemoveInheritance(), RelidByRelfilenumber(), RememberAllDependentForRebuilding(), RemoveAttrDefault(), RemoveAttrDefaultById(), RemoveExtensionById(), RemoveInheritance(), RemovePolicyById(), RemoveRewriteRuleById(), RemoveRoleFromInitPriv(), RemoveRoleFromObjectACL(), RemoveRoleFromObjectPolicy(), RemoveStatistics(), RemoveTriggerById(), RemoveTSConfigurationById(), rename_policy(), renametrig(), renametrig_internal(), renametrig_partition(), ReplaceRoleInInitPriv(), replorigin_create(), ScanPgRelation(), SearchCatCacheList(), SearchCatCacheMiss(), sepgsql_attribute_post_create(), sepgsql_database_post_create(), sepgsql_proc_post_create(), sepgsql_proc_setattr(), sepgsql_relation_post_create(), sepgsql_relation_setattr(), sepgsql_relation_setattr_extra(), sepgsql_schema_post_create(), sequenceIsOwned(), SetSecurityLabel(), SetSharedSecurityLabel(), shdepChangeDep(), shdepDropDependency(), shdepDropOwned(), shdepReassignOwned(), systable_inplace_update_begin(), toastrel_valueid_exists(), TriggerSetParentTrigger(), tryAttachPartitionForeignKey(), typeInheritsFrom(), vac_update_datfrozenxid(), and validatePartitionedIndex().

◆ systable_getnext_ordered()

HeapTuple systable_getnext_ordered ( SysScanDesc  sysscan,
ScanDirection  direction 
)

Definition at line 731 of file genam.c.

732 {
733  HeapTuple htup = NULL;
734 
735  Assert(sysscan->irel);
736  if (index_getnext_slot(sysscan->iscan, direction, sysscan->slot))
737  htup = ExecFetchSlotHeapTuple(sysscan->slot, false, NULL);
738 
739  /* See notes in systable_getnext */
740  if (htup && sysscan->iscan->xs_recheck)
741  elog(ERROR, "system catalog scans with lossy index conditions are not implemented");
742 
743  /*
744  * Handle the concurrent abort while fetching the catalog tuple during
745  * logical streaming of a transaction.
746  */
748 
749  return htup;
750 }

References Assert, elog, ERROR, ExecFetchSlotHeapTuple(), HandleConcurrentAbort(), index_getnext_slot(), SysScanDescData::irel, SysScanDescData::iscan, SysScanDescData::slot, and IndexScanDescData::xs_recheck.

Referenced by BuildEventTriggerCache(), check_toasted_attribute(), enum_endpoint(), enum_range_internal(), heap_fetch_toast_slice(), inv_getsize(), inv_read(), inv_truncate(), inv_write(), lookup_ts_config_cache(), and toast_delete_datum().

◆ systable_inplace_update_begin()

void systable_inplace_update_begin ( Relation  relation,
Oid  indexId,
bool  indexOK,
Snapshot  snapshot,
int  nkeys,
const ScanKeyData key,
HeapTuple oldtupcopy,
void **  state 
)

Definition at line 806 of file genam.c.

813 {
814  int retries = 0;
815  SysScanDesc scan;
816  HeapTuple oldtup;
817 
818  /*
819  * For now, we don't allow parallel updates. Unlike a regular update,
820  * this should never create a combo CID, so it might be possible to relax
821  * this restriction, but not without more thought and testing. It's not
822  * clear that it would be useful, anyway.
823  */
824  if (IsInParallelMode())
825  ereport(ERROR,
826  (errcode(ERRCODE_INVALID_TRANSACTION_STATE),
827  errmsg("cannot update tuples during a parallel operation")));
828 
829  /*
830  * Accept a snapshot argument, for symmetry, but this function advances
831  * its snapshot as needed to reach the tail of the updated tuple chain.
832  */
833  Assert(snapshot == NULL);
834 
835  Assert(IsInplaceUpdateRelation(relation) || !IsSystemRelation(relation));
836 
837  /* Loop for an exclusive-locked buffer of a non-updated tuple. */
838  for (;;)
839  {
840  TupleTableSlot *slot;
842 
844 
845  /*
846  * Processes issuing heap_update (e.g. GRANT) at maximum speed could
847  * drive us to this error. A hostile table owner has stronger ways to
848  * damage their own table, so that's minor.
849  */
850  if (retries++ > 10000)
851  elog(ERROR, "giving up after too many tries to overwrite row");
852 
853  INJECTION_POINT("inplace-before-pin");
854  scan = systable_beginscan(relation, indexId, indexOK, snapshot,
855  nkeys, unconstify(ScanKeyData *, key));
856  oldtup = systable_getnext(scan);
857  if (!HeapTupleIsValid(oldtup))
858  {
859  systable_endscan(scan);
860  *oldtupcopy = NULL;
861  return;
862  }
863 
864  slot = scan->slot;
865  Assert(TTS_IS_BUFFERTUPLE(slot));
866  bslot = (BufferHeapTupleTableSlot *) slot;
867  if (heap_inplace_lock(scan->heap_rel,
868  bslot->base.tuple, bslot->buffer))
869  break;
870  systable_endscan(scan);
871  };
872 
873  *oldtupcopy = heap_copytuple(oldtup);
874  *state = scan;
875 }
#define unconstify(underlying_type, expr)
Definition: c.h:1236
bool IsSystemRelation(Relation relation)
Definition: catalog.c:73
bool IsInplaceUpdateRelation(Relation relation)
Definition: catalog.c:152
void systable_endscan(SysScanDesc sysscan)
Definition: genam.c:604
HeapTuple systable_getnext(SysScanDesc sysscan)
Definition: genam.c:511
SysScanDesc systable_beginscan(Relation heapRelation, Oid indexId, bool indexOK, Snapshot snapshot, int nkeys, ScanKey key)
Definition: genam.c:387
bool heap_inplace_lock(Relation relation, HeapTuple oldtup_ptr, Buffer buffer)
Definition: heapam.c:6202
HeapTuple heap_copytuple(HeapTuple tuple)
Definition: heaptuple.c:776
#define HeapTupleIsValid(tuple)
Definition: htup.h:78
#define INJECTION_POINT(name)
#define CHECK_FOR_INTERRUPTS()
Definition: miscadmin.h:122
Definition: regguts.h:323
#define TTS_IS_BUFFERTUPLE(slot)
Definition: tuptable.h:237
bool IsInParallelMode(void)
Definition: xact.c:1088

References Assert, BufferHeapTupleTableSlot::buffer, CHECK_FOR_INTERRUPTS, elog, ereport, errcode(), errmsg(), ERROR, heap_copytuple(), heap_inplace_lock(), SysScanDescData::heap_rel, HeapTupleIsValid, INJECTION_POINT, IsInParallelMode(), IsInplaceUpdateRelation(), IsSystemRelation(), sort-test::key, SysScanDescData::slot, systable_beginscan(), systable_endscan(), systable_getnext(), TTS_IS_BUFFERTUPLE, and unconstify.

Referenced by create_toast_table(), dropdb(), EventTriggerOnLogin(), index_update_stats(), vac_update_datfrozenxid(), and vac_update_relstats().

◆ systable_inplace_update_cancel()

void systable_inplace_update_cancel ( void *  state)

Definition at line 903 of file genam.c.

904 {
905  SysScanDesc scan = (SysScanDesc) state;
906  Relation relation = scan->heap_rel;
907  TupleTableSlot *slot = scan->slot;
909  HeapTuple oldtup = bslot->base.tuple;
910  Buffer buffer = bslot->buffer;
911 
912  heap_inplace_unlock(relation, oldtup, buffer);
913  systable_endscan(scan);
914 }
int Buffer
Definition: buf.h:23
void heap_inplace_unlock(Relation relation, HeapTuple oldtup, Buffer buffer)
Definition: heapam.c:6400

References BufferHeapTupleTableSlot::buffer, heap_inplace_unlock(), SysScanDescData::heap_rel, SysScanDescData::slot, and systable_endscan().

Referenced by EventTriggerOnLogin(), index_update_stats(), vac_update_datfrozenxid(), and vac_update_relstats().

◆ systable_inplace_update_finish()

void systable_inplace_update_finish ( void *  state,
HeapTuple  tuple 
)

Definition at line 884 of file genam.c.

885 {
886  SysScanDesc scan = (SysScanDesc) state;
887  Relation relation = scan->heap_rel;
888  TupleTableSlot *slot = scan->slot;
890  HeapTuple oldtup = bslot->base.tuple;
891  Buffer buffer = bslot->buffer;
892 
893  heap_inplace_update_and_unlock(relation, oldtup, tuple, buffer);
894  systable_endscan(scan);
895 }
void heap_inplace_update_and_unlock(Relation relation, HeapTuple oldtup, HeapTuple tuple, Buffer buffer)
Definition: heapam.c:6323

References BufferHeapTupleTableSlot::buffer, heap_inplace_update_and_unlock(), SysScanDescData::heap_rel, SysScanDescData::slot, and systable_endscan().

Referenced by create_toast_table(), dropdb(), EventTriggerOnLogin(), index_update_stats(), vac_update_datfrozenxid(), and vac_update_relstats().

◆ systable_recheck_tuple()

bool systable_recheck_tuple ( SysScanDesc  sysscan,
HeapTuple  tup 
)

Definition at line 570 of file genam.c.

571 {
572  Snapshot freshsnap;
573  bool result;
574 
575  Assert(tup == ExecFetchSlotHeapTuple(sysscan->slot, false, NULL));
576 
577  /*
578  * Trust that table_tuple_satisfies_snapshot() and its subsidiaries
579  * (commonly LockBuffer() and HeapTupleSatisfiesMVCC()) do not themselves
580  * acquire snapshots, so we need not register the snapshot. Those
581  * facilities are too low-level to have any business scanning tables.
582  */
583  freshsnap = GetCatalogSnapshot(RelationGetRelid(sysscan->heap_rel));
584 
585  result = table_tuple_satisfies_snapshot(sysscan->heap_rel,
586  sysscan->slot,
587  freshsnap);
588 
589  /*
590  * Handle the concurrent abort while fetching the catalog tuple during
591  * logical streaming of a transaction.
592  */
594 
595  return result;
596 }
static bool table_tuple_satisfies_snapshot(Relation rel, TupleTableSlot *slot, Snapshot snapshot)
Definition: tableam.h:1335

References Assert, ExecFetchSlotHeapTuple(), GetCatalogSnapshot(), HandleConcurrentAbort(), SysScanDescData::heap_rel, RelationGetRelid, SysScanDescData::slot, and table_tuple_satisfies_snapshot().

Referenced by CatalogCacheCreateEntry(), findDependentObjects(), and shdepDropOwned().