Hi!

Mail.App somehow borken my reponse with <div class="ApplePlainTextBody">, which 
is far beyond of my understanding of what is plain text, that's why I'll quote 
all my previous message here. Hope this mail client is OK.

14.11.2018, 23:13, "Andrey Borodin" <x4...@yandex-team.ru>:
> Hi everyone!
>
> I didn't noticed this thread for too long somehow, sorry.
>
>> 8 нояб. 2018 г., в 6:46, Peter Geoghegan <p...@bowt.ie> написал(а):
>>
>> I don't think
>> the general "there can't be any inserters at this subtree" thing works
>> given that we have to couple buffer locks when moving right for other
>> reasons. We call ginStepRight() within ginFinishSplit(), for reasons
>> that date back to bug fix commit ac4ab97e from 2013 -- that detail is
>> probably important, because it seems to be what breaks the subtree
>> design (we don't delete in two phases or anything in GIN).
>
> ginVacuumPostingTreeLeaves() holds LockBufferForCleanup() on subtree root b.
> Thus there may be no GinBtreeStack's holding pin on b at the moment.
> When you ginStepRight(b) to the parent in ginFinishSplit(), you always get to 
> the buffer from your stack.
> Hence you can never have ginFinishSplit() deadlock with cleanup of subtree 
> whose root is LockBufferForCleanup()'d.
>
> Is this correct or did I miss something?
>
> But we have a deadlock at hand, I'll think more about it. Something with 
> locking protocol is clearly wrong.
>
>> 11 нояб. 2018 г., в 22:33, chenhj <chjis...@163.com> написал(а):
>>
>> The order of get lwlock in ginRedoDeletePage() may should be change from 
>> "dbuffer->pbuffer->lbuffer" to "lbuffer->dbuffer->pbuffer" . Is this right?
>
> This looks correct to me.
>
> Best regards, Andrey Borodin.

I've reread Chen's reports and understood his findings.

> When you ginStepRight(b) to the parent in ginFinishSplit(), you always get to 
> the buffer from your stack.

This statement does not hold.
When you have a GinBtreeStack S, one of it's internal pages may split into new 
page P. If in this moment you start a multi-level delete from P and cascade 
split from S, P is not in S and we may deadlock.

Correct solution seems to replace lock-coupling descent by usual B-tree 
searches for parent pages as in B-tree.
I think I can compose patch for consideration.

Best regards, Andrey Borodin.

Reply via email to