mirror of
https://git.postgresql.org/git/postgresql.git
synced 2024-08-27 04:37:19 +02:00
Add the 'checkunique' argument to bt_index_check() and bt_index_parent_check(). When the flag is specified the procedures will check the unique constraint violation for unique indexes. Only one heap entry for all equal keys in the index should be visible (including posting list entries). Report an error otherwise. pg_amcheck called with the --checkunique option will do the same check for all the indexes it checks. Author: Anastasia Lubennikova <lubennikovaav@gmail.com> Author: Pavel Borisov <pashkin.elfe@gmail.com> Author: Maxim Orlov <orlovmg@gmail.com> Reviewed-by: Mark Dilger <mark.dilger@enterprisedb.com> Reviewed-by: Zhihong Yu <zyu@yugabyte.com> Reviewed-by: Peter Geoghegan <pg@bowt.ie> Reviewed-by: Aleksander Alekseev <aleksander@timescale.com> Discussion: https://postgr.es/m/CALT9ZEHRn5xAM5boga0qnrCmPV52bScEK2QnQ1HmUZDD301JEg%40mail.gmail.com
253 lines
8.0 KiB
Plaintext
253 lines
8.0 KiB
Plaintext
CREATE TABLE bttest_a(id int8);
|
|
CREATE TABLE bttest_b(id int8);
|
|
CREATE TABLE bttest_multi(id int8, data int8);
|
|
CREATE TABLE delete_test_table (a bigint, b bigint, c bigint, d bigint);
|
|
-- Stabalize tests
|
|
ALTER TABLE bttest_a SET (autovacuum_enabled = false);
|
|
ALTER TABLE bttest_b SET (autovacuum_enabled = false);
|
|
ALTER TABLE bttest_multi SET (autovacuum_enabled = false);
|
|
ALTER TABLE delete_test_table SET (autovacuum_enabled = false);
|
|
INSERT INTO bttest_a SELECT * FROM generate_series(1, 100000);
|
|
INSERT INTO bttest_b SELECT * FROM generate_series(100000, 1, -1);
|
|
INSERT INTO bttest_multi SELECT i, i%2 FROM generate_series(1, 100000) as i;
|
|
CREATE INDEX bttest_a_idx ON bttest_a USING btree (id) WITH (deduplicate_items = ON);
|
|
CREATE INDEX bttest_b_idx ON bttest_b USING btree (id);
|
|
CREATE UNIQUE INDEX bttest_multi_idx ON bttest_multi
|
|
USING btree (id) INCLUDE (data);
|
|
CREATE ROLE regress_bttest_role;
|
|
-- verify permissions are checked (error due to function not callable)
|
|
SET ROLE regress_bttest_role;
|
|
SELECT bt_index_check('bttest_a_idx'::regclass);
|
|
ERROR: permission denied for function bt_index_check
|
|
SELECT bt_index_parent_check('bttest_a_idx'::regclass);
|
|
ERROR: permission denied for function bt_index_parent_check
|
|
RESET ROLE;
|
|
-- we, intentionally, don't check relation permissions - it's useful
|
|
-- to run this cluster-wide with a restricted account, and as tested
|
|
-- above explicit permission has to be granted for that.
|
|
GRANT EXECUTE ON FUNCTION bt_index_check(regclass) TO regress_bttest_role;
|
|
GRANT EXECUTE ON FUNCTION bt_index_parent_check(regclass) TO regress_bttest_role;
|
|
GRANT EXECUTE ON FUNCTION bt_index_check(regclass, boolean) TO regress_bttest_role;
|
|
GRANT EXECUTE ON FUNCTION bt_index_parent_check(regclass, boolean) TO regress_bttest_role;
|
|
SET ROLE regress_bttest_role;
|
|
SELECT bt_index_check('bttest_a_idx');
|
|
bt_index_check
|
|
----------------
|
|
|
|
(1 row)
|
|
|
|
SELECT bt_index_parent_check('bttest_a_idx');
|
|
bt_index_parent_check
|
|
-----------------------
|
|
|
|
(1 row)
|
|
|
|
RESET ROLE;
|
|
-- verify plain tables are rejected (error)
|
|
SELECT bt_index_check('bttest_a');
|
|
ERROR: "bttest_a" is not an index
|
|
SELECT bt_index_parent_check('bttest_a');
|
|
ERROR: "bttest_a" is not an index
|
|
-- verify non-existing indexes are rejected (error)
|
|
SELECT bt_index_check(17);
|
|
ERROR: could not open relation with OID 17
|
|
SELECT bt_index_parent_check(17);
|
|
ERROR: could not open relation with OID 17
|
|
-- verify wrong index types are rejected (error)
|
|
BEGIN;
|
|
CREATE INDEX bttest_a_brin_idx ON bttest_a USING brin(id);
|
|
SELECT bt_index_parent_check('bttest_a_brin_idx');
|
|
ERROR: only B-Tree indexes are supported as targets for verification
|
|
DETAIL: Relation "bttest_a_brin_idx" is not a B-Tree index.
|
|
ROLLBACK;
|
|
-- normal check outside of xact
|
|
SELECT bt_index_check('bttest_a_idx');
|
|
bt_index_check
|
|
----------------
|
|
|
|
(1 row)
|
|
|
|
-- more expansive tests
|
|
SELECT bt_index_check('bttest_a_idx', true);
|
|
bt_index_check
|
|
----------------
|
|
|
|
(1 row)
|
|
|
|
SELECT bt_index_parent_check('bttest_b_idx', true);
|
|
bt_index_parent_check
|
|
-----------------------
|
|
|
|
(1 row)
|
|
|
|
BEGIN;
|
|
SELECT bt_index_check('bttest_a_idx');
|
|
bt_index_check
|
|
----------------
|
|
|
|
(1 row)
|
|
|
|
SELECT bt_index_parent_check('bttest_b_idx');
|
|
bt_index_parent_check
|
|
-----------------------
|
|
|
|
(1 row)
|
|
|
|
-- make sure we don't have any leftover locks
|
|
SELECT * FROM pg_locks
|
|
WHERE relation = ANY(ARRAY['bttest_a', 'bttest_a_idx', 'bttest_b', 'bttest_b_idx']::regclass[])
|
|
AND pid = pg_backend_pid();
|
|
locktype | database | relation | page | tuple | virtualxid | transactionid | classid | objid | objsubid | virtualtransaction | pid | mode | granted | fastpath | waitstart
|
|
----------+----------+----------+------+-------+------------+---------------+---------+-------+----------+--------------------+-----+------+---------+----------+-----------
|
|
(0 rows)
|
|
|
|
COMMIT;
|
|
-- Deduplication
|
|
TRUNCATE bttest_a;
|
|
INSERT INTO bttest_a SELECT 42 FROM generate_series(1, 2000);
|
|
SELECT bt_index_check('bttest_a_idx', true);
|
|
bt_index_check
|
|
----------------
|
|
|
|
(1 row)
|
|
|
|
-- normal check outside of xact for index with included columns
|
|
SELECT bt_index_check('bttest_multi_idx');
|
|
bt_index_check
|
|
----------------
|
|
|
|
(1 row)
|
|
|
|
-- more expansive tests for index with included columns
|
|
SELECT bt_index_parent_check('bttest_multi_idx', true, true);
|
|
bt_index_parent_check
|
|
-----------------------
|
|
|
|
(1 row)
|
|
|
|
-- repeat expansive tests for index built using insertions
|
|
TRUNCATE bttest_multi;
|
|
INSERT INTO bttest_multi SELECT i, i%2 FROM generate_series(1, 100000) as i;
|
|
SELECT bt_index_parent_check('bttest_multi_idx', true, true);
|
|
bt_index_parent_check
|
|
-----------------------
|
|
|
|
(1 row)
|
|
|
|
--
|
|
-- Test for multilevel page deletion/downlink present checks, and rootdescend
|
|
-- checks
|
|
--
|
|
INSERT INTO delete_test_table SELECT i, 1, 2, 3 FROM generate_series(1,80000) i;
|
|
ALTER TABLE delete_test_table ADD PRIMARY KEY (a,b,c,d);
|
|
-- Delete most entries, and vacuum, deleting internal pages and creating "fast
|
|
-- root"
|
|
DELETE FROM delete_test_table WHERE a < 79990;
|
|
VACUUM delete_test_table;
|
|
SELECT bt_index_parent_check('delete_test_table_pkey', true);
|
|
bt_index_parent_check
|
|
-----------------------
|
|
|
|
(1 row)
|
|
|
|
--
|
|
-- BUG #15597: must not assume consistent input toasting state when forming
|
|
-- tuple. Bloom filter must fingerprint normalized index tuple representation.
|
|
--
|
|
CREATE TABLE toast_bug(buggy text);
|
|
ALTER TABLE toast_bug ALTER COLUMN buggy SET STORAGE extended;
|
|
CREATE INDEX toasty ON toast_bug(buggy);
|
|
-- pg_attribute entry for toasty.buggy (the index) will have plain storage:
|
|
UPDATE pg_attribute SET attstorage = 'p'
|
|
WHERE attrelid = 'toasty'::regclass AND attname = 'buggy';
|
|
-- Whereas pg_attribute entry for toast_bug.buggy (the table) still has extended storage:
|
|
SELECT attstorage FROM pg_attribute
|
|
WHERE attrelid = 'toast_bug'::regclass AND attname = 'buggy';
|
|
attstorage
|
|
------------
|
|
x
|
|
(1 row)
|
|
|
|
-- Insert compressible heap tuple (comfortably exceeds TOAST_TUPLE_THRESHOLD):
|
|
INSERT INTO toast_bug SELECT repeat('a', 2200);
|
|
-- Should not get false positive report of corruption:
|
|
SELECT bt_index_check('toasty', true);
|
|
bt_index_check
|
|
----------------
|
|
|
|
(1 row)
|
|
|
|
--
|
|
-- Check that index expressions and predicates are run as the table's owner
|
|
--
|
|
TRUNCATE bttest_a;
|
|
INSERT INTO bttest_a SELECT * FROM generate_series(1, 1000);
|
|
ALTER TABLE bttest_a OWNER TO regress_bttest_role;
|
|
-- A dummy index function checking current_user
|
|
CREATE FUNCTION ifun(int8) RETURNS int8 AS $$
|
|
BEGIN
|
|
ASSERT current_user = 'regress_bttest_role',
|
|
format('ifun(%s) called by %s', $1, current_user);
|
|
RETURN $1;
|
|
END;
|
|
$$ LANGUAGE plpgsql IMMUTABLE;
|
|
CREATE INDEX bttest_a_expr_idx ON bttest_a ((ifun(id) + ifun(0)))
|
|
WHERE ifun(id + 10) > ifun(10);
|
|
SELECT bt_index_check('bttest_a_expr_idx', true);
|
|
bt_index_check
|
|
----------------
|
|
|
|
(1 row)
|
|
|
|
-- UNIQUE constraint check
|
|
SELECT bt_index_check('bttest_a_idx', heapallindexed => true, checkunique => true);
|
|
bt_index_check
|
|
----------------
|
|
|
|
(1 row)
|
|
|
|
SELECT bt_index_check('bttest_b_idx', heapallindexed => false, checkunique => true);
|
|
bt_index_check
|
|
----------------
|
|
|
|
(1 row)
|
|
|
|
SELECT bt_index_parent_check('bttest_a_idx', heapallindexed => true, rootdescend => true, checkunique => true);
|
|
bt_index_parent_check
|
|
-----------------------
|
|
|
|
(1 row)
|
|
|
|
SELECT bt_index_parent_check('bttest_b_idx', heapallindexed => true, rootdescend => false, checkunique => true);
|
|
bt_index_parent_check
|
|
-----------------------
|
|
|
|
(1 row)
|
|
|
|
-- Check that null values in an unique index are not treated as equal
|
|
CREATE TABLE bttest_unique_nulls (a serial, b int, c int UNIQUE);
|
|
INSERT INTO bttest_unique_nulls VALUES (generate_series(1, 10000), 2, default);
|
|
SELECT bt_index_check('bttest_unique_nulls_c_key', heapallindexed => true, checkunique => true);
|
|
bt_index_check
|
|
----------------
|
|
|
|
(1 row)
|
|
|
|
CREATE INDEX on bttest_unique_nulls (b,c);
|
|
SELECT bt_index_check('bttest_unique_nulls_b_c_idx', heapallindexed => true, checkunique => true);
|
|
bt_index_check
|
|
----------------
|
|
|
|
(1 row)
|
|
|
|
-- cleanup
|
|
DROP TABLE bttest_a;
|
|
DROP TABLE bttest_b;
|
|
DROP TABLE bttest_multi;
|
|
DROP TABLE delete_test_table;
|
|
DROP TABLE toast_bug;
|
|
DROP FUNCTION ifun(int8);
|
|
DROP TABLE bttest_unique_nulls;
|
|
DROP OWNED BY regress_bttest_role; -- permissions
|
|
DROP ROLE regress_bttest_role;
|