On Thu, Apr 6, 2023 at 7:46 AM Thomas Munro <thomas(dot)munro(at)gmail(dot)com> wrote:
> Initially I was suspicious that there may be tricky races to deal with
> around that wakeup logic, and the poll/sleep loop was due to an
> inability to come up with something reliable.
(Oops lost a sentence) ... but then I realised that we're just using
the lock manager here (as opposed to a special purpose rarely used
signaling system), which had better work.