PostgreSQL Source Code git master
tableam.h
Go to the documentation of this file.
1/*-------------------------------------------------------------------------
2 *
3 * tableam.h
4 * POSTGRES table access method definitions.
5 *
6 *
7 * Portions Copyright (c) 1996-2025, PostgreSQL Global Development Group
8 * Portions Copyright (c) 1994, Regents of the University of California
9 *
10 * src/include/access/tableam.h
11 *
12 * NOTES
13 * See tableam.sgml for higher level documentation.
14 *
15 *-------------------------------------------------------------------------
16 */
17#ifndef TABLEAM_H
18#define TABLEAM_H
19
20#include "access/relscan.h"
21#include "access/sdir.h"
22#include "access/xact.h"
23#include "commands/vacuum.h"
24#include "executor/tuptable.h"
25#include "storage/read_stream.h"
26#include "utils/rel.h"
27#include "utils/snapshot.h"
28
29
30#define DEFAULT_TABLE_ACCESS_METHOD "heap"
31
32/* GUCs */
35
36
37/* forward references in this file */
39typedef struct IndexInfo IndexInfo;
42
43/*
44 * Bitmask values for the flags argument to the scan_begin callback.
45 */
46typedef enum ScanOptions
47{
48 /* one of SO_TYPE_* may be specified */
55
56 /* several of SO_ALLOW_* may be specified */
57 /* allow or disallow use of access strategy */
59 /* report location to syncscan logic? */
60 SO_ALLOW_SYNC = 1 << 7,
61 /* verify visibility page-at-a-time? */
63
64 /* unregister snapshot at scan end? */
67
68/*
69 * Result codes for table_{update,delete,lock_tuple}, and for visibility
70 * routines inside table AMs.
71 */
72typedef enum TM_Result
73{
74 /*
75 * Signals that the action succeeded (i.e. update/delete performed, lock
76 * was acquired)
77 */
79
80 /* The affected tuple wasn't visible to the relevant snapshot */
82
83 /* The affected tuple was already modified by the calling backend */
85
86 /*
87 * The affected tuple was updated by another transaction. This includes
88 * the case where tuple was moved to another partition.
89 */
91
92 /* The affected tuple was deleted by another transaction */
94
95 /*
96 * The affected tuple is currently being modified by another session. This
97 * will only be returned if table_(update/delete/lock_tuple) are
98 * instructed not to wait.
99 */
101
102 /* lock couldn't be acquired, action skipped. Only used by lock_tuple */
105
106/*
107 * Result codes for table_update(..., update_indexes*..).
108 * Used to determine which indexes to update.
109 */
111{
112 /* No indexed columns were updated (incl. TID addressing of tuple) */
114
115 /* A non-summarizing indexed column was updated, or the TID has changed */
117
118 /* Only summarized columns were updated, TID is unchanged */
121
122/*
123 * When table_tuple_update, table_tuple_delete, or table_tuple_lock fail
124 * because the target tuple is already outdated, they fill in this struct to
125 * provide information to the caller about what happened. When those functions
126 * succeed, the contents of this struct should not be relied upon, except for
127 * `traversed`, which may be set in both success and failure cases.
128 *
129 * ctid is the target's ctid link: it is the same as the target's TID if the
130 * target was deleted, or the location of the replacement tuple if the target
131 * was updated.
132 *
133 * xmax is the outdating transaction's XID. If the caller wants to visit the
134 * replacement tuple, it must check that this matches before believing the
135 * replacement is really a match. This is InvalidTransactionId if the target
136 * was !LP_NORMAL (expected only for a TID retrieved from syscache).
137 *
138 * cmax is the outdating command's CID, but only when the failure code is
139 * TM_SelfModified (i.e., something in the current transaction outdated the
140 * tuple); otherwise cmax is zero. (We make this restriction because
141 * HeapTupleHeaderGetCmax doesn't work for tuples outdated in other
142 * transactions.)
143 *
144 * traversed indicates if an update chain was followed in order to try to lock
145 * the target tuple. (This may be set in both success and failure cases.)
146 */
147typedef struct TM_FailureData
148{
154
155/*
156 * State used when calling table_index_delete_tuples().
157 *
158 * Represents the status of table tuples, referenced by table TID and taken by
159 * index AM from index tuples. State consists of high level parameters of the
160 * deletion operation, plus two mutable palloc()'d arrays for information
161 * about the status of individual table tuples. These are conceptually one
162 * single array. Using two arrays keeps the TM_IndexDelete struct small,
163 * which makes sorting the first array (the deltids array) fast.
164 *
165 * Some index AM callers perform simple index tuple deletion (by specifying
166 * bottomup = false), and include only known-dead deltids. These known-dead
167 * entries are all marked knowndeletable = true directly (typically these are
168 * TIDs from LP_DEAD-marked index tuples), but that isn't strictly required.
169 *
170 * Callers that specify bottomup = true are "bottom-up index deletion"
171 * callers. The considerations for the tableam are more subtle with these
172 * callers because they ask the tableam to perform highly speculative work,
173 * and might only expect the tableam to check a small fraction of all entries.
174 * Caller is not allowed to specify knowndeletable = true for any entry
175 * because everything is highly speculative. Bottom-up caller provides
176 * context and hints to tableam -- see comments below for details on how index
177 * AMs and tableams should coordinate during bottom-up index deletion.
178 *
179 * Simple index deletion callers may ask the tableam to perform speculative
180 * work, too. This is a little like bottom-up deletion, but not too much.
181 * The tableam will only perform speculative work when it's practically free
182 * to do so in passing for simple deletion caller (while always performing
183 * whatever work is needed to enable knowndeletable/LP_DEAD index tuples to
184 * be deleted within index AM). This is the real reason why it's possible for
185 * simple index deletion caller to specify knowndeletable = false up front
186 * (this means "check if it's possible for me to delete corresponding index
187 * tuple when it's cheap to do so in passing"). The index AM should only
188 * include "extra" entries for index tuples whose TIDs point to a table block
189 * that tableam is expected to have to visit anyway (in the event of a block
190 * orientated tableam). The tableam isn't strictly obligated to check these
191 * "extra" TIDs, but a block-based AM should always manage to do so in
192 * practice.
193 *
194 * The final contents of the deltids/status arrays are interesting to callers
195 * that ask tableam to perform speculative work (i.e. when _any_ items have
196 * knowndeletable set to false up front). These index AM callers will
197 * naturally need to consult final state to determine which index tuples are
198 * in fact deletable.
199 *
200 * The index AM can keep track of which index tuple relates to which deltid by
201 * setting idxoffnum (and/or relying on each entry being uniquely identifiable
202 * using tid), which is important when the final contents of the array will
203 * need to be interpreted -- the array can shrink from initial size after
204 * tableam processing and/or have entries in a new order (tableam may sort
205 * deltids array for its own reasons). Bottom-up callers may find that final
206 * ndeltids is 0 on return from call to tableam, in which case no index tuple
207 * deletions are possible. Simple deletion callers can rely on any entries
208 * they know to be deletable appearing in the final array as deletable.
209 */
210typedef struct TM_IndexDelete
211{
212 ItemPointerData tid; /* table TID from index tuple */
213 int16 id; /* Offset into TM_IndexStatus array */
215
216typedef struct TM_IndexStatus
217{
218 OffsetNumber idxoffnum; /* Index am page offset number */
219 bool knowndeletable; /* Currently known to be deletable? */
220
221 /* Bottom-up index deletion specific fields follow */
222 bool promising; /* Promising (duplicate) index tuple? */
223 int16 freespace; /* Space freed in index if deleted */
225
226/*
227 * Index AM/tableam coordination is central to the design of bottom-up index
228 * deletion. The index AM provides hints about where to look to the tableam
229 * by marking some entries as "promising". Index AM does this with duplicate
230 * index tuples that are strongly suspected to be old versions left behind by
231 * UPDATEs that did not logically modify indexed values. Index AM may find it
232 * helpful to only mark entries as promising when they're thought to have been
233 * affected by such an UPDATE in the recent past.
234 *
235 * Bottom-up index deletion casts a wide net at first, usually by including
236 * all TIDs on a target index page. It is up to the tableam to worry about
237 * the cost of checking transaction status information. The tableam is in
238 * control, but needs careful guidance from the index AM. Index AM requests
239 * that bottomupfreespace target be met, while tableam measures progress
240 * towards that goal by tallying the per-entry freespace value for known
241 * deletable entries. (All !bottomup callers can just set these space related
242 * fields to zero.)
243 */
244typedef struct TM_IndexDeleteOp
245{
246 Relation irel; /* Target index relation */
247 BlockNumber iblknum; /* Index block number (for error reports) */
248 bool bottomup; /* Bottom-up (not simple) deletion? */
249 int bottomupfreespace; /* Bottom-up space target */
250
251 /* Mutable per-TID information follows (index AM initializes entries) */
252 int ndeltids; /* Current # of deltids/status elements */
256
257/* "options" flag bits for table_tuple_insert */
258/* TABLE_INSERT_SKIP_WAL was 0x0001; RelationNeedsWAL() now governs */
259#define TABLE_INSERT_SKIP_FSM 0x0002
260#define TABLE_INSERT_FROZEN 0x0004
261#define TABLE_INSERT_NO_LOGICAL 0x0008
262
263/* flag bits for table_tuple_lock */
264/* Follow tuples whose update is in progress if lock modes don't conflict */
265#define TUPLE_LOCK_FLAG_LOCK_UPDATE_IN_PROGRESS (1 << 0)
266/* Follow update chain and lock latest version of tuple */
267#define TUPLE_LOCK_FLAG_FIND_LAST_VERSION (1 << 1)
268
269
270/* Typedef for callback function for table_index_build_scan */
272 ItemPointer tid,
273 Datum *values,
274 bool *isnull,
275 bool tupleIsAlive,
276 void *state);
277
278/*
279 * API struct for a table AM. Note this must be allocated in a
280 * server-lifetime manner, typically as a static const struct, which then gets
281 * returned by FormData_pg_am.amhandler.
282 *
283 * In most cases it's not appropriate to call the callbacks directly, use the
284 * table_* wrapper functions instead.
285 *
286 * GetTableAmRoutine() asserts that required callbacks are filled in, remember
287 * to update when adding a callback.
288 */
289typedef struct TableAmRoutine
290{
291 /* this must be set to T_TableAmRoutine */
293
294
295 /* ------------------------------------------------------------------------
296 * Slot related callbacks.
297 * ------------------------------------------------------------------------
298 */
299
300 /*
301 * Return slot implementation suitable for storing a tuple of this AM.
302 */
303 const TupleTableSlotOps *(*slot_callbacks) (Relation rel);
304
305
306 /* ------------------------------------------------------------------------
307 * Table scan callbacks.
308 * ------------------------------------------------------------------------
309 */
310
311 /*
312 * Start a scan of `rel`. The callback has to return a TableScanDesc,
313 * which will typically be embedded in a larger, AM specific, struct.
314 *
315 * If nkeys != 0, the results need to be filtered by those scan keys.
316 *
317 * pscan, if not NULL, will have already been initialized with
318 * parallelscan_initialize(), and has to be for the same relation. Will
319 * only be set coming from table_beginscan_parallel().
320 *
321 * `flags` is a bitmask indicating the type of scan (ScanOptions's
322 * SO_TYPE_*, currently only one may be specified), options controlling
323 * the scan's behaviour (ScanOptions's SO_ALLOW_*, several may be
324 * specified, an AM may ignore unsupported ones) and whether the snapshot
325 * needs to be deallocated at scan_end (ScanOptions's SO_TEMP_SNAPSHOT).
326 */
328 Snapshot snapshot,
329 int nkeys, ScanKeyData *key,
331 uint32 flags);
332
333 /*
334 * Release resources and deallocate scan. If TableScanDesc.temp_snap,
335 * TableScanDesc.rs_snapshot needs to be unregistered.
336 */
337 void (*scan_end) (TableScanDesc scan);
338
339 /*
340 * Restart relation scan. If set_params is set to true, allow_{strat,
341 * sync, pagemode} (see scan_begin) changes should be taken into account.
342 */
344 bool set_params, bool allow_strat,
345 bool allow_sync, bool allow_pagemode);
346
347 /*
348 * Return next tuple from `scan`, store in slot.
349 */
351 ScanDirection direction,
352 TupleTableSlot *slot);
353
354 /*-----------
355 * Optional functions to provide scanning for ranges of ItemPointers.
356 * Implementations must either provide both of these functions, or neither
357 * of them.
358 *
359 * Implementations of scan_set_tidrange must themselves handle
360 * ItemPointers of any value. i.e, they must handle each of the following:
361 *
362 * 1) mintid or maxtid is beyond the end of the table; and
363 * 2) mintid is above maxtid; and
364 * 3) item offset for mintid or maxtid is beyond the maximum offset
365 * allowed by the AM.
366 *
367 * Implementations can assume that scan_set_tidrange is always called
368 * before scan_getnextslot_tidrange or after scan_rescan and before any
369 * further calls to scan_getnextslot_tidrange.
370 */
372 ItemPointer mintid,
373 ItemPointer maxtid);
374
375 /*
376 * Return next tuple from `scan` that's in the range of TIDs defined by
377 * scan_set_tidrange.
378 */
380 ScanDirection direction,
381 TupleTableSlot *slot);
382
383 /* ------------------------------------------------------------------------
384 * Parallel table scan related functions.
385 * ------------------------------------------------------------------------
386 */
387
388 /*
389 * Estimate the size of shared memory needed for a parallel scan of this
390 * relation. The snapshot does not need to be accounted for.
391 */
393
394 /*
395 * Initialize ParallelTableScanDesc for a parallel scan of this relation.
396 * `pscan` will be sized according to parallelscan_estimate() for the same
397 * relation.
398 */
401
402 /*
403 * Reinitialize `pscan` for a new scan. `rel` will be the same relation as
404 * when `pscan` was initialized by parallelscan_initialize.
405 */
408
409
410 /* ------------------------------------------------------------------------
411 * Index Scan Callbacks
412 * ------------------------------------------------------------------------
413 */
414
415 /*
416 * Prepare to fetch tuples from the relation, as needed when fetching
417 * tuples for an index scan. The callback has to return an
418 * IndexFetchTableData, which the AM will typically embed in a larger
419 * structure with additional information.
420 *
421 * Tuples for an index scan can then be fetched via index_fetch_tuple.
422 */
423 struct IndexFetchTableData *(*index_fetch_begin) (Relation rel);
424
425 /*
426 * Reset index fetch. Typically this will release cross index fetch
427 * resources held in IndexFetchTableData.
428 */
430
431 /*
432 * Release resources and deallocate index fetch.
433 */
435
436 /*
437 * Fetch tuple at `tid` into `slot`, after doing a visibility test
438 * according to `snapshot`. If a tuple was found and passed the visibility
439 * test, return true, false otherwise.
440 *
441 * Note that AMs that do not necessarily update indexes when indexed
442 * columns do not change, need to return the current/correct version of
443 * the tuple that is visible to the snapshot, even if the tid points to an
444 * older version of the tuple.
445 *
446 * *call_again is false on the first call to index_fetch_tuple for a tid.
447 * If there potentially is another tuple matching the tid, *call_again
448 * needs to be set to true by index_fetch_tuple, signaling to the caller
449 * that index_fetch_tuple should be called again for the same tid.
450 *
451 * *all_dead, if all_dead is not NULL, should be set to true by
452 * index_fetch_tuple iff it is guaranteed that no backend needs to see
453 * that tuple. Index AMs can use that to avoid returning that tid in
454 * future searches.
455 */
457 ItemPointer tid,
458 Snapshot snapshot,
459 TupleTableSlot *slot,
460 bool *call_again, bool *all_dead);
461
462
463 /* ------------------------------------------------------------------------
464 * Callbacks for non-modifying operations on individual tuples
465 * ------------------------------------------------------------------------
466 */
467
468 /*
469 * Fetch tuple at `tid` into `slot`, after doing a visibility test
470 * according to `snapshot`. If a tuple was found and passed the visibility
471 * test, returns true, false otherwise.
472 */
474 ItemPointer tid,
475 Snapshot snapshot,
476 TupleTableSlot *slot);
477
478 /*
479 * Is tid valid for a scan of this relation.
480 */
482 ItemPointer tid);
483
484 /*
485 * Return the latest version of the tuple at `tid`, by updating `tid` to
486 * point at the newest version.
487 */
489 ItemPointer tid);
490
491 /*
492 * Does the tuple in `slot` satisfy `snapshot`? The slot needs to be of
493 * the appropriate type for the AM.
494 */
496 TupleTableSlot *slot,
497 Snapshot snapshot);
498
499 /* see table_index_delete_tuples() */
501 TM_IndexDeleteOp *delstate);
502
503
504 /* ------------------------------------------------------------------------
505 * Manipulations of physical tuples.
506 * ------------------------------------------------------------------------
507 */
508
509 /* see table_tuple_insert() for reference about parameters */
511 CommandId cid, int options,
512 BulkInsertStateData *bistate);
513
514 /* see table_tuple_insert_speculative() for reference about parameters */
516 TupleTableSlot *slot,
517 CommandId cid,
518 int options,
519 BulkInsertStateData *bistate,
520 uint32 specToken);
521
522 /* see table_tuple_complete_speculative() for reference about parameters */
524 TupleTableSlot *slot,
525 uint32 specToken,
526 bool succeeded);
527
528 /* see table_multi_insert() for reference about parameters */
529 void (*multi_insert) (Relation rel, TupleTableSlot **slots, int nslots,
530 CommandId cid, int options, BulkInsertStateData *bistate);
531
532 /* see table_tuple_delete() for reference about parameters */
534 ItemPointer tid,
535 CommandId cid,
536 Snapshot snapshot,
537 Snapshot crosscheck,
538 bool wait,
539 TM_FailureData *tmfd,
540 bool changingPart);
541
542 /* see table_tuple_update() for reference about parameters */
544 ItemPointer otid,
545 TupleTableSlot *slot,
546 CommandId cid,
547 Snapshot snapshot,
548 Snapshot crosscheck,
549 bool wait,
550 TM_FailureData *tmfd,
551 LockTupleMode *lockmode,
552 TU_UpdateIndexes *update_indexes);
553
554 /* see table_tuple_lock() for reference about parameters */
556 ItemPointer tid,
557 Snapshot snapshot,
558 TupleTableSlot *slot,
559 CommandId cid,
561 LockWaitPolicy wait_policy,
562 uint8 flags,
563 TM_FailureData *tmfd);
564
565 /*
566 * Perform operations necessary to complete insertions made via
567 * tuple_insert and multi_insert with a BulkInsertState specified. In-tree
568 * access methods ceased to use this.
569 *
570 * Typically callers of tuple_insert and multi_insert will just pass all
571 * the flags that apply to them, and each AM has to decide which of them
572 * make sense for it, and then only take actions in finish_bulk_insert for
573 * those flags, and ignore others.
574 *
575 * Optional callback.
576 */
578
579
580 /* ------------------------------------------------------------------------
581 * DDL related functionality.
582 * ------------------------------------------------------------------------
583 */
584
585 /*
586 * This callback needs to create new relation storage for `rel`, with
587 * appropriate durability behaviour for `persistence`.
588 *
589 * Note that only the subset of the relcache filled by
590 * RelationBuildLocalRelation() can be relied upon and that the relation's
591 * catalog entries will either not yet exist (new relation), or will still
592 * reference the old relfilelocator.
593 *
594 * As output *freezeXid, *minmulti must be set to the values appropriate
595 * for pg_class.{relfrozenxid, relminmxid}. For AMs that don't need those
596 * fields to be filled they can be set to InvalidTransactionId and
597 * InvalidMultiXactId, respectively.
598 *
599 * See also table_relation_set_new_filelocator().
600 */
602 const RelFileLocator *newrlocator,
603 char persistence,
604 TransactionId *freezeXid,
605 MultiXactId *minmulti);
606
607 /*
608 * This callback needs to remove all contents from `rel`'s current
609 * relfilelocator. No provisions for transactional behaviour need to be
610 * made. Often this can be implemented by truncating the underlying
611 * storage to its minimal size.
612 *
613 * See also table_relation_nontransactional_truncate().
614 */
616
617 /*
618 * See table_relation_copy_data().
619 *
620 * This can typically be implemented by directly copying the underlying
621 * storage, unless it contains references to the tablespace internally.
622 */
624 const RelFileLocator *newrlocator);
625
626 /* See table_relation_copy_for_cluster() */
628 Relation NewTable,
629 Relation OldIndex,
630 bool use_sort,
631 TransactionId OldestXmin,
632 TransactionId *xid_cutoff,
633 MultiXactId *multi_cutoff,
634 double *num_tuples,
635 double *tups_vacuumed,
636 double *tups_recently_dead);
637
638 /*
639 * React to VACUUM command on the relation. The VACUUM can be triggered by
640 * a user or by autovacuum. The specific actions performed by the AM will
641 * depend heavily on the individual AM.
642 *
643 * On entry a transaction is already established, and the relation is
644 * locked with a ShareUpdateExclusive lock.
645 *
646 * Note that neither VACUUM FULL (and CLUSTER), nor ANALYZE go through
647 * this routine, even if (for ANALYZE) it is part of the same VACUUM
648 * command.
649 *
650 * There probably, in the future, needs to be a separate callback to
651 * integrate with autovacuum's scheduling.
652 */
654 const VacuumParams params,
655 BufferAccessStrategy bstrategy);
656
657 /*
658 * Prepare to analyze block `blockno` of `scan`. The scan has been started
659 * with table_beginscan_analyze(). See also
660 * table_scan_analyze_next_block().
661 *
662 * The callback may acquire resources like locks that are held until
663 * table_scan_analyze_next_tuple() returns false. It e.g. can make sense
664 * to hold a lock until all tuples on a block have been analyzed by
665 * scan_analyze_next_tuple.
666 *
667 * The callback can return false if the block is not suitable for
668 * sampling, e.g. because it's a metapage that could never contain tuples.
669 *
670 * XXX: This obviously is primarily suited for block-based AMs. It's not
671 * clear what a good interface for non block based AMs would be, so there
672 * isn't one yet.
673 */
675 ReadStream *stream);
676
677 /*
678 * See table_scan_analyze_next_tuple().
679 *
680 * Not every AM might have a meaningful concept of dead rows, in which
681 * case it's OK to not increment *deadrows - but note that that may
682 * influence autovacuum scheduling (see comment for relation_vacuum
683 * callback).
684 */
686 TransactionId OldestXmin,
687 double *liverows,
688 double *deadrows,
689 TupleTableSlot *slot);
690
691 /* see table_index_build_range_scan for reference about parameters */
692 double (*index_build_range_scan) (Relation table_rel,
693 Relation index_rel,
694 IndexInfo *index_info,
695 bool allow_sync,
696 bool anyvisible,
697 bool progress,
698 BlockNumber start_blockno,
699 BlockNumber numblocks,
701 void *callback_state,
702 TableScanDesc scan);
703
704 /* see table_index_validate_scan for reference about parameters */
705 void (*index_validate_scan) (Relation table_rel,
706 Relation index_rel,
707 IndexInfo *index_info,
708 Snapshot snapshot,
710
711
712 /* ------------------------------------------------------------------------
713 * Miscellaneous functions.
714 * ------------------------------------------------------------------------
715 */
716
717 /*
718 * See table_relation_size().
719 *
720 * Note that currently a few callers use the MAIN_FORKNUM size to figure
721 * out the range of potentially interesting blocks (brin, analyze). It's
722 * probable that we'll need to revise the interface for those at some
723 * point.
724 */
726
727
728 /*
729 * This callback should return true if the relation requires a TOAST table
730 * and false if it does not. It may wish to examine the relation's tuple
731 * descriptor before making a decision, but if it uses some other method
732 * of storing large values (or if it does not support them) it can simply
733 * return false.
734 */
736
737 /*
738 * This callback should return the OID of the table AM that implements
739 * TOAST tables for this AM. If the relation_needs_toast_table callback
740 * always returns false, this callback is not required.
741 */
743
744 /*
745 * This callback is invoked when detoasting a value stored in a toast
746 * table implemented by this AM. See table_relation_fetch_toast_slice()
747 * for more details.
748 */
749 void (*relation_fetch_toast_slice) (Relation toastrel, Oid valueid,
750 int32 attrsize,
751 int32 sliceoffset,
752 int32 slicelength,
753 struct varlena *result);
754
755
756 /* ------------------------------------------------------------------------
757 * Planner related functions.
758 * ------------------------------------------------------------------------
759 */
760
761 /*
762 * See table_relation_estimate_size().
763 *
764 * While block oriented, it shouldn't be too hard for an AM that doesn't
765 * internally use blocks to convert into a usable representation.
766 *
767 * This differs from the relation_size callback by returning size
768 * estimates (both relation size and tuple count) for planning purposes,
769 * rather than returning a currently correct estimate.
770 */
771 void (*relation_estimate_size) (Relation rel, int32 *attr_widths,
772 BlockNumber *pages, double *tuples,
773 double *allvisfrac);
774
775
776 /* ------------------------------------------------------------------------
777 * Executor related functions.
778 * ------------------------------------------------------------------------
779 */
780
781 /*
782 * Fetch the next tuple of a bitmap table scan into `slot` and return true
783 * if a visible tuple was found, false otherwise.
784 *
785 * `lossy_pages` is incremented if the bitmap is lossy for the selected
786 * page; otherwise, `exact_pages` is incremented. These are tracked for
787 * display in EXPLAIN ANALYZE output.
788 *
789 * Prefetching additional data from the bitmap is left to the table AM.
790 *
791 * This is an optional callback.
792 */
794 TupleTableSlot *slot,
795 bool *recheck,
796 uint64 *lossy_pages,
797 uint64 *exact_pages);
798
799 /*
800 * Prepare to fetch tuples from the next block in a sample scan. Return
801 * false if the sample scan is finished, true otherwise. `scan` was
802 * started via table_beginscan_sampling().
803 *
804 * Typically this will first determine the target block by calling the
805 * TsmRoutine's NextSampleBlock() callback if not NULL, or alternatively
806 * perform a sequential scan over all blocks. The determined block is
807 * then typically read and pinned.
808 *
809 * As the TsmRoutine interface is block based, a block needs to be passed
810 * to NextSampleBlock(). If that's not appropriate for an AM, it
811 * internally needs to perform mapping between the internal and a block
812 * based representation.
813 *
814 * Note that it's not acceptable to hold deadlock prone resources such as
815 * lwlocks until scan_sample_next_tuple() has exhausted the tuples on the
816 * block - the tuple is likely to be returned to an upper query node, and
817 * the next call could be off a long while. Holding buffer pins and such
818 * is obviously OK.
819 *
820 * Currently it is required to implement this interface, as there's no
821 * alternative way (contrary e.g. to bitmap scans) to implement sample
822 * scans. If infeasible to implement, the AM may raise an error.
823 */
825 SampleScanState *scanstate);
826
827 /*
828 * This callback, only called after scan_sample_next_block has returned
829 * true, should determine the next tuple to be returned from the selected
830 * block using the TsmRoutine's NextSampleTuple() callback.
831 *
832 * The callback needs to perform visibility checks, and only return
833 * visible tuples. That obviously can mean calling NextSampleTuple()
834 * multiple times.
835 *
836 * The TsmRoutine interface assumes that there's a maximum offset on a
837 * given page, so if that doesn't apply to an AM, it needs to emulate that
838 * assumption somehow.
839 */
841 SampleScanState *scanstate,
842 TupleTableSlot *slot);
843
845
846
847/* ----------------------------------------------------------------------------
848 * Slot functions.
849 * ----------------------------------------------------------------------------
850 */
851
852/*
853 * Returns slot callbacks suitable for holding tuples of the appropriate type
854 * for the relation. Works for tables, views, foreign tables and partitioned
855 * tables.
856 */
857extern const TupleTableSlotOps *table_slot_callbacks(Relation relation);
858
859/*
860 * Returns slot using the callbacks returned by table_slot_callbacks(), and
861 * registers it on *reglist.
862 */
863extern TupleTableSlot *table_slot_create(Relation relation, List **reglist);
864
865
866/* ----------------------------------------------------------------------------
867 * Table scan functions.
868 * ----------------------------------------------------------------------------
869 */
870
871/*
872 * Start a scan of `rel`. Returned tuples pass a visibility test of
873 * `snapshot`, and if nkeys != 0, the results are filtered by those scan keys.
874 */
875static inline TableScanDesc
877 int nkeys, ScanKeyData *key)
878{
879 uint32 flags = SO_TYPE_SEQSCAN |
881
882 return rel->rd_tableam->scan_begin(rel, snapshot, nkeys, key, NULL, flags);
883}
884
885/*
886 * Like table_beginscan(), but for scanning catalog. It'll automatically use a
887 * snapshot appropriate for scanning catalog relations.
888 */
889extern TableScanDesc table_beginscan_catalog(Relation relation, int nkeys,
891
892/*
893 * Like table_beginscan(), but table_beginscan_strat() offers an extended API
894 * that lets the caller control whether a nondefault buffer access strategy
895 * can be used, and whether syncscan can be chosen (possibly resulting in the
896 * scan not starting from block zero). Both of these default to true with
897 * plain table_beginscan.
898 */
899static inline TableScanDesc
901 int nkeys, ScanKeyData *key,
902 bool allow_strat, bool allow_sync)
903{
905
906 if (allow_strat)
907 flags |= SO_ALLOW_STRAT;
908 if (allow_sync)
909 flags |= SO_ALLOW_SYNC;
910
911 return rel->rd_tableam->scan_begin(rel, snapshot, nkeys, key, NULL, flags);
912}
913
914/*
915 * table_beginscan_bm is an alternative entry point for setting up a
916 * TableScanDesc for a bitmap heap scan. Although that scan technology is
917 * really quite unlike a standard seqscan, there is just enough commonality to
918 * make it worth using the same data structure.
919 */
920static inline TableScanDesc
922 int nkeys, ScanKeyData *key)
923{
925
926 return rel->rd_tableam->scan_begin(rel, snapshot, nkeys, key,
927 NULL, flags);
928}
929
930/*
931 * table_beginscan_sampling is an alternative entry point for setting up a
932 * TableScanDesc for a TABLESAMPLE scan. As with bitmap scans, it's worth
933 * using the same data structure although the behavior is rather different.
934 * In addition to the options offered by table_beginscan_strat, this call
935 * also allows control of whether page-mode visibility checking is used.
936 */
937static inline TableScanDesc
939 int nkeys, ScanKeyData *key,
940 bool allow_strat, bool allow_sync,
941 bool allow_pagemode)
942{
944
945 if (allow_strat)
946 flags |= SO_ALLOW_STRAT;
947 if (allow_sync)
948 flags |= SO_ALLOW_SYNC;
949 if (allow_pagemode)
950 flags |= SO_ALLOW_PAGEMODE;
951
952 return rel->rd_tableam->scan_begin(rel, snapshot, nkeys, key, NULL, flags);
953}
954
955/*
956 * table_beginscan_tid is an alternative entry point for setting up a
957 * TableScanDesc for a Tid scan. As with bitmap scans, it's worth using
958 * the same data structure although the behavior is rather different.
959 */
960static inline TableScanDesc
962{
963 uint32 flags = SO_TYPE_TIDSCAN;
964
965 return rel->rd_tableam->scan_begin(rel, snapshot, 0, NULL, NULL, flags);
966}
967
968/*
969 * table_beginscan_analyze is an alternative entry point for setting up a
970 * TableScanDesc for an ANALYZE scan. As with bitmap scans, it's worth using
971 * the same data structure although the behavior is rather different.
972 */
973static inline TableScanDesc
975{
976 uint32 flags = SO_TYPE_ANALYZE;
977
978 return rel->rd_tableam->scan_begin(rel, NULL, 0, NULL, NULL, flags);
979}
980
981/*
982 * End relation scan.
983 */
984static inline void
986{
987 scan->rs_rd->rd_tableam->scan_end(scan);
988}
989
990/*
991 * Restart a relation scan.
992 */
993static inline void
995{
996 scan->rs_rd->rd_tableam->scan_rescan(scan, key, false, false, false, false);
997}
998
999/*
1000 * Restart a relation scan after changing params.
1001 *
1002 * This call allows changing the buffer strategy, syncscan, and pagemode
1003 * options before starting a fresh scan. Note that although the actual use of
1004 * syncscan might change (effectively, enabling or disabling reporting), the
1005 * previously selected startblock will be kept.
1006 */
1007static inline void
1009 bool allow_strat, bool allow_sync, bool allow_pagemode)
1010{
1011 scan->rs_rd->rd_tableam->scan_rescan(scan, key, true,
1012 allow_strat, allow_sync,
1013 allow_pagemode);
1014}
1015
1016/*
1017 * Return next tuple from `scan`, store in slot.
1018 */
1019static inline bool
1021{
1022 slot->tts_tableOid = RelationGetRelid(sscan->rs_rd);
1023
1024 /* We don't expect actual scans using NoMovementScanDirection */
1025 Assert(direction == ForwardScanDirection ||
1026 direction == BackwardScanDirection);
1027
1028 /*
1029 * We don't expect direct calls to table_scan_getnextslot with valid
1030 * CheckXidAlive for catalog or regular tables. See detailed comments in
1031 * xact.c where these variables are declared.
1032 */
1034 elog(ERROR, "unexpected table_scan_getnextslot call during logical decoding");
1035
1036 return sscan->rs_rd->rd_tableam->scan_getnextslot(sscan, direction, slot);
1037}
1038
1039/* ----------------------------------------------------------------------------
1040 * TID Range scanning related functions.
1041 * ----------------------------------------------------------------------------
1042 */
1043
1044/*
1045 * table_beginscan_tidrange is the entry point for setting up a TableScanDesc
1046 * for a TID range scan.
1047 */
1048static inline TableScanDesc
1050 ItemPointer mintid,
1051 ItemPointer maxtid)
1052{
1053 TableScanDesc sscan;
1055
1056 sscan = rel->rd_tableam->scan_begin(rel, snapshot, 0, NULL, NULL, flags);
1057
1058 /* Set the range of TIDs to scan */
1059 sscan->rs_rd->rd_tableam->scan_set_tidrange(sscan, mintid, maxtid);
1060
1061 return sscan;
1062}
1063
1064/*
1065 * table_rescan_tidrange resets the scan position and sets the minimum and
1066 * maximum TID range to scan for a TableScanDesc created by
1067 * table_beginscan_tidrange.
1068 */
1069static inline void
1071 ItemPointer maxtid)
1072{
1073 /* Ensure table_beginscan_tidrange() was used. */
1074 Assert((sscan->rs_flags & SO_TYPE_TIDRANGESCAN) != 0);
1075
1076 sscan->rs_rd->rd_tableam->scan_rescan(sscan, NULL, false, false, false, false);
1077 sscan->rs_rd->rd_tableam->scan_set_tidrange(sscan, mintid, maxtid);
1078}
1079
1080/*
1081 * Fetch the next tuple from `sscan` for a TID range scan created by
1082 * table_beginscan_tidrange(). Stores the tuple in `slot` and returns true,
1083 * or returns false if no more tuples exist in the range.
1084 */
1085static inline bool
1087 TupleTableSlot *slot)
1088{
1089 /* Ensure table_beginscan_tidrange() was used. */
1090 Assert((sscan->rs_flags & SO_TYPE_TIDRANGESCAN) != 0);
1091
1092 /* We don't expect actual scans using NoMovementScanDirection */
1093 Assert(direction == ForwardScanDirection ||
1094 direction == BackwardScanDirection);
1095
1096 return sscan->rs_rd->rd_tableam->scan_getnextslot_tidrange(sscan,
1097 direction,
1098 slot);
1099}
1100
1101
1102/* ----------------------------------------------------------------------------
1103 * Parallel table scan related functions.
1104 * ----------------------------------------------------------------------------
1105 */
1106
1107/*
1108 * Estimate the size of shared memory needed for a parallel scan of this
1109 * relation.
1110 */
1112
1113/*
1114 * Initialize ParallelTableScanDesc for a parallel scan of this
1115 * relation. `pscan` needs to be sized according to parallelscan_estimate()
1116 * for the same relation. Call this just once in the leader process; then,
1117 * individual workers attach via table_beginscan_parallel.
1118 */
1121 Snapshot snapshot);
1122
1123/*
1124 * Begin a parallel scan. `pscan` needs to have been initialized with
1125 * table_parallelscan_initialize(), for the same relation. The initialization
1126 * does not need to have happened in this backend.
1127 *
1128 * Caller must hold a suitable lock on the relation.
1129 */
1131 ParallelTableScanDesc pscan);
1132
1133/*
1134 * Begin a parallel tid range scan. `pscan` needs to have been initialized
1135 * with table_parallelscan_initialize(), for the same relation. The
1136 * initialization does not need to have happened in this backend.
1137 *
1138 * Caller must hold a suitable lock on the relation.
1139 */
1141 ParallelTableScanDesc pscan);
1142
1143/*
1144 * Restart a parallel scan. Call this in the leader process. Caller is
1145 * responsible for making sure that all workers have finished the scan
1146 * beforehand.
1147 */
1148static inline void
1150{
1151 rel->rd_tableam->parallelscan_reinitialize(rel, pscan);
1152}
1153
1154
1155/* ----------------------------------------------------------------------------
1156 * Index scan related functions.
1157 * ----------------------------------------------------------------------------
1158 */
1159
1160/*
1161 * Prepare to fetch tuples from the relation, as needed when fetching tuples
1162 * for an index scan.
1163 *
1164 * Tuples for an index scan can then be fetched via table_index_fetch_tuple().
1165 */
1166static inline IndexFetchTableData *
1168{
1169 return rel->rd_tableam->index_fetch_begin(rel);
1170}
1171
1172/*
1173 * Reset index fetch. Typically this will release cross index fetch resources
1174 * held in IndexFetchTableData.
1175 */
1176static inline void
1178{
1179 scan->rel->rd_tableam->index_fetch_reset(scan);
1180}
1181
1182/*
1183 * Release resources and deallocate index fetch.
1184 */
1185static inline void
1187{
1188 scan->rel->rd_tableam->index_fetch_end(scan);
1189}
1190
1191/*
1192 * Fetches, as part of an index scan, tuple at `tid` into `slot`, after doing
1193 * a visibility test according to `snapshot`. If a tuple was found and passed
1194 * the visibility test, returns true, false otherwise. Note that *tid may be
1195 * modified when we return true (see later remarks on multiple row versions
1196 * reachable via a single index entry).
1197 *
1198 * *call_again needs to be false on the first call to table_index_fetch_tuple() for
1199 * a tid. If there potentially is another tuple matching the tid, *call_again
1200 * will be set to true, signaling that table_index_fetch_tuple() should be called
1201 * again for the same tid.
1202 *
1203 * *all_dead, if all_dead is not NULL, will be set to true by
1204 * table_index_fetch_tuple() iff it is guaranteed that no backend needs to see
1205 * that tuple. Index AMs can use that to avoid returning that tid in future
1206 * searches.
1207 *
1208 * The difference between this function and table_tuple_fetch_row_version()
1209 * is that this function returns the currently visible version of a row if
1210 * the AM supports storing multiple row versions reachable via a single index
1211 * entry (like heap's HOT). Whereas table_tuple_fetch_row_version() only
1212 * evaluates the tuple exactly at `tid`. Outside of index entry ->table tuple
1213 * lookups, table_tuple_fetch_row_version() is what's usually needed.
1214 */
1215static inline bool
1217 ItemPointer tid,
1218 Snapshot snapshot,
1219 TupleTableSlot *slot,
1220 bool *call_again, bool *all_dead)
1221{
1222 /*
1223 * We don't expect direct calls to table_index_fetch_tuple with valid
1224 * CheckXidAlive for catalog or regular tables. See detailed comments in
1225 * xact.c where these variables are declared.
1226 */
1228 elog(ERROR, "unexpected table_index_fetch_tuple call during logical decoding");
1229
1230 return scan->rel->rd_tableam->index_fetch_tuple(scan, tid, snapshot,
1231 slot, call_again,
1232 all_dead);
1233}
1234
1235/*
1236 * This is a convenience wrapper around table_index_fetch_tuple() which
1237 * returns whether there are table tuple items corresponding to an index
1238 * entry. This likely is only useful to verify if there's a conflict in a
1239 * unique index.
1240 */
1242 ItemPointer tid,
1243 Snapshot snapshot,
1244 bool *all_dead);
1245
1246
1247/* ------------------------------------------------------------------------
1248 * Functions for non-modifying operations on individual tuples
1249 * ------------------------------------------------------------------------
1250 */
1251
1252
1253/*
1254 * Fetch tuple at `tid` into `slot`, after doing a visibility test according to
1255 * `snapshot`. If a tuple was found and passed the visibility test, returns
1256 * true, false otherwise.
1257 *
1258 * See table_index_fetch_tuple's comment about what the difference between
1259 * these functions is. It is correct to use this function outside of index
1260 * entry->table tuple lookups.
1261 */
1262static inline bool
1264 ItemPointer tid,
1265 Snapshot snapshot,
1266 TupleTableSlot *slot)
1267{
1268 /*
1269 * We don't expect direct calls to table_tuple_fetch_row_version with
1270 * valid CheckXidAlive for catalog or regular tables. See detailed
1271 * comments in xact.c where these variables are declared.
1272 */
1274 elog(ERROR, "unexpected table_tuple_fetch_row_version call during logical decoding");
1275
1276 return rel->rd_tableam->tuple_fetch_row_version(rel, tid, snapshot, slot);
1277}
1278
1279/*
1280 * Verify that `tid` is a potentially valid tuple identifier. That doesn't
1281 * mean that the pointed to row needs to exist or be visible, but that
1282 * attempting to fetch the row (e.g. with table_tuple_get_latest_tid() or
1283 * table_tuple_fetch_row_version()) should not error out if called with that
1284 * tid.
1285 *
1286 * `scan` needs to have been started via table_beginscan().
1287 */
1288static inline bool
1290{
1291 return scan->rs_rd->rd_tableam->tuple_tid_valid(scan, tid);
1292}
1293
1294/*
1295 * Return the latest version of the tuple at `tid`, by updating `tid` to
1296 * point at the newest version.
1297 */
1299
1300/*
1301 * Return true iff tuple in slot satisfies the snapshot.
1302 *
1303 * This assumes the slot's tuple is valid, and of the appropriate type for the
1304 * AM.
1305 *
1306 * Some AMs might modify the data underlying the tuple as a side-effect. If so
1307 * they ought to mark the relevant buffer dirty.
1308 */
1309static inline bool
1311 Snapshot snapshot)
1312{
1313 return rel->rd_tableam->tuple_satisfies_snapshot(rel, slot, snapshot);
1314}
1315
1316/*
1317 * Determine which index tuples are safe to delete based on their table TID.
1318 *
1319 * Determines which entries from index AM caller's TM_IndexDeleteOp state
1320 * point to vacuumable table tuples. Entries that are found by tableam to be
1321 * vacuumable are naturally safe for index AM to delete, and so get directly
1322 * marked as deletable. See comments above TM_IndexDelete and comments above
1323 * TM_IndexDeleteOp for full details.
1324 *
1325 * Returns a snapshotConflictHorizon transaction ID that caller places in
1326 * its index deletion WAL record. This might be used during subsequent REDO
1327 * of the WAL record when in Hot Standby mode -- a recovery conflict for the
1328 * index deletion operation might be required on the standby.
1329 */
1330static inline TransactionId
1332{
1333 return rel->rd_tableam->index_delete_tuples(rel, delstate);
1334}
1335
1336
1337/* ----------------------------------------------------------------------------
1338 * Functions for manipulations of physical tuples.
1339 * ----------------------------------------------------------------------------
1340 */
1341
1342/*
1343 * Insert a tuple from a slot into table AM routine.
1344 *
1345 * The options bitmask allows the caller to specify options that may change the
1346 * behaviour of the AM. The AM will ignore options that it does not support.
1347 *
1348 * If the TABLE_INSERT_SKIP_FSM option is specified, AMs are free to not reuse
1349 * free space in the relation. This can save some cycles when we know the
1350 * relation is new and doesn't contain useful amounts of free space.
1351 * TABLE_INSERT_SKIP_FSM is commonly passed directly to
1352 * RelationGetBufferForTuple. See that method for more information.
1353 *
1354 * TABLE_INSERT_FROZEN should only be specified for inserts into
1355 * relation storage created during the current subtransaction and when
1356 * there are no prior snapshots or pre-existing portals open.
1357 * This causes rows to be frozen, which is an MVCC violation and
1358 * requires explicit options chosen by user.
1359 *
1360 * TABLE_INSERT_NO_LOGICAL force-disables the emitting of logical decoding
1361 * information for the tuple. This should solely be used during table rewrites
1362 * where RelationIsLogicallyLogged(relation) is not yet accurate for the new
1363 * relation.
1364 *
1365 * Note that most of these options will be applied when inserting into the
1366 * heap's TOAST table, too, if the tuple requires any out-of-line data.
1367 *
1368 * The BulkInsertState object (if any; bistate can be NULL for default
1369 * behavior) is also just passed through to RelationGetBufferForTuple. If
1370 * `bistate` is provided, table_finish_bulk_insert() needs to be called.
1371 *
1372 * On return the slot's tts_tid and tts_tableOid are updated to reflect the
1373 * insertion. But note that any toasting of fields within the slot is NOT
1374 * reflected in the slots contents.
1375 */
1376static inline void
1378 int options, BulkInsertStateData *bistate)
1379{
1380 rel->rd_tableam->tuple_insert(rel, slot, cid, options,
1381 bistate);
1382}
1383
1384/*
1385 * Perform a "speculative insertion". These can be backed out afterwards
1386 * without aborting the whole transaction. Other sessions can wait for the
1387 * speculative insertion to be confirmed, turning it into a regular tuple, or
1388 * aborted, as if it never existed. Speculatively inserted tuples behave as
1389 * "value locks" of short duration, used to implement INSERT .. ON CONFLICT.
1390 *
1391 * A transaction having performed a speculative insertion has to either abort,
1392 * or finish the speculative insertion with
1393 * table_tuple_complete_speculative(succeeded = ...).
1394 */
1395static inline void
1397 CommandId cid, int options,
1398 BulkInsertStateData *bistate,
1399 uint32 specToken)
1400{
1401 rel->rd_tableam->tuple_insert_speculative(rel, slot, cid, options,
1402 bistate, specToken);
1403}
1404
1405/*
1406 * Complete "speculative insertion" started in the same transaction. If
1407 * succeeded is true, the tuple is fully inserted, if false, it's removed.
1408 */
1409static inline void
1411 uint32 specToken, bool succeeded)
1412{
1413 rel->rd_tableam->tuple_complete_speculative(rel, slot, specToken,
1414 succeeded);
1415}
1416
1417/*
1418 * Insert multiple tuples into a table.
1419 *
1420 * This is like table_tuple_insert(), but inserts multiple tuples in one
1421 * operation. That's often faster than calling table_tuple_insert() in a loop,
1422 * because e.g. the AM can reduce WAL logging and page locking overhead.
1423 *
1424 * Except for taking `nslots` tuples as input, and an array of TupleTableSlots
1425 * in `slots`, the parameters for table_multi_insert() are the same as for
1426 * table_tuple_insert().
1427 *
1428 * Note: this leaks memory into the current memory context. You can create a
1429 * temporary context before calling this, if that's a problem.
1430 */
1431static inline void
1433 CommandId cid, int options, BulkInsertStateData *bistate)
1434{
1435 rel->rd_tableam->multi_insert(rel, slots, nslots,
1436 cid, options, bistate);
1437}
1438
1439/*
1440 * Delete a tuple.
1441 *
1442 * NB: do not call this directly unless prepared to deal with
1443 * concurrent-update conditions. Use simple_table_tuple_delete instead.
1444 *
1445 * Input parameters:
1446 * rel - table to be modified (caller must hold suitable lock)
1447 * tid - TID of tuple to be deleted
1448 * cid - delete command ID (used for visibility test, and stored into
1449 * cmax if successful)
1450 * crosscheck - if not InvalidSnapshot, also check tuple against this
1451 * wait - true if should wait for any conflicting update to commit/abort
1452 * changingPart - true iff the tuple is being moved to another partition
1453 * table due to an update of the partition key. Otherwise, false.
1454 *
1455 * Output parameters:
1456 * tmfd - filled in failure cases (see below)
1457 *
1458 * Normal, successful return value is TM_Ok, which means we did actually
1459 * delete it. Failure return codes are TM_SelfModified, TM_Updated, and
1460 * TM_BeingModified (the last only possible if wait == false).
1461 *
1462 * In the failure cases, the routine fills *tmfd with the tuple's t_ctid,
1463 * t_xmax, and, if possible, t_cmax. See comments for struct
1464 * TM_FailureData for additional info.
1465 */
1466static inline TM_Result
1468 Snapshot snapshot, Snapshot crosscheck, bool wait,
1469 TM_FailureData *tmfd, bool changingPart)
1470{
1471 return rel->rd_tableam->tuple_delete(rel, tid, cid,
1472 snapshot, crosscheck,
1473 wait, tmfd, changingPart);
1474}
1475
1476/*
1477 * Update a tuple.
1478 *
1479 * NB: do not call this directly unless you are prepared to deal with
1480 * concurrent-update conditions. Use simple_table_tuple_update instead.
1481 *
1482 * Input parameters:
1483 * rel - table to be modified (caller must hold suitable lock)
1484 * otid - TID of old tuple to be replaced
1485 * cid - update command ID (used for visibility test, and stored into
1486 * cmax/cmin if successful)
1487 * crosscheck - if not InvalidSnapshot, also check old tuple against this
1488 * wait - true if should wait for any conflicting update to commit/abort
1489 *
1490 * Output parameters:
1491 * slot - newly constructed tuple data to store
1492 * tmfd - filled in failure cases (see below)
1493 * lockmode - filled with lock mode acquired on tuple
1494 * update_indexes - in success cases this is set to true if new index entries
1495 * are required for this tuple
1496 *
1497 * Normal, successful return value is TM_Ok, which means we did actually
1498 * update it. Failure return codes are TM_SelfModified, TM_Updated, and
1499 * TM_BeingModified (the last only possible if wait == false).
1500 *
1501 * On success, the slot's tts_tid and tts_tableOid are updated to match the new
1502 * stored tuple; in particular, slot->tts_tid is set to the TID where the
1503 * new tuple was inserted, and its HEAP_ONLY_TUPLE flag is set iff a HOT
1504 * update was done. However, any TOAST changes in the new tuple's
1505 * data are not reflected into *newtup.
1506 *
1507 * In the failure cases, the routine fills *tmfd with the tuple's t_ctid,
1508 * t_xmax, and, if possible, t_cmax. See comments for struct TM_FailureData
1509 * for additional info.
1510 */
1511static inline TM_Result
1513 CommandId cid, Snapshot snapshot, Snapshot crosscheck,
1514 bool wait, TM_FailureData *tmfd, LockTupleMode *lockmode,
1515 TU_UpdateIndexes *update_indexes)
1516{
1517 return rel->rd_tableam->tuple_update(rel, otid, slot,
1518 cid, snapshot, crosscheck,
1519 wait, tmfd,
1520 lockmode, update_indexes);
1521}
1522
1523/*
1524 * Lock a tuple in the specified mode.
1525 *
1526 * Input parameters:
1527 * rel: relation containing tuple (caller must hold suitable lock)
1528 * tid: TID of tuple to lock (updated if an update chain was followed)
1529 * snapshot: snapshot to use for visibility determinations
1530 * cid: current command ID (used for visibility test, and stored into
1531 * tuple's cmax if lock is successful)
1532 * mode: lock mode desired
1533 * wait_policy: what to do if tuple lock is not available
1534 * flags:
1535 * If TUPLE_LOCK_FLAG_LOCK_UPDATE_IN_PROGRESS, follow the update chain to
1536 * also lock descendant tuples if lock modes don't conflict.
1537 * If TUPLE_LOCK_FLAG_FIND_LAST_VERSION, follow the update chain and lock
1538 * latest version.
1539 *
1540 * Output parameters:
1541 * *slot: contains the target tuple
1542 * *tmfd: filled in failure cases (see below)
1543 *
1544 * Function result may be:
1545 * TM_Ok: lock was successfully acquired
1546 * TM_Invisible: lock failed because tuple was never visible to us
1547 * TM_SelfModified: lock failed because tuple updated by self
1548 * TM_Updated: lock failed because tuple updated by other xact
1549 * TM_Deleted: lock failed because tuple deleted by other xact
1550 * TM_WouldBlock: lock couldn't be acquired and wait_policy is skip
1551 *
1552 * In the failure cases other than TM_Invisible and TM_Deleted, the routine
1553 * fills *tmfd with the tuple's t_ctid, t_xmax, and, if possible, t_cmax.
1554 * Additionally, in both success and failure cases, tmfd->traversed is set if
1555 * an update chain was followed. See comments for struct TM_FailureData for
1556 * additional info.
1557 */
1558static inline TM_Result
1561 LockWaitPolicy wait_policy, uint8 flags,
1562 TM_FailureData *tmfd)
1563{
1564 return rel->rd_tableam->tuple_lock(rel, tid, snapshot, slot,
1565 cid, mode, wait_policy,
1566 flags, tmfd);
1567}
1568
1569/*
1570 * Perform operations necessary to complete insertions made via
1571 * tuple_insert and multi_insert with a BulkInsertState specified.
1572 */
1573static inline void
1575{
1576 /* optional callback */
1577 if (rel->rd_tableam && rel->rd_tableam->finish_bulk_insert)
1579}
1580
1581
1582/* ------------------------------------------------------------------------
1583 * DDL related functionality.
1584 * ------------------------------------------------------------------------
1585 */
1586
1587/*
1588 * Create storage for `rel` in `newrlocator`, with persistence set to
1589 * `persistence`.
1590 *
1591 * This is used both during relation creation and various DDL operations to
1592 * create new rel storage that can be filled from scratch. When creating
1593 * new storage for an existing relfilelocator, this should be called before the
1594 * relcache entry has been updated.
1595 *
1596 * *freezeXid, *minmulti are set to the xid / multixact horizon for the table
1597 * that pg_class.{relfrozenxid, relminmxid} have to be set to.
1598 */
1599static inline void
1601 const RelFileLocator *newrlocator,
1602 char persistence,
1603 TransactionId *freezeXid,
1604 MultiXactId *minmulti)
1605{
1606 rel->rd_tableam->relation_set_new_filelocator(rel, newrlocator,
1607 persistence, freezeXid,
1608 minmulti);
1609}
1610
1611/*
1612 * Remove all table contents from `rel`, in a non-transactional manner.
1613 * Non-transactional meaning that there's no need to support rollbacks. This
1614 * commonly only is used to perform truncations for relation storage created in
1615 * the current transaction.
1616 */
1617static inline void
1619{
1621}
1622
1623/*
1624 * Copy data from `rel` into the new relfilelocator `newrlocator`. The new
1625 * relfilelocator may not have storage associated before this function is
1626 * called. This is only supposed to be used for low level operations like
1627 * changing a relation's tablespace.
1628 */
1629static inline void
1631{
1632 rel->rd_tableam->relation_copy_data(rel, newrlocator);
1633}
1634
1635/*
1636 * Copy data from `OldTable` into `NewTable`, as part of a CLUSTER or VACUUM
1637 * FULL.
1638 *
1639 * Additional Input parameters:
1640 * - use_sort - if true, the table contents are sorted appropriate for
1641 * `OldIndex`; if false and OldIndex is not InvalidOid, the data is copied
1642 * in that index's order; if false and OldIndex is InvalidOid, no sorting is
1643 * performed
1644 * - OldIndex - see use_sort
1645 * - OldestXmin - computed by vacuum_get_cutoffs(), even when
1646 * not needed for the relation's AM
1647 * - *xid_cutoff - ditto
1648 * - *multi_cutoff - ditto
1649 *
1650 * Output parameters:
1651 * - *xid_cutoff - rel's new relfrozenxid value, may be invalid
1652 * - *multi_cutoff - rel's new relminmxid value, may be invalid
1653 * - *tups_vacuumed - stats, for logging, if appropriate for AM
1654 * - *tups_recently_dead - stats, for logging, if appropriate for AM
1655 */
1656static inline void
1658 Relation OldIndex,
1659 bool use_sort,
1660 TransactionId OldestXmin,
1661 TransactionId *xid_cutoff,
1662 MultiXactId *multi_cutoff,
1663 double *num_tuples,
1664 double *tups_vacuumed,
1665 double *tups_recently_dead)
1666{
1667 OldTable->rd_tableam->relation_copy_for_cluster(OldTable, NewTable, OldIndex,
1668 use_sort, OldestXmin,
1669 xid_cutoff, multi_cutoff,
1670 num_tuples, tups_vacuumed,
1671 tups_recently_dead);
1672}
1673
1674/*
1675 * Perform VACUUM on the relation. The VACUUM can be triggered by a user or by
1676 * autovacuum. The specific actions performed by the AM will depend heavily on
1677 * the individual AM.
1678 *
1679 * On entry a transaction needs to already been established, and the
1680 * table is locked with a ShareUpdateExclusive lock.
1681 *
1682 * Note that neither VACUUM FULL (and CLUSTER), nor ANALYZE go through this
1683 * routine, even if (for ANALYZE) it is part of the same VACUUM command.
1684 */
1685static inline void
1687 BufferAccessStrategy bstrategy)
1688{
1689 rel->rd_tableam->relation_vacuum(rel, params, bstrategy);
1690}
1691
1692/*
1693 * Prepare to analyze the next block in the read stream. The scan needs to
1694 * have been started with table_beginscan_analyze(). Note that this routine
1695 * might acquire resources like locks that are held until
1696 * table_scan_analyze_next_tuple() returns false.
1697 *
1698 * Returns false if block is unsuitable for sampling, true otherwise.
1699 */
1700static inline bool
1702{
1703 return scan->rs_rd->rd_tableam->scan_analyze_next_block(scan, stream);
1704}
1705
1706/*
1707 * Iterate over tuples in the block selected with
1708 * table_scan_analyze_next_block() (which needs to have returned true, and
1709 * this routine may not have returned false for the same block before). If a
1710 * tuple that's suitable for sampling is found, true is returned and a tuple
1711 * is stored in `slot`.
1712 *
1713 * *liverows and *deadrows are incremented according to the encountered
1714 * tuples.
1715 */
1716static inline bool
1718 double *liverows, double *deadrows,
1719 TupleTableSlot *slot)
1720{
1721 return scan->rs_rd->rd_tableam->scan_analyze_next_tuple(scan, OldestXmin,
1722 liverows, deadrows,
1723 slot);
1724}
1725
1726/*
1727 * table_index_build_scan - scan the table to find tuples to be indexed
1728 *
1729 * This is called back from an access-method-specific index build procedure
1730 * after the AM has done whatever setup it needs. The parent table relation
1731 * is scanned to find tuples that should be entered into the index. Each
1732 * such tuple is passed to the AM's callback routine, which does the right
1733 * things to add it to the new index. After we return, the AM's index
1734 * build procedure does whatever cleanup it needs.
1735 *
1736 * The total count of live tuples is returned. This is for updating pg_class
1737 * statistics. (It's annoying not to be able to do that here, but we want to
1738 * merge that update with others; see index_update_stats.) Note that the
1739 * index AM itself must keep track of the number of index tuples; we don't do
1740 * so here because the AM might reject some of the tuples for its own reasons,
1741 * such as being unable to store NULLs.
1742 *
1743 * If 'progress', the PROGRESS_SCAN_BLOCKS_TOTAL counter is updated when
1744 * starting the scan, and PROGRESS_SCAN_BLOCKS_DONE is updated as we go along.
1745 *
1746 * A side effect is to set indexInfo->ii_BrokenHotChain to true if we detect
1747 * any potentially broken HOT chains. Currently, we set this if there are any
1748 * RECENTLY_DEAD or DELETE_IN_PROGRESS entries in a HOT chain, without trying
1749 * very hard to detect whether they're really incompatible with the chain tip.
1750 * This only really makes sense for heap AM, it might need to be generalized
1751 * for other AMs later.
1752 */
1753static inline double
1755 Relation index_rel,
1756 IndexInfo *index_info,
1757 bool allow_sync,
1758 bool progress,
1760 void *callback_state,
1761 TableScanDesc scan)
1762{
1763 return table_rel->rd_tableam->index_build_range_scan(table_rel,
1764 index_rel,
1765 index_info,
1766 allow_sync,
1767 false,
1768 progress,
1769 0,
1771 callback,
1772 callback_state,
1773 scan);
1774}
1775
1776/*
1777 * As table_index_build_scan(), except that instead of scanning the complete
1778 * table, only the given number of blocks are scanned. Scan to end-of-rel can
1779 * be signaled by passing InvalidBlockNumber as numblocks. Note that
1780 * restricting the range to scan cannot be done when requesting syncscan.
1781 *
1782 * When "anyvisible" mode is requested, all tuples visible to any transaction
1783 * are indexed and counted as live, including those inserted or deleted by
1784 * transactions that are still in progress.
1785 */
1786static inline double
1788 Relation index_rel,
1789 IndexInfo *index_info,
1790 bool allow_sync,
1791 bool anyvisible,
1792 bool progress,
1793 BlockNumber start_blockno,
1794 BlockNumber numblocks,
1796 void *callback_state,
1797 TableScanDesc scan)
1798{
1799 return table_rel->rd_tableam->index_build_range_scan(table_rel,
1800 index_rel,
1801 index_info,
1802 allow_sync,
1803 anyvisible,
1804 progress,
1805 start_blockno,
1806 numblocks,
1807 callback,
1808 callback_state,
1809 scan);
1810}
1811
1812/*
1813 * table_index_validate_scan - second table scan for concurrent index build
1814 *
1815 * See validate_index() for an explanation.
1816 */
1817static inline void
1819 Relation index_rel,
1820 IndexInfo *index_info,
1821 Snapshot snapshot,
1823{
1824 table_rel->rd_tableam->index_validate_scan(table_rel,
1825 index_rel,
1826 index_info,
1827 snapshot,
1828 state);
1829}
1830
1831
1832/* ----------------------------------------------------------------------------
1833 * Miscellaneous functionality
1834 * ----------------------------------------------------------------------------
1835 */
1836
1837/*
1838 * Return the current size of `rel` in bytes. If `forkNumber` is
1839 * InvalidForkNumber, return the relation's overall size, otherwise the size
1840 * for the indicated fork.
1841 *
1842 * Note that the overall size might not be the equivalent of the sum of sizes
1843 * for the individual forks for some AMs, e.g. because the AMs storage does
1844 * not neatly map onto the builtin types of forks.
1845 */
1846static inline uint64
1848{
1849 return rel->rd_tableam->relation_size(rel, forkNumber);
1850}
1851
1852/*
1853 * table_relation_needs_toast_table - does this relation need a toast table?
1854 */
1855static inline bool
1857{
1858 return rel->rd_tableam->relation_needs_toast_table(rel);
1859}
1860
1861/*
1862 * Return the OID of the AM that should be used to implement the TOAST table
1863 * for this relation.
1864 */
1865static inline Oid
1867{
1868 return rel->rd_tableam->relation_toast_am(rel);
1869}
1870
1871/*
1872 * Fetch all or part of a TOAST value from a TOAST table.
1873 *
1874 * If this AM is never used to implement a TOAST table, then this callback
1875 * is not needed. But, if toasted values are ever stored in a table of this
1876 * type, then you will need this callback.
1877 *
1878 * toastrel is the relation in which the toasted value is stored.
1879 *
1880 * valueid identifies which toast value is to be fetched. For the heap,
1881 * this corresponds to the values stored in the chunk_id column.
1882 *
1883 * attrsize is the total size of the toast value to be fetched.
1884 *
1885 * sliceoffset is the offset within the toast value of the first byte that
1886 * should be fetched.
1887 *
1888 * slicelength is the number of bytes from the toast value that should be
1889 * fetched.
1890 *
1891 * result is caller-allocated space into which the fetched bytes should be
1892 * stored.
1893 */
1894static inline void
1896 int32 attrsize, int32 sliceoffset,
1897 int32 slicelength, struct varlena *result)
1898{
1899 toastrel->rd_tableam->relation_fetch_toast_slice(toastrel, valueid,
1900 attrsize,
1901 sliceoffset, slicelength,
1902 result);
1903}
1904
1905
1906/* ----------------------------------------------------------------------------
1907 * Planner related functionality
1908 * ----------------------------------------------------------------------------
1909 */
1910
1911/*
1912 * Estimate the current size of the relation, as an AM specific workhorse for
1913 * estimate_rel_size(). Look there for an explanation of the parameters.
1914 */
1915static inline void
1917 BlockNumber *pages, double *tuples,
1918 double *allvisfrac)
1919{
1920 rel->rd_tableam->relation_estimate_size(rel, attr_widths, pages, tuples,
1921 allvisfrac);
1922}
1923
1924
1925/* ----------------------------------------------------------------------------
1926 * Executor related functionality
1927 * ----------------------------------------------------------------------------
1928 */
1929
1930/*
1931 * Fetch / check / return tuples as part of a bitmap table scan. `scan` needs
1932 * to have been started via table_beginscan_bm(). Fetch the next tuple of a
1933 * bitmap table scan into `slot` and return true if a visible tuple was found,
1934 * false otherwise.
1935 *
1936 * `recheck` is set by the table AM to indicate whether or not the tuple in
1937 * `slot` should be rechecked. Tuples from lossy pages will always need to be
1938 * rechecked, but some non-lossy pages' tuples may also require recheck.
1939 *
1940 * `lossy_pages` is incremented if the block's representation in the bitmap is
1941 * lossy; otherwise, `exact_pages` is incremented.
1942 */
1943static inline bool
1945 TupleTableSlot *slot,
1946 bool *recheck,
1947 uint64 *lossy_pages,
1948 uint64 *exact_pages)
1949{
1950 /*
1951 * We don't expect direct calls to table_scan_bitmap_next_tuple with valid
1952 * CheckXidAlive for catalog or regular tables. See detailed comments in
1953 * xact.c where these variables are declared.
1954 */
1956 elog(ERROR, "unexpected table_scan_bitmap_next_tuple call during logical decoding");
1957
1958 return scan->rs_rd->rd_tableam->scan_bitmap_next_tuple(scan,
1959 slot,
1960 recheck,
1961 lossy_pages,
1962 exact_pages);
1963}
1964
1965/*
1966 * Prepare to fetch tuples from the next block in a sample scan. Returns false
1967 * if the sample scan is finished, true otherwise. `scan` needs to have been
1968 * started via table_beginscan_sampling().
1969 *
1970 * This will call the TsmRoutine's NextSampleBlock() callback if necessary
1971 * (i.e. NextSampleBlock is not NULL), or perform a sequential scan over the
1972 * underlying relation.
1973 */
1974static inline bool
1976 SampleScanState *scanstate)
1977{
1978 /*
1979 * We don't expect direct calls to table_scan_sample_next_block with valid
1980 * CheckXidAlive for catalog or regular tables. See detailed comments in
1981 * xact.c where these variables are declared.
1982 */
1984 elog(ERROR, "unexpected table_scan_sample_next_block call during logical decoding");
1985 return scan->rs_rd->rd_tableam->scan_sample_next_block(scan, scanstate);
1986}
1987
1988/*
1989 * Fetch the next sample tuple into `slot` and return true if a visible tuple
1990 * was found, false otherwise. table_scan_sample_next_block() needs to
1991 * previously have selected a block (i.e. returned true), and no previous
1992 * table_scan_sample_next_tuple() for the same block may have returned false.
1993 *
1994 * This will call the TsmRoutine's NextSampleTuple() callback.
1995 */
1996static inline bool
1998 SampleScanState *scanstate,
1999 TupleTableSlot *slot)
2000{
2001 /*
2002 * We don't expect direct calls to table_scan_sample_next_tuple with valid
2003 * CheckXidAlive for catalog or regular tables. See detailed comments in
2004 * xact.c where these variables are declared.
2005 */
2007 elog(ERROR, "unexpected table_scan_sample_next_tuple call during logical decoding");
2008 return scan->rs_rd->rd_tableam->scan_sample_next_tuple(scan, scanstate,
2009 slot);
2010}
2011
2012
2013/* ----------------------------------------------------------------------------
2014 * Functions to make modifications a bit simpler.
2015 * ----------------------------------------------------------------------------
2016 */
2017
2018extern void simple_table_tuple_insert(Relation rel, TupleTableSlot *slot);
2020 Snapshot snapshot);
2021extern void simple_table_tuple_update(Relation rel, ItemPointer otid,
2022 TupleTableSlot *slot, Snapshot snapshot,
2023 TU_UpdateIndexes *update_indexes);
2024
2025
2026/* ----------------------------------------------------------------------------
2027 * Helper functions to implement parallel scans for block oriented AMs.
2028 * ----------------------------------------------------------------------------
2029 */
2030
2033 ParallelTableScanDesc pscan);
2035 ParallelTableScanDesc pscan);
2042 BlockNumber startblock,
2043 BlockNumber numblocks);
2044
2045
2046/* ----------------------------------------------------------------------------
2047 * Helper functions to implement relation sizing for block oriented AMs.
2048 * ----------------------------------------------------------------------------
2049 */
2050
2051extern uint64 table_block_relation_size(Relation rel, ForkNumber forkNumber);
2053 int32 *attr_widths,
2054 BlockNumber *pages,
2055 double *tuples,
2056 double *allvisfrac,
2057 Size overhead_bytes_per_tuple,
2058 Size usable_bytes_per_page);
2059
2060/* ----------------------------------------------------------------------------
2061 * Functions in tableamapi.c
2062 * ----------------------------------------------------------------------------
2063 */
2064
2065extern const TableAmRoutine *GetTableAmRoutine(Oid amhandler);
2066
2067/* ----------------------------------------------------------------------------
2068 * Functions in heapam_handler.c
2069 * ----------------------------------------------------------------------------
2070 */
2071
2072extern const TableAmRoutine *GetHeapamTableAmRoutine(void);
2073
2074#endif /* TABLEAM_H */
uint32 BlockNumber
Definition: block.h:31
#define InvalidBlockNumber
Definition: block.h:33
static Datum values[MAXATTR]
Definition: bootstrap.c:153
#define PGDLLIMPORT
Definition: c.h:1310
uint8_t uint8
Definition: c.h:541
TransactionId MultiXactId
Definition: c.h:672
int16_t int16
Definition: c.h:538
int32_t int32
Definition: c.h:539
uint64_t uint64
Definition: c.h:544
#define unlikely(x)
Definition: c.h:407
uint32_t uint32
Definition: c.h:543
uint32 CommandId
Definition: c.h:676
uint32 TransactionId
Definition: c.h:662
size_t Size
Definition: c.h:615
#define ERROR
Definition: elog.h:39
#define elog(elevel,...)
Definition: elog.h:226
Assert(PointerIsAligned(start, uint64))
LockWaitPolicy
Definition: lockoptions.h:37
LockTupleMode
Definition: lockoptions.h:50
NodeTag
Definition: nodes.h:27
uint16 OffsetNumber
Definition: off.h:24
static PgChecksumMode mode
Definition: pg_checksums.c:56
const void * data
static char ** options
static int progress
Definition: pgbench.c:262
uint64_t Datum
Definition: postgres.h:70
unsigned int Oid
Definition: postgres_ext.h:32
#define RelationGetRelid(relation)
Definition: rel.h:515
ForkNumber
Definition: relpath.h:56
struct TableScanDescData * TableScanDesc
Definition: relscan.h:69
ScanDirection
Definition: sdir.h:25
@ BackwardScanDirection
Definition: sdir.h:26
@ ForwardScanDirection
Definition: sdir.h:28
Definition: pg_list.h:54
const struct TableAmRoutine * rd_tableam
Definition: rel.h:189
bool traversed
Definition: tableam.h:152
TransactionId xmax
Definition: tableam.h:150
CommandId cmax
Definition: tableam.h:151
ItemPointerData ctid
Definition: tableam.h:149
TM_IndexStatus * status
Definition: tableam.h:254
int bottomupfreespace
Definition: tableam.h:249
Relation irel
Definition: tableam.h:246
TM_IndexDelete * deltids
Definition: tableam.h:253
BlockNumber iblknum
Definition: tableam.h:247
ItemPointerData tid
Definition: tableam.h:212
bool knowndeletable
Definition: tableam.h:219
bool promising
Definition: tableam.h:222
int16 freespace
Definition: tableam.h:223
OffsetNumber idxoffnum
Definition: tableam.h:218
Size(* parallelscan_initialize)(Relation rel, ParallelTableScanDesc pscan)
Definition: tableam.h:399
void(* relation_copy_data)(Relation rel, const RelFileLocator *newrlocator)
Definition: tableam.h:623
void(* index_fetch_reset)(struct IndexFetchTableData *data)
Definition: tableam.h:429
TableScanDesc(* scan_begin)(Relation rel, Snapshot snapshot, int nkeys, ScanKeyData *key, ParallelTableScanDesc pscan, uint32 flags)
Definition: tableam.h:327
void(* tuple_complete_speculative)(Relation rel, TupleTableSlot *slot, uint32 specToken, bool succeeded)
Definition: tableam.h:523
void(* parallelscan_reinitialize)(Relation rel, ParallelTableScanDesc pscan)
Definition: tableam.h:406
bool(* scan_sample_next_tuple)(TableScanDesc scan, SampleScanState *scanstate, TupleTableSlot *slot)
Definition: tableam.h:840
bool(* scan_sample_next_block)(TableScanDesc scan, SampleScanState *scanstate)
Definition: tableam.h:824
void(* tuple_get_latest_tid)(TableScanDesc scan, ItemPointer tid)
Definition: tableam.h:488
void(* relation_copy_for_cluster)(Relation OldTable, Relation NewTable, Relation OldIndex, bool use_sort, TransactionId OldestXmin, TransactionId *xid_cutoff, MultiXactId *multi_cutoff, double *num_tuples, double *tups_vacuumed, double *tups_recently_dead)
Definition: tableam.h:627
bool(* scan_bitmap_next_tuple)(TableScanDesc scan, TupleTableSlot *slot, bool *recheck, uint64 *lossy_pages, uint64 *exact_pages)
Definition: tableam.h:793
bool(* scan_getnextslot_tidrange)(TableScanDesc scan, ScanDirection direction, TupleTableSlot *slot)
Definition: tableam.h:379
void(* relation_estimate_size)(Relation rel, int32 *attr_widths, BlockNumber *pages, double *tuples, double *allvisfrac)
Definition: tableam.h:771
bool(* relation_needs_toast_table)(Relation rel)
Definition: tableam.h:735
bool(* tuple_tid_valid)(TableScanDesc scan, ItemPointer tid)
Definition: tableam.h:481
void(* scan_end)(TableScanDesc scan)
Definition: tableam.h:337
uint64(* relation_size)(Relation rel, ForkNumber forkNumber)
Definition: tableam.h:725
TM_Result(* tuple_lock)(Relation rel, ItemPointer tid, Snapshot snapshot, TupleTableSlot *slot, CommandId cid, LockTupleMode mode, LockWaitPolicy wait_policy, uint8 flags, TM_FailureData *tmfd)
Definition: tableam.h:555
void(* relation_nontransactional_truncate)(Relation rel)
Definition: tableam.h:615
TM_Result(* tuple_update)(Relation rel, ItemPointer otid, TupleTableSlot *slot, CommandId cid, Snapshot snapshot, Snapshot crosscheck, bool wait, TM_FailureData *tmfd, LockTupleMode *lockmode, TU_UpdateIndexes *update_indexes)
Definition: tableam.h:543
bool(* tuple_fetch_row_version)(Relation rel, ItemPointer tid, Snapshot snapshot, TupleTableSlot *slot)
Definition: tableam.h:473
void(* relation_fetch_toast_slice)(Relation toastrel, Oid valueid, int32 attrsize, int32 sliceoffset, int32 slicelength, struct varlena *result)
Definition: tableam.h:749
Oid(* relation_toast_am)(Relation rel)
Definition: tableam.h:742
bool(* scan_analyze_next_block)(TableScanDesc scan, ReadStream *stream)
Definition: tableam.h:674
Size(* parallelscan_estimate)(Relation rel)
Definition: tableam.h:392
void(* relation_set_new_filelocator)(Relation rel, const RelFileLocator *newrlocator, char persistence, TransactionId *freezeXid, MultiXactId *minmulti)
Definition: tableam.h:601
void(* scan_rescan)(TableScanDesc scan, ScanKeyData *key, bool set_params, bool allow_strat, bool allow_sync, bool allow_pagemode)
Definition: tableam.h:343
void(* scan_set_tidrange)(TableScanDesc scan, ItemPointer mintid, ItemPointer maxtid)
Definition: tableam.h:371
struct IndexFetchTableData *(* index_fetch_begin)(Relation rel)
Definition: tableam.h:423
void(* finish_bulk_insert)(Relation rel, int options)
Definition: tableam.h:577
bool(* scan_analyze_next_tuple)(TableScanDesc scan, TransactionId OldestXmin, double *liverows, double *deadrows, TupleTableSlot *slot)
Definition: tableam.h:685
TransactionId(* index_delete_tuples)(Relation rel, TM_IndexDeleteOp *delstate)
Definition: tableam.h:500
void(* index_fetch_end)(struct IndexFetchTableData *data)
Definition: tableam.h:434
void(* tuple_insert_speculative)(Relation rel, TupleTableSlot *slot, CommandId cid, int options, BulkInsertStateData *bistate, uint32 specToken)
Definition: tableam.h:515
bool(* index_fetch_tuple)(struct IndexFetchTableData *scan, ItemPointer tid, Snapshot snapshot, TupleTableSlot *slot, bool *call_again, bool *all_dead)
Definition: tableam.h:456
TM_Result(* tuple_delete)(Relation rel, ItemPointer tid, CommandId cid, Snapshot snapshot, Snapshot crosscheck, bool wait, TM_FailureData *tmfd, bool changingPart)
Definition: tableam.h:533
double(* index_build_range_scan)(Relation table_rel, Relation index_rel, IndexInfo *index_info, bool allow_sync, bool anyvisible, bool progress, BlockNumber start_blockno, BlockNumber numblocks, IndexBuildCallback callback, void *callback_state, TableScanDesc scan)
Definition: tableam.h:692
NodeTag type
Definition: tableam.h:292
void(* relation_vacuum)(Relation rel, const VacuumParams params, BufferAccessStrategy bstrategy)
Definition: tableam.h:653
void(* multi_insert)(Relation rel, TupleTableSlot **slots, int nslots, CommandId cid, int options, BulkInsertStateData *bistate)
Definition: tableam.h:529
void(* index_validate_scan)(Relation table_rel, Relation index_rel, IndexInfo *index_info, Snapshot snapshot, ValidateIndexState *state)
Definition: tableam.h:705
bool(* scan_getnextslot)(TableScanDesc scan, ScanDirection direction, TupleTableSlot *slot)
Definition: tableam.h:350
void(* tuple_insert)(Relation rel, TupleTableSlot *slot, CommandId cid, int options, BulkInsertStateData *bistate)
Definition: tableam.h:510
bool(* tuple_satisfies_snapshot)(Relation rel, TupleTableSlot *slot, Snapshot snapshot)
Definition: tableam.h:495
Relation rs_rd
Definition: relscan.h:36
uint32 rs_flags
Definition: relscan.h:64
Oid tts_tableOid
Definition: tuptable.h:129
Definition: type.h:96
Definition: regguts.h:323
Definition: c.h:697
static void table_relation_fetch_toast_slice(Relation toastrel, Oid valueid, int32 attrsize, int32 sliceoffset, int32 slicelength, struct varlena *result)
Definition: tableam.h:1895
TupleTableSlot * table_slot_create(Relation relation, List **reglist)
Definition: tableam.c:92
PGDLLIMPORT char * default_table_access_method
Definition: tableam.c:49
ScanOptions
Definition: tableam.h:47
@ SO_ALLOW_STRAT
Definition: tableam.h:58
@ SO_TYPE_TIDRANGESCAN
Definition: tableam.h:53
@ SO_TYPE_ANALYZE
Definition: tableam.h:54
@ SO_TEMP_SNAPSHOT
Definition: tableam.h:65
@ SO_TYPE_TIDSCAN
Definition: tableam.h:52
@ SO_ALLOW_PAGEMODE
Definition: tableam.h:62
@ SO_TYPE_SAMPLESCAN
Definition: tableam.h:51
@ SO_ALLOW_SYNC
Definition: tableam.h:60
@ SO_TYPE_SEQSCAN
Definition: tableam.h:49
@ SO_TYPE_BITMAPSCAN
Definition: tableam.h:50
static void table_rescan_tidrange(TableScanDesc sscan, ItemPointer mintid, ItemPointer maxtid)
Definition: tableam.h:1070
TU_UpdateIndexes
Definition: tableam.h:111
@ TU_Summarizing
Definition: tableam.h:119
@ TU_All
Definition: tableam.h:116
@ TU_None
Definition: tableam.h:113
static double table_index_build_range_scan(Relation table_rel, Relation index_rel, IndexInfo *index_info, bool allow_sync, bool anyvisible, bool progress, BlockNumber start_blockno, BlockNumber numblocks, IndexBuildCallback callback, void *callback_state, TableScanDesc scan)
Definition: tableam.h:1787
static void table_endscan(TableScanDesc scan)
Definition: tableam.h:985
static void table_multi_insert(Relation rel, TupleTableSlot **slots, int nslots, CommandId cid, int options, BulkInsertStateData *bistate)
Definition: tableam.h:1432
void simple_table_tuple_update(Relation rel, ItemPointer otid, TupleTableSlot *slot, Snapshot snapshot, TU_UpdateIndexes *update_indexes)
Definition: tableam.c:367
static bool table_scan_analyze_next_tuple(TableScanDesc scan, TransactionId OldestXmin, double *liverows, double *deadrows, TupleTableSlot *slot)
Definition: tableam.h:1717
bool table_index_fetch_tuple_check(Relation rel, ItemPointer tid, Snapshot snapshot, bool *all_dead)
Definition: tableam.c:240
PGDLLIMPORT bool synchronize_seqscans
Definition: tableam.c:50
Size table_block_parallelscan_initialize(Relation rel, ParallelTableScanDesc pscan)
Definition: tableam.c:420
TableScanDesc table_beginscan_parallel(Relation relation, ParallelTableScanDesc pscan)
Definition: tableam.c:166
struct TM_IndexDelete TM_IndexDelete
static void table_index_validate_scan(Relation table_rel, Relation index_rel, IndexInfo *index_info, Snapshot snapshot, ValidateIndexState *state)
Definition: tableam.h:1818
static void table_relation_copy_for_cluster(Relation OldTable, Relation NewTable, Relation OldIndex, bool use_sort, TransactionId OldestXmin, TransactionId *xid_cutoff, MultiXactId *multi_cutoff, double *num_tuples, double *tups_vacuumed, double *tups_recently_dead)
Definition: tableam.h:1657
static void table_index_fetch_reset(struct IndexFetchTableData *scan)
Definition: tableam.h:1177
static uint64 table_relation_size(Relation rel, ForkNumber forkNumber)
Definition: tableam.h:1847
static bool table_scan_sample_next_block(TableScanDesc scan, SampleScanState *scanstate)
Definition: tableam.h:1975
TM_Result
Definition: tableam.h:73
@ TM_Ok
Definition: tableam.h:78
@ TM_BeingModified
Definition: tableam.h:100
@ TM_Deleted
Definition: tableam.h:93
@ TM_WouldBlock
Definition: tableam.h:103
@ TM_Updated
Definition: tableam.h:90
@ TM_SelfModified
Definition: tableam.h:84
@ TM_Invisible
Definition: tableam.h:81
static bool table_scan_bitmap_next_tuple(TableScanDesc scan, TupleTableSlot *slot, bool *recheck, uint64 *lossy_pages, uint64 *exact_pages)
Definition: tableam.h:1944
static TM_Result table_tuple_lock(Relation rel, ItemPointer tid, Snapshot snapshot, TupleTableSlot *slot, CommandId cid, LockTupleMode mode, LockWaitPolicy wait_policy, uint8 flags, TM_FailureData *tmfd)
Definition: tableam.h:1559
void simple_table_tuple_insert(Relation rel, TupleTableSlot *slot)
Definition: tableam.c:308
static bool table_tuple_tid_valid(TableScanDesc scan, ItemPointer tid)
Definition: tableam.h:1289
static IndexFetchTableData * table_index_fetch_begin(Relation rel)
Definition: tableam.h:1167
static void table_rescan_set_params(TableScanDesc scan, ScanKeyData *key, bool allow_strat, bool allow_sync, bool allow_pagemode)
Definition: tableam.h:1008
static TableScanDesc table_beginscan_sampling(Relation rel, Snapshot snapshot, int nkeys, ScanKeyData *key, bool allow_strat, bool allow_sync, bool allow_pagemode)
Definition: tableam.h:938
static void table_tuple_insert_speculative(Relation rel, TupleTableSlot *slot, CommandId cid, int options, BulkInsertStateData *bistate, uint32 specToken)
Definition: tableam.h:1396
static bool table_scan_analyze_next_block(TableScanDesc scan, ReadStream *stream)
Definition: tableam.h:1701
static bool table_relation_needs_toast_table(Relation rel)
Definition: tableam.h:1856
struct TM_IndexStatus TM_IndexStatus
static void table_tuple_complete_speculative(Relation rel, TupleTableSlot *slot, uint32 specToken, bool succeeded)
Definition: tableam.h:1410
static TableScanDesc table_beginscan_tidrange(Relation rel, Snapshot snapshot, ItemPointer mintid, ItemPointer maxtid)
Definition: tableam.h:1049
static TM_Result table_tuple_update(Relation rel, ItemPointer otid, TupleTableSlot *slot, CommandId cid, Snapshot snapshot, Snapshot crosscheck, bool wait, TM_FailureData *tmfd, LockTupleMode *lockmode, TU_UpdateIndexes *update_indexes)
Definition: tableam.h:1512
static void table_index_fetch_end(struct IndexFetchTableData *scan)
Definition: tableam.h:1186
static TableScanDesc table_beginscan_analyze(Relation rel)
Definition: tableam.h:974
const TableAmRoutine * GetTableAmRoutine(Oid amhandler)
Definition: tableamapi.c:28
static TM_Result table_tuple_delete(Relation rel, ItemPointer tid, CommandId cid, Snapshot snapshot, Snapshot crosscheck, bool wait, TM_FailureData *tmfd, bool changingPart)
Definition: tableam.h:1467
void table_tuple_get_latest_tid(TableScanDesc scan, ItemPointer tid)
Definition: tableam.c:267
static void table_rescan(TableScanDesc scan, ScanKeyData *key)
Definition: tableam.h:994
static bool table_index_fetch_tuple(struct IndexFetchTableData *scan, ItemPointer tid, Snapshot snapshot, TupleTableSlot *slot, bool *call_again, bool *all_dead)
Definition: tableam.h:1216
static void table_tuple_insert(Relation rel, TupleTableSlot *slot, CommandId cid, int options, BulkInsertStateData *bistate)
Definition: tableam.h:1377
const TableAmRoutine * GetHeapamTableAmRoutine(void)
void simple_table_tuple_delete(Relation rel, ItemPointer tid, Snapshot snapshot)
Definition: tableam.c:322
static void table_relation_vacuum(Relation rel, const VacuumParams params, BufferAccessStrategy bstrategy)
Definition: tableam.h:1686
struct TM_FailureData TM_FailureData
static void table_finish_bulk_insert(Relation rel, int options)
Definition: tableam.h:1574
void table_block_parallelscan_reinitialize(Relation rel, ParallelTableScanDesc pscan)
Definition: tableam.c:439
void(* IndexBuildCallback)(Relation index, ItemPointer tid, Datum *values, bool *isnull, bool tupleIsAlive, void *state)
Definition: tableam.h:271
uint64 table_block_relation_size(Relation rel, ForkNumber forkNumber)
Definition: tableam.c:687
static void table_relation_set_new_filelocator(Relation rel, const RelFileLocator *newrlocator, char persistence, TransactionId *freezeXid, MultiXactId *minmulti)
Definition: tableam.h:1600
static bool table_scan_getnextslot_tidrange(TableScanDesc sscan, ScanDirection direction, TupleTableSlot *slot)
Definition: tableam.h:1086
static Oid table_relation_toast_am(Relation rel)
Definition: tableam.h:1866
TableScanDesc table_beginscan_parallel_tidrange(Relation relation, ParallelTableScanDesc pscan)
Definition: tableam.c:192
static bool table_scan_sample_next_tuple(TableScanDesc scan, SampleScanState *scanstate, TupleTableSlot *slot)
Definition: tableam.h:1997
Size table_parallelscan_estimate(Relation rel, Snapshot snapshot)
Definition: tableam.c:131
static double table_index_build_scan(Relation table_rel, Relation index_rel, IndexInfo *index_info, bool allow_sync, bool progress, IndexBuildCallback callback, void *callback_state, TableScanDesc scan)
Definition: tableam.h:1754
static void table_relation_copy_data(Relation rel, const RelFileLocator *newrlocator)
Definition: tableam.h:1630
static TableScanDesc table_beginscan_bm(Relation rel, Snapshot snapshot, int nkeys, ScanKeyData *key)
Definition: tableam.h:921
static TableScanDesc table_beginscan_strat(Relation rel, Snapshot snapshot, int nkeys, ScanKeyData *key, bool allow_strat, bool allow_sync)
Definition: tableam.h:900
struct TM_IndexDeleteOp TM_IndexDeleteOp
TableScanDesc table_beginscan_catalog(Relation relation, int nkeys, ScanKeyData *key)
Definition: tableam.c:113
Size table_block_parallelscan_estimate(Relation rel)
Definition: tableam.c:414
static void table_relation_estimate_size(Relation rel, int32 *attr_widths, BlockNumber *pages, double *tuples, double *allvisfrac)
Definition: tableam.h:1916
struct TableAmRoutine TableAmRoutine
static bool table_scan_getnextslot(TableScanDesc sscan, ScanDirection direction, TupleTableSlot *slot)
Definition: tableam.h:1020
void table_block_parallelscan_startblock_init(Relation rel, ParallelBlockTableScanWorker pbscanwork, ParallelBlockTableScanDesc pbscan, BlockNumber startblock, BlockNumber numblocks)
Definition: tableam.c:459
static TableScanDesc table_beginscan(Relation rel, Snapshot snapshot, int nkeys, ScanKeyData *key)
Definition: tableam.h:876
static bool table_tuple_satisfies_snapshot(Relation rel, TupleTableSlot *slot, Snapshot snapshot)
Definition: tableam.h:1310
static TransactionId table_index_delete_tuples(Relation rel, TM_IndexDeleteOp *delstate)
Definition: tableam.h:1331
static void table_relation_nontransactional_truncate(Relation rel)
Definition: tableam.h:1618
void table_parallelscan_initialize(Relation rel, ParallelTableScanDesc pscan, Snapshot snapshot)
Definition: tableam.c:146
static bool table_tuple_fetch_row_version(Relation rel, ItemPointer tid, Snapshot snapshot, TupleTableSlot *slot)
Definition: tableam.h:1263
static void table_parallelscan_reinitialize(Relation rel, ParallelTableScanDesc pscan)
Definition: tableam.h:1149
static TableScanDesc table_beginscan_tid(Relation rel, Snapshot snapshot)
Definition: tableam.h:961
const TupleTableSlotOps * table_slot_callbacks(Relation relation)
Definition: tableam.c:59
BlockNumber table_block_parallelscan_nextpage(Relation rel, ParallelBlockTableScanWorker pbscanwork, ParallelBlockTableScanDesc pbscan)
Definition: tableam.c:554
void table_block_relation_estimate_size(Relation rel, int32 *attr_widths, BlockNumber *pages, double *tuples, double *allvisfrac, Size overhead_bytes_per_tuple, Size usable_bytes_per_page)
Definition: tableam.c:724
static void callback(struct sockaddr *addr, struct sockaddr *mask, void *unused)
Definition: test_ifaddrs.c:46
#define TransactionIdIsValid(xid)
Definition: transam.h:41
bool bsysscan
Definition: xact.c:101
TransactionId CheckXidAlive
Definition: xact.c:100