Re: Gin page deletion bug

Heikki Linnakangas <hlinnakangas@vmware.com> writes:
> I came up with the attached fix. In a nutshell, when walking along a 
> right-link, the new page is locked before releasing the lock on the old 
> one. Also, never delete the leftmost branch of a posting tree. I believe 
> these changes are sufficient to fix the problem, because of the way the 
> posting tree is searched:

This seems reasonable, but I wonder whether the concurrency discussion
shouldn't be in gist/README, rather than buried in a comment inside
ginDeletePage (not exactly the first place one would think to look IMO).
        regards, tom lane