PostgreSQL Source Code git master
Loading...
Searching...
No Matches
repack.c File Reference
#include "postgres.h"
#include "access/amapi.h"
#include "access/heapam.h"
#include "access/multixact.h"
#include "access/relscan.h"
#include "access/tableam.h"
#include "access/toast_internals.h"
#include "access/transam.h"
#include "access/xact.h"
#include "catalog/catalog.h"
#include "catalog/dependency.h"
#include "catalog/heap.h"
#include "catalog/index.h"
#include "catalog/namespace.h"
#include "catalog/objectaccess.h"
#include "catalog/pg_am.h"
#include "catalog/pg_constraint.h"
#include "catalog/pg_inherits.h"
#include "catalog/toasting.h"
#include "commands/defrem.h"
#include "commands/progress.h"
#include "commands/repack.h"
#include "commands/repack_internal.h"
#include "commands/tablecmds.h"
#include "commands/vacuum.h"
#include "executor/executor.h"
#include "libpq/pqformat.h"
#include "libpq/pqmq.h"
#include "miscadmin.h"
#include "optimizer/optimizer.h"
#include "pgstat.h"
#include "replication/logicalrelation.h"
#include "storage/bufmgr.h"
#include "storage/lmgr.h"
#include "storage/predicate.h"
#include "storage/proc.h"
#include "utils/acl.h"
#include "utils/fmgroids.h"
#include "utils/guc.h"
#include "utils/injection_point.h"
#include "utils/inval.h"
#include "utils/lsyscache.h"
#include "utils/memutils.h"
#include "utils/pg_rusage.h"
#include "utils/relmapper.h"
#include "utils/snapmgr.h"
#include "utils/syscache.h"
#include "utils/wait_event_types.h"
Include dependency graph for repack.c:

Go to the source code of this file.

Data Structures

struct  RelToCluster
 
struct  ChangeContext
 
struct  DecodingWorker
 

Macros

#define WORKER_FILE_SNAPSHOT   0
 

Typedefs

typedef struct ChangeContext ChangeContext
 
typedef struct DecodingWorker DecodingWorker
 

Functions

static LOCKMODE RepackLockLevel (bool concurrent)
 
static bool cluster_rel_recheck (RepackCommand cmd, Relation OldHeap, Oid indexOid, Oid userid, LOCKMODE lmode, int options)
 
static void check_concurrent_repack_requirements (Relation rel, Oid *ident_idx_p)
 
static void rebuild_relation (Relation OldHeap, Relation index, bool verbose, Oid ident_idx)
 
static void copy_table_data (Relation NewHeap, Relation OldHeap, Relation OldIndex, Snapshot snapshot, bool verbose, bool *pSwapToastByContent, TransactionId *pFreezeXid, MultiXactId *pCutoffMulti)
 
static Listget_tables_to_repack (RepackCommand cmd, bool usingindex, MemoryContext permcxt)
 
static Listget_tables_to_repack_partitioned (RepackCommand cmd, Oid relid, bool rel_is_index, MemoryContext permcxt)
 
static bool repack_is_permitted_for_relation (RepackCommand cmd, Oid relid, Oid userid)
 
static void apply_concurrent_changes (BufFile *file, ChangeContext *chgcxt)
 
static void apply_concurrent_insert (Relation rel, TupleTableSlot *slot, ChangeContext *chgcxt)
 
static void apply_concurrent_update (Relation rel, TupleTableSlot *spilled_tuple, TupleTableSlot *ondisk_tuple, ChangeContext *chgcxt)
 
static void apply_concurrent_delete (Relation rel, TupleTableSlot *slot)
 
static void restore_tuple (BufFile *file, Relation relation, TupleTableSlot *slot)
 
static void adjust_toast_pointers (Relation relation, TupleTableSlot *dest, TupleTableSlot *src)
 
static bool find_target_tuple (Relation rel, ChangeContext *chgcxt, TupleTableSlot *locator, TupleTableSlot *retrieved)
 
static bool identity_key_equal (ChangeContext *chgcxt, TupleTableSlot *locator, TupleTableSlot *candidate)
 
static void process_concurrent_changes (XLogRecPtr end_of_wal, ChangeContext *chgcxt, bool done)
 
static void initialize_change_context (ChangeContext *chgcxt, Relation relation, Oid ident_index_id)
 
static void release_change_context (ChangeContext *chgcxt)
 
static void rebuild_relation_finish_concurrent (Relation NewHeap, Relation OldHeap, Oid identIdx, TransactionId frozenXid, MultiXactId cutoffMulti)
 
static Listbuild_new_indexes (Relation NewHeap, Relation OldHeap, List *OldIndexes)
 
static void copy_index_constraints (Relation old_index, Oid new_index_id, Oid new_heap_id)
 
static Relation process_single_relation (RepackStmt *stmt, LOCKMODE lockmode, bool isTopLevel, ClusterParams *params)
 
static Oid determine_clustered_index (Relation rel, bool usingindex, const char *indexname)
 
static void start_repack_decoding_worker (Oid relid)
 
static void stop_repack_decoding_worker (void)
 
static Snapshot get_initial_snapshot (DecodingWorker *worker)
 
static void ProcessRepackMessage (StringInfo msg)
 
static const charRepackCommandAsString (RepackCommand cmd)
 
void ExecRepack (ParseState *pstate, RepackStmt *stmt, bool isTopLevel)
 
void cluster_rel (RepackCommand cmd, Relation OldHeap, Oid indexOid, ClusterParams *params, bool isTopLevel)
 
void check_index_is_clusterable (Relation OldHeap, Oid indexOid, LOCKMODE lockmode)
 
void mark_index_clustered (Relation rel, Oid indexOid, bool is_internal)
 
Oid make_new_heap (Oid OIDOldHeap, Oid NewTableSpace, Oid NewAccessMethod, char relpersistence, LOCKMODE lockmode)
 
static void swap_relation_files (Oid r1, Oid r2, bool target_is_pg_class, bool swap_toast_by_content, bool is_internal, TransactionId frozenXid, MultiXactId cutoffMulti, Oid *mapped_tables)
 
void finish_heap_swap (Oid OIDOldHeap, Oid OIDNewHeap, bool is_system_catalog, bool swap_toast_by_content, bool check_constraints, bool is_internal, bool reindex, TransactionId frozenXid, MultiXactId cutoffMulti, char newrelpersistence)
 
void DecodingWorkerFileName (char *fname, Oid relid, uint32 seq)
 
void HandleRepackMessageInterrupt (void)
 
void ProcessRepackMessages (void)
 

Variables

static DecodingWorkerdecoding_worker = NULL
 
volatile sig_atomic_t RepackMessagePending = false
 

Macro Definition Documentation

◆ WORKER_FILE_SNAPSHOT

#define WORKER_FILE_SNAPSHOT   0

Definition at line 98 of file repack.c.

Typedef Documentation

◆ ChangeContext

◆ DecodingWorker

Function Documentation

◆ adjust_toast_pointers()

static void adjust_toast_pointers ( Relation  relation,
TupleTableSlot dest,
TupleTableSlot src 
)
static

Definition at line 2776 of file repack.c.

2777{
2778 TupleDesc desc = dest->tts_tupleDescriptor;
2779
2780 for (int i = 0; i < desc->natts; i++)
2781 {
2784
2785 if (attr->attisdropped)
2786 continue;
2787 if (attr->attlen != -1)
2788 continue;
2789 if (slot_attisnull(dest, i + 1))
2790 continue;
2791
2792 slot_getsomeattrs(dest, i + 1);
2793
2794 varlena_dst = (varlena *) DatumGetPointer(dest->tts_values[i]);
2796 continue;
2797 slot_getsomeattrs(src, i + 1);
2798
2799 dest->tts_values[i] = src->tts_values[i];
2800 }
2801}
int i
Definition isn.c:77
static Pointer DatumGetPointer(Datum X)
Definition postgres.h:332
static int fb(int x)
bool attisdropped
Definition tupdesc.h:78
Datum * tts_values
Definition tuptable.h:131
Definition c.h:776
static CompactAttribute * TupleDescCompactAttr(TupleDesc tupdesc, int i)
Definition tupdesc.h:195
static void slot_getsomeattrs(TupleTableSlot *slot, int attnum)
Definition tuptable.h:376
static bool slot_attisnull(TupleTableSlot *slot, int attnum)
Definition tuptable.h:403
static bool VARATT_IS_EXTERNAL_ONDISK(const void *PTR)
Definition varatt.h:361

References CompactAttribute::attisdropped, CompactAttribute::attlen, DatumGetPointer(), fb(), i, TupleDescData::natts, slot_attisnull(), slot_getsomeattrs(), TupleTableSlot::tts_values, TupleDescCompactAttr(), and VARATT_IS_EXTERNAL_ONDISK().

Referenced by apply_concurrent_changes().

◆ apply_concurrent_changes()

static void apply_concurrent_changes ( BufFile file,
ChangeContext chgcxt 
)
static

Definition at line 2487 of file repack.c.

2488{
2489 ConcurrentChangeKind kind = '\0';
2490 Relation rel = chgcxt->cc_rel;
2494 bool have_old_tuple = false;
2496
2498 &TTSOpsVirtual);
2502 &TTSOpsVirtual);
2503
2505
2506 while (true)
2507 {
2508 size_t nread;
2510
2512
2513 nread = BufFileReadMaybeEOF(file, &kind, 1, true);
2514 if (nread == 0) /* done with the file? */
2515 break;
2516
2517 /*
2518 * If this is the old tuple for an update, read it into the tuple slot
2519 * and go to the next one. The update itself will be executed on the
2520 * next iteration, when we receive the NEW tuple.
2521 */
2522 if (kind == CHANGE_UPDATE_OLD)
2523 {
2524 restore_tuple(file, rel, old_update_tuple);
2525 have_old_tuple = true;
2526 continue;
2527 }
2528
2529 /*
2530 * Just before an UPDATE or DELETE, we must update the command
2531 * counter, because the change could refer to a tuple that we have
2532 * just inserted; and before an INSERT, we have to do this also if the
2533 * previous command was either update or delete.
2534 *
2535 * With this approach we don't spend so many CCIs for long strings of
2536 * only INSERTs, which can't affect one another.
2537 */
2538 if (kind == CHANGE_UPDATE_NEW || kind == CHANGE_DELETE ||
2539 (kind == CHANGE_INSERT && (prevkind == CHANGE_UPDATE_NEW ||
2541 {
2544 }
2545
2546 /*
2547 * Now restore the tuple into the slot and execute the change.
2548 */
2549 restore_tuple(file, rel, spilled_tuple);
2550
2551 if (kind == CHANGE_INSERT)
2552 {
2554 }
2555 else if (kind == CHANGE_DELETE)
2556 {
2557 bool found;
2558
2559 /* Find the tuple to be deleted */
2561 if (!found)
2562 elog(ERROR, "failed to find target tuple");
2564 }
2565 else if (kind == CHANGE_UPDATE_NEW)
2566 {
2568 bool found;
2569
2570 if (have_old_tuple)
2572 else
2574
2575 /* Find the tuple to be updated or deleted. */
2576 found = find_target_tuple(rel, chgcxt, key, ondisk_tuple);
2577 if (!found)
2578 elog(ERROR, "failed to find target tuple");
2579
2580 /*
2581 * If 'tup' contains TOAST pointers, they point to the old
2582 * relation's toast. Copy the corresponding TOAST pointers for the
2583 * new relation from the existing tuple. (The fact that we
2584 * received a TOAST pointer here implies that the attribute hasn't
2585 * changed.)
2586 */
2588
2590
2592 have_old_tuple = false;
2593 }
2594 else
2595 elog(ERROR, "unrecognized kind of change: %d", kind);
2596
2597 ResetPerTupleExprContext(chgcxt->cc_estate);
2598 }
2599
2600 /* Cleanup. */
2604
2606}
size_t BufFileReadMaybeEOF(BufFile *file, void *ptr, size_t size, bool eofOK)
Definition buffile.c:665
#define ERROR
Definition elog.h:40
#define elog(elevel,...)
Definition elog.h:228
TupleTableSlot * MakeSingleTupleTableSlot(TupleDesc tupdesc, const TupleTableSlotOps *tts_ops)
const TupleTableSlotOps TTSOpsVirtual
Definition execTuples.c:84
void ExecDropSingleTupleTableSlot(TupleTableSlot *slot)
#define ResetPerTupleExprContext(estate)
Definition executor.h:676
#define GetPerTupleMemoryContext(estate)
Definition executor.h:672
#define CHECK_FOR_INTERRUPTS()
Definition miscadmin.h:125
static MemoryContext MemoryContextSwitchTo(MemoryContext context)
Definition palloc.h:138
#define RelationGetDescr(relation)
Definition rel.h:542
static void restore_tuple(BufFile *file, Relation relation, TupleTableSlot *slot)
Definition repack.c:2706
static bool find_target_tuple(Relation rel, ChangeContext *chgcxt, TupleTableSlot *locator, TupleTableSlot *retrieved)
Definition repack.c:2811
static void apply_concurrent_delete(Relation rel, TupleTableSlot *slot)
Definition repack.c:2674
static void apply_concurrent_insert(Relation rel, TupleTableSlot *slot, ChangeContext *chgcxt)
Definition repack.c:2613
static void adjust_toast_pointers(Relation relation, TupleTableSlot *dest, TupleTableSlot *src)
Definition repack.c:2776
static void apply_concurrent_update(Relation rel, TupleTableSlot *spilled_tuple, TupleTableSlot *ondisk_tuple, ChangeContext *chgcxt)
Definition repack.c:2634
#define CHANGE_UPDATE_OLD
#define CHANGE_DELETE
#define CHANGE_UPDATE_NEW
char ConcurrentChangeKind
#define CHANGE_INSERT
void UpdateActiveSnapshotCommandId(void)
Definition snapmgr.c:744
const TupleTableSlotOps * table_slot_callbacks(Relation relation)
Definition tableam.c:59
static TupleTableSlot * ExecClearTuple(TupleTableSlot *slot)
Definition tuptable.h:476
void CommandCounterIncrement(void)
Definition xact.c:1130

References adjust_toast_pointers(), apply_concurrent_delete(), apply_concurrent_insert(), apply_concurrent_update(), BufFileReadMaybeEOF(), CHANGE_DELETE, CHANGE_INSERT, CHANGE_UPDATE_NEW, CHANGE_UPDATE_OLD, CHECK_FOR_INTERRUPTS, CommandCounterIncrement(), elog, ERROR, ExecClearTuple(), ExecDropSingleTupleTableSlot(), fb(), find_target_tuple(), GetPerTupleMemoryContext, MakeSingleTupleTableSlot(), MemoryContextSwitchTo(), RelationGetDescr, ResetPerTupleExprContext, restore_tuple(), table_slot_callbacks(), TTSOpsVirtual, and UpdateActiveSnapshotCommandId().

Referenced by process_concurrent_changes().

◆ apply_concurrent_delete()

static void apply_concurrent_delete ( Relation  rel,
TupleTableSlot slot 
)
static

Definition at line 2674 of file repack.c.

2675{
2676 TM_Result res;
2677 TM_FailureData tmfd;
2678
2679 /*
2680 * Delete tuple from the new heap, skipping logical decoding for it.
2681 */
2682 res = table_tuple_delete(rel, &(slot->tts_tid),
2683 GetCurrentCommandId(true),
2686 false,
2687 &tmfd);
2688
2689 if (res != TM_Ok)
2690 ereport(ERROR,
2691 errmsg("failed to apply concurrent DELETE"));
2692
2694}
void pgstat_progress_incr_param(int index, int64 incr)
#define ereport(elevel,...)
Definition elog.h:152
static char * errmsg
#define PROGRESS_REPACK_HEAP_TUPLES_DELETED
Definition progress.h:91
#define InvalidSnapshot
Definition snapshot.h:119
ItemPointerData tts_tid
Definition tuptable.h:142
TM_Result
Definition tableam.h:95
@ TM_Ok
Definition tableam.h:100
#define TABLE_DELETE_NO_LOGICAL
Definition tableam.h:290
static TM_Result table_tuple_delete(Relation rel, ItemPointer tid, CommandId cid, uint32 options, Snapshot snapshot, Snapshot crosscheck, bool wait, TM_FailureData *tmfd)
Definition tableam.h:1549
CommandId GetCurrentCommandId(bool used)
Definition xact.c:831

References ereport, errmsg, ERROR, GetCurrentCommandId(), InvalidSnapshot, pgstat_progress_incr_param(), PROGRESS_REPACK_HEAP_TUPLES_DELETED, TABLE_DELETE_NO_LOGICAL, table_tuple_delete(), TM_Ok, and TupleTableSlot::tts_tid.

Referenced by apply_concurrent_changes().

◆ apply_concurrent_insert()

static void apply_concurrent_insert ( Relation  rel,
TupleTableSlot slot,
ChangeContext chgcxt 
)
static

Definition at line 2613 of file repack.c.

2615{
2616 /* Put the tuple in the table, but make sure it won't be decoded */
2617 table_tuple_insert(rel, slot, GetCurrentCommandId(true),
2619
2620 /* Update indexes with this new tuple. */
2622 chgcxt->cc_estate,
2623 0,
2624 slot,
2625 NIL, NULL);
2627}
List * ExecInsertIndexTuples(ResultRelInfo *resultRelInfo, EState *estate, uint32 flags, TupleTableSlot *slot, List *arbiterIndexes, bool *specConflict)
#define NIL
Definition pg_list.h:68
#define PROGRESS_REPACK_HEAP_TUPLES_INSERTED
Definition progress.h:89
#define TABLE_INSERT_NO_LOGICAL
Definition tableam.h:286
static void table_tuple_insert(Relation rel, TupleTableSlot *slot, CommandId cid, uint32 options, BulkInsertStateData *bistate)
Definition tableam.h:1458

References ExecInsertIndexTuples(), fb(), GetCurrentCommandId(), NIL, pgstat_progress_incr_param(), PROGRESS_REPACK_HEAP_TUPLES_INSERTED, TABLE_INSERT_NO_LOGICAL, and table_tuple_insert().

Referenced by apply_concurrent_changes().

◆ apply_concurrent_update()

static void apply_concurrent_update ( Relation  rel,
TupleTableSlot spilled_tuple,
TupleTableSlot ondisk_tuple,
ChangeContext chgcxt 
)
static

Definition at line 2634 of file repack.c.

2637{
2638 LockTupleMode lockmode;
2639 TM_FailureData tmfd;
2641 TM_Result res;
2642
2643 /*
2644 * Carry out the update, skipping logical decoding for it.
2645 */
2646 res = table_tuple_update(rel, &(ondisk_tuple->tts_tid), spilled_tuple,
2647 GetCurrentCommandId(true),
2651 false,
2652 &tmfd, &lockmode, &update_indexes);
2653 if (res != TM_Ok)
2654 ereport(ERROR,
2655 errmsg("failed to apply concurrent UPDATE"));
2656
2657 if (update_indexes != TU_None)
2658 {
2659 uint32 flags = EIIT_IS_UPDATE;
2660
2662 flags |= EIIT_ONLY_SUMMARIZING;
2664 chgcxt->cc_estate,
2665 flags,
2667 NIL, NULL);
2668 }
2669
2671}
uint32_t uint32
Definition c.h:624
#define EIIT_IS_UPDATE
Definition executor.h:757
#define EIIT_ONLY_SUMMARIZING
Definition executor.h:759
LockTupleMode
Definition lockoptions.h:51
#define PROGRESS_REPACK_HEAP_TUPLES_UPDATED
Definition progress.h:90
TU_UpdateIndexes
Definition tableam.h:133
@ TU_Summarizing
Definition tableam.h:141
@ TU_None
Definition tableam.h:135
#define TABLE_UPDATE_NO_LOGICAL
Definition tableam.h:293
static TM_Result table_tuple_update(Relation rel, ItemPointer otid, TupleTableSlot *slot, CommandId cid, uint32 options, Snapshot snapshot, Snapshot crosscheck, bool wait, TM_FailureData *tmfd, LockTupleMode *lockmode, TU_UpdateIndexes *update_indexes)
Definition tableam.h:1598

References EIIT_IS_UPDATE, EIIT_ONLY_SUMMARIZING, ereport, errmsg, ERROR, ExecInsertIndexTuples(), fb(), GetCurrentCommandId(), InvalidSnapshot, NIL, pgstat_progress_incr_param(), PROGRESS_REPACK_HEAP_TUPLES_UPDATED, table_tuple_update(), TABLE_UPDATE_NO_LOGICAL, TM_Ok, TU_None, and TU_Summarizing.

Referenced by apply_concurrent_changes().

◆ build_new_indexes()

static List * build_new_indexes ( Relation  NewHeap,
Relation  OldHeap,
List OldIndexes 
)
static

Definition at line 3283 of file repack.c.

3284{
3285 List *result = NIL;
3286
3289
3291 {
3292 Oid newindex;
3293 char *newName;
3294 Relation ind;
3295
3297
3299 NULL,
3300 "repacknew",
3301 get_rel_namespace(ind->rd_index->indrelid),
3302 false);
3304 oldindex, ind->rd_rel->reltablespace,
3305 newName);
3308
3310 }
3311
3312 return result;
3313}
void pgstat_progress_update_param(int index, int64 val)
uint32 result
Oid index_create_copy(Relation heapRelation, uint16 flags, Oid oldIndexId, Oid tablespaceOid, const char *newName)
Definition index.c:1306
#define INDEX_CREATE_SUPPRESS_PROGRESS
Definition index.h:74
void index_close(Relation relation, LOCKMODE lockmode)
Definition indexam.c:178
Relation index_open(Oid relationId, LOCKMODE lockmode)
Definition indexam.c:134
char * ChooseRelationName(const char *name1, const char *name2, const char *label, Oid namespaceid, bool isconstraint)
Definition indexcmds.c:2634
List * lappend_oid(List *list, Oid datum)
Definition list.c:375
#define NoLock
Definition lockdefs.h:34
#define ShareUpdateExclusiveLock
Definition lockdefs.h:39
char * get_rel_name(Oid relid)
Definition lsyscache.c:2159
Oid get_rel_namespace(Oid relid)
Definition lsyscache.c:2183
#define foreach_oid(var, lst)
Definition pg_list.h:503
unsigned int Oid
#define PROGRESS_REPACK_PHASE
Definition progress.h:86
#define PROGRESS_REPACK_PHASE_REBUILD_INDEX
Definition progress.h:105
#define RelationGetRelid(relation)
Definition rel.h:516
static void copy_index_constraints(Relation old_index, Oid new_index_id, Oid new_heap_id)
Definition repack.c:3328
Definition pg_list.h:54

References ChooseRelationName(), copy_index_constraints(), fb(), foreach_oid, get_rel_name(), get_rel_namespace(), index_close(), index_create_copy(), INDEX_CREATE_SUPPRESS_PROGRESS, index_open(), lappend_oid(), NIL, NoLock, pgstat_progress_update_param(), PROGRESS_REPACK_PHASE, PROGRESS_REPACK_PHASE_REBUILD_INDEX, RelationGetRelid, result, and ShareUpdateExclusiveLock.

Referenced by rebuild_relation_finish_concurrent().

◆ check_concurrent_repack_requirements()

static void check_concurrent_repack_requirements ( Relation  rel,
Oid ident_idx_p 
)
static

Definition at line 884 of file repack.c.

885{
886 char relpersistence,
887 replident;
889
890 /* Data changes in system relations are not logically decoded. */
891 if (IsCatalogRelation(rel))
894 errmsg("cannot repack relation \"%s\"",
896 errhint("REPACK CONCURRENTLY is not supported for catalog relations."));
897
898 /*
899 * reorderbuffer.c does not seem to handle processing of TOAST relation
900 * alone.
901 */
902 if (IsToastRelation(rel))
905 errmsg("cannot repack relation \"%s\"",
907 errhint("REPACK CONCURRENTLY is not supported for TOAST relations"));
908
909 relpersistence = rel->rd_rel->relpersistence;
910 if (relpersistence != RELPERSISTENCE_PERMANENT)
913 errmsg("cannot repack relation \"%s\"",
915 errhint("REPACK CONCURRENTLY is only allowed for permanent relations."));
916
917 /* With NOTHING, WAL does not contain the old tuple. */
918 replident = rel->rd_rel->relreplident;
919 if (replident == REPLICA_IDENTITY_NOTHING)
922 errmsg("cannot repack relation \"%s\"",
924 errhint("Relation \"%s\" has insufficient replication identity.",
926
927 /*
928 * Obtain the replica identity index -- either one that has been set
929 * explicitly, or a non-deferrable primary key. If none of these cases
930 * apply, the table cannot be repacked concurrently. It might be possible
931 * to have repack work with a FULL replica identity; however that requires
932 * more work and is not implemented yet.
933 */
935 if (!OidIsValid(ident_idx))
938 errmsg("cannot process relation \"%s\"",
940 errhint("Relation \"%s\" has no identity index.",
942
944}
#define OidIsValid(objectId)
Definition c.h:858
bool IsToastRelation(Relation relation)
Definition catalog.c:206
bool IsCatalogRelation(Relation relation)
Definition catalog.c:104
int errcode(int sqlerrcode)
Definition elog.c:875
int errhint(const char *fmt,...) pg_attribute_printf(1
#define RelationGetRelationName(relation)
Definition rel.h:550
Oid GetRelationIdentityOrPK(Relation rel)
Definition relation.c:905
Form_pg_class rd_rel
Definition rel.h:111

References ereport, errcode(), errhint(), errmsg, ERROR, fb(), GetRelationIdentityOrPK(), IsCatalogRelation(), IsToastRelation(), OidIsValid, RelationData::rd_rel, and RelationGetRelationName.

Referenced by cluster_rel().

◆ check_index_is_clusterable()

void check_index_is_clusterable ( Relation  OldHeap,
Oid  indexOid,
LOCKMODE  lockmode 
)

Definition at line 758 of file repack.c.

759{
761
762 OldIndex = index_open(indexOid, lockmode);
763
764 /*
765 * Check that index is in fact an index on the given relation
766 */
767 if (OldIndex->rd_index == NULL ||
768 OldIndex->rd_index->indrelid != RelationGetRelid(OldHeap))
771 errmsg("\"%s\" is not an index for table \"%s\"",
774
775 /* Index AM must allow clustering */
776 if (!OldIndex->rd_indam->amclusterable)
779 errmsg("cannot cluster on index \"%s\" because access method does not support clustering",
781
782 /*
783 * Disallow clustering on incomplete indexes (those that might not index
784 * every row of the relation). We could relax this by making a separate
785 * seqscan pass over the table to copy the missing rows, but that seems
786 * expensive and tedious.
787 */
788 if (!heap_attisnull(OldIndex->rd_indextuple, Anum_pg_index_indpred, NULL))
791 errmsg("cannot cluster on partial index \"%s\"",
793
794 /*
795 * Disallow if index is left over from a failed CREATE INDEX CONCURRENTLY;
796 * it might well not contain entries for every heap row, or might not even
797 * be internally consistent. (But note that we don't check indcheckxmin;
798 * the worst consequence of following broken HOT chains would be that we
799 * might put recently-dead tuples out-of-order in the new table, and there
800 * is little harm in that.)
801 */
802 if (!OldIndex->rd_index->indisvalid)
805 errmsg("cannot cluster on invalid index \"%s\"",
807
808 /* Drop relcache refcnt on OldIndex, but keep lock */
810}
bool heap_attisnull(HeapTuple tup, int attnum, TupleDesc tupleDesc)
Definition heaptuple.c:456

References ereport, errcode(), errmsg, ERROR, fb(), heap_attisnull(), index_close(), index_open(), NoLock, RelationGetRelationName, and RelationGetRelid.

Referenced by ATExecClusterOn(), cluster_rel(), ExecRepack(), and process_single_relation().

◆ cluster_rel()

void cluster_rel ( RepackCommand  cmd,
Relation  OldHeap,
Oid  indexOid,
ClusterParams params,
bool  isTopLevel 
)

Definition at line 509 of file repack.c.

511{
512 Oid tableOid = RelationGetRelid(OldHeap);
515 Oid save_userid;
516 int save_sec_context;
517 int save_nestlevel;
518 bool verbose = ((params->options & CLUOPT_VERBOSE) != 0);
519 bool recheck = ((params->options & CLUOPT_RECHECK) != 0);
520 bool concurrent = ((params->options & CLUOPT_CONCURRENT) != 0);
522
523 /* Determine the lock mode to use. */
524 lmode = RepackLockLevel(concurrent);
525
526 /*
527 * Check some preconditions in the concurrent case. This also obtains the
528 * replica index OID.
529 */
530 if (concurrent)
532
533 /* Check for user-requested abort. */
535
538
539 /*
540 * Switch to the table owner's userid, so that any index functions are run
541 * as that user. Also lock down security-restricted operations and
542 * arrange to make GUC variable changes local to this command.
543 */
544 GetUserIdAndSecContext(&save_userid, &save_sec_context);
545 SetUserIdAndSecContext(OldHeap->rd_rel->relowner,
546 save_sec_context | SECURITY_RESTRICTED_OPERATION);
547 save_nestlevel = NewGUCNestLevel();
549
550 /*
551 * Recheck that the relation is still what it was when we started.
552 *
553 * Note that it's critical to skip this in single-relation CLUSTER;
554 * otherwise, we would reject an attempt to cluster using a
555 * not-previously-clustered index.
556 */
557 if (recheck &&
558 !cluster_rel_recheck(cmd, OldHeap, indexOid, save_userid,
559 lmode, params->options))
560 goto out;
561
562 /*
563 * We allow repacking shared catalogs only when not using an index. It
564 * would work to use an index in most respects, but the index would only
565 * get marked as indisclustered in the current database, leading to
566 * unexpected behavior if CLUSTER were later invoked in another database.
567 */
568 if (OidIsValid(indexOid) && OldHeap->rd_rel->relisshared)
571 /*- translator: first %s is name of a SQL command, eg. REPACK */
572 errmsg("cannot execute %s on a shared catalog",
574
575 /*
576 * The CONCURRENTLY case should have been rejected earlier because it does
577 * not support system catalogs.
578 */
579 Assert(!(OldHeap->rd_rel->relisshared && concurrent));
580
581 /*
582 * Don't process temp tables of other backends ... their local buffer
583 * manager is not going to cope.
584 */
588 /*- translator: first %s is name of a SQL command, eg. REPACK */
589 errmsg("cannot execute %s on temporary tables of other sessions",
591
592 /*
593 * Also check for active uses of the relation in the current transaction,
594 * including open scans and pending AFTER trigger events.
595 */
597
598 /* Check heap and index are valid to cluster on */
599 if (OidIsValid(indexOid))
600 {
601 /* verify the index is good and lock it */
603 /* also open it */
604 index = index_open(indexOid, NoLock);
605 }
606 else
607 index = NULL;
608
609 /*
610 * When allow_system_table_mods is turned off, we disallow repacking a
611 * catalog on a particular index unless that's already the clustered index
612 * for that catalog.
613 *
614 * XXX We don't check for this in CLUSTER, because it's historically been
615 * allowed.
616 */
617 if (cmd != REPACK_COMMAND_CLUSTER &&
618 !allowSystemTableMods && OidIsValid(indexOid) &&
619 IsCatalogRelation(OldHeap) && !index->rd_index->indisclustered)
622 errmsg("permission denied: \"%s\" is a system catalog",
624 errdetail("System catalogs can only be clustered by the index they're already clustered on, if any, unless \"%s\" is enabled.",
625 "allow_system_table_mods"));
626
627 /*
628 * Quietly ignore the request if this is a materialized view which has not
629 * been populated from its query. No harm is done because there is no data
630 * to deal with, and we don't want to throw an error if this is part of a
631 * multi-relation request -- for example, CLUSTER was run on the entire
632 * database.
633 */
634 if (OldHeap->rd_rel->relkind == RELKIND_MATVIEW &&
636 {
637 if (index)
640 goto out;
641 }
642
643 Assert(OldHeap->rd_rel->relkind == RELKIND_RELATION ||
644 OldHeap->rd_rel->relkind == RELKIND_MATVIEW ||
645 OldHeap->rd_rel->relkind == RELKIND_TOASTVALUE);
646
647 /*
648 * All predicate locks on the tuples or pages are about to be made
649 * invalid, because we move tuples around. Promote them to relation
650 * locks. Predicate locks on indexes will be promoted when they are
651 * reindexed.
652 *
653 * During concurrent processing, the heap as well as its indexes stay in
654 * operation, so we postpone this step until they are locked using
655 * AccessExclusiveLock near the end of the processing.
656 */
657 if (!concurrent)
659
660 /* rebuild_relation does all the dirty work */
661 PG_TRY();
662 {
664 }
665 PG_FINALLY();
666 {
667 if (concurrent)
668 {
669 /*
670 * Since during normal operation the worker was already asked to
671 * exit, stopping it explicitly is especially important on ERROR.
672 * However it still seems a good practice to make sure that the
673 * worker never survives the REPACK command.
674 */
676 }
677 }
678 PG_END_TRY();
679
680 /* rebuild_relation closes OldHeap, and index if valid */
681
682out:
683 /* Roll back any GUC changes executed by index functions */
684 AtEOXact_GUC(false, save_nestlevel);
685
686 /* Restore userid and security context */
687 SetUserIdAndSecContext(save_userid, save_sec_context);
688
690}
void pgstat_progress_start_command(ProgressCommandType cmdtype, Oid relid)
void pgstat_progress_end_command(void)
@ PROGRESS_COMMAND_REPACK
#define Assert(condition)
Definition c.h:943
int errdetail(const char *fmt,...) pg_attribute_printf(1
#define PG_TRY(...)
Definition elog.h:374
#define PG_END_TRY(...)
Definition elog.h:399
#define PG_FINALLY(...)
Definition elog.h:391
bool allowSystemTableMods
Definition globals.c:132
int NewGUCNestLevel(void)
Definition guc.c:2142
void RestrictSearchPath(void)
Definition guc.c:2153
void AtEOXact_GUC(bool isCommit, int nestLevel)
Definition guc.c:2169
int LOCKMODE
Definition lockdefs.h:26
#define SECURITY_RESTRICTED_OPERATION
Definition miscadmin.h:331
void GetUserIdAndSecContext(Oid *userid, int *sec_context)
Definition miscinit.c:613
void SetUserIdAndSecContext(Oid userid, int sec_context)
Definition miscinit.c:620
@ REPACK_COMMAND_CLUSTER
static int verbose
#define InvalidOid
void TransferPredicateLocksToHeapRelation(Relation relation)
Definition predicate.c:3052
#define PROGRESS_REPACK_COMMAND
Definition progress.h:85
#define RelationIsPopulated(relation)
Definition rel.h:688
#define RELATION_IS_OTHER_TEMP(relation)
Definition rel.h:669
static bool cluster_rel_recheck(RepackCommand cmd, Relation OldHeap, Oid indexOid, Oid userid, LOCKMODE lmode, int options)
Definition repack.c:697
static void check_concurrent_repack_requirements(Relation rel, Oid *ident_idx_p)
Definition repack.c:884
void check_index_is_clusterable(Relation OldHeap, Oid indexOid, LOCKMODE lockmode)
Definition repack.c:758
static void stop_repack_decoding_worker(void)
Definition repack.c:3487
static LOCKMODE RepackLockLevel(bool concurrent)
Definition repack.c:476
static const char * RepackCommandAsString(RepackCommand cmd)
Definition repack.c:2469
static void rebuild_relation(Relation OldHeap, Relation index, bool verbose, Oid ident_idx)
Definition repack.c:966
#define CLUOPT_VERBOSE
Definition repack.h:25
#define CLUOPT_CONCURRENT
Definition repack.h:29
#define CLUOPT_RECHECK
Definition repack.h:26
void relation_close(Relation relation, LOCKMODE lockmode)
Definition relation.c:206
uint32 options
Definition repack.h:34
Definition type.h:97
void CheckTableNotInUse(Relation rel, const char *stmt)
Definition tablecmds.c:4473

References allowSystemTableMods, Assert, AtEOXact_GUC(), check_concurrent_repack_requirements(), CHECK_FOR_INTERRUPTS, check_index_is_clusterable(), CheckTableNotInUse(), CLUOPT_CONCURRENT, CLUOPT_RECHECK, CLUOPT_VERBOSE, cluster_rel_recheck(), ereport, errcode(), errdetail(), errmsg, ERROR, fb(), GetUserIdAndSecContext(), index_close(), index_open(), InvalidOid, IsCatalogRelation(), NewGUCNestLevel(), NoLock, OidIsValid, ClusterParams::options, PG_END_TRY, PG_FINALLY, PG_TRY, pgstat_progress_end_command(), pgstat_progress_start_command(), pgstat_progress_update_param(), PROGRESS_COMMAND_REPACK, PROGRESS_REPACK_COMMAND, rebuild_relation(), relation_close(), RELATION_IS_OTHER_TEMP, RelationGetRelationName, RelationGetRelid, RelationIsPopulated, REPACK_COMMAND_CLUSTER, RepackCommandAsString(), RepackLockLevel(), RestrictSearchPath(), SECURITY_RESTRICTED_OPERATION, SetUserIdAndSecContext(), stop_repack_decoding_worker(), TransferPredicateLocksToHeapRelation(), and verbose.

Referenced by ExecRepack(), process_single_relation(), and vacuum_rel().

◆ cluster_rel_recheck()

static bool cluster_rel_recheck ( RepackCommand  cmd,
Relation  OldHeap,
Oid  indexOid,
Oid  userid,
LOCKMODE  lmode,
int  options 
)
static

Definition at line 697 of file repack.c.

699{
700 Oid tableOid = RelationGetRelid(OldHeap);
701
702 /* Check that the user still has privileges for the relation */
703 if (!repack_is_permitted_for_relation(cmd, tableOid, userid))
704 {
706 return false;
707 }
708
709 /*
710 * Silently skip a temp table for a remote session. Only doing this check
711 * in the "recheck" case is appropriate (which currently means somebody is
712 * executing a database-wide CLUSTER or on a partitioned table), because
713 * there is another check in cluster() which will stop any attempt to
714 * cluster remote temp tables by name. There is another check in
715 * cluster_rel which is redundant, but we leave it for extra safety.
716 */
718 {
720 return false;
721 }
722
723 if (OidIsValid(indexOid))
724 {
725 /*
726 * Check that the index still exists
727 */
729 {
731 return false;
732 }
733
734 /*
735 * Check that the index is still the one with indisclustered set, if
736 * needed.
737 */
738 if ((options & CLUOPT_RECHECK_ISCLUSTERED) != 0 &&
739 !get_index_isclustered(indexOid))
740 {
742 return false;
743 }
744 }
745
746 return true;
747}
bool get_index_isclustered(Oid index_oid)
Definition lsyscache.c:3879
static Datum ObjectIdGetDatum(Oid X)
Definition postgres.h:252
static bool repack_is_permitted_for_relation(RepackCommand cmd, Oid relid, Oid userid)
Definition repack.c:2307
#define CLUOPT_RECHECK_ISCLUSTERED
Definition repack.h:27
#define SearchSysCacheExists1(cacheId, key1)
Definition syscache.h:100

References CLUOPT_RECHECK_ISCLUSTERED, fb(), get_index_isclustered(), ObjectIdGetDatum(), OidIsValid, relation_close(), RELATION_IS_OTHER_TEMP, RelationGetRelid, repack_is_permitted_for_relation(), and SearchSysCacheExists1.

Referenced by cluster_rel().

◆ copy_index_constraints()

static void copy_index_constraints ( Relation  old_index,
Oid  new_index_id,
Oid  new_heap_id 
)
static

Definition at line 3328 of file repack.c.

3329{
3331 Relation rel;
3332 TupleDesc desc;
3333 SysScanDesc scan;
3334 HeapTuple tup;
3336
3339
3340 /*
3341 * Retrieve the constraints supported by the old index and create an
3342 * identical one that points to the new index.
3343 */
3347 ObjectIdGetDatum(old_index->rd_index->indrelid));
3349 NULL, 1, &skey);
3350 desc = RelationGetDescr(rel);
3351 while (HeapTupleIsValid(tup = systable_getnext(scan)))
3352 {
3354 Oid oid;
3356 bool nulls[Natts_pg_constraint] = {0};
3357 bool replaces[Natts_pg_constraint] = {0};
3360
3361 if (conform->conindid != RelationGetRelid(old_index))
3362 continue;
3363
3367 replaces[Anum_pg_constraint_oid - 1] = true;
3372
3373 new_tup = heap_modify_tuple(tup, desc, values, nulls, replaces);
3374
3375 /* Insert it into the catalog. */
3377
3378 /* Create a dependency so it's removed when we drop the new heap. */
3381 }
3382 systable_endscan(scan);
3383
3385
3387}
static Datum values[MAXATTR]
Definition bootstrap.c:190
Oid GetNewOidWithIndex(Relation relation, Oid indexId, AttrNumber oidcolumn)
Definition catalog.c:448
@ DEPENDENCY_AUTO
Definition dependency.h:34
void systable_endscan(SysScanDesc sysscan)
Definition genam.c:612
HeapTuple systable_getnext(SysScanDesc sysscan)
Definition genam.c:523
SysScanDesc systable_beginscan(Relation heapRelation, Oid indexId, bool indexOK, Snapshot snapshot, int nkeys, ScanKey key)
Definition genam.c:388
HeapTuple heap_modify_tuple(HeapTuple tuple, TupleDesc tupleDesc, const Datum *replValues, const bool *replIsnull, const bool *doReplace)
Definition heaptuple.c:1118
#define HeapTupleIsValid(tuple)
Definition htup.h:78
static void * GETSTRUCT(const HeapTupleData *tuple)
void CatalogTupleInsert(Relation heapRel, HeapTuple tup)
Definition indexing.c:233
#define RowExclusiveLock
Definition lockdefs.h:38
#define ObjectAddressSet(addr, class_id, object_id)
END_CATALOG_STRUCT typedef FormData_pg_constraint * Form_pg_constraint
void recordDependencyOn(const ObjectAddress *depender, const ObjectAddress *referenced, DependencyType behavior)
Definition pg_depend.c:47
uint64_t Datum
Definition postgres.h:70
void ScanKeyInit(ScanKey entry, AttrNumber attributeNumber, StrategyNumber strategy, RegProcedure procedure, Datum argument)
Definition scankey.c:76
#define BTEqualStrategyNumber
Definition stratnum.h:31
void table_close(Relation relation, LOCKMODE lockmode)
Definition table.c:126
Relation table_open(Oid relationId, LOCKMODE lockmode)
Definition table.c:40

References BTEqualStrategyNumber, CatalogTupleInsert(), CommandCounterIncrement(), DEPENDENCY_AUTO, fb(), Form_pg_constraint, GetNewOidWithIndex(), GETSTRUCT(), heap_modify_tuple(), HeapTupleIsValid, ObjectAddressSet, ObjectIdGetDatum(), recordDependencyOn(), RelationGetDescr, RelationGetRelid, RowExclusiveLock, ScanKeyInit(), systable_beginscan(), systable_endscan(), systable_getnext(), table_close(), table_open(), and values.

Referenced by build_new_indexes().

◆ copy_table_data()

static void copy_table_data ( Relation  NewHeap,
Relation  OldHeap,
Relation  OldIndex,
Snapshot  snapshot,
bool  verbose,
bool pSwapToastByContent,
TransactionId pFreezeXid,
MultiXactId pCutoffMulti 
)
static

Definition at line 1242 of file repack.c.

1245{
1251 VacuumParams params;
1252 struct VacuumCutoffs cutoffs;
1253 bool use_sort;
1254 double num_tuples = 0,
1255 tups_vacuumed = 0,
1257 BlockNumber num_pages;
1258 int elevel = verbose ? INFO : DEBUG2;
1259 PGRUsage ru0;
1260 char *nspname;
1261 bool concurrent = snapshot != NULL;
1263
1264 lmode = RepackLockLevel(concurrent);
1265
1267
1268 /* Store a copy of the namespace name for logging purposes */
1270
1271 /*
1272 * Their tuple descriptors should be exactly alike, but here we only need
1273 * assume that they have the same number of columns.
1274 */
1277 Assert(newTupDesc->natts == oldTupDesc->natts);
1278
1279 /*
1280 * If the OldHeap has a toast table, get lock on the toast table to keep
1281 * it from being vacuumed. This is needed because autovacuum processes
1282 * toast tables independently of their main tables, with no lock on the
1283 * latter. If an autovacuum were to start on the toast table after we
1284 * compute our OldestXmin below, it would use a later OldestXmin, and then
1285 * possibly remove as DEAD toast tuples belonging to main tuples we think
1286 * are only RECENTLY_DEAD. Then we'd fail while trying to copy those
1287 * tuples.
1288 *
1289 * We don't need to open the toast relation here, just lock it. The lock
1290 * will be held till end of transaction.
1291 */
1292 if (OldHeap->rd_rel->reltoastrelid)
1293 LockRelationOid(OldHeap->rd_rel->reltoastrelid, lmode);
1294
1295 /*
1296 * If both tables have TOAST tables, perform toast swap by content. It is
1297 * possible that the old table has a toast table but the new one doesn't,
1298 * if toastable columns have been dropped. In that case we have to do
1299 * swap by links. This is okay because swap by content is only essential
1300 * for system catalogs, and we don't support schema changes for them.
1301 */
1302 if (OldHeap->rd_rel->reltoastrelid && NewHeap->rd_rel->reltoastrelid &&
1303 !concurrent)
1304 {
1305 *pSwapToastByContent = true;
1306
1307 /*
1308 * When doing swap by content, any toast pointers written into NewHeap
1309 * must use the old toast table's OID, because that's where the toast
1310 * data will eventually be found. Set this up by setting rd_toastoid.
1311 * This also tells toast_save_datum() to preserve the toast value
1312 * OIDs, which we want so as not to invalidate toast pointers in
1313 * system catalog caches, and to avoid making multiple copies of a
1314 * single toast value.
1315 *
1316 * Note that we must hold NewHeap open until we are done writing data,
1317 * since the relcache will not guarantee to remember this setting once
1318 * the relation is closed. Also, this technique depends on the fact
1319 * that no one will try to read from the NewHeap until after we've
1320 * finished writing it and swapping the rels --- otherwise they could
1321 * follow the toast pointers to the wrong place. (It would actually
1322 * work for values copied over from the old toast table, but not for
1323 * any values that we toast which were previously not toasted.)
1324 *
1325 * This would not work with CONCURRENTLY because we may need to delete
1326 * TOASTed tuples from the new heap. With this hack, we'd delete them
1327 * from the old heap.
1328 */
1329 NewHeap->rd_toastoid = OldHeap->rd_rel->reltoastrelid;
1330 }
1331 else
1332 *pSwapToastByContent = false;
1333
1334 /*
1335 * Compute xids used to freeze and weed out dead tuples and multixacts.
1336 * Since we're going to rewrite the whole table anyway, there's no reason
1337 * not to be aggressive about this.
1338 */
1339 memset(&params, 0, sizeof(VacuumParams));
1340 vacuum_get_cutoffs(OldHeap, &params, &cutoffs);
1341
1342 /*
1343 * FreezeXid will become the table's new relfrozenxid, and that mustn't go
1344 * backwards, so take the max.
1345 */
1346 {
1347 TransactionId relfrozenxid = OldHeap->rd_rel->relfrozenxid;
1348
1350 TransactionIdPrecedes(cutoffs.FreezeLimit, relfrozenxid))
1351 cutoffs.FreezeLimit = relfrozenxid;
1352 }
1353
1354 /*
1355 * MultiXactCutoff, similarly, shouldn't go backwards either.
1356 */
1357 {
1358 MultiXactId relminmxid = OldHeap->rd_rel->relminmxid;
1359
1361 MultiXactIdPrecedes(cutoffs.MultiXactCutoff, relminmxid))
1362 cutoffs.MultiXactCutoff = relminmxid;
1363 }
1364
1365 /*
1366 * Decide whether to use an indexscan or seqscan-and-optional-sort to scan
1367 * the OldHeap. We know how to use a sort to duplicate the ordering of a
1368 * btree index, and will use seqscan-and-sort for that case if the planner
1369 * tells us it's cheaper. Otherwise, always indexscan if an index is
1370 * provided, else plain seqscan.
1371 */
1372 if (OldIndex != NULL && OldIndex->rd_rel->relam == BTREE_AM_OID)
1375 else
1376 use_sort = false;
1377
1378 /* Log what we're doing */
1379 if (OldIndex != NULL && !use_sort)
1380 ereport(elevel,
1381 errmsg("repacking \"%s.%s\" using index scan on \"%s\"",
1382 nspname,
1385 else if (use_sort)
1386 ereport(elevel,
1387 errmsg("repacking \"%s.%s\" using sequential scan and sort",
1388 nspname,
1390 else
1391 ereport(elevel,
1392 errmsg("repacking \"%s.%s\" in physical order",
1393 nspname,
1395
1396 /*
1397 * Hand off the actual copying to AM specific function, the generic code
1398 * cannot know how to deal with visibility across AMs. Note that this
1399 * routine is allowed to set FreezeXid / MultiXactCutoff to different
1400 * values (e.g. because the AM doesn't use freezing).
1401 */
1403 cutoffs.OldestXmin, snapshot,
1404 &cutoffs.FreezeLimit,
1405 &cutoffs.MultiXactCutoff,
1406 &num_tuples, &tups_vacuumed,
1408
1409 /* return selected values to caller, get set as relfrozenxid/minmxid */
1410 *pFreezeXid = cutoffs.FreezeLimit;
1411 *pCutoffMulti = cutoffs.MultiXactCutoff;
1412
1413 /*
1414 * Reset rd_toastoid just to be tidy --- it shouldn't be looked at again.
1415 * In the CONCURRENTLY case, we need to set it again before applying the
1416 * concurrent changes.
1417 */
1418 NewHeap->rd_toastoid = InvalidOid;
1419
1421
1422 /* Log what we did */
1423 ereport(elevel,
1424 (errmsg("\"%s.%s\": found %.0f removable, %.0f nonremovable row versions in %u pages",
1425 nspname,
1427 tups_vacuumed, num_tuples,
1429 errdetail("%.0f dead row versions cannot be removed yet.\n"
1430 "%s.",
1432 pg_rusage_show(&ru0))));
1433
1434 /* Update pg_class to reflect the correct values of pages and tuples. */
1436
1440 elog(ERROR, "cache lookup failed for relation %u",
1443
1444 relform->relpages = num_pages;
1445 relform->reltuples = num_tuples;
1446
1447 /* Don't update the stats for pg_class. See swap_relation_files. */
1450 else
1452
1453 /* Clean up. */
1456
1457 /* Make the update visible */
1459}
uint32 BlockNumber
Definition block.h:31
#define RelationGetNumberOfBlocks(reln)
Definition bufmgr.h:309
#define PG_USED_FOR_ASSERTS_ONLY
Definition c.h:249
TransactionId MultiXactId
Definition c.h:746
uint32 TransactionId
Definition c.h:736
#define DEBUG2
Definition elog.h:30
#define INFO
Definition elog.h:35
void heap_freetuple(HeapTuple htup)
Definition heaptuple.c:1372
void CatalogTupleUpdate(Relation heapRel, const ItemPointerData *otid, HeapTuple tup)
Definition indexing.c:313
void CacheInvalidateRelcacheByTuple(HeapTuple classTuple)
Definition inval.c:1669
void LockRelationOid(Oid relid, LOCKMODE lockmode)
Definition lmgr.c:107
char * get_namespace_name(Oid nspid)
Definition lsyscache.c:3599
bool MultiXactIdPrecedes(MultiXactId multi1, MultiXactId multi2)
Definition multixact.c:2865
#define MultiXactIdIsValid(multi)
Definition multixact.h:29
FormData_pg_class * Form_pg_class
Definition pg_class.h:160
const char * pg_rusage_show(const PGRUsage *ru0)
Definition pg_rusage.c:40
void pg_rusage_init(PGRUsage *ru0)
Definition pg_rusage.c:27
bool plan_cluster_use_sort(Oid tableOid, Oid indexOid)
Definition planner.c:7161
#define RelationGetNamespace(relation)
Definition rel.h:557
TransactionId relfrozenxid
Definition vacuum.h:262
MultiXactId relminmxid
Definition vacuum.h:263
#define SearchSysCacheCopy1(cacheId, key1)
Definition syscache.h:91
static void table_relation_copy_for_cluster(Relation OldTable, Relation NewTable, Relation OldIndex, bool use_sort, TransactionId OldestXmin, Snapshot snapshot, TransactionId *xid_cutoff, MultiXactId *multi_cutoff, double *num_tuples, double *tups_vacuumed, double *tups_recently_dead)
Definition tableam.h:1746
#define TransactionIdIsValid(xid)
Definition transam.h:41
static bool TransactionIdPrecedes(TransactionId id1, TransactionId id2)
Definition transam.h:263
bool vacuum_get_cutoffs(Relation rel, const VacuumParams *params, struct VacuumCutoffs *cutoffs)
Definition vacuum.c:1106

References Assert, CacheInvalidateRelcacheByTuple(), CatalogTupleUpdate(), CommandCounterIncrement(), DEBUG2, elog, ereport, errdetail(), errmsg, ERROR, fb(), VacuumCutoffs::FreezeLimit, get_namespace_name(), GETSTRUCT(), heap_freetuple(), HeapTupleIsValid, INFO, InvalidOid, LockRelationOid(), VacuumCutoffs::MultiXactCutoff, MultiXactIdIsValid, MultiXactIdPrecedes(), ObjectIdGetDatum(), VacuumCutoffs::OldestXmin, pg_rusage_init(), pg_rusage_show(), PG_USED_FOR_ASSERTS_ONLY, plan_cluster_use_sort(), RelationGetDescr, RelationGetNamespace, RelationGetNumberOfBlocks, RelationGetRelationName, RelationGetRelid, VacuumCutoffs::relfrozenxid, VacuumCutoffs::relminmxid, RepackLockLevel(), RowExclusiveLock, SearchSysCacheCopy1, table_close(), table_open(), table_relation_copy_for_cluster(), TransactionIdIsValid, TransactionIdPrecedes(), vacuum_get_cutoffs(), and verbose.

Referenced by rebuild_relation().

◆ DecodingWorkerFileName()

void DecodingWorkerFileName ( char fname,
Oid  relid,
uint32  seq 
)

Definition at line 3586 of file repack.c.

3587{
3588 /* The PID is already present in the fileset name, so we needn't add it */
3589 snprintf(fname, MAXPGPATH, "%u-%u", relid, seq);
3590}
#define MAXPGPATH
#define snprintf
Definition port.h:261

References fb(), MAXPGPATH, and snprintf.

Referenced by decode_concurrent_changes(), export_initial_snapshot(), get_initial_snapshot(), and process_concurrent_changes().

◆ determine_clustered_index()

static Oid determine_clustered_index ( Relation  rel,
bool  usingindex,
const char indexname 
)
static

Definition at line 2426 of file repack.c.

2427{
2428 Oid indexOid;
2429
2430 if (indexname == NULL && usingindex)
2431 {
2432 /*
2433 * If USING INDEX with no name is given, find a clustered index, or
2434 * error out if none.
2435 */
2436 indexOid = InvalidOid;
2438 {
2440 {
2441 indexOid = idxoid;
2442 break;
2443 }
2444 }
2445
2446 if (!OidIsValid(indexOid))
2447 ereport(ERROR,
2449 errmsg("there is no previously clustered index for table \"%s\"",
2451 }
2452 else if (indexname != NULL)
2453 {
2454 /* An index was specified; obtain its OID. */
2455 indexOid = get_relname_relid(indexname, rel->rd_rel->relnamespace);
2456 if (!OidIsValid(indexOid))
2457 ereport(ERROR,
2459 errmsg("index \"%s\" for table \"%s\" does not exist",
2460 indexname, RelationGetRelationName(rel)));
2461 }
2462 else
2463 indexOid = InvalidOid;
2464
2465 return indexOid;
2466}
Oid get_relname_relid(const char *relname, Oid relnamespace)
Definition lsyscache.c:2116
List * RelationGetIndexList(Relation relation)
Definition relcache.c:4837

References ereport, errcode(), errmsg, ERROR, fb(), foreach_oid, get_index_isclustered(), get_relname_relid(), InvalidOid, OidIsValid, RelationData::rd_rel, RelationGetIndexList(), and RelationGetRelationName.

Referenced by ExecRepack(), and process_single_relation().

◆ ExecRepack()

void ExecRepack ( ParseState pstate,
RepackStmt stmt,
bool  isTopLevel 
)

Definition at line 244 of file repack.c.

245{
246 ClusterParams params = {0};
247 Relation rel = NULL;
249 LOCKMODE lockmode;
250 List *rtcs;
251
252 /* Parse option list */
253 foreach_node(DefElem, opt, stmt->params)
254 {
255 if (strcmp(opt->defname, "verbose") == 0)
256 params.options |= defGetBoolean(opt) ? CLUOPT_VERBOSE : 0;
257 else if (strcmp(opt->defname, "analyze") == 0 ||
258 strcmp(opt->defname, "analyse") == 0)
259 params.options |= defGetBoolean(opt) ? CLUOPT_ANALYZE : 0;
260 else if (strcmp(opt->defname, "concurrently") == 0 &&
261 defGetBoolean(opt))
262 {
263 if (stmt->command != REPACK_COMMAND_REPACK)
266 errmsg("CONCURRENTLY option not supported for %s",
267 RepackCommandAsString(stmt->command)));
268 params.options |= CLUOPT_CONCURRENT;
269 }
270 else
273 errmsg("unrecognized %s option \"%s\"",
274 RepackCommandAsString(stmt->command),
275 opt->defname),
276 parser_errposition(pstate, opt->location));
277 }
278
279 /* Determine the lock mode to use. */
280 lockmode = RepackLockLevel((params.options & CLUOPT_CONCURRENT) != 0);
281
282 if ((params.options & CLUOPT_CONCURRENT) != 0)
283 {
284 /*
285 * Make sure we're not in a transaction block.
286 *
287 * The reason is that repack_setup_logical_decoding() could wait
288 * indefinitely for our XID to complete. (The deadlock detector would
289 * not recognize it because we'd be waiting for ourselves, i.e. no
290 * real lock conflict.) It would be possible to run in a transaction
291 * block if we had no XID, but this restriction is simpler for users
292 * to understand and we don't lose any functionality.
293 */
294 PreventInTransactionBlock(isTopLevel, "REPACK (CONCURRENTLY)");
295 }
296
297 /*
298 * If a single relation is specified, process it and we're done ... unless
299 * the relation is a partitioned table, in which case we fall through.
300 */
301 if (stmt->relation != NULL)
302 {
303 rel = process_single_relation(stmt, lockmode, isTopLevel, &params);
304 if (rel == NULL)
305 return; /* all done */
306 }
307
308 /*
309 * Don't allow ANALYZE in the multiple-relation case for now. Maybe we
310 * can add support for this later.
311 */
312 if (params.options & CLUOPT_ANALYZE)
315 errmsg("cannot execute %s on multiple tables",
316 "REPACK (ANALYZE)"));
317
318 /*
319 * By here, we know we are in a multi-table situation.
320 *
321 * Concurrent processing is currently considered rather special (e.g. in
322 * terms of resources consumed) so it is not performed in bulk.
323 */
324 if (params.options & CLUOPT_CONCURRENT)
325 {
326 if (rel != NULL)
327 {
328 Assert(rel->rd_rel->relkind == RELKIND_PARTITIONED_TABLE);
331 errmsg("REPACK (CONCURRENTLY) is not supported for partitioned tables"),
332 errhint("Consider running the command on individual partitions."));
333 }
334 else
337 errmsg("REPACK (CONCURRENTLY) requires an explicit table name"));
338 }
339
340 /*
341 * In order to avoid holding locks for too long, we want to process each
342 * table in its own transaction. This forces us to disallow running
343 * inside a user transaction block.
344 */
346
347 /* Also, we need a memory context to hold our list of relations */
349 "Repack",
351
352 /*
353 * Since we open a new transaction for each relation, we have to check
354 * that the relation still is what we think it is.
355 *
356 * In single-transaction CLUSTER, we don't need the overhead.
357 */
358 params.options |= CLUOPT_RECHECK;
359
360 /*
361 * If we don't have a relation yet, determine a relation list. If we do,
362 * then it must be a partitioned table, and we want to process its
363 * partitions.
364 */
365 if (rel == NULL)
366 {
367 Assert(stmt->indexname == NULL);
368 rtcs = get_tables_to_repack(stmt->command, stmt->usingindex,
371 }
372 else
373 {
374 Oid relid;
375 bool rel_is_index;
376
377 Assert(rel->rd_rel->relkind == RELKIND_PARTITIONED_TABLE);
378
379 /*
380 * If USING INDEX was specified, resolve the index name now and pass
381 * it down.
382 */
383 if (stmt->usingindex)
384 {
385 /*
386 * If no index name was specified when repacking a partitioned
387 * table, punt for now. Maybe we can improve this later.
388 */
389 if (!stmt->indexname)
390 {
391 if (stmt->command == REPACK_COMMAND_CLUSTER)
394 errmsg("there is no previously clustered index for table \"%s\"",
396 else
399 /*- translator: first %s is name of a SQL command, eg. REPACK */
400 errmsg("cannot execute %s on partitioned table \"%s\" USING INDEX with no index name",
401 RepackCommandAsString(stmt->command),
403 }
404
405 relid = determine_clustered_index(rel, stmt->usingindex,
406 stmt->indexname);
407 if (!OidIsValid(relid))
408 elog(ERROR, "unable to determine index to cluster on");
410
411 rel_is_index = true;
412 }
413 else
414 {
415 relid = RelationGetRelid(rel);
416 rel_is_index = false;
417 }
418
420 relid, rel_is_index,
422
423 /* close parent relation, releasing lock on it */
425 rel = NULL;
426 }
427
428 /* Commit to get out of starting transaction */
431
432 /* Cluster the tables, each in a separate transaction */
433 Assert(rel == NULL);
435 {
436 /* Start a new transaction for each relation. */
438
439 /*
440 * Open the target table, coping with the case where it has been
441 * dropped.
442 */
443 rel = try_table_open(rtc->tableOid, lockmode);
444 if (rel == NULL)
445 {
447 continue;
448 }
449
450 /* functions in indexes may want a snapshot set */
452
453 /* Process this table */
454 cluster_rel(stmt->command, rel, rtc->indexOid, &params, isTopLevel);
455 /* cluster_rel closes the relation, but keeps lock */
456
459 }
460
461 /* Start a new transaction for the cleanup work. */
463
464 /* Clean up working storage */
466}
bool defGetBoolean(DefElem *def)
Definition define.c:93
#define stmt
#define AccessExclusiveLock
Definition lockdefs.h:43
void MemoryContextDelete(MemoryContext context)
Definition mcxt.c:475
MemoryContext PortalContext
Definition mcxt.c:176
#define AllocSetContextCreate
Definition memutils.h:129
#define ALLOCSET_DEFAULT_SIZES
Definition memutils.h:160
int parser_errposition(ParseState *pstate, int location)
Definition parse_node.c:106
@ REPACK_COMMAND_REPACK
#define foreach_ptr(type, var, lst)
Definition pg_list.h:501
#define foreach_node(type, var, lst)
Definition pg_list.h:528
static List * get_tables_to_repack_partitioned(RepackCommand cmd, Oid relid, bool rel_is_index, MemoryContext permcxt)
Definition repack.c:2244
static Relation process_single_relation(RepackStmt *stmt, LOCKMODE lockmode, bool isTopLevel, ClusterParams *params)
Definition repack.c:2335
void cluster_rel(RepackCommand cmd, Relation OldHeap, Oid indexOid, ClusterParams *params, bool isTopLevel)
Definition repack.c:509
static List * get_tables_to_repack(RepackCommand cmd, bool usingindex, MemoryContext permcxt)
Definition repack.c:2091
static Oid determine_clustered_index(Relation rel, bool usingindex, const char *indexname)
Definition repack.c:2426
#define CLUOPT_ANALYZE
Definition repack.h:28
Snapshot GetTransactionSnapshot(void)
Definition snapmgr.c:272
void PushActiveSnapshot(Snapshot snapshot)
Definition snapmgr.c:682
void PopActiveSnapshot(void)
Definition snapmgr.c:775
Relation try_table_open(Oid relationId, LOCKMODE lockmode)
Definition table.c:60
void PreventInTransactionBlock(bool isTopLevel, const char *stmtType)
Definition xact.c:3698
void StartTransactionCommand(void)
Definition xact.c:3109
void CommitTransactionCommand(void)
Definition xact.c:3207

References AccessExclusiveLock, ALLOCSET_DEFAULT_SIZES, AllocSetContextCreate, Assert, check_index_is_clusterable(), CLUOPT_ANALYZE, CLUOPT_CONCURRENT, CLUOPT_RECHECK, CLUOPT_RECHECK_ISCLUSTERED, CLUOPT_VERBOSE, cluster_rel(), CommitTransactionCommand(), defGetBoolean(), determine_clustered_index(), elog, ereport, errcode(), errhint(), errmsg, ERROR, fb(), foreach_node, foreach_ptr, get_tables_to_repack(), get_tables_to_repack_partitioned(), GetTransactionSnapshot(), MemoryContextDelete(), OidIsValid, ClusterParams::options, parser_errposition(), PopActiveSnapshot(), PortalContext, PreventInTransactionBlock(), process_single_relation(), PushActiveSnapshot(), RelationData::rd_rel, RelationGetRelationName, RelationGetRelid, REPACK_COMMAND_CLUSTER, REPACK_COMMAND_REPACK, RepackCommandAsString(), RepackLockLevel(), StartTransactionCommand(), stmt, table_close(), and try_table_open().

Referenced by standard_ProcessUtility().

◆ find_target_tuple()

static bool find_target_tuple ( Relation  rel,
ChangeContext chgcxt,
TupleTableSlot locator,
TupleTableSlot retrieved 
)
static

Definition at line 2811 of file repack.c.

2813{
2814 Form_pg_index idx = chgcxt->cc_ident_index->rd_index;
2815 IndexScanDesc scan;
2816 bool retval = false;
2817
2818 /*
2819 * Scan key is passed by caller, so it does not have to be constructed
2820 * multiple times. Key entries have all fields initialized, except for
2821 * sk_argument.
2822 *
2823 * Use the incoming tuple to finalize the scan key.
2824 */
2825 for (int i = 0; i < chgcxt->cc_ident_key_nentries; i++)
2826 {
2827 ScanKey entry = &chgcxt->cc_ident_key[i];
2828 AttrNumber attno = idx->indkey.values[i];
2829
2830 entry->sk_argument = locator->tts_values[attno - 1];
2831 Assert(!locator->tts_isnull[attno - 1]);
2832 }
2833
2834 /* XXX no instrumentation for now */
2835 scan = index_beginscan(rel, chgcxt->cc_ident_index, GetActiveSnapshot(),
2836 NULL, chgcxt->cc_ident_key_nentries, 0, 0);
2837 index_rescan(scan, chgcxt->cc_ident_key, chgcxt->cc_ident_key_nentries, NULL, 0);
2839 {
2840 /* Be wary of temporal constraints */
2841 if (scan->xs_recheck && !identity_key_equal(chgcxt, locator, retrieved))
2842 {
2844 continue;
2845 }
2846
2847 retval = true;
2848 break;
2849 }
2850 index_endscan(scan);
2851
2852 return retval;
2853}
Datum idx(PG_FUNCTION_ARGS)
Definition _int_op.c:263
int16 AttrNumber
Definition attnum.h:21
bool index_getnext_slot(IndexScanDesc scan, ScanDirection direction, TupleTableSlot *slot)
Definition indexam.c:698
IndexScanDesc index_beginscan(Relation heapRelation, Relation indexRelation, Snapshot snapshot, IndexScanInstrumentation *instrument, int nkeys, int norderbys, uint32 flags)
Definition indexam.c:257
void index_endscan(IndexScanDesc scan)
Definition indexam.c:394
void index_rescan(IndexScanDesc scan, ScanKey keys, int nkeys, ScanKey orderbys, int norderbys)
Definition indexam.c:368
END_CATALOG_STRUCT typedef FormData_pg_index * Form_pg_index
Definition pg_index.h:74
static bool identity_key_equal(ChangeContext *chgcxt, TupleTableSlot *locator, TupleTableSlot *candidate)
Definition repack.c:2864
@ ForwardScanDirection
Definition sdir.h:28
Snapshot GetActiveSnapshot(void)
Definition snapmgr.c:800
Datum sk_argument
Definition skey.h:72
bool * tts_isnull
Definition tuptable.h:133

References Assert, CHECK_FOR_INTERRUPTS, fb(), Form_pg_index, ForwardScanDirection, GetActiveSnapshot(), i, identity_key_equal(), idx(), index_beginscan(), index_endscan(), index_getnext_slot(), index_rescan(), ScanKeyData::sk_argument, TupleTableSlot::tts_isnull, TupleTableSlot::tts_values, and IndexScanDescData::xs_recheck.

Referenced by apply_concurrent_changes().

◆ finish_heap_swap()

void finish_heap_swap ( Oid  OIDOldHeap,
Oid  OIDNewHeap,
bool  is_system_catalog,
bool  swap_toast_by_content,
bool  check_constraints,
bool  is_internal,
bool  reindex,
TransactionId  frozenXid,
MultiXactId  cutoffMulti,
char  newrelpersistence 
)

Definition at line 1870 of file repack.c.

1879{
1880 ObjectAddress object;
1881 Oid mapped_tables[4];
1882 int i;
1883
1884 /* Report that we are now swapping relation files */
1887
1888 /* Zero out possible results from swapped_relation_files */
1889 memset(mapped_tables, 0, sizeof(mapped_tables));
1890
1891 /*
1892 * Swap the contents of the heap relations (including any toast tables).
1893 * Also set old heap's relfrozenxid to frozenXid.
1894 */
1897 swap_toast_by_content, is_internal,
1899
1900 /*
1901 * If it's a system catalog, queue a sinval message to flush all catcaches
1902 * on the catalog when we reach CommandCounterIncrement.
1903 */
1906
1907 if (reindex)
1908 {
1909 int reindex_flags;
1911
1912 /*
1913 * Rebuild each index on the relation (but not the toast table, which
1914 * is all-new at this point). It is important to do this before the
1915 * DROP step because if we are processing a system catalog that will
1916 * be used during DROP, we want to have its indexes available. There
1917 * is no advantage to the other order anyway because this is all
1918 * transactional, so no chance to reclaim disk space before commit. We
1919 * do not need a final CommandCounterIncrement() because
1920 * reindex_relation does it.
1921 *
1922 * Note: because index_build is called via reindex_relation, it will
1923 * never set indcheckxmin true for the indexes. This is OK even
1924 * though in some sense we are building new indexes rather than
1925 * rebuilding existing ones, because the new heap won't contain any
1926 * HOT chains at all, let alone broken ones, so it can't be necessary
1927 * to set indcheckxmin.
1928 */
1932
1933 /*
1934 * Ensure that the indexes have the same persistence as the parent
1935 * relation.
1936 */
1937 if (newrelpersistence == RELPERSISTENCE_UNLOGGED)
1939 else if (newrelpersistence == RELPERSISTENCE_PERMANENT)
1941
1942 /* Report that we are now reindexing relations */
1945
1947 }
1948
1949 /* Report that we are now doing clean up */
1952
1953 /*
1954 * If the relation being rebuilt is pg_class, swap_relation_files()
1955 * couldn't update pg_class's own pg_class entry (check comments in
1956 * swap_relation_files()), thus relfrozenxid was not updated. That's
1957 * annoying because a potential reason for doing a VACUUM FULL is a
1958 * imminent or actual anti-wraparound shutdown. So, now that we can
1959 * access the new relation using its indices, update relfrozenxid.
1960 * pg_class doesn't have a toast relation, so we don't need to update the
1961 * corresponding toast relation. Not that there's little point moving all
1962 * relfrozenxid updates here since swap_relation_files() needs to write to
1963 * pg_class for non-mapped relations anyway.
1964 */
1966 {
1970
1972
1975 elog(ERROR, "cache lookup failed for relation %u", OIDOldHeap);
1977
1978 relform->relfrozenxid = frozenXid;
1979 relform->relminmxid = cutoffMulti;
1980
1982
1984 }
1985
1986 /* Destroy new heap with old filenumber */
1987 object.classId = RelationRelationId;
1988 object.objectId = OIDNewHeap;
1989 object.objectSubId = 0;
1990
1991 if (!reindex)
1992 {
1993 /*
1994 * Make sure the changes in pg_class are visible. This is especially
1995 * important if !swap_toast_by_content, so that the correct TOAST
1996 * relation is dropped. (reindex_relation() above did not help in this
1997 * case))
1998 */
2000 }
2001
2002 /*
2003 * The new relation is local to our transaction and we know nothing
2004 * depends on it, so DROP_RESTRICT should be OK.
2005 */
2007
2008 /* performDeletion does CommandCounterIncrement at end */
2009
2010 /*
2011 * Now we must remove any relation mapping entries that we set up for the
2012 * transient table, as well as its toast table and toast index if any. If
2013 * we fail to do this before commit, the relmapper will complain about new
2014 * permanent map entries being added post-bootstrap.
2015 */
2016 for (i = 0; OidIsValid(mapped_tables[i]); i++)
2018
2019 /*
2020 * At this point, everything is kosher except that, if we did toast swap
2021 * by links, the toast table's name corresponds to the transient table.
2022 * The name is irrelevant to the backend because it's referenced by OID,
2023 * but users looking at the catalogs could be confused. Rename it to
2024 * prevent this problem.
2025 *
2026 * Note no lock required on the relation, because we already hold an
2027 * exclusive lock on it.
2028 */
2030 {
2032
2034 if (OidIsValid(newrel->rd_rel->reltoastrelid))
2035 {
2036 Oid toastidx;
2038
2039 /* Get the associated valid index to be renamed */
2040 toastidx = toast_get_valid_index(newrel->rd_rel->reltoastrelid,
2042
2043 /* rename the toast table ... */
2044 snprintf(NewToastName, NAMEDATALEN, "pg_toast_%u",
2045 OIDOldHeap);
2046 RenameRelationInternal(newrel->rd_rel->reltoastrelid,
2047 NewToastName, true, false);
2048
2049 /* ... and its valid index too. */
2050 snprintf(NewToastName, NAMEDATALEN, "pg_toast_%u_index",
2051 OIDOldHeap);
2052
2054 NewToastName, true, true);
2055
2056 /*
2057 * Reset the relrewrite for the toast. The command-counter
2058 * increment is required here as we are about to update the tuple
2059 * that is updated as part of RenameRelationInternal.
2060 */
2062 ResetRelRewrite(newrel->rd_rel->reltoastrelid);
2063 }
2065 }
2066
2067 /* if it's not a catalog table, clear any missing attribute settings */
2068 if (!is_system_catalog)
2069 {
2071
2075 }
2076}
void performDeletion(const ObjectAddress *object, DropBehavior behavior, int flags)
Definition dependency.c:279
#define PERFORM_DELETION_INTERNAL
Definition dependency.h:92
void RelationClearMissing(Relation rel)
Definition heap.c:1981
bool reindex_relation(const ReindexStmt *stmt, Oid relid, int flags, const ReindexParams *params)
Definition index.c:3969
#define REINDEX_REL_FORCE_INDEXES_UNLOGGED
Definition index.h:169
#define REINDEX_REL_SUPPRESS_INDEX_USE
Definition index.h:167
#define REINDEX_REL_FORCE_INDEXES_PERMANENT
Definition index.h:170
#define REINDEX_REL_CHECK_CONSTRAINTS
Definition index.h:168
void CacheInvalidateCatalog(Oid catalogId)
Definition inval.c:1612
@ DROP_RESTRICT
#define NAMEDATALEN
#define PROGRESS_REPACK_PHASE_SWAP_REL_FILES
Definition progress.h:104
#define PROGRESS_REPACK_PHASE_FINAL_CLEANUP
Definition progress.h:106
void RelationMapRemoveMapping(Oid relationId)
Definition relmapper.c:439
static void swap_relation_files(Oid r1, Oid r2, bool target_is_pg_class, bool swap_toast_by_content, bool is_internal, TransactionId frozenXid, MultiXactId cutoffMulti, Oid *mapped_tables)
Definition repack.c:1488
void ResetRelRewrite(Oid myrelid)
Definition tablecmds.c:4420
void RenameRelationInternal(Oid myrelid, const char *newrelname, bool is_internal, bool is_index)
Definition tablecmds.c:4327
Oid toast_get_valid_index(Oid toastoid, LOCKMODE lock)

References AccessExclusiveLock, CacheInvalidateCatalog(), CatalogTupleUpdate(), CommandCounterIncrement(), DROP_RESTRICT, elog, ERROR, fb(), GETSTRUCT(), HeapTupleIsValid, i, NAMEDATALEN, NoLock, ObjectIdGetDatum(), OidIsValid, PERFORM_DELETION_INTERNAL, performDeletion(), pgstat_progress_update_param(), PROGRESS_REPACK_PHASE, PROGRESS_REPACK_PHASE_FINAL_CLEANUP, PROGRESS_REPACK_PHASE_REBUILD_INDEX, PROGRESS_REPACK_PHASE_SWAP_REL_FILES, REINDEX_REL_CHECK_CONSTRAINTS, REINDEX_REL_FORCE_INDEXES_PERMANENT, REINDEX_REL_FORCE_INDEXES_UNLOGGED, REINDEX_REL_SUPPRESS_INDEX_USE, reindex_relation(), relation_close(), RelationClearMissing(), RelationMapRemoveMapping(), RenameRelationInternal(), ResetRelRewrite(), RowExclusiveLock, SearchSysCacheCopy1, snprintf, swap_relation_files(), table_close(), table_open(), and toast_get_valid_index().

Referenced by ATRewriteTables(), rebuild_relation(), rebuild_relation_finish_concurrent(), and refresh_by_heap_swap().

◆ get_initial_snapshot()

static Snapshot get_initial_snapshot ( DecodingWorker worker)
static

Definition at line 3529 of file repack.c.

3530{
3531 DecodingWorkerShared *shared;
3532 char fname[MAXPGPATH];
3533 BufFile *file;
3535 char *snap_space;
3536 Snapshot snapshot;
3537
3538 shared = (DecodingWorkerShared *) dsm_segment_address(worker->seg);
3539
3540 /*
3541 * The worker needs to initialize the logical decoding, which usually
3542 * takes some time. Therefore it makes sense to prepare for the sleep
3543 * first.
3544 */
3546 for (;;)
3547 {
3548 int last_exported;
3549
3550 SpinLockAcquire(&shared->mutex);
3551 last_exported = shared->last_exported;
3552 SpinLockRelease(&shared->mutex);
3553
3554 /*
3555 * Has the worker exported the file we are waiting for?
3556 */
3557 if (last_exported == WORKER_FILE_SNAPSHOT)
3558 break;
3559
3561 }
3563
3564 /* Read the snapshot from a file. */
3566 file = BufFileOpenFileSet(&shared->sfs.fs, fname, O_RDONLY, false);
3567 BufFileReadExact(file, &snap_size, sizeof(snap_size));
3568 snap_space = (char *) palloc(snap_size);
3570 BufFileClose(file);
3571
3572 /* Restore it. */
3573 snapshot = RestoreSnapshot(snap_space);
3575
3576 return snapshot;
3577}
BufFile * BufFileOpenFileSet(FileSet *fileset, const char *name, int mode, bool missing_ok)
Definition buffile.c:292
void BufFileReadExact(BufFile *file, void *ptr, size_t size)
Definition buffile.c:655
void BufFileClose(BufFile *file)
Definition buffile.c:413
size_t Size
Definition c.h:689
bool ConditionVariableCancelSleep(void)
void ConditionVariablePrepareToSleep(ConditionVariable *cv)
void ConditionVariableSleep(ConditionVariable *cv, uint32 wait_event_info)
void * dsm_segment_address(dsm_segment *seg)
Definition dsm.c:1103
void pfree(void *pointer)
Definition mcxt.c:1619
void * palloc(Size size)
Definition mcxt.c:1390
void DecodingWorkerFileName(char *fname, Oid relid, uint32 seq)
Definition repack.c:3586
#define WORKER_FILE_SNAPSHOT
Definition repack.c:98
Snapshot RestoreSnapshot(char *start_address)
Definition snapmgr.c:1793
static void SpinLockRelease(volatile slock_t *lock)
Definition spin.h:62
static void SpinLockAcquire(volatile slock_t *lock)
Definition spin.h:56
ConditionVariable cv
dsm_segment * seg
Definition repack.c:137

References BufFileClose(), BufFileOpenFileSet(), BufFileReadExact(), ConditionVariableCancelSleep(), ConditionVariablePrepareToSleep(), ConditionVariableSleep(), DecodingWorkerShared::cv, DecodingWorkerFileName(), dsm_segment_address(), fb(), SharedFileSet::fs, DecodingWorkerShared::last_exported, MAXPGPATH, DecodingWorkerShared::mutex, palloc(), pfree(), DecodingWorkerShared::relid, RestoreSnapshot(), DecodingWorker::seg, DecodingWorkerShared::sfs, SpinLockAcquire(), SpinLockRelease(), and WORKER_FILE_SNAPSHOT.

Referenced by rebuild_relation().

◆ get_tables_to_repack()

static List * get_tables_to_repack ( RepackCommand  cmd,
bool  usingindex,
MemoryContext  permcxt 
)
static

Definition at line 2091 of file repack.c.

2092{
2094 TableScanDesc scan;
2095 HeapTuple tuple;
2096 List *rtcs = NIL;
2097
2098 if (usingindex)
2099 {
2100 ScanKeyData entry;
2101
2102 /*
2103 * For USING INDEX, scan pg_index to find those with indisclustered.
2104 */
2106 ScanKeyInit(&entry,
2109 BoolGetDatum(true));
2110 scan = table_beginscan_catalog(catalog, 1, &entry);
2111 while ((tuple = heap_getnext(scan, ForwardScanDirection)) != NULL)
2112 {
2118
2119 index = (Form_pg_index) GETSTRUCT(tuple);
2120
2121 /*
2122 * Try to obtain a light lock on the index's table, to ensure it
2123 * doesn't go away while we collect the list. If we cannot, just
2124 * disregard it. Be sure to release this if we ultimately decide
2125 * not to process the table!
2126 */
2128 continue;
2129
2130 /* Verify that the table still exists; skip if not */
2133 {
2135 continue;
2136 }
2138
2139 /* Skip temp relations belonging to other sessions */
2140 if (classForm->relpersistence == RELPERSISTENCE_TEMP &&
2141 !isTempOrTempToastNamespace(classForm->relnamespace))
2142 {
2145 continue;
2146 }
2147
2149
2150 /* noisily skip rels which the user can't process */
2151 if (!repack_is_permitted_for_relation(cmd, index->indrelid,
2152 GetUserId()))
2153 {
2155 continue;
2156 }
2157
2158 /* Use a permanent memory context for the result list */
2161 rtc->tableOid = index->indrelid;
2162 rtc->indexOid = index->indexrelid;
2163 rtcs = lappend(rtcs, rtc);
2165 }
2166 }
2167 else
2168 {
2171
2172 while ((tuple = heap_getnext(scan, ForwardScanDirection)) != NULL)
2173 {
2175 Form_pg_class class;
2177
2178 class = (Form_pg_class) GETSTRUCT(tuple);
2179
2180 /*
2181 * Try to obtain a light lock on the table, to ensure it doesn't
2182 * go away while we collect the list. If we cannot, just
2183 * disregard the table. Be sure to release this if we ultimately
2184 * decide not to process the table!
2185 */
2187 continue;
2188
2189 /* Verify that the table still exists */
2191 {
2193 continue;
2194 }
2195
2196 /* Can only process plain tables and matviews */
2197 if (class->relkind != RELKIND_RELATION &&
2198 class->relkind != RELKIND_MATVIEW)
2199 {
2201 continue;
2202 }
2203
2204 /* Skip temp relations belonging to other sessions */
2205 if (class->relpersistence == RELPERSISTENCE_TEMP &&
2206 !isTempOrTempToastNamespace(class->relnamespace))
2207 {
2209 continue;
2210 }
2211
2212 /* noisily skip rels which the user can't process */
2214 GetUserId()))
2215 {
2217 continue;
2218 }
2219
2220 /* Use a permanent memory context for the result list */
2223 rtc->tableOid = class->oid;
2224 rtc->indexOid = InvalidOid;
2225 rtcs = lappend(rtcs, rtc);
2227 }
2228 }
2229
2230 table_endscan(scan);
2232
2233 return rtcs;
2234}
#define palloc_object(type)
Definition fe_memutils.h:89
HeapTuple heap_getnext(TableScanDesc sscan, ScanDirection direction)
Definition heapam.c:1435
List * lappend(List *list, void *datum)
Definition list.c:339
bool ConditionalLockRelationOid(Oid relid, LOCKMODE lockmode)
Definition lmgr.c:151
void UnlockRelationOid(Oid relid, LOCKMODE lockmode)
Definition lmgr.c:229
#define AccessShareLock
Definition lockdefs.h:36
Oid GetUserId(void)
Definition miscinit.c:470
bool isTempOrTempToastNamespace(Oid namespaceId)
Definition namespace.c:3745
static Datum BoolGetDatum(bool X)
Definition postgres.h:112
void ReleaseSysCache(HeapTuple tuple)
Definition syscache.c:265
HeapTuple SearchSysCache1(SysCacheIdentifier cacheId, Datum key1)
Definition syscache.c:221
TableScanDesc table_beginscan_catalog(Relation relation, int nkeys, ScanKeyData *key)
Definition tableam.c:113
static void table_endscan(TableScanDesc scan)
Definition tableam.h:1061

References AccessShareLock, BoolGetDatum(), BTEqualStrategyNumber, ConditionalLockRelationOid(), fb(), Form_pg_index, ForwardScanDirection, GETSTRUCT(), GetUserId(), heap_getnext(), HeapTupleIsValid, InvalidOid, isTempOrTempToastNamespace(), lappend(), MemoryContextSwitchTo(), NIL, ObjectIdGetDatum(), palloc_object, relation_close(), ReleaseSysCache(), repack_is_permitted_for_relation(), ScanKeyInit(), SearchSysCache1(), SearchSysCacheExists1, table_beginscan_catalog(), table_endscan(), table_open(), and UnlockRelationOid().

Referenced by ExecRepack().

◆ get_tables_to_repack_partitioned()

static List * get_tables_to_repack_partitioned ( RepackCommand  cmd,
Oid  relid,
bool  rel_is_index,
MemoryContext  permcxt 
)
static

Definition at line 2244 of file repack.c.

2246{
2247 List *inhoids;
2248 List *rtcs = NIL;
2249
2250 /*
2251 * Do not lock the children until they're processed. Note that we do hold
2252 * a lock on the parent partitioned table.
2253 */
2256 {
2257 Oid table_oid,
2258 index_oid;
2261
2262 if (rel_is_index)
2263 {
2264 /* consider only leaf indexes */
2266 continue;
2267
2270 }
2271 else
2272 {
2273 /* consider only leaf relations */
2275 continue;
2276
2279 }
2280
2281 /*
2282 * It's possible that the user does not have privileges to CLUSTER the
2283 * leaf partition despite having them on the partitioned table. Skip
2284 * if so.
2285 */
2287 continue;
2288
2289 /* Use a permanent memory context for the result list */
2292 rtc->tableOid = table_oid;
2293 rtc->indexOid = index_oid;
2294 rtcs = lappend(rtcs, rtc);
2296 }
2297
2298 return rtcs;
2299}
Oid IndexGetRelation(Oid indexId, bool missing_ok)
Definition index.c:3604
char get_rel_relkind(Oid relid)
Definition lsyscache.c:2234
List * find_all_inheritors(Oid parentrelId, LOCKMODE lockmode, List **numparents)

References fb(), find_all_inheritors(), foreach_oid, get_rel_relkind(), GetUserId(), IndexGetRelation(), InvalidOid, lappend(), MemoryContextSwitchTo(), NIL, NoLock, palloc_object, and repack_is_permitted_for_relation().

Referenced by ExecRepack().

◆ HandleRepackMessageInterrupt()

void HandleRepackMessageInterrupt ( void  )

Definition at line 3600 of file repack.c.

3601{
3602 InterruptPending = true;
3603 RepackMessagePending = true;
3605}
volatile sig_atomic_t InterruptPending
Definition globals.c:32
struct Latch * MyLatch
Definition globals.c:65
void SetLatch(Latch *latch)
Definition latch.c:290
volatile sig_atomic_t RepackMessagePending
Definition repack.c:150

References InterruptPending, MyLatch, RepackMessagePending, and SetLatch().

Referenced by procsignal_sigusr1_handler().

◆ identity_key_equal()

static bool identity_key_equal ( ChangeContext chgcxt,
TupleTableSlot locator,
TupleTableSlot candidate 
)
static

Definition at line 2864 of file repack.c.

2866{
2867 slot_getsomeattrs(locator, chgcxt->cc_last_key_attno);
2868 slot_getsomeattrs(candidate, chgcxt->cc_last_key_attno);
2869
2870 for (int i = 0; i < chgcxt->cc_ident_key_nentries; i++)
2871 {
2872 ScanKey entry = &chgcxt->cc_ident_key[i];
2873 AttrNumber attno = chgcxt->cc_ident_index->rd_index->indkey.values[i];
2874
2875 Assert(attno > 0);
2876
2877 if (locator->tts_isnull[attno - 1] != candidate->tts_isnull[attno - 1])
2878 return false;
2879
2880 if (locator->tts_isnull[attno - 1])
2881 continue;
2882
2884 entry->sk_collation,
2885 candidate->tts_values[attno - 1],
2886 entry->sk_argument)))
2887 return false;
2888 }
2889
2890 return true;
2891}
Datum FunctionCall2Coll(FmgrInfo *flinfo, Oid collation, Datum arg1, Datum arg2)
Definition fmgr.c:1151
static bool DatumGetBool(Datum X)
Definition postgres.h:100
FmgrInfo sk_func
Definition skey.h:71
Oid sk_collation
Definition skey.h:70

References Assert, DatumGetBool(), fb(), FunctionCall2Coll(), i, ScanKeyData::sk_argument, ScanKeyData::sk_collation, ScanKeyData::sk_func, slot_getsomeattrs(), and TupleTableSlot::tts_isnull.

Referenced by find_target_tuple().

◆ initialize_change_context()

static void initialize_change_context ( ChangeContext chgcxt,
Relation  relation,
Oid  ident_index_id 
)
static

Definition at line 2957 of file repack.c.

2959{
2960 chgcxt->cc_rel = relation;
2961
2962 /* Only initialize fields needed by ExecInsertIndexTuples(). */
2963 chgcxt->cc_estate = CreateExecutorState();
2964
2965 chgcxt->cc_rri = (ResultRelInfo *) palloc(sizeof(ResultRelInfo));
2966 InitResultRelInfo(chgcxt->cc_rri, relation, 0, 0, 0);
2967 ExecOpenIndices(chgcxt->cc_rri, false);
2968
2969 /*
2970 * The table's relcache entry already has the relcache entry for the
2971 * identity index; find that.
2972 */
2973 chgcxt->cc_ident_index = NULL;
2974 for (int i = 0; i < chgcxt->cc_rri->ri_NumIndices; i++)
2975 {
2977
2978 ind_rel = chgcxt->cc_rri->ri_IndexRelationDescs[i];
2979 if (ind_rel->rd_id == ident_index_id)
2980 {
2981 chgcxt->cc_ident_index = ind_rel;
2982 break;
2983 }
2984 }
2985 if (chgcxt->cc_ident_index == NULL)
2986 elog(ERROR, "failed to find identity index");
2987
2988 /* Set up for scanning said identity index */
2989 {
2991
2992 indexForm = chgcxt->cc_ident_index->rd_index;
2993 chgcxt->cc_ident_key_nentries = indexForm->indnkeyatts;
2994 chgcxt->cc_ident_key = (ScanKey) palloc_array(ScanKeyData, indexForm->indnkeyatts);
2995 for (int i = 0; i < indexForm->indnkeyatts; i++)
2996 {
2997 ScanKey entry;
2998 Oid opfamily,
2999 opcintype,
3000 opno,
3001 opcode;
3003
3004 entry = &chgcxt->cc_ident_key[i];
3005
3006 opfamily = chgcxt->cc_ident_index->rd_opfamily[i];
3007 opcintype = chgcxt->cc_ident_index->rd_opcintype[i];
3009 chgcxt->cc_ident_index->rd_rel->relam,
3010 opfamily, false);
3012 elog(ERROR, "could not find equality strategy for index operator family %u for type %u",
3013 opfamily, opcintype);
3014 opno = get_opfamily_member(opfamily, opcintype, opcintype,
3015 eq_strategy);
3016 if (!OidIsValid(opno))
3017 elog(ERROR, "missing operator %d(%u,%u) in opfamily %u",
3018 eq_strategy, opcintype, opcintype, opfamily);
3019 opcode = get_opcode(opno);
3020 if (!OidIsValid(opcode))
3021 elog(ERROR, "missing oprcode for operator %u", opno);
3022
3023 /* Initialize everything but argument. */
3024 ScanKeyInit(entry,
3025 i + 1,
3026 eq_strategy, opcode,
3027 (Datum) 0);
3028 entry->sk_collation = chgcxt->cc_ident_index->rd_indcollation[i];
3029 }
3030 }
3031
3032 /* Determine the last column we must deform to read the identity */
3033 chgcxt->cc_last_key_attno = InvalidAttrNumber;
3034 for (int i = 0; i < chgcxt->cc_ident_key_nentries; i++)
3035 {
3036 AttrNumber attno = chgcxt->cc_ident_index->rd_index->indkey.values[i];
3037
3038 Assert(attno > 0);
3039 chgcxt->cc_last_key_attno = Max(chgcxt->cc_last_key_attno, attno);
3040 }
3041
3042 chgcxt->cc_file_seq = WORKER_FILE_SNAPSHOT + 1;
3043}
StrategyNumber IndexAmTranslateCompareType(CompareType cmptype, Oid amoid, Oid opfamily, bool missing_ok)
Definition amapi.c:161
#define InvalidAttrNumber
Definition attnum.h:23
#define Max(x, y)
Definition c.h:1085
@ COMPARE_EQ
Definition cmptype.h:36
void ExecOpenIndices(ResultRelInfo *resultRelInfo, bool speculative)
void InitResultRelInfo(ResultRelInfo *resultRelInfo, Relation resultRelationDesc, Index resultRelationIndex, ResultRelInfo *partition_root_rri, int instrument_options)
Definition execMain.c:1271
EState * CreateExecutorState(void)
Definition execUtils.c:90
#define palloc_array(type, count)
Definition fe_memutils.h:91
RegProcedure get_opcode(Oid opno)
Definition lsyscache.c:1516
Oid get_opfamily_member(Oid opfamily, Oid lefttype, Oid righttype, int16 strategy)
Definition lsyscache.c:170
ScanKeyData * ScanKey
Definition skey.h:75
uint16 StrategyNumber
Definition stratnum.h:22
#define InvalidStrategy
Definition stratnum.h:24

References Assert, COMPARE_EQ, CreateExecutorState(), elog, ERROR, ExecOpenIndices(), fb(), Form_pg_index, get_opcode(), get_opfamily_member(), i, IndexAmTranslateCompareType(), InitResultRelInfo(), InvalidAttrNumber, InvalidStrategy, Max, OidIsValid, palloc(), palloc_array, ScanKeyInit(), ScanKeyData::sk_collation, and WORKER_FILE_SNAPSHOT.

Referenced by rebuild_relation_finish_concurrent().

◆ make_new_heap()

Oid make_new_heap ( Oid  OIDOldHeap,
Oid  NewTableSpace,
Oid  NewAccessMethod,
char  relpersistence,
LOCKMODE  lockmode 
)

Definition at line 1113 of file repack.c.

1115{
1119 Oid toastid;
1121 HeapTuple tuple;
1122 Datum reloptions;
1123 bool isNull;
1125
1126 OldHeap = table_open(OIDOldHeap, lockmode);
1128
1129 /*
1130 * Note that the NewHeap will not receive any of the defaults or
1131 * constraints associated with the OldHeap; we don't need 'em, and there's
1132 * no reason to spend cycles inserting them into the catalogs only to
1133 * delete them.
1134 */
1135
1136 /*
1137 * But we do want to use reloptions of the old heap for new heap.
1138 */
1140 if (!HeapTupleIsValid(tuple))
1141 elog(ERROR, "cache lookup failed for relation %u", OIDOldHeap);
1142 reloptions = SysCacheGetAttr(RELOID, tuple, Anum_pg_class_reloptions,
1143 &isNull);
1144 if (isNull)
1145 reloptions = (Datum) 0;
1146
1147 if (relpersistence == RELPERSISTENCE_TEMP)
1149 else
1151
1152 /*
1153 * Create the new heap, using a temporary name in the same namespace as
1154 * the existing table. NOTE: there is some risk of collision with user
1155 * relnames. Working around this seems more trouble than it's worth; in
1156 * particular, we can't create the new heap in a different namespace from
1157 * the old, or we will have problems with the TEMP status of temp tables.
1158 *
1159 * Note: the new heap is not a shared relation, even if we are rebuilding
1160 * a shared rel. However, we do make the new heap mapped if the source is
1161 * mapped. This simplifies swap_relation_files, and is absolutely
1162 * necessary for rebuilding pg_class, for reasons explained there.
1163 */
1164 snprintf(NewHeapName, sizeof(NewHeapName), "pg_temp_%u", OIDOldHeap);
1165
1169 InvalidOid,
1170 InvalidOid,
1171 InvalidOid,
1172 OldHeap->rd_rel->relowner,
1175 NIL,
1177 relpersistence,
1178 false,
1181 reloptions,
1182 false,
1183 true,
1184 true,
1185 OIDOldHeap,
1186 NULL);
1188
1189 ReleaseSysCache(tuple);
1190
1191 /*
1192 * Advance command counter so that the newly-created relation's catalog
1193 * tuples will be visible to table_open.
1194 */
1196
1197 /*
1198 * If necessary, create a TOAST table for the new relation.
1199 *
1200 * If the relation doesn't have a TOAST table already, we can't need one
1201 * for the new relation. The other way around is possible though: if some
1202 * wide columns have been dropped, NewHeapCreateToastTable can decide that
1203 * no TOAST table is needed for the new table.
1204 *
1205 * Note that NewHeapCreateToastTable ends with CommandCounterIncrement, so
1206 * that the TOAST table will be visible for insertion.
1207 */
1208 toastid = OldHeap->rd_rel->reltoastrelid;
1209 if (OidIsValid(toastid))
1210 {
1211 /* keep the existing toast table's reloptions, if any */
1213 if (!HeapTupleIsValid(tuple))
1214 elog(ERROR, "cache lookup failed for relation %u", toastid);
1215 reloptions = SysCacheGetAttr(RELOID, tuple, Anum_pg_class_reloptions,
1216 &isNull);
1217 if (isNull)
1218 reloptions = (Datum) 0;
1219
1220 NewHeapCreateToastTable(OIDNewHeap, reloptions, lockmode, toastid);
1221
1222 ReleaseSysCache(tuple);
1223 }
1224
1226
1227 return OIDNewHeap;
1228}
Oid heap_create_with_catalog(const char *relname, Oid relnamespace, Oid reltablespace, Oid relid, Oid reltypeid, Oid reloftypeid, Oid ownerid, Oid accessmtd, TupleDesc tupdesc, List *cooked_constraints, char relkind, char relpersistence, bool shared_relation, bool mapped_relation, OnCommitAction oncommit, Datum reloptions, bool use_user_acl, bool allow_system_table_mods, bool is_internal, Oid relrewrite, ObjectAddress *typaddress)
Definition heap.c:1137
Oid LookupCreationNamespace(const char *nspname)
Definition namespace.c:3500
@ ONCOMMIT_NOOP
Definition primnodes.h:59
#define RelationIsMapped(relation)
Definition rel.h:565
Datum SysCacheGetAttr(SysCacheIdentifier cacheId, HeapTuple tup, AttrNumber attributeNumber, bool *isNull)
Definition syscache.c:596
void NewHeapCreateToastTable(Oid relOid, Datum reloptions, LOCKMODE lockmode, Oid OIDOldToast)
Definition toasting.c:65

References Assert, CommandCounterIncrement(), elog, ERROR, fb(), heap_create_with_catalog(), HeapTupleIsValid, InvalidOid, LookupCreationNamespace(), NAMEDATALEN, NewHeapCreateToastTable(), NIL, NoLock, ObjectIdGetDatum(), OidIsValid, ONCOMMIT_NOOP, RelationGetDescr, RelationGetNamespace, RelationIsMapped, ReleaseSysCache(), SearchSysCache1(), snprintf, SysCacheGetAttr(), table_close(), and table_open().

Referenced by ATRewriteTables(), rebuild_relation(), and RefreshMatViewByOid().

◆ mark_index_clustered()

void mark_index_clustered ( Relation  rel,
Oid  indexOid,
bool  is_internal 
)

Definition at line 818 of file repack.c.

819{
824
825 Assert(rel->rd_rel->relkind != RELKIND_PARTITIONED_TABLE);
826
827 /*
828 * If the index is already marked clustered, no need to do anything.
829 */
830 if (OidIsValid(indexOid))
831 {
832 if (get_index_isclustered(indexOid))
833 return;
834 }
835
836 /*
837 * Check each index of the relation and set/clear the bit as needed.
838 */
840
841 foreach(index, RelationGetIndexList(rel))
842 {
844
848 elog(ERROR, "cache lookup failed for index %u", thisIndexOid);
850
851 /*
852 * Unset the bit if set. We know it's wrong because we checked this
853 * earlier.
854 */
855 if (indexForm->indisclustered)
856 {
857 indexForm->indisclustered = false;
859 }
860 else if (thisIndexOid == indexOid)
861 {
862 /* this was checked earlier, but let's be real sure */
863 if (!indexForm->indisvalid)
864 elog(ERROR, "cannot cluster on invalid index %u", indexOid);
865 indexForm->indisclustered = true;
867 }
868
870 InvalidOid, is_internal);
871
873 }
874
876}
#define InvokeObjectPostAlterHookArg(classId, objectId, subId, auxiliaryId, is_internal)
#define lfirst_oid(lc)
Definition pg_list.h:174

References Assert, CatalogTupleUpdate(), elog, ERROR, fb(), Form_pg_index, get_index_isclustered(), GETSTRUCT(), heap_freetuple(), HeapTupleIsValid, InvalidOid, InvokeObjectPostAlterHookArg, lfirst_oid, ObjectIdGetDatum(), OidIsValid, RelationData::rd_rel, RelationGetIndexList(), RowExclusiveLock, SearchSysCacheCopy1, table_close(), and table_open().

Referenced by ATExecClusterOn(), ATExecDropCluster(), and rebuild_relation().

◆ process_concurrent_changes()

static void process_concurrent_changes ( XLogRecPtr  end_of_wal,
ChangeContext chgcxt,
bool  done 
)
static

Definition at line 2901 of file repack.c.

2902{
2903 DecodingWorkerShared *shared;
2904 char fname[MAXPGPATH];
2905 BufFile *file;
2906
2909
2910 /* Ask the worker for the file. */
2912 SpinLockAcquire(&shared->mutex);
2913 shared->lsn_upto = end_of_wal;
2914 shared->done = done;
2915 SpinLockRelease(&shared->mutex);
2916
2917 /*
2918 * The worker needs to finish processing of the current WAL record. Even
2919 * if it's idle, it'll need to close the output file. Thus we're likely to
2920 * wait, so prepare for sleep.
2921 */
2923 for (;;)
2924 {
2925 int last_exported;
2926
2927 SpinLockAcquire(&shared->mutex);
2928 last_exported = shared->last_exported;
2929 SpinLockRelease(&shared->mutex);
2930
2931 /*
2932 * Has the worker exported the file we are waiting for?
2933 */
2934 if (last_exported == chgcxt->cc_file_seq)
2935 break;
2936
2938 }
2940
2941 /* Open the file. */
2942 DecodingWorkerFileName(fname, shared->relid, chgcxt->cc_file_seq);
2943 file = BufFileOpenFileSet(&shared->sfs.fs, fname, O_RDONLY, false);
2945
2946 BufFileClose(file);
2947
2948 /* Get ready for the next file. */
2949 chgcxt->cc_file_seq++;
2950}
#define PROGRESS_REPACK_PHASE_CATCH_UP
Definition progress.h:103
static void apply_concurrent_changes(BufFile *file, ChangeContext *chgcxt)
Definition repack.c:2487
static DecodingWorker * decoding_worker
Definition repack.c:144

References apply_concurrent_changes(), BufFileClose(), BufFileOpenFileSet(), ConditionVariableCancelSleep(), ConditionVariablePrepareToSleep(), ConditionVariableSleep(), DecodingWorkerShared::cv, decoding_worker, DecodingWorkerFileName(), DecodingWorkerShared::done, dsm_segment_address(), fb(), SharedFileSet::fs, DecodingWorkerShared::last_exported, DecodingWorkerShared::lsn_upto, MAXPGPATH, DecodingWorkerShared::mutex, pgstat_progress_update_param(), PROGRESS_REPACK_PHASE, PROGRESS_REPACK_PHASE_CATCH_UP, DecodingWorkerShared::relid, DecodingWorker::seg, DecodingWorkerShared::sfs, SpinLockAcquire(), and SpinLockRelease().

Referenced by rebuild_relation_finish_concurrent().

◆ process_single_relation()

static Relation process_single_relation ( RepackStmt stmt,
LOCKMODE  lockmode,
bool  isTopLevel,
ClusterParams params 
)
static

Definition at line 2335 of file repack.c.

2337{
2338 Relation rel;
2339 Oid tableOid;
2340
2341 Assert(stmt->relation != NULL);
2342 Assert(stmt->command == REPACK_COMMAND_CLUSTER ||
2343 stmt->command == REPACK_COMMAND_REPACK);
2344
2345 /*
2346 * Make sure ANALYZE is specified if a column list is present.
2347 */
2348 if ((params->options & CLUOPT_ANALYZE) == 0 && stmt->relation->va_cols != NIL)
2349 ereport(ERROR,
2351 errmsg("ANALYZE option must be specified when a column list is provided"));
2352
2353 /* Find, lock, and check permissions on the table. */
2354 tableOid = RangeVarGetRelidExtended(stmt->relation->relation,
2355 lockmode,
2356 0,
2358 NULL);
2359 rel = table_open(tableOid, NoLock);
2360
2361 /*
2362 * Reject clustering a remote temp table ... their local buffer manager is
2363 * not going to cope.
2364 */
2365 if (RELATION_IS_OTHER_TEMP(rel))
2366 ereport(ERROR,
2368 /*- translator: first %s is name of a SQL command, eg. REPACK */
2369 errmsg("cannot execute %s on temporary tables of other sessions",
2370 RepackCommandAsString(stmt->command)));
2371
2372 /*
2373 * For partitioned tables, let caller handle this. Otherwise, process it
2374 * here and we're done.
2375 */
2376 if (rel->rd_rel->relkind == RELKIND_PARTITIONED_TABLE)
2377 return rel;
2378 else
2379 {
2380 Oid indexOid = InvalidOid;
2381
2382 indexOid = determine_clustered_index(rel, stmt->usingindex,
2383 stmt->indexname);
2384 if (OidIsValid(indexOid))
2385 check_index_is_clusterable(rel, indexOid, lockmode);
2386
2387 cluster_rel(stmt->command, rel, indexOid, params, isTopLevel);
2388
2389 /*
2390 * Do an analyze, if requested. We close the transaction and start a
2391 * new one, so that we don't hold the stronger lock for longer than
2392 * needed.
2393 */
2394 if (params->options & CLUOPT_ANALYZE)
2395 {
2397
2400
2403
2404 vac_params.options |= VACOPT_ANALYZE;
2405 if (params->options & CLUOPT_VERBOSE)
2406 vac_params.options |= VACOPT_VERBOSE;
2407 analyze_rel(tableOid, NULL, &vac_params,
2408 stmt->relation->va_cols, true, NULL);
2411 }
2412
2413 return NULL;
2414 }
2415}
void analyze_rel(Oid relid, RangeVar *relation, const VacuumParams *params, List *va_cols, bool in_outer_xact, BufferAccessStrategy bstrategy)
Definition analyze.c:110
Oid RangeVarGetRelidExtended(const RangeVar *relation, LOCKMODE lockmode, uint32 flags, RangeVarGetRelidCallback callback, void *callback_arg)
Definition namespace.c:442
void RangeVarCallbackMaintainsTable(const RangeVar *relation, Oid relId, Oid oldRelId, void *arg)
#define VACOPT_VERBOSE
Definition vacuum.h:181
#define VACOPT_ANALYZE
Definition vacuum.h:180

References analyze_rel(), Assert, check_index_is_clusterable(), CLUOPT_ANALYZE, CLUOPT_VERBOSE, cluster_rel(), CommandCounterIncrement(), CommitTransactionCommand(), determine_clustered_index(), ereport, errcode(), errmsg, ERROR, fb(), GetTransactionSnapshot(), InvalidOid, NIL, NoLock, OidIsValid, ClusterParams::options, PopActiveSnapshot(), PushActiveSnapshot(), RangeVarCallbackMaintainsTable(), RangeVarGetRelidExtended(), RelationData::rd_rel, RELATION_IS_OTHER_TEMP, REPACK_COMMAND_CLUSTER, REPACK_COMMAND_REPACK, RepackCommandAsString(), StartTransactionCommand(), stmt, table_open(), VACOPT_ANALYZE, and VACOPT_VERBOSE.

Referenced by ExecRepack().

◆ ProcessRepackMessage()

static void ProcessRepackMessage ( StringInfo  msg)
static

Definition at line 3696 of file repack.c.

3697{
3698 char msgtype;
3699
3700 msgtype = pq_getmsgbyte(msg);
3701
3702 switch (msgtype)
3703 {
3706 {
3708
3709 /* Parse ErrorResponse or NoticeResponse. */
3711
3712 /* Death of a worker isn't enough justification for suicide. */
3713 edata.elevel = Min(edata.elevel, ERROR);
3714
3715 /*
3716 * Add a context line to show that this is a message
3717 * propagated from the worker. Otherwise, it can sometimes be
3718 * confusing to understand what actually happened.
3719 */
3720 if (edata.context)
3721 edata.context = psprintf("%s\n%s", edata.context,
3722 _("REPACK decoding worker"));
3723 else
3724 edata.context = pstrdup(_("REPACK decoding worker"));
3725
3726 /* Rethrow error or print notice. */
3728
3729 break;
3730 }
3731
3732 default:
3733 {
3734 elog(ERROR, "unrecognized message type received from decoding worker: %c (message length %d bytes)",
3735 msgtype, msg->len);
3736 }
3737 }
3738}
#define Min(x, y)
Definition c.h:1091
void ThrowErrorData(ErrorData *edata)
Definition elog.c:2091
#define _(x)
Definition elog.c:96
char * pstrdup(const char *in)
Definition mcxt.c:1910
int pq_getmsgbyte(StringInfo msg)
Definition pqformat.c:398
void pq_parse_errornotice(StringInfo msg, ErrorData *edata)
Definition pqmq.c:229
#define PqMsg_ErrorResponse
Definition protocol.h:44
#define PqMsg_NoticeResponse
Definition protocol.h:49
char * psprintf(const char *fmt,...)
Definition psprintf.c:43

References _, elog, ERROR, fb(), StringInfoData::len, Min, pq_getmsgbyte(), pq_parse_errornotice(), PqMsg_ErrorResponse, PqMsg_NoticeResponse, psprintf(), pstrdup(), and ThrowErrorData().

Referenced by ProcessRepackMessages().

◆ ProcessRepackMessages()

void ProcessRepackMessages ( void  )

Definition at line 3611 of file repack.c.

3612{
3613 MemoryContext oldcontext;
3615
3616 /*
3617 * Nothing to do if we haven't launched the worker yet or have already
3618 * terminated it.
3619 */
3620 if (decoding_worker == NULL)
3621 return;
3622
3623 /*
3624 * This is invoked from ProcessInterrupts(), and since some of the
3625 * functions it calls contain CHECK_FOR_INTERRUPTS(), there is a potential
3626 * for recursive calls if more signals are received while this runs. It's
3627 * unclear that recursive entry would be safe, and it doesn't seem useful
3628 * even if it is safe, so let's block interrupts until done.
3629 */
3631
3632 /*
3633 * Moreover, CurrentMemoryContext might be pointing almost anywhere. We
3634 * don't want to risk leaking data into long-lived contexts, so let's do
3635 * our work here in a private context that we can reset on each use.
3636 */
3637 if (hpm_context == NULL) /* first time through? */
3639 "ProcessRepackMessages",
3641 else
3643
3644 oldcontext = MemoryContextSwitchTo(hpm_context);
3645
3646 /* OK to process messages. Reset the flag saying there are more to do. */
3647 RepackMessagePending = false;
3648
3649 /*
3650 * Read as many messages as we can from the worker, but stop when no more
3651 * messages can be read from the worker without blocking.
3652 */
3653 while (true)
3654 {
3655 shm_mq_result res;
3656 Size nbytes;
3657 void *data;
3658
3660 &data, true);
3661 if (res == SHM_MQ_WOULD_BLOCK)
3662 break;
3663 else if (res == SHM_MQ_SUCCESS)
3664 {
3665 StringInfoData msg;
3666
3667 initStringInfo(&msg);
3668 appendBinaryStringInfo(&msg, data, nbytes);
3670 pfree(msg.data);
3671 }
3672 else
3673 {
3674 /*
3675 * The decoding worker is special in that it exits as soon as it
3676 * has its work done. Thus the DETACHED result code is fine.
3677 */
3678 Assert(res == SHM_MQ_DETACHED);
3679
3680 break;
3681 }
3682 }
3683
3684 MemoryContextSwitchTo(oldcontext);
3685
3686 /* Might as well clear the context on our way out */
3688
3690}
void MemoryContextReset(MemoryContext context)
Definition mcxt.c:406
MemoryContext TopMemoryContext
Definition mcxt.c:167
#define RESUME_INTERRUPTS()
Definition miscadmin.h:138
#define HOLD_INTERRUPTS()
Definition miscadmin.h:136
const void * data
static void ProcessRepackMessage(StringInfo msg)
Definition repack.c:3696
shm_mq_result shm_mq_receive(shm_mq_handle *mqh, Size *nbytesp, void **datap, bool nowait)
Definition shm_mq.c:574
shm_mq_result
Definition shm_mq.h:39
@ SHM_MQ_SUCCESS
Definition shm_mq.h:40
@ SHM_MQ_WOULD_BLOCK
Definition shm_mq.h:41
@ SHM_MQ_DETACHED
Definition shm_mq.h:42
void appendBinaryStringInfo(StringInfo str, const void *data, int datalen)
Definition stringinfo.c:281
void initStringInfo(StringInfo str)
Definition stringinfo.c:97
shm_mq_handle * error_mqh
Definition repack.c:140

References ALLOCSET_DEFAULT_SIZES, AllocSetContextCreate, appendBinaryStringInfo(), Assert, StringInfoData::data, data, decoding_worker, DecodingWorker::error_mqh, fb(), HOLD_INTERRUPTS, initStringInfo(), MemoryContextReset(), MemoryContextSwitchTo(), pfree(), ProcessRepackMessage(), RepackMessagePending, RESUME_INTERRUPTS, SHM_MQ_DETACHED, shm_mq_receive(), SHM_MQ_SUCCESS, SHM_MQ_WOULD_BLOCK, and TopMemoryContext.

Referenced by ProcessInterrupts().

◆ rebuild_relation()

static void rebuild_relation ( Relation  OldHeap,
Relation  index,
bool  verbose,
Oid  ident_idx 
)
static

Definition at line 966 of file repack.c.

968{
969 Oid tableOid = RelationGetRelid(OldHeap);
970 Oid accessMethod = OldHeap->rd_rel->relam;
971 Oid tableSpace = OldHeap->rd_rel->reltablespace;
974 char relpersistence;
978 bool concurrent = OidIsValid(ident_idx);
979 Snapshot snapshot = NULL;
980#if USE_ASSERT_CHECKING
982
983 lmode = RepackLockLevel(concurrent);
984
987#endif
988
989 if (concurrent)
990 {
991 /*
992 * The worker needs to be member of the locking group we're the leader
993 * of. We ought to become the leader before the worker starts. The
994 * worker will join the group as soon as it starts.
995 *
996 * This is to make sure that the deadlock described below is
997 * detectable by deadlock.c: if the worker waits for a transaction to
998 * complete and we are waiting for the worker output, then effectively
999 * we (i.e. this backend) are waiting for that transaction.
1000 */
1002
1003 /*
1004 * Start the worker that decodes data changes applied while we're
1005 * copying the table contents.
1006 *
1007 * Note that the worker has to wait for all transactions with XID
1008 * already assigned to finish. If some of those transactions is
1009 * waiting for a lock conflicting with ShareUpdateExclusiveLock on our
1010 * table (e.g. it runs CREATE INDEX), we can end up in a deadlock.
1011 * Not sure this risk is worth unlocking/locking the table (and its
1012 * clustering index) and checking again if it's still eligible for
1013 * REPACK CONCURRENTLY.
1014 */
1016
1017 /*
1018 * Wait until the worker has the initial snapshot and retrieve it.
1019 */
1021
1022 PushActiveSnapshot(snapshot);
1023 }
1024
1025 /* for CLUSTER or REPACK USING INDEX, mark the index as the one to use */
1026 if (index != NULL)
1028
1029 /* Remember info about rel before closing OldHeap */
1030 relpersistence = OldHeap->rd_rel->relpersistence;
1031
1032 /*
1033 * Create the transient table that will receive the re-ordered data.
1034 *
1035 * OldHeap is already locked, so no need to lock it again. make_new_heap
1036 * obtains AccessExclusiveLock on the new heap and its toast table.
1037 */
1038 OIDNewHeap = make_new_heap(tableOid, tableSpace,
1039 accessMethod,
1040 relpersistence,
1041 NoLock);
1044
1045 /* Copy the heap data into the new table in the desired order */
1048
1049 /* The historic snapshot won't be needed anymore. */
1050 if (snapshot)
1051 {
1054 }
1055
1056 if (concurrent)
1057 {
1059
1060 /*
1061 * Close the index, but keep the lock. Both heaps will be closed by
1062 * the following call.
1063 */
1064 if (index)
1066
1069
1072 }
1073 else
1074 {
1076
1077 /* Close relcache entries, but keep lock until transaction commit */
1079 if (index)
1081
1082 /*
1083 * Close the new relation so it can be dropped as soon as the storage
1084 * is swapped. The relation is not visible to others, so no need to
1085 * unlock it explicitly.
1086 */
1088
1089 /*
1090 * Swap the physical files of the target and transient tables, then
1091 * rebuild the target's indexes and throw away the transient table.
1092 */
1094 swap_toast_by_content, false, true,
1095 true, /* reindex */
1097 relpersistence);
1098 }
1099}
bool IsSystemRelation(Relation relation)
Definition catalog.c:74
bool CheckRelationLockedByMe(Relation relation, LOCKMODE lockmode, bool orstronger)
Definition lmgr.c:334
bool CheckRelationOidLockedByMe(Oid relid, LOCKMODE lockmode, bool orstronger)
Definition lmgr.c:351
static void start_repack_decoding_worker(Oid relid)
Definition repack.c:3395
void finish_heap_swap(Oid OIDOldHeap, Oid OIDNewHeap, bool is_system_catalog, bool swap_toast_by_content, bool check_constraints, bool is_internal, bool reindex, TransactionId frozenXid, MultiXactId cutoffMulti, char newrelpersistence)
Definition repack.c:1870
Oid make_new_heap(Oid OIDOldHeap, Oid NewTableSpace, Oid NewAccessMethod, char relpersistence, LOCKMODE lockmode)
Definition repack.c:1113
static void copy_table_data(Relation NewHeap, Relation OldHeap, Relation OldIndex, Snapshot snapshot, bool verbose, bool *pSwapToastByContent, TransactionId *pFreezeXid, MultiXactId *pCutoffMulti)
Definition repack.c:1242
static void rebuild_relation_finish_concurrent(Relation NewHeap, Relation OldHeap, Oid identIdx, TransactionId frozenXid, MultiXactId cutoffMulti)
Definition repack.c:3067
static Snapshot get_initial_snapshot(DecodingWorker *worker)
Definition repack.c:3529
void mark_index_clustered(Relation rel, Oid indexOid, bool is_internal)
Definition repack.c:818
void BecomeLockGroupLeader(void)
Definition proc.c:2042

References AccessExclusiveLock, Assert, BecomeLockGroupLeader(), CheckRelationLockedByMe(), CheckRelationOidLockedByMe(), copy_table_data(), decoding_worker, fb(), finish_heap_swap(), get_initial_snapshot(), index_close(), IsSystemRelation(), make_new_heap(), mark_index_clustered(), NoLock, OidIsValid, pgstat_progress_update_param(), PopActiveSnapshot(), PROGRESS_REPACK_PHASE, PROGRESS_REPACK_PHASE_FINAL_CLEANUP, PushActiveSnapshot(), rebuild_relation_finish_concurrent(), RelationGetRelid, RepackLockLevel(), start_repack_decoding_worker(), table_close(), table_open(), UpdateActiveSnapshotCommandId(), and verbose.

Referenced by cluster_rel().

◆ rebuild_relation_finish_concurrent()

static void rebuild_relation_finish_concurrent ( Relation  NewHeap,
Relation  OldHeap,
Oid  identIdx,
TransactionId  frozenXid,
MultiXactId  cutoffMulti 
)
static

Definition at line 3067 of file repack.c.

3070{
3075 ListCell *lc,
3076 *lc2;
3077 char relpersistence;
3078 bool is_system_catalog;
3080 XLogRecPtr end_of_wal;
3081 List *indexrels;
3083
3086
3087 /*
3088 * Unlike the exclusive case, we build new indexes for the new relation
3089 * rather than swapping the storage and reindexing the old relation. The
3090 * point is that the index build can take some time, so we do it before we
3091 * get AccessExclusiveLock on the old heap and therefore we cannot swap
3092 * the heap storage yet.
3093 *
3094 * index_create() will lock the new indexes using AccessExclusiveLock - no
3095 * need to change that. At the same time, we use ShareUpdateExclusiveLock
3096 * to lock the existing indexes - that should be enough to prevent others
3097 * from changing them while we're repacking the relation. The lock on
3098 * table should prevent others from changing the index column list, but
3099 * might not be enough for commands like ALTER INDEX ... SET ... (Those
3100 * are not necessarily dangerous, but can make user confused if the
3101 * changes they do get lost due to REPACK.)
3102 */
3104
3105 /*
3106 * The identity index in the new relation appears in the same relative
3107 * position as the corresponding index in the old relation. Find it.
3108 */
3111 {
3112 if (identIdx == ind_old)
3113 {
3114 int pos = foreach_current_index(ind_old);
3115
3116 if (list_length(ind_oids_new) <= pos)
3117 elog(ERROR, "list of new indexes too short");
3119 break;
3120 }
3121 }
3123 elog(ERROR, "could not find index matching \"%s\" at the new relation",
3125
3126 /* Gather information to apply concurrent changes. */
3128
3129 /*
3130 * During testing, wait for another backend to perform concurrent data
3131 * changes which we will process below.
3132 */
3133 INJECTION_POINT("repack-concurrently-before-lock", NULL);
3134
3135 /*
3136 * Flush all WAL records inserted so far (possibly except for the last
3137 * incomplete page; see GetInsertRecPtr), to minimize the amount of data
3138 * we need to flush while holding exclusive lock on the source table.
3139 */
3141 end_of_wal = GetFlushRecPtr(NULL);
3142
3143 /*
3144 * Apply concurrent changes first time, to minimize the time we need to
3145 * hold AccessExclusiveLock. (Quite some amount of WAL could have been
3146 * written during the data copying and index creation.)
3147 */
3148 process_concurrent_changes(end_of_wal, &chgcxt, false);
3149
3150 /*
3151 * Acquire AccessExclusiveLock on the table, its TOAST relation (if there
3152 * is one), all its indexes, so that we can swap the files.
3153 */
3155
3156 /*
3157 * Lock all indexes now, not only the clustering one: all indexes need to
3158 * have their files swapped. While doing that, store their relation
3159 * references in a zero-terminated array, to handle predicate locks below.
3160 */
3161 indexrels = NIL;
3163 {
3165
3167
3168 /*
3169 * Some things about the index may have changed before we locked the
3170 * index, such as ALTER INDEX RENAME. We don't need to do anything
3171 * here to absorb those changes in the new index.
3172 */
3174 }
3175
3176 /*
3177 * Lock the OldHeap's TOAST relation exclusively - again, the lock is
3178 * needed to swap the files.
3179 */
3180 if (OidIsValid(OldHeap->rd_rel->reltoastrelid))
3181 LockRelationOid(OldHeap->rd_rel->reltoastrelid, AccessExclusiveLock);
3182
3183 /*
3184 * Tuples and pages of the old heap will be gone, but the heap will stay.
3185 */
3188 {
3191 }
3193
3194 /*
3195 * Flush WAL again, to make sure that all changes committed while we were
3196 * waiting for the exclusive lock are available for decoding.
3197 */
3199 end_of_wal = GetFlushRecPtr(NULL);
3200
3201 /*
3202 * Apply the concurrent changes again. Indicate that the decoding worker
3203 * won't be needed anymore.
3204 */
3205 process_concurrent_changes(end_of_wal, &chgcxt, true);
3206
3207 /* Remember info about rel before closing OldHeap */
3208 relpersistence = OldHeap->rd_rel->relpersistence;
3210
3213
3214 /*
3215 * Even ShareUpdateExclusiveLock should have prevented others from
3216 * creating / dropping indexes (even using the CONCURRENTLY option), so we
3217 * do not need to check whether the lists match.
3218 */
3220 {
3223 Oid mapped_tables[4] = {0};
3224
3227 false, /* swap_toast_by_content */
3228 true,
3232
3233#ifdef USE_ASSERT_CHECKING
3234
3235 /*
3236 * Concurrent processing is not supported for system relations, so
3237 * there should be no mapped tables.
3238 */
3239 for (int i = 0; i < 4; i++)
3241#endif
3242 }
3243
3244 /* The new indexes must be visible for deletion. */
3246
3247 /* Close the old heap but keep lock until transaction commit. */
3249 /* Close the new heap. (We didn't have to open its indexes). */
3251
3252 /* Cleanup what we don't need anymore. (And close the identity index.) */
3254
3255 /*
3256 * Swap the relations and their TOAST relations and TOAST indexes. This
3257 * also drops the new relation and its indexes.
3258 *
3259 * (System catalogs are currently not supported.)
3260 */
3264 false, /* swap_toast_by_content */
3265 false,
3266 true,
3267 false, /* reindex */
3269 relpersistence);
3270}
#define INJECTION_POINT(name, arg)
void list_free(List *list)
Definition list.c:1546
#define InvalidMultiXactId
Definition multixact.h:25
static int list_length(const List *l)
Definition pg_list.h:152
#define forboth(cell1, list1, cell2, list2)
Definition pg_list.h:550
#define foreach_current_index(var_or_cell)
Definition pg_list.h:435
static Oid list_nth_oid(const List *list, int n)
Definition pg_list.h:353
static void release_change_context(ChangeContext *chgcxt)
Definition repack.c:3049
static void initialize_change_context(ChangeContext *chgcxt, Relation relation, Oid ident_index_id)
Definition repack.c:2957
static void process_concurrent_changes(XLogRecPtr end_of_wal, ChangeContext *chgcxt, bool done)
Definition repack.c:2901
static List * build_new_indexes(Relation NewHeap, Relation OldHeap, List *OldIndexes)
Definition repack.c:3283
#define InvalidTransactionId
Definition transam.h:31
XLogRecPtr GetFlushRecPtr(TimeLineID *insertTLI)
Definition xlog.c:6997
XLogRecPtr GetXLogInsertEndRecPtr(void)
Definition xlog.c:10108
void XLogFlush(XLogRecPtr record)
Definition xlog.c:2801
uint64 XLogRecPtr
Definition xlogdefs.h:21

References AccessExclusiveLock, Assert, build_new_indexes(), CheckRelationLockedByMe(), CommandCounterIncrement(), elog, ERROR, fb(), finish_heap_swap(), forboth, foreach_current_index, foreach_oid, foreach_ptr, get_rel_name(), GetFlushRecPtr(), GetXLogInsertEndRecPtr(), i, index_close(), index_open(), initialize_change_context(), INJECTION_POINT, InvalidMultiXactId, InvalidOid, InvalidTransactionId, IsSystemRelation(), lappend(), lfirst_oid, list_free(), list_length(), list_nth_oid(), LockRelationOid(), NIL, NoLock, OidIsValid, pgstat_progress_update_param(), process_concurrent_changes(), PROGRESS_REPACK_PHASE, PROGRESS_REPACK_PHASE_SWAP_REL_FILES, RelationGetIndexList(), RelationGetRelid, release_change_context(), ShareUpdateExclusiveLock, swap_relation_files(), table_close(), TransferPredicateLocksToHeapRelation(), and XLogFlush().

Referenced by rebuild_relation().

◆ release_change_context()

static void release_change_context ( ChangeContext chgcxt)
static

Definition at line 3049 of file repack.c.

3050{
3051 ExecCloseIndices(chgcxt->cc_rri);
3052 FreeExecutorState(chgcxt->cc_estate);
3053 /* XXX are these pfrees necessary? */
3054 pfree(chgcxt->cc_rri);
3055 pfree(chgcxt->cc_ident_key);
3056}
void ExecCloseIndices(ResultRelInfo *resultRelInfo)
void FreeExecutorState(EState *estate)
Definition execUtils.c:197

References ExecCloseIndices(), fb(), FreeExecutorState(), and pfree().

Referenced by rebuild_relation_finish_concurrent().

◆ repack_is_permitted_for_relation()

static bool repack_is_permitted_for_relation ( RepackCommand  cmd,
Oid  relid,
Oid  userid 
)
static

Definition at line 2307 of file repack.c.

2308{
2310
2311 if (pg_class_aclcheck(relid, userid, ACL_MAINTAIN) == ACLCHECK_OK)
2312 return true;
2313
2315 errmsg("permission denied to execute %s on \"%s\", skipping it",
2317 get_rel_name(relid)));
2318
2319 return false;
2320}
@ ACLCHECK_OK
Definition acl.h:184
AclResult pg_class_aclcheck(Oid table_oid, Oid roleid, AclMode mode)
Definition aclchk.c:4083
#define WARNING
Definition elog.h:37
#define ACL_MAINTAIN
Definition parsenodes.h:90

References ACL_MAINTAIN, ACLCHECK_OK, Assert, ereport, errmsg, get_rel_name(), pg_class_aclcheck(), REPACK_COMMAND_CLUSTER, REPACK_COMMAND_REPACK, RepackCommandAsString(), and WARNING.

Referenced by cluster_rel_recheck(), get_tables_to_repack(), and get_tables_to_repack_partitioned().

◆ RepackCommandAsString()

static const char * RepackCommandAsString ( RepackCommand  cmd)
static

Definition at line 2469 of file repack.c.

2470{
2471 switch (cmd)
2472 {
2474 return "REPACK";
2476 return "VACUUM";
2478 return "CLUSTER";
2479 }
2480 return "???"; /* keep compiler quiet */
2481}
@ REPACK_COMMAND_VACUUMFULL

References REPACK_COMMAND_CLUSTER, REPACK_COMMAND_REPACK, and REPACK_COMMAND_VACUUMFULL.

Referenced by cluster_rel(), ExecRepack(), process_single_relation(), and repack_is_permitted_for_relation().

◆ RepackLockLevel()

static LOCKMODE RepackLockLevel ( bool  concurrent)
static

Definition at line 476 of file repack.c.

477{
478 if (concurrent)
480 else
481 return AccessExclusiveLock;
482}

References AccessExclusiveLock, and ShareUpdateExclusiveLock.

Referenced by cluster_rel(), copy_table_data(), ExecRepack(), and rebuild_relation().

◆ restore_tuple()

static void restore_tuple ( BufFile file,
Relation  relation,
TupleTableSlot slot 
)
static

Definition at line 2706 of file repack.c.

2707{
2708 uint32 t_len;
2709 HeapTuple tup;
2710 int natt_ext;
2711
2712 /* Read the tuple. */
2713 BufFileReadExact(file, &t_len, sizeof(t_len));
2714 tup = (HeapTuple) palloc(HEAPTUPLESIZE + t_len);
2715 tup->t_data = (HeapTupleHeader) ((char *) tup + HEAPTUPLESIZE);
2716 BufFileReadExact(file, tup->t_data, t_len);
2717 tup->t_len = t_len;
2718 ItemPointerSetInvalid(&tup->t_self);
2719 tup->t_tableOid = RelationGetRelid(relation);
2720
2721 /*
2722 * Put the tuple we read in a slot. This deforms it, so that we can hack
2723 * the external attributes in place.
2724 */
2725 ExecForceStoreHeapTuple(tup, slot, false);
2726
2727 /*
2728 * Next, read any attributes we stored separately into the tts_values
2729 * array elements expecting them, if any. This matches
2730 * repack_store_change.
2731 */
2732 BufFileReadExact(file, &natt_ext, sizeof(natt_ext));
2733 if (natt_ext > 0)
2734 {
2735 TupleDesc desc = slot->tts_tupleDescriptor;
2736
2737 for (int i = 0; i < desc->natts; i++)
2738 {
2740 varlena *varlen;
2742 void *value;
2743 Size varlensz;
2744
2745 if (attr->attisdropped || attr->attlen != -1)
2746 continue;
2747 if (slot_attisnull(slot, i + 1))
2748 continue;
2751 continue;
2752 slot_getsomeattrs(slot, i + 1);
2753
2756
2759 BufFileReadExact(file, (char *) value + VARHDRSZ, varlensz - VARHDRSZ);
2760
2762 natt_ext--;
2763 if (natt_ext < 0)
2764 ereport(ERROR,
2766 errmsg("insufficient number of attributes stored separately"));
2767 }
2768 }
2769}
#define VARHDRSZ
Definition c.h:781
uint64_t uint64
Definition c.h:625
memcpy(sums, checksumBaseOffsets, sizeof(checksumBaseOffsets))
void ExecForceStoreHeapTuple(HeapTuple tuple, TupleTableSlot *slot, bool shouldFree)
#define HEAPTUPLESIZE
Definition htup.h:73
HeapTupleData * HeapTuple
Definition htup.h:71
HeapTupleHeaderData * HeapTupleHeader
Definition htup.h:23
static struct @177 value
static void ItemPointerSetInvalid(ItemPointerData *pointer)
Definition itemptr.h:184
#define ERRCODE_DATA_CORRUPTED
#define PointerGetDatum(X)
Definition postgres.h:354
TupleDesc tts_tupleDescriptor
Definition tuptable.h:129
static Size VARSIZE_ANY(const void *PTR)
Definition varatt.h:460
static bool VARATT_IS_EXTERNAL_INDIRECT(const void *PTR)
Definition varatt.h:368

References CompactAttribute::attisdropped, CompactAttribute::attlen, BufFileReadExact(), DatumGetPointer(), ereport, errcode(), ERRCODE_DATA_CORRUPTED, errmsg, ERROR, ExecForceStoreHeapTuple(), fb(), HEAPTUPLESIZE, i, ItemPointerSetInvalid(), memcpy(), TupleDescData::natts, palloc(), PointerGetDatum, RelationGetRelid, slot_attisnull(), slot_getsomeattrs(), TupleTableSlot::tts_tupleDescriptor, TupleTableSlot::tts_values, TupleDescCompactAttr(), value, VARATT_IS_EXTERNAL_INDIRECT(), VARHDRSZ, and VARSIZE_ANY().

Referenced by apply_concurrent_changes().

◆ start_repack_decoding_worker()

static void start_repack_decoding_worker ( Oid  relid)
static

Definition at line 3395 of file repack.c.

3396{
3397 Size size;
3398 dsm_segment *seg;
3399 DecodingWorkerShared *shared;
3400 shm_mq *mq;
3403
3404 /* Setup shared memory. */
3405 size = BUFFERALIGN(offsetof(DecodingWorkerShared, error_queue)) +
3407 seg = dsm_create(size, 0);
3408 shared = (DecodingWorkerShared *) dsm_segment_address(seg);
3409 shared->initialized = false;
3410 shared->lsn_upto = InvalidXLogRecPtr;
3411 shared->done = false;
3412 SharedFileSetInit(&shared->sfs, seg);
3413 shared->last_exported = -1;
3414 SpinLockInit(&shared->mutex);
3415 shared->dbid = MyDatabaseId;
3416
3417 /*
3418 * This is the UserId set in cluster_rel(). Security context shouldn't be
3419 * needed for decoding worker.
3420 */
3421 shared->roleid = GetUserId();
3422 shared->relid = relid;
3423 ConditionVariableInit(&shared->cv);
3424 shared->backend_proc = MyProc;
3425 shared->backend_pid = MyProcPid;
3427
3428 mq = shm_mq_create((char *) BUFFERALIGN(shared->error_queue),
3431 mqh = shm_mq_attach(mq, seg, NULL);
3432
3433 memset(&bgw, 0, sizeof(bgw));
3434 snprintf(bgw.bgw_name, BGW_MAXLEN,
3435 "REPACK decoding worker for relation \"%s\"",
3436 get_rel_name(relid));
3437 snprintf(bgw.bgw_type, BGW_MAXLEN, "REPACK decoding worker");
3438 bgw.bgw_flags = BGWORKER_SHMEM_ACCESS |
3440 bgw.bgw_start_time = BgWorkerStart_RecoveryFinished;
3441 bgw.bgw_restart_time = BGW_NEVER_RESTART;
3442 snprintf(bgw.bgw_library_name, MAXPGPATH, "postgres");
3443 snprintf(bgw.bgw_function_name, BGW_MAXLEN, "RepackWorkerMain");
3444 bgw.bgw_main_arg = UInt32GetDatum(dsm_segment_handle(seg));
3445 bgw.bgw_notify_pid = MyProcPid;
3446
3449 ereport(ERROR,
3451 errmsg("out of background worker slots"),
3452 errhint("You might need to increase \"%s\".", "max_worker_processes"));
3453
3454 decoding_worker->seg = seg;
3456
3457 /*
3458 * The decoding setup must be done before the caller can have XID assigned
3459 * for any reason, otherwise the worker might end up in a deadlock,
3460 * waiting for the caller's transaction to end. Therefore wait here until
3461 * the worker indicates that it has the logical decoding initialized.
3462 */
3464 for (;;)
3465 {
3466 bool initialized;
3467
3468 SpinLockAcquire(&shared->mutex);
3469 initialized = shared->initialized;
3470 SpinLockRelease(&shared->mutex);
3471
3472 if (initialized)
3473 break;
3474
3476 }
3478}
bool RegisterDynamicBackgroundWorker(BackgroundWorker *worker, BackgroundWorkerHandle **handle)
Definition bgworker.c:1068
#define BGW_NEVER_RESTART
Definition bgworker.h:92
@ BgWorkerStart_RecoveryFinished
Definition bgworker.h:88
#define BGWORKER_BACKEND_DATABASE_CONNECTION
Definition bgworker.h:60
#define BGWORKER_SHMEM_ACCESS
Definition bgworker.h:53
#define BGW_MAXLEN
Definition bgworker.h:93
#define BUFFERALIGN(LEN)
Definition c.h:898
void ConditionVariableInit(ConditionVariable *cv)
dsm_handle dsm_segment_handle(dsm_segment *seg)
Definition dsm.c:1131
dsm_segment * dsm_create(Size size, int flags)
Definition dsm.c:524
#define palloc0_object(type)
Definition fe_memutils.h:90
int MyProcPid
Definition globals.c:49
ProcNumber MyProcNumber
Definition globals.c:92
Oid MyDatabaseId
Definition globals.c:96
static Datum UInt32GetDatum(uint32 X)
Definition postgres.h:232
#define REPACK_ERROR_QUEUE_SIZE
void SharedFileSetInit(SharedFileSet *fileset, dsm_segment *seg)
shm_mq * shm_mq_create(void *address, Size size)
Definition shm_mq.c:179
void shm_mq_set_receiver(shm_mq *mq, PGPROC *proc)
Definition shm_mq.c:208
shm_mq_handle * shm_mq_attach(shm_mq *mq, dsm_segment *seg, BackgroundWorkerHandle *handle)
Definition shm_mq.c:292
static void SpinLockInit(volatile slock_t *lock)
Definition spin.h:50
PGPROC * MyProc
Definition proc.c:71
char error_queue[FLEXIBLE_ARRAY_MEMBER]
BackgroundWorkerHandle * handle
Definition repack.c:134
static bool initialized
Definition win32ntdll.c:36
#define InvalidXLogRecPtr
Definition xlogdefs.h:28

References DecodingWorkerShared::backend_pid, DecodingWorkerShared::backend_proc, DecodingWorkerShared::backend_proc_number, BGW_MAXLEN, BGW_NEVER_RESTART, BGWORKER_BACKEND_DATABASE_CONNECTION, BGWORKER_SHMEM_ACCESS, BgWorkerStart_RecoveryFinished, BUFFERALIGN, ConditionVariableCancelSleep(), ConditionVariableInit(), ConditionVariablePrepareToSleep(), ConditionVariableSleep(), DecodingWorkerShared::cv, DecodingWorkerShared::dbid, decoding_worker, DecodingWorkerShared::done, dsm_create(), dsm_segment_address(), dsm_segment_handle(), ereport, errcode(), errhint(), errmsg, ERROR, DecodingWorker::error_mqh, DecodingWorkerShared::error_queue, fb(), get_rel_name(), GetUserId(), DecodingWorker::handle, DecodingWorkerShared::initialized, initialized, InvalidXLogRecPtr, DecodingWorkerShared::last_exported, DecodingWorkerShared::lsn_upto, MAXPGPATH, DecodingWorkerShared::mutex, MyDatabaseId, MyProc, MyProcNumber, MyProcPid, palloc0_object, RegisterDynamicBackgroundWorker(), DecodingWorkerShared::relid, REPACK_ERROR_QUEUE_SIZE, DecodingWorkerShared::roleid, DecodingWorker::seg, DecodingWorkerShared::sfs, SharedFileSetInit(), shm_mq_attach(), shm_mq_create(), shm_mq_set_receiver(), snprintf, SpinLockAcquire(), SpinLockInit(), SpinLockRelease(), and UInt32GetDatum().

Referenced by rebuild_relation().

◆ stop_repack_decoding_worker()

static void stop_repack_decoding_worker ( void  )
static

Definition at line 3487 of file repack.c.

3488{
3489 BgwHandleStatus status;
3490
3491 /* Haven't reached the worker startup? */
3492 if (decoding_worker == NULL)
3493 return;
3494
3495 /* Could not register the worker? */
3496 if (decoding_worker->handle == NULL)
3497 return;
3498
3500 /* The worker should really exit before the REPACK command does. */
3504
3505 if (status == BGWH_POSTMASTER_DIED)
3506 ereport(FATAL,
3508 errmsg("postmaster exited during REPACK command"));
3509
3511
3512 /*
3513 * If we could not cancel the current sleep due to ERROR, do that before
3514 * we detach from the shared memory the condition variable is located in.
3515 * If we did not, the bgworker ERROR handling code would try and fail
3516 * badly.
3517 */
3519
3523}
void TerminateBackgroundWorker(BackgroundWorkerHandle *handle)
Definition bgworker.c:1319
BgwHandleStatus WaitForBackgroundWorkerShutdown(BackgroundWorkerHandle *handle)
Definition bgworker.c:1280
BgwHandleStatus
Definition bgworker.h:111
@ BGWH_POSTMASTER_DIED
Definition bgworker.h:115
void dsm_detach(dsm_segment *seg)
Definition dsm.c:811
#define FATAL
Definition elog.h:42
void shm_mq_detach(shm_mq_handle *mqh)
Definition shm_mq.c:845

References BGWH_POSTMASTER_DIED, ConditionVariableCancelSleep(), decoding_worker, dsm_detach(), ereport, errcode(), errmsg, DecodingWorker::error_mqh, FATAL, fb(), DecodingWorker::handle, HOLD_INTERRUPTS, pfree(), RESUME_INTERRUPTS, DecodingWorker::seg, shm_mq_detach(), TerminateBackgroundWorker(), and WaitForBackgroundWorkerShutdown().

Referenced by cluster_rel().

◆ swap_relation_files()

static void swap_relation_files ( Oid  r1,
Oid  r2,
bool  target_is_pg_class,
bool  swap_toast_by_content,
bool  is_internal,
TransactionId  frozenXid,
MultiXactId  cutoffMulti,
Oid mapped_tables 
)
static

Definition at line 1488 of file repack.c.

1494{
1497 reltup2;
1499 relform2;
1503 char swptmpchr;
1504 Oid relam1,
1505 relam2;
1506
1507 /* We need writable copies of both pg_class tuples. */
1509
1512 elog(ERROR, "cache lookup failed for relation %u", r1);
1514
1517 elog(ERROR, "cache lookup failed for relation %u", r2);
1519
1520 relfilenumber1 = relform1->relfilenode;
1521 relfilenumber2 = relform2->relfilenode;
1522 relam1 = relform1->relam;
1523 relam2 = relform2->relam;
1524
1527 {
1528 /*
1529 * Normal non-mapped relations: swap relfilenumbers, reltablespaces,
1530 * relpersistence
1531 */
1533
1534 swaptemp = relform1->relfilenode;
1535 relform1->relfilenode = relform2->relfilenode;
1536 relform2->relfilenode = swaptemp;
1537
1538 swaptemp = relform1->reltablespace;
1539 relform1->reltablespace = relform2->reltablespace;
1540 relform2->reltablespace = swaptemp;
1541
1542 swaptemp = relform1->relam;
1543 relform1->relam = relform2->relam;
1544 relform2->relam = swaptemp;
1545
1546 swptmpchr = relform1->relpersistence;
1547 relform1->relpersistence = relform2->relpersistence;
1548 relform2->relpersistence = swptmpchr;
1549
1550 /* Also swap toast links, if we're swapping by links */
1552 {
1553 swaptemp = relform1->reltoastrelid;
1554 relform1->reltoastrelid = relform2->reltoastrelid;
1555 relform2->reltoastrelid = swaptemp;
1556 }
1557 }
1558 else
1559 {
1560 /*
1561 * Mapped-relation case. Here we have to swap the relation mappings
1562 * instead of modifying the pg_class columns. Both must be mapped.
1563 */
1566 elog(ERROR, "cannot swap mapped relation \"%s\" with non-mapped relation",
1567 NameStr(relform1->relname));
1568
1569 /*
1570 * We can't change the tablespace nor persistence of a mapped rel, and
1571 * we can't handle toast link swapping for one either, because we must
1572 * not apply any critical changes to its pg_class row. These cases
1573 * should be prevented by upstream permissions tests, so these checks
1574 * are non-user-facing emergency backstop.
1575 */
1576 if (relform1->reltablespace != relform2->reltablespace)
1577 elog(ERROR, "cannot change tablespace of mapped relation \"%s\"",
1578 NameStr(relform1->relname));
1579 if (relform1->relpersistence != relform2->relpersistence)
1580 elog(ERROR, "cannot change persistence of mapped relation \"%s\"",
1581 NameStr(relform1->relname));
1582 if (relform1->relam != relform2->relam)
1583 elog(ERROR, "cannot change access method of mapped relation \"%s\"",
1584 NameStr(relform1->relname));
1585 if (!swap_toast_by_content &&
1586 (relform1->reltoastrelid || relform2->reltoastrelid))
1587 elog(ERROR, "cannot swap toast by links for mapped relation \"%s\"",
1588 NameStr(relform1->relname));
1589
1590 /*
1591 * Fetch the mappings --- shouldn't fail, but be paranoid
1592 */
1595 elog(ERROR, "could not find relation mapping for relation \"%s\", OID %u",
1596 NameStr(relform1->relname), r1);
1599 elog(ERROR, "could not find relation mapping for relation \"%s\", OID %u",
1600 NameStr(relform2->relname), r2);
1601
1602 /*
1603 * Send replacement mappings to relmapper. Note these won't actually
1604 * take effect until CommandCounterIncrement.
1605 */
1606 RelationMapUpdateMap(r1, relfilenumber2, relform1->relisshared, false);
1607 RelationMapUpdateMap(r2, relfilenumber1, relform2->relisshared, false);
1608
1609 /* Pass OIDs of mapped r2 tables back to caller */
1610 *mapped_tables++ = r2;
1611 }
1612
1613 /*
1614 * Recognize that rel1's relfilenumber (swapped from rel2) is new in this
1615 * subtransaction. The rel2 storage (swapped from rel1) may or may not be
1616 * new.
1617 */
1618 {
1619 Relation rel1,
1620 rel2;
1621
1624 rel2->rd_createSubid = rel1->rd_createSubid;
1625 rel2->rd_newRelfilelocatorSubid = rel1->rd_newRelfilelocatorSubid;
1626 rel2->rd_firstRelfilelocatorSubid = rel1->rd_firstRelfilelocatorSubid;
1630 }
1631
1632 /*
1633 * In the case of a shared catalog, these next few steps will only affect
1634 * our own database's pg_class row; but that's okay, because they are all
1635 * noncritical updates. That's also an important fact for the case of a
1636 * mapped catalog, because it's possible that we'll commit the map change
1637 * and then fail to commit the pg_class update.
1638 */
1639
1640 /* set rel1's frozen Xid and minimum MultiXid */
1641 if (relform1->relkind != RELKIND_INDEX)
1642 {
1645 relform1->relfrozenxid = frozenXid;
1646 relform1->relminmxid = cutoffMulti;
1647 }
1648
1649 /* swap size statistics too, since new rel has freshly-updated stats */
1650 {
1655
1656 swap_pages = relform1->relpages;
1657 relform1->relpages = relform2->relpages;
1658 relform2->relpages = swap_pages;
1659
1660 swap_tuples = relform1->reltuples;
1661 relform1->reltuples = relform2->reltuples;
1662 relform2->reltuples = swap_tuples;
1663
1664 swap_allvisible = relform1->relallvisible;
1665 relform1->relallvisible = relform2->relallvisible;
1666 relform2->relallvisible = swap_allvisible;
1667
1668 swap_allfrozen = relform1->relallfrozen;
1669 relform1->relallfrozen = relform2->relallfrozen;
1670 relform2->relallfrozen = swap_allfrozen;
1671 }
1672
1673 /*
1674 * Update the tuples in pg_class --- unless the target relation of the
1675 * swap is pg_class itself. In that case, there is zero point in making
1676 * changes because we'd be updating the old data that we're about to throw
1677 * away. Because the real work being done here for a mapped relation is
1678 * just to change the relation map settings, it's all right to not update
1679 * the pg_class rows in this case. The most important changes will instead
1680 * performed later, in finish_heap_swap() itself.
1681 */
1682 if (!target_is_pg_class)
1683 {
1685
1688 indstate);
1690 indstate);
1692 }
1693 else
1694 {
1695 /* no update ... but we do still need relcache inval */
1698 }
1699
1700 /*
1701 * Now that pg_class has been updated with its relevant information for
1702 * the swap, update the dependency of the relations to point to their new
1703 * table AM, if it has changed.
1704 */
1705 if (relam1 != relam2)
1706 {
1708 r1,
1710 relam1,
1711 relam2) != 1)
1712 elog(ERROR, "could not change access method dependency for relation \"%s.%s\"",
1714 get_rel_name(r1));
1716 r2,
1718 relam2,
1719 relam1) != 1)
1720 elog(ERROR, "could not change access method dependency for relation \"%s.%s\"",
1722 get_rel_name(r2));
1723 }
1724
1725 /*
1726 * Post alter hook for modified relations. The change to r2 is always
1727 * internal, but r1 depends on the invocation context.
1728 */
1730 InvalidOid, is_internal);
1732 InvalidOid, true);
1733
1734 /*
1735 * If we have toast tables associated with the relations being swapped,
1736 * deal with them too.
1737 */
1738 if (relform1->reltoastrelid || relform2->reltoastrelid)
1739 {
1741 {
1742 if (relform1->reltoastrelid && relform2->reltoastrelid)
1743 {
1744 /* Recursively swap the contents of the toast tables */
1745 swap_relation_files(relform1->reltoastrelid,
1746 relform2->reltoastrelid,
1749 is_internal,
1750 frozenXid,
1753 }
1754 else
1755 {
1756 /* caller messed up */
1757 elog(ERROR, "cannot swap toast files by content when there's only one");
1758 }
1759 }
1760 else
1761 {
1762 /*
1763 * We swapped the ownership links, so we need to change dependency
1764 * data to match.
1765 *
1766 * NOTE: it is possible that only one table has a toast table.
1767 *
1768 * NOTE: at present, a TOAST table's only dependency is the one on
1769 * its owning table. If more are ever created, we'd need to use
1770 * something more selective than deleteDependencyRecordsFor() to
1771 * get rid of just the link we want.
1772 */
1775 long count;
1776
1777 /*
1778 * We disallow this case for system catalogs, to avoid the
1779 * possibility that the catalog we're rebuilding is one of the
1780 * ones the dependency changes would change. It's too late to be
1781 * making any data changes to the target catalog.
1782 */
1784 elog(ERROR, "cannot swap toast files by links for system catalogs");
1785
1786 /* Delete old dependencies */
1787 if (relform1->reltoastrelid)
1788 {
1790 relform1->reltoastrelid,
1791 false);
1792 if (count != 1)
1793 elog(ERROR, "expected one dependency record for TOAST table, found %ld",
1794 count);
1795 }
1796 if (relform2->reltoastrelid)
1797 {
1799 relform2->reltoastrelid,
1800 false);
1801 if (count != 1)
1802 elog(ERROR, "expected one dependency record for TOAST table, found %ld",
1803 count);
1804 }
1805
1806 /* Register new dependencies */
1808 baseobject.objectSubId = 0;
1810 toastobject.objectSubId = 0;
1811
1812 if (relform1->reltoastrelid)
1813 {
1814 baseobject.objectId = r1;
1815 toastobject.objectId = relform1->reltoastrelid;
1818 }
1819
1820 if (relform2->reltoastrelid)
1821 {
1822 baseobject.objectId = r2;
1823 toastobject.objectId = relform2->reltoastrelid;
1826 }
1827 }
1828 }
1829
1830 /*
1831 * If we're swapping two toast tables by content, do the same for their
1832 * valid index. The swap can actually be safely done only if the relations
1833 * have indexes.
1834 */
1836 relform1->relkind == RELKIND_TOASTVALUE &&
1837 relform2->relkind == RELKIND_TOASTVALUE)
1838 {
1841
1842 /* Get valid index for each relation */
1847
1852 is_internal,
1856 }
1857
1858 /* Clean up. */
1861
1863}
#define NameStr(name)
Definition c.h:835
int32_t int32
Definition c.h:620
float float4
Definition c.h:713
bool IsSystemClass(Oid relid, Form_pg_class reltuple)
Definition catalog.c:86
@ DEPENDENCY_INTERNAL
Definition dependency.h:35
void CatalogTupleUpdateWithInfo(Relation heapRel, const ItemPointerData *otid, HeapTuple tup, CatalogIndexState indstate)
Definition indexing.c:337
void CatalogCloseIndexes(CatalogIndexState indstate)
Definition indexing.c:61
CatalogIndexState CatalogOpenIndexes(Relation heapRel)
Definition indexing.c:43
long changeDependencyFor(Oid classId, Oid objectId, Oid refClassId, Oid oldRefObjectId, Oid newRefObjectId)
Definition pg_depend.c:459
long deleteDependencyRecordsFor(Oid classId, Oid objectId, bool skipExtensionDeps)
Definition pg_depend.c:303
void RelationAssumeNewRelfilelocator(Relation relation)
Definition relcache.c:3978
RelFileNumber RelationMapOidToFilenumber(Oid relationId, bool shared)
Definition relmapper.c:166
void RelationMapUpdateMap(Oid relationId, RelFileNumber fileNumber, bool shared, bool immediate)
Definition relmapper.c:326
Oid RelFileNumber
Definition relpath.h:25
#define RelFileNumberIsValid(relnumber)
Definition relpath.h:27
Relation relation_open(Oid relationId, LOCKMODE lockmode)
Definition relation.c:48
#define TransactionIdIsNormal(xid)
Definition transam.h:42

References AccessExclusiveLock, Assert, CacheInvalidateRelcacheByTuple(), CatalogCloseIndexes(), CatalogOpenIndexes(), CatalogTupleUpdateWithInfo(), changeDependencyFor(), deleteDependencyRecordsFor(), DEPENDENCY_INTERNAL, elog, ERROR, fb(), get_namespace_name(), get_rel_name(), get_rel_namespace(), GETSTRUCT(), heap_freetuple(), HeapTupleIsValid, InvalidMultiXactId, InvalidOid, InvalidTransactionId, InvokeObjectPostAlterHookArg, IsSystemClass(), NameStr, NoLock, ObjectIdGetDatum(), recordDependencyOn(), relation_close(), relation_open(), RelationAssumeNewRelfilelocator(), RelationMapOidToFilenumber(), RelationMapUpdateMap(), RelFileNumberIsValid, RowExclusiveLock, SearchSysCacheCopy1, swap_relation_files(), table_close(), table_open(), toast_get_valid_index(), TransactionIdIsNormal, and TransactionIdIsValid.

Referenced by finish_heap_swap(), rebuild_relation_finish_concurrent(), and swap_relation_files().

Variable Documentation

◆ decoding_worker

◆ RepackMessagePending

volatile sig_atomic_t RepackMessagePending = false