• Heikki Linnakangas's avatar
    Rewrite the GiST insertion logic so that we don't need the post-recovery · 9de3aa65
    Heikki Linnakangas authored
    cleanup stage to finish incomplete inserts or splits anymore. There was two
    reasons for the cleanup step:
    
    1. When a new tuple was inserted to a leaf page, the downlink in the parent
    needed to be updated to contain (ie. to be consistent with) the new key.
    Updating the parent in turn might require recursively updating the parent of
    the parent. We now handle that by updating the parent while traversing down
    the tree, so that when we insert the leaf tuple, all the parents are already
    consistent with the new key, and the tree is consistent at every step.
    
    2. When a page is split, we need to insert the downlink for the new right
    page(s), and update the downlink for the original page to not include keys
    that moved to the right page(s). We now handle that by setting a new flag,
    F_FOLLOW_RIGHT, on the non-rightmost pages in the split. When that flag is
    set, scans always follow the rightlink, regardless of the NSN mechanism used
    to detect concurrent page splits. That way the tree is consistent right after
    split, even though the downlink is still missing. This is very similar to the
    way B-tree splits are handled. When the downlink is inserted in the parent,
    the flag is cleared. To keep the insertion algorithm simple, when an
    insertion sees an incomplete split, indicated by the F_FOLLOW_RIGHT flag, it
    finishes the split before doing anything else.
    
    These changes allow removing the whole "invalid tuple" mechanism, but I
    retained the scan code to still follow invalid tuples correctly. While we
    don't create any such tuples anymore, we want to handle them gracefully in
    case you pg_upgrade a GiST index that has them. If we encounter any on an
    insert, though, we just throw an error saying that you need to REINDEX.
    
    The issue that got me into doing this is that if you did a checkpoint while
    an insert or split was in progress, and the checkpoint finishes quickly so
    that there is no WAL record related to the insert between RedoRecPtr and the
    checkpoint record, recovery from that checkpoint would not know to finish
    the incomplete insert. IOW, we have the same issue we solved with the
    rm_safe_restartpoint mechanism during normal operation too. It's highly
    unlikely to happen in practice, and this fix is far too large to backpatch,
    so we're just going to live with in previous versions, but this refactoring
    fixes it going forward.
    
    With this patch, you don't get the annoying
    'index "FOO" needs VACUUM or REINDEX to finish crash recovery' notices
    anymore if you crash at an unfortunate moment.
    9de3aa65
gist.c 38.7 KB