Fix reindexing of pg_class indexes some more.

Commits 3dbb317d3 et al failed under CLOBBER_CACHE_ALWAYS testing.
Investigation showed that to reindex pg_class_oid_index, we must
suppress accesses to the index (via SetReindexProcessing) before we call
RelationSetNewRelfilenode, or at least before we do CommandCounterIncrement
therein; otherwise, relcache reloads happening within the CCI may try to
fetch pg_class rows using the index's new relfilenode value, which is as
yet an empty file.

Of course, the point of 3dbb317d3 was that that ordering didn't work
either, because then RelationSetNewRelfilenode's own update of the index's
pg_class row cannot access the index, should it need to.

There are various ways we might have got around that, but Andres Freund
came up with a brilliant solution: for a mapped index, we can really just
skip the pg_class update altogether.  The only fields it was actually
changing were relpages etc, but it was just setting them to zeroes which
is useless make-work.  (Correct new values will be installed at the end
of index build.)  All pg_class indexes are mapped and probably always will
be, so this eliminates the problem by removing work rather than adding it,
always a pleasant outcome.  Having taught RelationSetNewRelfilenode to do
it that way, we can revert the code reordering in reindex_index.  (But
I left the moved setup code where it was; there seems no reason why it
has to run without use of the old index.  If you're trying to fix a
busted pg_class index, you'll have had to disable system index use
altogether to get this far.)

Moreover, this means we don't need RelationSetIndexList at all, because
reindex_relation's hacking to make "REINDEX TABLE pg_class" work is
likewise now unnecessary.  We'll leave that code in place in the back
branches, but a follow-on patch will remove it in HEAD.

In passing, do some minor cleanup for commit 5c1560606 (in HEAD only),
notably removing a duplicate newrnode assignment.

Patch by me, using a core idea due to Andres Freund.  Back-patch to all
supported branches, as 3dbb317d3 was.

Discussion: https://postgr.es/m/28926.1556664156@sss.pgh.pa.us

diff --git a/src/backend/catalog/index.c b/src/backend/catalog/index.c
index 5bd5511ce707129c16d3b6fef6d9d105fcd79e81..8cddef328472efbf73f40c86818f9730195a7110 100644 (file)
--- a/src/backend/catalog/index.c
+++ b/src/backend/catalog/index.c
@@ -3157,21 +3157,16 @@ reindex_index(Oid indexId, bool skip_constraint_checks)
                indexInfo->ii_ExclusionStrats = NULL;
        }
 
-       /*
-        * Build a new physical relation for the index. Need to do that before
-        * "officially" starting the reindexing with SetReindexProcessing -
-        * otherwise the necessary pg_class changes cannot be made with
-        * encountering assertions.
-        */
-       RelationSetNewRelfilenode(iRel, InvalidTransactionId,
-                                                         InvalidMultiXactId);
-
        /* ensure SetReindexProcessing state isn't leaked */
        PG_TRY();
        {
                /* Suppress use of the target index while rebuilding it */
                SetReindexProcessing(heapId, indexId);
 
+               /* Create a new physical relation for the index */
+               RelationSetNewRelfilenode(iRel, InvalidTransactionId,
+                                                                 InvalidMultiXactId);
+
                /* Initialize the index and rebuild */
                /* Note: we do not need to re-establish pkey setting */
                index_build(heapRelation, iRel, indexInfo, false, true);
@@ -3297,7 +3292,6 @@ reindex_relation(Oid relid, int flags)
        Relation        rel;
        Oid                     toast_relid;
        List       *indexIds;
-       bool            is_pg_class;
        bool            result;
 
        /*
@@ -3316,37 +3310,8 @@ reindex_relation(Oid relid, int flags)
         */
        indexIds = RelationGetIndexList(rel);
 
-       /*
-        * reindex_index will attempt to update the pg_class rows for the relation
-        * and index.  If we are processing pg_class itself, we want to make sure
-        * that the updates do not try to insert index entries into indexes we
-        * have not processed yet.  (When we are trying to recover from corrupted
-        * indexes, that could easily cause a crash.) We can accomplish this
-        * because CatalogUpdateIndexes will use the relcache's index list to know
-        * which indexes to update. We just force the index list to be only the
-        * stuff we've processed.
-        *
-        * It is okay to not insert entries into the indexes we have not processed
-        * yet because all of this is transaction-safe.  If we fail partway
-        * through, the updated rows are dead and it doesn't matter whether they
-        * have index entries.  Also, a new pg_class index will be created with a
-        * correct entry for its own pg_class row because we do
-        * RelationSetNewRelfilenode() before we do index_build().
-        *
-        * Note that we also clear pg_class's rd_oidindex until the loop is done,
-        * so that that index can't be accessed either.  This means we cannot
-        * safely generate new relation OIDs while in the loop; shouldn't be a
-        * problem.
-        */
-       is_pg_class = (RelationGetRelid(rel) == RelationRelationId);
-
-       /* Ensure rd_indexattr is valid; see comments for RelationSetIndexList */
-       if (is_pg_class)
-               (void) RelationGetIndexAttrBitmap(rel, INDEX_ATTR_BITMAP_ALL);
-
        PG_TRY();
        {
-               List       *doneIndexes;
                ListCell   *indexId;
 
                if (flags & REINDEX_REL_SUPPRESS_INDEX_USE)
@@ -3362,23 +3327,16 @@ reindex_relation(Oid relid, int flags)
                }
 
                /* Reindex all the indexes. */
-               doneIndexes = NIL;
                foreach(indexId, indexIds)
                {
                        Oid                     indexOid = lfirst_oid(indexId);
 
-                       if (is_pg_class)
-                               RelationSetIndexList(rel, doneIndexes, InvalidOid);
-
                        reindex_index(indexOid, !(flags & REINDEX_REL_CHECK_CONSTRAINTS));
 
                        CommandCounterIncrement();
 
                        /* Index should no longer be in the pending list */
                        Assert(!ReindexIsProcessingIndex(indexOid));
-
-                       if (is_pg_class)
-                               doneIndexes = lappend_oid(doneIndexes, indexOid);
                }
        }
        PG_CATCH();
@@ -3390,9 +3348,6 @@ reindex_relation(Oid relid, int flags)
        PG_END_TRY();
        ResetReindexPending();
 
-       if (is_pg_class)
-               RelationSetIndexList(rel, indexIds, ClassOidIndexId);
-
        /*
         * Close rel, but continue to hold the lock.
         */

diff --git a/src/backend/utils/cache/relcache.c b/src/backend/utils/cache/relcache.c
index 35f66f42376c3427d105d9d4a32bce922765bc6f..bdfad491c47abe9a8b4d6c9d63046991c41c4356 100644 (file)
--- a/src/backend/utils/cache/relcache.c
+++ b/src/backend/utils/cache/relcache.c
@@ -3069,38 +3069,66 @@ RelationSetNewRelfilenode(Relation relation, TransactionId freezeXid,
        RelationDropStorage(relation);
 
        /*
-        * Now update the pg_class row.  However, if we're dealing with a mapped
-        * index, pg_class.relfilenode doesn't change; instead we have to send the
-        * update to the relation mapper.
+        * If we're dealing with a mapped index, pg_class.relfilenode doesn't
+        * change; instead we have to send the update to the relation mapper.
+        *
+        * For mapped indexes, we don't actually change the pg_class entry at all;
+        * this is essential when reindexing pg_class itself.  That leaves us with
+        * possibly-inaccurate values of relpages etc, but those will be fixed up
+        * later.
         */
        if (RelationIsMapped(relation))
+       {
+               /* This case is only supported for indexes */
+               Assert(relation->rd_rel->relkind == RELKIND_INDEX);
+
+               /* Since we're not updating pg_class, these had better not change */
+               Assert(classform->relfrozenxid == freezeXid);
+               Assert(classform->relminmxid == minmulti);
+
+               /*
+                * In some code paths it's possible that the tuple update we'd
+                * otherwise do here is the only thing that would assign an XID for
+                * the current transaction.  However, we must have an XID to delete
+                * files, so make sure one is assigned.
+                */
+               (void) GetCurrentTransactionId();
+
+               /* Do the deed */
                RelationMapUpdateMap(RelationGetRelid(relation),
                                                         newrelfilenode,
                                                         relation->rd_rel->relisshared,
                                                         false);
+
+               /* Since we're not updating pg_class, must trigger inval manually */
+               CacheInvalidateRelcache(relation);
+       }
        else
+       {
+               /* Normal case, update the pg_class entry */
                classform->relfilenode = newrelfilenode;
 
-       /* These changes are safe even for a mapped relation */
-       if (relation->rd_rel->relkind != RELKIND_SEQUENCE)
-       {
-               classform->relpages = 0;        /* it's empty until further notice */
-               classform->reltuples = 0;
-               classform->relallvisible = 0;
-       }
-       classform->relfrozenxid = freezeXid;
-       classform->relminmxid = minmulti;
+               /* relpages etc. never change for sequences */
+               if (relation->rd_rel->relkind != RELKIND_SEQUENCE)
+               {
+                       classform->relpages = 0;        /* it's empty until further notice */
+                       classform->reltuples = 0;
+                       classform->relallvisible = 0;
+               }
+               classform->relfrozenxid = freezeXid;
+               classform->relminmxid = minmulti;
 
-       simple_heap_update(pg_class, &tuple->t_self, tuple);
-       CatalogUpdateIndexes(pg_class, tuple);
+               simple_heap_update(pg_class, &tuple->t_self, tuple);
+               CatalogUpdateIndexes(pg_class, tuple);
+       }
 
        heap_freetuple(tuple);
 
        heap_close(pg_class, RowExclusiveLock);
 
        /*
-        * Make the pg_class row change visible, as well as the relation map
-        * change if any.  This will cause the relcache entry to get updated, too.
+        * Make the pg_class row change or relation map change visible.  This will
+        * cause the relcache entry to get updated, too.
         */
        CommandCounterIncrement();