contrib/pageinspect/expected/brin.out

   1 CREATE TABLE test1 (a int, b text);
   2 INSERT INTO test1 VALUES (1, 'one');
   3 CREATE INDEX test1_a_idx ON test1 USING brin (a);
   4 SELECT brin_page_type(get_raw_page('test1_a_idx', 0));
   5  brin_page_type
   6 ----------------
   7  meta
   8 (1 row)
   9
  10 SELECT brin_page_type(get_raw_page('test1_a_idx', 1));
  11  brin_page_type
  12 ----------------
  13  revmap
  14 (1 row)
  15
  16 SELECT brin_page_type(get_raw_page('test1_a_idx', 2));
  17  brin_page_type
  18 ----------------
  19  regular
  20 (1 row)
  21
  22 SELECT * FROM brin_metapage_info(get_raw_page('test1_a_idx', 0));
  23    magic    | version | pagesperrange | lastrevmappage
  24 ------------+---------+---------------+----------------
  25  0xA8109CFA |       1 |           128 |              1
  26 (1 row)
  27
  28 SELECT * FROM brin_metapage_info(get_raw_page('test1_a_idx', 1));
  29 ERROR:  page is not a BRIN page of type "metapage"
  30 DETAIL:  Expected special type 0000f091, got 0000f092.
  31 SELECT * FROM brin_revmap_data(get_raw_page('test1_a_idx', 0)) LIMIT 5;
  32 ERROR:  page is not a BRIN page of type "revmap"
  33 DETAIL:  Expected special type 0000f092, got 0000f091.
  34 SELECT * FROM brin_revmap_data(get_raw_page('test1_a_idx', 1)) LIMIT 5;
  35  pages
  36 -------
  37  (2,1)
  38  (0,0)
  39  (0,0)
  40  (0,0)
  41  (0,0)
  42 (5 rows)
  43
  44 SELECT * FROM brin_page_items(get_raw_page('test1_a_idx', 2), 'test1_a_idx')
  45     ORDER BY blknum, attnum LIMIT 5;
  46  itemoffset | blknum | attnum | allnulls | hasnulls | placeholder | empty |  value
  47 ------------+--------+--------+----------+----------+-------------+-------+----------
  48           1 |      0 |      1 | f        | f        | f           | f     | {1 .. 1}
  49 (1 row)
  50
  51 -- Mask DETAIL messages as these are not portable across architectures.
  52 \set VERBOSITY terse
  53 -- Failures for non-BRIN index.
  54 CREATE INDEX test1_a_btree ON test1 (a);
  55 SELECT brin_page_items(get_raw_page('test1_a_btree', 0), 'test1_a_btree');
  56 ERROR:  "test1_a_btree" is not a BRIN index
  57 SELECT brin_page_items(get_raw_page('test1_a_btree', 0), 'test1_a_idx');
  58 ERROR:  input page is not a valid BRIN page
  59 -- Invalid special area size
  60 SELECT brin_page_type(get_raw_page('test1', 0));
  61 ERROR:  input page is not a valid BRIN page
  62 SELECT * FROM brin_metapage_info(get_raw_page('test1', 0));
  63 ERROR:  input page is not a valid BRIN page
  64 SELECT * FROM brin_revmap_data(get_raw_page('test1', 0));
  65 ERROR:  input page is not a valid BRIN page
  66 \set VERBOSITY default
  67 -- Tests with all-zero pages.
  68 SHOW block_size \gset
  69 SELECT brin_page_type(decode(repeat('00', :block_size), 'hex'));
  70  brin_page_type
  71 ----------------
  72
  73 (1 row)
  74
  75 SELECT brin_page_items(decode(repeat('00', :block_size), 'hex'), 'test1_a_idx');
  76  brin_page_items
  77 -----------------
  78 (0 rows)
  79
  80 SELECT brin_metapage_info(decode(repeat('00', :block_size), 'hex'));
  81  brin_metapage_info
  82 --------------------
  83
  84 (1 row)
  85
  86 SELECT brin_revmap_data(decode(repeat('00', :block_size), 'hex'));
  87  brin_revmap_data
  88 ------------------
  89
  90 (1 row)
  91
  92 -- Test that partial indexes have all pages, including empty ones.
  93 CREATE TABLE test2 (a int);
  94 INSERT INTO test2 SELECT i FROM generate_series(1,1000) s(i);
  95 -- No rows match the index predicate, make sure the index has the right number
  96 -- of ranges (same as number of page ranges).
  97 CREATE INDEX ON test2 USING brin (a) WITH (pages_per_range=1) WHERE (a IS NULL);
  98 ANALYZE test2;
  99 -- Does the index have one summary of the relation?
 100 SELECT (COUNT(*) = (SELECT relpages FROM pg_class WHERE relname = 'test2')) AS ranges_do_match
 101  FROM generate_series((SELECT (lastrevmappage + 1) FROM brin_metapage_info(get_raw_page('test2_a_idx', 0))),
 102                       (SELECT (relpages - 1) FROM pg_class WHERE relname = 'test2_a_idx')) AS pages(p),
 103       LATERAL brin_page_items(get_raw_page('test2_a_idx', p), 'test2_a_idx') AS items;
 104  ranges_do_match
 105 -----------------
 106  t
 107 (1 row)
 108
 109 DROP TABLE test1;
 110 DROP TABLE test2;
 111 -- Test that parallel index build produces the same BRIN index as serial build.
 112 CREATE TABLE brin_parallel_test (a int, b text, c bigint) WITH (fillfactor=40);
 113 -- Generate a table with a mix of NULLs and non-NULL values (and data suitable
 114 -- for the different opclasses we build later).
 115 INSERT INTO brin_parallel_test
 116 SELECT (CASE WHEN (mod(i,231) = 0) OR (i BETWEEN 3500 AND 4000) THEN NULL ELSE i END),
 117        (CASE WHEN (mod(i,233) = 0) OR (i BETWEEN 3750 AND 4250) THEN NULL ELSE md5(i::text) END),
 118        (CASE WHEN (mod(i,233) = 0) OR (i BETWEEN 3850 AND 4500) THEN NULL ELSE (i/100) + mod(i,8) END)
 119   FROM generate_series(1,5000) S(i);
 120 -- Build an index with different opclasses - minmax, bloom and minmax-multi.
 121 --
 122 -- For minmax and opclass this is simple, but for minmax-multi we need to be
 123 -- careful, because the result depends on the order in which values are added
 124 -- to the summary, which in turn affects how are values merged etc. The order
 125 -- of merging results from workers has similar effect. All those summaries
 126 -- should produce correct query results, but it means we can't compare them
 127 -- using equality (which is what EXCEPT does). To work around this issue, we
 128 -- generated the data to only have very small number of distinct values per
 129 -- range, so that no merging is needed. This makes the results deterministic.
 130 -- build index without parallelism
 131 SET max_parallel_maintenance_workers = 0;
 132 CREATE INDEX brin_test_serial_idx ON brin_parallel_test
 133  USING brin (a int4_minmax_ops, a int4_bloom_ops, b, c int8_minmax_multi_ops)
 134   WITH (pages_per_range=7)
 135  WHERE NOT (a BETWEEN 1000 and 1500);
 136 -- build index using parallelism
 137 --
 138 -- Set a couple parameters to force parallel build for small table. There's a
 139 -- requirement for table size, so disable that. Also, plan_create_index_workers
 140 -- assumes each worker will use work_mem=32MB for sorting (which works for btree,
 141 -- but not really for BRIN), so we set maintenance_work_mem for 4 workers.
 142 SET min_parallel_table_scan_size = 0;
 143 SET max_parallel_maintenance_workers = 4;
 144 SET maintenance_work_mem = '128MB';
 145 CREATE INDEX brin_test_parallel_idx ON brin_parallel_test
 146  USING brin (a int4_minmax_ops, a int4_bloom_ops, b, c int8_minmax_multi_ops)
 147   WITH (pages_per_range=7)
 148  WHERE NOT (a BETWEEN 1000 and 1500);
 149 SELECT relname, relpages
 150   FROM pg_class
 151  WHERE relname IN ('brin_test_serial_idx', 'brin_test_parallel_idx')
 152  ORDER BY relname;
 153         relname         | relpages
 154 ------------------------+----------
 155  brin_test_parallel_idx |        3
 156  brin_test_serial_idx   |        3
 157 (2 rows)
 158
 159 -- Check that (A except B) and (B except A) is empty, which means the indexes
 160 -- are the same.
 161 SELECT * FROM brin_page_items(get_raw_page('brin_test_parallel_idx', 2), 'brin_test_parallel_idx')
 162 EXCEPT
 163 SELECT * FROM brin_page_items(get_raw_page('brin_test_serial_idx', 2), 'brin_test_serial_idx');
 164  itemoffset | blknum | attnum | allnulls | hasnulls | placeholder | empty | value
 165 ------------+--------+--------+----------+----------+-------------+-------+-------
 166 (0 rows)
 167
 168 SELECT * FROM brin_page_items(get_raw_page('brin_test_serial_idx', 2), 'brin_test_serial_idx')
 169 EXCEPT
 170 SELECT * FROM brin_page_items(get_raw_page('brin_test_parallel_idx', 2), 'brin_test_parallel_idx');
 171  itemoffset | blknum | attnum | allnulls | hasnulls | placeholder | empty | value
 172 ------------+--------+--------+----------+----------+-------------+-------+-------
 173 (0 rows)
 174
 175 DROP INDEX brin_test_parallel_idx;
 176 -- force parallel build, but don't allow starting parallel workers to force
 177 -- fallback to serial build, and repeat the checks
 178 SET max_parallel_workers = 0;
 179 CREATE INDEX brin_test_parallel_idx ON brin_parallel_test
 180  USING brin (a int4_minmax_ops, a int4_bloom_ops, b, c int8_minmax_multi_ops)
 181   WITH (pages_per_range=7)
 182  WHERE NOT (a BETWEEN 1000 and 1500);
 183 SELECT relname, relpages
 184   FROM pg_class
 185  WHERE relname IN ('brin_test_serial_idx', 'brin_test_parallel_idx')
 186  ORDER BY relname;
 187         relname         | relpages
 188 ------------------------+----------
 189  brin_test_parallel_idx |        3
 190  brin_test_serial_idx   |        3
 191 (2 rows)
 192
 193 SELECT * FROM brin_page_items(get_raw_page('brin_test_parallel_idx', 2), 'brin_test_parallel_idx')
 194 EXCEPT
 195 SELECT * FROM brin_page_items(get_raw_page('brin_test_serial_idx', 2), 'brin_test_serial_idx');
 196  itemoffset | blknum | attnum | allnulls | hasnulls | placeholder | empty | value
 197 ------------+--------+--------+----------+----------+-------------+-------+-------
 198 (0 rows)
 199
 200 SELECT * FROM brin_page_items(get_raw_page('brin_test_serial_idx', 2), 'brin_test_serial_idx')
 201 EXCEPT
 202 SELECT * FROM brin_page_items(get_raw_page('brin_test_parallel_idx', 2), 'brin_test_parallel_idx');
 203  itemoffset | blknum | attnum | allnulls | hasnulls | placeholder | empty | value
 204 ------------+--------+--------+----------+----------+-------------+-------+-------
 205 (0 rows)
 206
 207 DROP TABLE brin_parallel_test;
 208 RESET min_parallel_table_scan_size;
 209 RESET max_parallel_maintenance_workers;
 210 RESET maintenance_work_mem;