mirror of
https://git.postgresql.org/git/postgresql.git
synced 2024-08-30 18:27:20 +02:00
Teach contrib/amcheck's bt_index_parent_check() function to take advantage of the uniqueness property of heapkeyspace indexes in support of a new verification option: non-pivot tuples (non-highkey tuples on the leaf level) can optionally be re-found using a new search for each, that starts from the root page. If a tuple cannot be re-found, report that the index is corrupt. The new "rootdescend" verification option is exhaustive, and can therefore make a call to bt_index_parent_check() take a lot longer. Re-finding tuples during verification is mostly intended as an option for backend developers, since the corruption scenarios that it alone is uniquely capable of detecting seem fairly far-fetched. For example, "rootdescend" verification is much more likely to detect corruption of the least significant byte of a key from a pivot tuple in the root page of a B-Tree that already has at least three levels. Typically, only a few tuples on a cousin leaf page are at risk of "getting overlooked" by index scans in this scenario. The corrupt key in the root page is only slightly corrupt: corrupt enough to give wrong answers to some queries, and yet not corrupt enough to allow the problem to be detected without verifying agreement between the leaf page and the root page, skipping at least one internal page level. The existing bt_index_parent_check() checks never cross more than a single level. Author: Peter Geoghegan Reviewed-By: Heikki Linnakangas Discussion: https://postgr.es/m/CAH2-Wz=yTWnVu+HeHGKb2AGiADL9eprn-cKYAto4MkKOuiGtRQ@mail.gmail.com
20 lines
705 B
SQL
20 lines
705 B
SQL
/* contrib/amcheck/amcheck--1.1--1.2.sql */
|
|
|
|
-- complain if script is sourced in psql, rather than via CREATE EXTENSION
|
|
\echo Use "ALTER EXTENSION amcheck UPDATE TO '1.2'" to load this file. \quit
|
|
|
|
-- In order to avoid issues with dependencies when updating amcheck to 1.2,
|
|
-- create new, overloaded version of the 1.1 function signature
|
|
|
|
--
|
|
-- bt_index_parent_check()
|
|
--
|
|
CREATE FUNCTION bt_index_parent_check(index regclass,
|
|
heapallindexed boolean, rootdescend boolean)
|
|
RETURNS VOID
|
|
AS 'MODULE_PATHNAME', 'bt_index_parent_check'
|
|
LANGUAGE C STRICT PARALLEL RESTRICTED;
|
|
|
|
-- Don't want this to be available to public
|
|
REVOKE ALL ON FUNCTION bt_index_parent_check(regclass, boolean, boolean) FROM PUBLIC;
|