合 PG插件之amcheck用于检查B-Tree索引的完整性
pg11中新增了amcheck扩展来检查B-Tree索引的完整性
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 | postgres@lhrpg11:~$ psql psql (11.7 (Debian 11.7-2.pgdg90+1)) Type "help" for help. postgres=# \dx; List of installed extensions Name | Version | Schema | Description ---------+---------+------------+------------------------------ plpgsql | 1.0 | pg_catalog | PL/pgSQL procedural language (1 row) postgres=# select * from pg_available_extensions where name='amcheck'; name | default_version | installed_version | comment ---------+-----------------+-------------------+-------------------------------------------- amcheck | 1.1 | | functions for verifying relation integrity (1 row) postgres=# create extension amcheck; CREATE EXTENSION postgres=# \dx; List of installed extensions Name | Version | Schema | Description ---------+---------+------------+-------------------------------------------- amcheck | 1.1 | public | functions for verifying relation integrity plpgsql | 1.0 | pg_catalog | PL/pgSQL procedural language (2 rows) postgres=# select pp.proname,pp.prosrc,pp.probin postgres-# from pg_proc pp where probin like '%amcheck%'; proname | prosrc | probin -----------------------+-----------------------+----------------- bt_index_check | bt_index_check | $libdir/amcheck bt_index_parent_check | bt_index_parent_check | $libdir/amcheck bt_index_check | bt_index_check | $libdir/amcheck bt_index_parent_check | bt_index_parent_check | $libdir/amcheck (4 rows) postgres=# postgres=# SELECT bt_index_check('idx1_data1') ; ERROR: invalid page in block 0 of relation base/16385/16479 postgres=# CREATE INDEX idxh1_data1 ON data1 USING hash (c1) ; CREATE INDEX postgres=# SELECT bt_index_check('idxh1_data1') ; ERROR: only B-Tree indexes are supported as targets for verification DETAIL: Relation 'idxh1_data1' is not a B-Tree index postgres=# |
amcheck
amcheck 模块提供的函数让用户能验证关系结构的逻辑一致性。如果结构有效，则不会发生错误。
这些函数验证特定关系的结构表达中的各种不变条件\。索引扫描以及其他重要操作背后的访问方法的正确性都要依仗这些不变条件的成立。例如，在这些函数中，有一些负责验证所有B树页面中的项都按照“逻辑”顺序（比如，对于text上的B树索引，索引元组应该按照词典顺序排列）摆放。如果特定的不变条件由于某种原因无法成立，则我们可以预料受影响页面上的二分搜索将无法正确地引导索引扫描，最终导致SQL查询得到错误的答案。
验证过程采用索引扫描自身使用的同种过程来执行，这些过程可能是用户定义的操作符类代码。例如，B树索引验证依赖于由一个或者多个B树支持函数1例程构成的比较。操作符类支持函数的详情请见第 37.16.3 节。
amcheck函数只能由超级用户使用。
1. 函数
bt_index_check(index regclass, heapallindexed boolean) returns voidbt_index_check测试一个B树索引，检查各种不变条件。用法实例：123456789101112131415161718192021222324252627test=# SELECT bt_index_check(index => c.oid, heapallindexed => i.indisunique),c.relname,c.relpagesFROM pg_index iJOIN pg_opclass op ON i.indclass[0] = op.oidJOIN pg_am am ON op.opcmethod = am.oidJOIN pg_class c ON i.indexrelid = c.oidJOIN pg_namespace n ON c.relnamespace = n.oidWHERE 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.indisvalidORDER 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)这个例子中的会话执行对数据库“test”中10个最大目录索引的验证。对于唯一索引会要求验证堆元组是否有对应的索引元组存在。由于没有错误报出，所有的被测索引都处于逻辑一致的状态。自然地，很容易将这个查询改为对支持验证的数据库中的每一个索引调用
bt_index_check。bt_index_check要求目标索引及其所属的堆关系上的AccessShareLock。这种锁模式与简单SELECT语句在关系上所要求的锁模式相同。bt_index_check不验证跨越父子关系的不变条件，但是在heapallindexed为true时将验证所有堆元组是否作为索引中的索引元组存在。当在生产环境中要求一个使用bt_index_check的例程进行轻量化损坏测试时，它常常需要在验证彻底性和减小对应用性能及可用性的影响之间做出权衡。本人提供Oracle(OCP、OCM)、MySQL(OCP)、PostgreSQL(PGCA、PGCE、PGCM)等数据库的培训和考证业务，私聊QQ646634621或微信db_bao，谢谢！
