Re: Fillfactor for GIN indexes

Поиск
Список
Период
Сортировка
От Alexander Korotkov
Тема Re: Fillfactor for GIN indexes
Дата
Msg-id CAPpHfds3iba1STQOM+Ohj6yyCZ1gXWZgOrK9zzhrrnDZP_TMBA@mail.gmail.com
обсуждение исходный текст
Ответ на Re: Fillfactor for GIN indexes  (Heikki Linnakangas <hlinnaka@iki.fi>)
Ответы Re: Fillfactor for GIN indexes  (Heikki Linnakangas <hlinnaka@iki.fi>)
Список pgsql-hackers
On Tue, Jul 21, 2015 at 12:40 PM, Heikki Linnakangas <hlinnaka@iki.fi> wrote:
Has anyone done any performance testing of this?

The purpose of a fillfactor is to avoid the storm of page splits right after building the index, when there are some random updates to the table. It causes the index to bloat, as every full page is split to two half-full pages, and also adds latency to all the updates that have to split pages.

As the code stands, do we actually have such a problem with GIN? Let's investigate. Let's create a little test table:

create table foo (id int4, t text);
insert into foo select g, 'foo' from generate_series(1, 1000000) g;

And some indexes on it:

-- B-tree index on id, 100%
create index btree_100 on foo (id) with (fillfactor=100);
-- B-tree index on id, 90% (which is the default)
create index btree_90 on foo (id) with (fillfactor=90);
-- GIN index on id. Id is different on each row, so this index has no posting trees, just the entry tree.
create index gin_id on foo using gin (id) with (fastupdate=off);
-- GIN index on t. T is the same on each row, so this index consists of a single posting tree.
create index gin_t on foo using gin (t) with (fastupdate=off);

Immediately after creation, the index sizes are:

postgres=# \di+
                          List of relations
 Schema |   Name    | Type  | Owner  | Table |  Size   | Description
--------+-----------+-------+--------+-------+---------+-------------
 public | btree_100 | index | heikki | foo   | 19 MB   |
 public | btree_90  | index | heikki | foo   | 21 MB   |
 public | gin_id    | index | heikki | foo   | 53 MB   |
 public | gin_t     | index | heikki | foo   | 1072 kB |
(4 rows)


Now let's update 1% of the table, spread evenly across the table, and see what happens to the index sizes:

postgres=# update foo set id = id where id % 100 = 0;
UPDATE 10000
postgres=# \di+
                          List of relations
 Schema |   Name    | Type  | Owner  | Table |  Size   | Description
--------+-----------+-------+--------+-------+---------+-------------
 public | btree_100 | index | heikki | foo   | 39 MB   |
 public | btree_90  | index | heikki | foo   | 21 MB   |
 public | gin_id    | index | heikki | foo   | 53 MB   |
 public | gin_t     | index | heikki | foo   | 1080 kB |
(4 rows)

As you can see, btree_100 index doubled in size. That's the effect we're trying to avoid with the fillfactor, and indeed in the btree_90 index it was avoided. However, the GIN indexes are not bloated either. Why is that?

The entry tree (demonstrated by the gin_id index) is not packed tightly when it's built. If anything, we could pack it more tightly to make it smaller to begin with. For the use cases where GIN works best, though, the entry tree should be fairly small compared to the posting lists, so it shouldn't make a big difference. For the posting tree, I think that's because the way the items are packed in the segments. Even though we pack the segments as tightly as possible, there is always some free space left over on a page that's not enough to add another segment to it at index build, but can be used by the updates to add items to the existing segments. So in practice you always end up with some free space on the posting tree pages, even without a fillfactor, so the "effective fillfactor" even today is not actually 100%.

There are two reasons of this behavior. You mentioned the first one: "effective fillfactor" for posting lists is not 100%. But the second one is structure of posting lists. In your example UPDATE allocates new tuple at the end of heap. So, from the point of posting lists these updates are appends. Situation is different when you reuse space in the heap. See an example.

drop table foo;
create table foo (id integer, val int[]) with (fillfactor = 90);
insert into foo (select g, array[g%2]::int[] from generate_series(1,1000000) g);
create index foo_val_idx_100 on foo using gin(val) with (fastupdate=off, fillfactor=100);
create index foo_val_idx_90 on foo using gin(val) with (fastupdate=off, fillfactor=90);

# \di+
                             List of relations
 Schema |      Name       | Type  | Owner  | Table |  Size   | Description
--------+-----------------+-------+--------+-------+---------+-------------
 public | foo_val_idx_100 | index | smagen | foo   | 1088 kB |
 public | foo_val_idx_90  | index | smagen | foo   | 1200 kB |
(2 rows)

update foo set val = array[(id+1)%2]::int[] where id % 50 = 0;

# \di+
                             List of relations
 Schema |      Name       | Type  | Owner  | Table |  Size   | Description
--------+-----------------+-------+--------+-------+---------+-------------
 public | foo_val_idx_100 | index | smagen | foo   | 1608 kB |
 public | foo_val_idx_90  | index | smagen | foo   | 1200 kB |
(2 rows)

Based on this, I think we should just drop this patch. It's not useful in practice.

I wouldn't say it's not useful at all. It's for sure not as useful as btree fillfactor, but it still could be useful in some cases...
Probably, we could leave 100 as default fillfactor, but provide an option.

------
Alexander Korotkov
Postgres Professional: http://www.postgrespro.com
The Russian Postgres Company 

В списке pgsql-hackers по дате отправления:

Предыдущее
От: Alvaro Herrera
Дата:
Сообщение: Re: "make check" changes have caused buildfarm deterioration.
Следующее
От: Ildus Kurbangaliev
Дата:
Сообщение: Re: RFC: replace pg_stat_activity.waiting with something more descriptive