-
Philippe Gerum authored
Sanitize and fix the implementation, by replacing per-thread rrb timers non-sense with a single per-scheduler timer. This is not only more efficient, but also fixes the case when multiple rrb timers timing out in the same (short) time frame would cause some threads from the same priority group to starve.
9ba38988