On 5/28/26 04:08, Michael Paquier wrote:
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.Using two different points, one for the leader and one for the follower is indeed the correct way to do things.
-- Best regards, Vlad
