On Thu, Apr 6, 2023 at 7:46 AM Thomas Munro <thomas.mu...@gmail.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.
