On Fri Jan 6 11:22:02 2023 +0000, Rémi Bernon wrote:
You don't *have* to, here, because the thread will eventually check it, but I think it's maybe better to notify the condition variable every time a flag that can be waited on is modified.
Maybe revisit this comment since we've switched from CVs to events? Well, it's fine if we are going to tolerate spurious wakeups from events, though. Note that CVs are generally always prone to spurious wakeups regardless of our usage.