Re: amcheck verification for GiST - Mailing list pgsql-hackers

From Andrey Borodin
Subject Re: amcheck verification for GiST
Date
Msg-id 79134101-8FF5-4525-BAC9-737DA5C7F423@yandex-team.ru
Whole thread Raw
In response to Re: amcheck verification for GiST  (Peter Geoghegan <pg@bowt.ie>)
Responses Re: amcheck verification for GiST
Re: amcheck verification for GiST
List pgsql-hackers

> 29 марта 2019 г., в 5:35, Peter Geoghegan <pg@bowt.ie> написал(а):
>
> On Thu, Mar 28, 2019 at 10:08 AM Andrey Borodin <x4mmm@yandex-team.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.

Attachment

pgsql-hackers by date:

Previous
From: Masahiko Sawada
Date:
Subject: Re: New vacuum option to do only freezing
Next
From: "Nagaura, Ryohei"
Date:
Subject: RE: Timeout parameters