Fix GIN data page split ratio calculation.
authorHeikki Linnakangas <heikki.linnakangas@iki.fi>
Fri, 12 Sep 2014 08:23:59 +0000 (11:23 +0300)
committerHeikki Linnakangas <heikki.linnakangas@iki.fi>
Fri, 12 Sep 2014 08:27:56 +0000 (11:27 +0300)
commit774a78ffe47557313d69c2b27e7d61480a3b9d1f
tree3cbecf2faf8c4a663e929b0d551abfc80856dc23
parent1d352325b88afef6effbd2c3a52930b824944375
Fix GIN data page split ratio calculation.

The code that tried to split a page at 75/25 ratio, when appending to the
end of an index, was buggy in two ways. First, there was a silly typo that
caused it to just fill the left page as full as possible. But the logic as
it was intended wasn't correct either, and would actually have given a ratio
closer to 60/40 than 75/25.

Gaetano Mendola spotted the typo. Backpatch to 9.4, where this code was added.
src/backend/access/gin/gindatapage.c