Hi, On 2018-06-27 12:49:56 -0700, Peter Geoghegan wrote: > On Wed, Jun 27, 2018 at 12:18 PM, Andres Freund <and...@anarazel.de> wrote: > > It's possibly wrong that it's unreachable - I've just not managed to get > > there. If somebody has an idea how to build a reproducible case to reach > > it... > > Set a breakpoint in _bt_unlink_halfdead_page() after the initial > "LockBuffer(leafbuf, BUFFER_LOCK_UNLOCK);", and then provoke a page > split in the left sibling by carefully inserting values that belong > within its part of the key space? I would probably attempt this with > an index on text, so that I could contrive as many key values that > belong on the left sibling as needed.
A related question is if it matters - without complicating the code I don't see how we could release all the locks in that loop. Therefore no interrupts can be accepted. I hope I'm missing something? Greetings, Andres Freund
