Re: [PATCH] sched: remove starvation in check_preempt_equal_prio()

[Steven Rostedt <rostedt@goodmis.org>]

On Wed, 2011-05-25 at 22:00 +0800, Hillf Danton wrote:

> >
> > Yes, that is the definition of FIFO (First In First Out). The tasks that
> > get to the CPU first run till they voluntarily schedule away, or are
> > preempted by an even high priority task. Tasks of the same priority must
> > wait till the previous task has finished.
> >
> 
> Then I try to fix the violation of FIFO, my thought is like below:
> 
> ---
> Subject: [PATCH] sched: fix the violation of SCHED_FIFO in
> check_preempt_equal_prio()
> 
> Starvation of the same priority tasks is a perfectly valid situation for
> SCHED_FIFO.
> 
> If task p is currently running and is a FIFO task, you do not push it
> off for another task of same prio.
> Yes, that is the definition of FIFO (First In First Out). The tasks that
> get to the CPU first run till they voluntarily schedule away, or are
> preempted by an even high priority task. Tasks of the same priority must
> wait till the previous task has finished.
> 

No, no, no!

I'm sorry if you misunderstood me. When I said 'finished', I did not
mean that it was truly finished and the process has exited. I simply
meant that finished meant that it scheduled away. Done for the time
being.

Thus, if a task is running of one priority, another task of same
priority will *not* preempt it. If that task schedules for whatever
reason, the next task of same priority will then run, and the first one
will now have to wait for it to schedule away. That is FIFO.

Now we do break this semantic a bit for SMP. If the current task that is
running can be migrated to another CPU, and the one that wakes up is of
same priority but is pinned to this CPU. If we can migrate the running
task to another CPU (another CPU has a lower prio process running), then
we will migrate that task to let the woken task run.

But this is not really preempting the running task, it is more "moving"
it. But there's no real guarantees to what RT tasks do on SMP, so we are
fine.

-- Steve