lkml.org 
[lkml]   [2022]   [May]   [31]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
From
SubjectRe: [PATCH v2] sched: Queue task on wakelist in the same llc if the wakee cpu is idle
Date
On 31/05/22 15:20, Tianchen Ding wrote:
> On 2022/5/31 00:24, Valentin Schneider wrote:
>>
>> This feels a bit like a generalization of
>>
>> 2ebb17717550 ("sched/core: Offload wakee task activation if it the wakee is descheduling")
>>
>> Given rq->curr is updated before prev->on_cpu is cleared, the waker
>> executing ttwu_queue_cond() can observe:
>>
>> p->on_rq=0
>> p->on_cpu=1
>> rq->curr=swapper/x (aka idle task)
>>
>> So your addition of available_idle_cpu() in ttwu_queue_cond() (sort of)
>> matches that when invoked via:
>>
>> if (smp_load_acquire(&p->on_cpu) &&
>> ttwu_queue_wakelist(p, task_cpu(p), wake_flags | WF_ON_CPU))
>> goto unlock;
>>
>> but it also affects
>>
>> ttwu_queue(p, cpu, wake_flags);
>>
>> at the tail end of try_to_wake_up().
>
> Yes. This part is what we mainly want to affect. The above WF_ON_CPU is
> not our point.
>

Right.

>>
>> With all that in mind, I'm curious whether your patch is functionaly close
>> to the below.
>>
>> ---
>> diff --git a/kernel/sched/core.c b/kernel/sched/core.c
>> index 66c4e5922fe1..ffd43264722a 100644
>> --- a/kernel/sched/core.c
>> +++ b/kernel/sched/core.c
>> @@ -3836,7 +3836,7 @@ static inline bool ttwu_queue_cond(int cpu, int wake_flags)
>> * the soon-to-be-idle CPU as the current CPU is likely busy.
>> * nr_running is checked to avoid unnecessary task stacking.
>> */
>> - if ((wake_flags & WF_ON_CPU) && cpu_rq(cpu)->nr_running <= 1)
>> + if (cpu_rq(cpu)->nr_running <= 1)
>> return true;
>>
>> return false;
>
> It's a little different. This may bring extra IPIs when nr_running == 1
> and the current task on wakee cpu is not the target wakeup task (i.e.,
> rq->curr == another_task && rq->curr != p). Then this another_task may
> be disturbed by IPI which is not expected. So IMO the promise by
> WF_ON_CPU is necessary.

You're right, actually taking a second look at that WF_ON_CPU path,
shouldn't the existing condition be:

if ((wake_flags & WF_ON_CPU) && !cpu_rq(cpu)->nr_running)

? Per the p->on_rq and p->on_cpu ordering, if we have WF_ON_CPU here then
we must have !p->on_rq, so the deactivate has happened, thus the task
being alone on the rq implies nr_running==0.

@Mel, do you remember why you went for <=1 here? I couldn't find any clues
on the original posting.

\
 
 \ /
  Last update: 2022-05-31 13:51    [W:0.086 / U:0.220 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site