Robert Haas <robertmhaas(at)gmail(dot)com> writes:
> Updated patch attached.
The comments need a pass of copy-editing, eg here and here:
> + * so somebody else could be change the bit just after we look at it. In fact,
^^^^^^^^^^^^^^^
> + * got cleared after we checked it and before we got took the buffer
^^^^^^^^
Seems reasonable beyond that.
regards, tom lane