217a218,220
>
> if (starved() && !runToTime)
> scheduleStarvationEvent();
279a283
> static Priority StarvationPriority = ReadyPriority;
294a299,309
> bool
> starved()
> {
> return (readyList.empty() && updateList.empty() &&
> (pendingTicks.empty() ||
> pendingTicks.begin()->first > maxTick) &&
> initList.empty());
> }
> EventWrapper<Scheduler, &Scheduler::pause> starvationEvent;
> void scheduleStarvationEvent();
>
306a322
> bool runToTime;