Re: amcheck verification for GiST

> 29 марта 2019 г., в 5:35, Peter Geoghegan <pg(at)bowt(dot)ie> написал(а):
>
> On Thu, Mar 28, 2019 at 10:08 AM Andrey Borodin <x4mmm(at)yandex-team(dot)ru> wrote:
>>>> Is this really needed? Isn't the ShareLock on the index sufficient? If so, why?
>>> There may be concurrent inserts? In GiST they can reorder items on page.
>>
>> Looks like I've tried to cope with same problem twice:
>> v3 of the patch used AccessShareLock and many locks with incorrect order.
>> We could use one of possible solutions: either use ShareLock, or rewrite scan to correct locking order.
>> But patches v4-v7 use both.
>
> It definitely has to be one or the other. The combination makes no sense.

Here's updated patch with AccessShareLock.
I've tried to stress this with combination of random inserts, vaccuums and checks. This process neither failed, nor deadlocked.
The patch intentionally contains one superflous line to make gist logically broken. This triggers regression test of amcheck.

Best regards, Andrey Borodin.