On 5/28/26 04:08, Michael Paquier wrote:
> Using two different points, one for the leader and one for the
> follower is indeed the correct way to do things.
I am not sure about that. It is quite confusing to have several waiters
when only one of them is awakened when calling the "wake up" function.
If this logic is forbidden, it should be documented in the code
comments, or an error should be thrown when attempting to add more than
one waiter to the same injection point.
--
Best regards,
Vlad