PostgreSQL amcheck

bt_index_check測試一個(gè)B樹索引，檢查各種不變條件。用法實(shí)例：

test=# SELECT bt_index_check(index => c.oid, heapallindexed => i.indisunique),
               c.relname,
               c.relpages
FROM pg_index i
JOIN pg_opclass op ON i.indclass[0] = op.oid
JOIN pg_am am ON op.opcmethod = am.oid
JOIN pg_class c ON i.indexrelid = c.oid
JOIN pg_namespace n ON c.relnamespace = n.oid
WHERE am.amname = 'btree' AND n.nspname = 'pg_catalog'
-- Don't check temp tables, which may be from another session:
AND c.relpersistence != 't'
-- Function may throw an error when this is omitted:
AND c.relkind = 'i' AND i.indisready AND i.indisvalid
ORDER BY c.relpages DESC LIMIT 10;
 bt_index_check |             relname             | relpages 
----------------+---------------------------------+----------
                | pg_depend_reference_index       |       43
                | pg_depend_depender_index        |       40
                | pg_proc_proname_args_nsp_index  |       31
                | pg_description_o_c_o_index      |       21
                | pg_attribute_relid_attnam_index |       14
                | pg_proc_oid_index               |       10
                | pg_attribute_relid_attnum_index |        9
                | pg_amproc_fam_proc_index        |        5
                | pg_amop_opr_fam_index           |        5
                | pg_amop_fam_strat_index         |        5
(10 rows)

這個(gè)例子中的會(huì)話執(zhí)行對數(shù)據(jù)庫“test”中10個(gè)最大目錄索引的驗(yàn)證。對于唯一索引會(huì)要求驗(yàn)證堆元組是否有對應(yīng)的索引元組存在。由于沒有錯(cuò)誤報(bào)出，所有的被測索引都處于邏輯一致的狀態(tài)。自然地，很容易將這個(gè)查詢改為對支持驗(yàn)證的數(shù)據(jù)庫中的每一個(gè)索引調(diào)用bt_index_check。

bt_index_check要求目標(biāo)索引及其所屬的堆關(guān)系上的AccessShareLock。這種鎖模式與簡單SELECT語句在關(guān)系上所要求的鎖模式相同。bt_index_check不驗(yàn)證跨越父子關(guān)系的不變條件，但是在heapallindexed為 true時(shí)將驗(yàn)證所有堆元組是否作為索引中的索引元組存在。當(dāng)在生產(chǎn)環(huán)境中要求一個(gè)使用bt_index_check的例程進(jìn)行輕量化損壞測試時(shí)，它常常需要在驗(yàn)證徹底性和減小對應(yīng)用性能及可用性的影響之間做出權(quán)衡。

bt_index_parent_check測試一個(gè)B樹索引，檢查多種不變條件。 可選地，當(dāng)heapallindexed參數(shù)為true時(shí)，該函數(shù)驗(yàn)證所有應(yīng)該在索引中找到的堆元組的存在。 當(dāng)可選參數(shù)rootdescend值為 true時(shí)，對于每個(gè)元組，驗(yàn)證程序通過從根頁面執(zhí)行新的搜索來重新查找葉子層級的元組。bt_index_parent_check能夠執(zhí)行的檢查是bt_index_check能執(zhí)行的檢查的超集。 bt_index_parent_check可以被想成是bt_index_check的一種更全面的變體：和 bt_index_check不同，bt_index_parent_check還檢查跨越父/子關(guān)系的不變條件，包括檢查索引結(jié)構(gòu)中是否沒有缺失的下鏈。 如果找到邏輯不一致或者其他問題，bt_index_parent_check遵循通常的報(bào)錯(cuò)習(xí)慣。

bt_index_parent_check要求目標(biāo)索引上的一個(gè)ShareLock（還要求對關(guān)系上的一個(gè)ShareLock）。這些鎖阻止來自INSERT、UPDATE以及DELETE命令的并發(fā)數(shù)據(jù)修改。這些鎖同時(shí)防止底層關(guān)系被并發(fā)的 VACUUM以及其他工具命令處理。注意該函數(shù)只在其運(yùn)行期間而不是整個(gè)事務(wù)期間持有鎖。

bt_index_parent_check的額外驗(yàn)證更有可能檢測到多種病態(tài)的情況。這些情況可能涉及到被查索引使用的一種不正確實(shí)現(xiàn)的B-樹操作符類，或者說不定是底層B-樹索引訪問方法代碼中未被發(fā)現(xiàn)的缺陷。注意與bt_index_check不同，當(dāng)熱備模式被啟用時(shí)（即在只讀的物理復(fù)制機(jī)上）不能使用bt_index_parent_check。