| Barrelfish
    | 
Kernel round-robin scheduling policy. More...
| Functions | |
| struct dcb * | schedule (void) | 
| Scheduler policy.  More... | |
| void | scheduler_remove (struct dcb *dcb) | 
| Remove 'dcb' from scheduler ring.  More... | |
| void | scheduler_yield (struct dcb *dcb) | 
| Yield 'dcb' for the rest of the current timeslice.  More... | |
Kernel round-robin scheduling policy.
| struct dcb* schedule | ( | void | ) | 
Scheduler policy.
| void scheduler_remove | ( | struct dcb * | dcb | ) | 
Remove 'dcb' from scheduler ring.
Removes dispatcher 'dcb' from the scheduler ring. If it was not in the ring, this function is a no-op. The postcondition for this function is that dcb is not in the ring.
| dcb | Pointer to DCB to remove. | 
| void scheduler_yield | ( | struct dcb * | dcb | ) | 
Yield 'dcb' for the rest of the current timeslice.
Re-sorts 'dcb' into the scheduler queue with its release time increased by the timeslice period. It is an error to yield a dispatcher not in the scheduler queue.
| dcb | Pointer to DCB to remove. | 
 1.8.11
 1.8.11