Mathias Agopian af16e43830 add notify_n(int) to our condition variable ...

notify_n() wakes up n waiters, this is more fine grained than
notify_one() / notify_all(), and the implementation costs nothing.

2019-07-09 16:12:15 -07:00

..

utils

add notify_n(int) to our condition variable

2019-07-09 16:12:15 -07:00