Re: [PATCH v3 2/2] sched/rt: Add check_preempt_equal_prio() logic in pick_next_task_rt()

[Steven Rostedt <rostedt@goodmis.org>]

On Sun,  8 Feb 2015 23:51:26 +0800
Xunlei Pang <pang.xunlei@linaro.org> wrote:

> check_preempt_curr() doesn't call sched_class::check_preempt_curr
> when the class of current is a higher level.

The above sentence does not make sense.

> So if there is a DL
> task running when doing this for RT, check_preempt_equal_prio()

Doing what for RT?

> will definitely miss, which may result in some response latency

Miss what?

> for this RT task if it is pinned and there're some same-priority
> migratable rt tasks already queued.
> 
> We should do the similar thing in select_task_rq_rt() when first
> picking rt tasks after running out of DL tasks.
> 
> This patch tackles the issue by peeking the next rt task(RT1), and
> if find RT1 migratable, just requeue it to the tail of the rq using
> requeue_task_rt(rq, p, 0). In this way:
> - If there do have another rt task(RT2) with the same priority as
>   RT1, RT2 will finally be picked as the running task. While RT1
>   will be pushed onto another cpu via RT1's post_schedule(), as
>   RT1 is migratable. The difference from check_preempt_equal_prio()
>   here is that we just don't care whether RT2 is migratable.
> 
> - Otherwise, if there's no rt task with the same priority as RT1,
>   RT1 will still be picked as the running task after the requeuing.

What happens if there's three RT tasks of the same prio, RT1 is ready
to run and is migratable, RT2 is pinned, RT3 is migratable

RT1 just got pushed behind RT3 and it is now not the next one to run.
RT2 will get this rq, RT3 will be pushed off, but say there's no more
rq's available to run RT1.

You just broke FIFO.

I'm sorry, I'm thinking this is trying too hard to fix the users poor
management of RT tasks.

If you have 2 or more RT tasks of the same prio, you had better be damn
aware that if one is pinned, it will block the others, even from
migrating. You should not have pinned tasks of the same prio as those
that can migrate.

And if your system depends on DL tasks working nicely with RT tasks on
the same CPU, it's even more broken by design.

-- Steve