From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1751695AbdGYRwa (ORCPT ); Tue, 25 Jul 2017 13:52:30 -0400 Received: from mx0b-001b2d01.pphosted.com ([148.163.158.5]:45166 "EHLO mx0a-001b2d01.pphosted.com" rhost-flags-OK-OK-OK-FAIL) by vger.kernel.org with ESMTP id S1751254AbdGYRw3 (ORCPT ); Tue, 25 Jul 2017 13:52:29 -0400 Date: Tue, 25 Jul 2017 10:52:25 -0700 From: "Paul E. McKenney" To: Peter Zijlstra Cc: Tejun Heo , Ingo Molnar , Steven Rostedt , linux-kernel@vger.kernel.org, Lai Jiangshan , kernel-team@fb.com Subject: Re: [PATCH RFC] sched: Allow migrating kthreads into online but inactive CPUs Reply-To: paulmck@linux.vnet.ibm.com References: <20170617121008.GB20758@htj.duckdns.org> <20170725165821.cejhb7v2s3kecems@hirez.programming.kicks-ass.net> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20170725165821.cejhb7v2s3kecems@hirez.programming.kicks-ass.net> User-Agent: Mutt/1.5.21 (2010-09-15) X-TM-AS-GCONF: 00 x-cbid: 17072517-0056-0000-0000-000003AC83F7 X-IBM-SpamModules-Scores: X-IBM-SpamModules-Versions: BY=3.00007424; HX=3.00000241; KW=3.00000007; PH=3.00000004; SC=3.00000214; SDB=6.00892775; UDB=6.00446263; IPR=6.00672939; BA=6.00005492; NDR=6.00000001; ZLA=6.00000005; ZF=6.00000009; ZB=6.00000000; ZP=6.00000000; ZH=6.00000000; ZU=6.00000002; MB=3.00016372; XFM=3.00000015; UTC=2017-07-25 17:52:27 X-IBM-AV-DETECTION: SAVI=unused REMOTE=unused XFE=unused x-cbparentid: 17072517-0057-0000-0000-000007E2A1DF Message-Id: <20170725175225.GT3730@linux.vnet.ibm.com> X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10432:,, definitions=2017-07-25_08:,, signatures=0 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=0 spamscore=0 suspectscore=0 malwarescore=0 phishscore=0 adultscore=0 bulkscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.0.1-1706020000 definitions=main-1707250279 Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Tue, Jul 25, 2017 at 06:58:21PM +0200, Peter Zijlstra wrote: > Hi, > > On Sat, Jun 17, 2017 at 08:10:08AM -0400, Tejun Heo wrote: > > Per-cpu workqueues have been tripping CPU affinity sanity checks while > > a CPU is being offlined. A per-cpu kworker ends up running on a CPU > > which isn't its target CPU while the CPU is online but inactive. > > > > While the scheduler allows kthreads to wake up on an online but > > inactive CPU, it doesn't allow a running kthread to be migrated to > > such a CPU, which leads to an odd situation where setting affinity on > > a sleeping and running kthread leads to different results. > > > > Each mem-reclaim workqueue has one rescuer which guarantees forward > > progress and the rescuer needs to bind itself to the CPU which needs > > help in making forward progress; however, due to the above issue, > > while set_cpus_allowed_ptr() succeeds, the rescuer doesn't end up on > > the correct CPU if the CPU is in the process of going offline, > > tripping the sanity check and executing the work item on the wrong > > CPU. > > > > This patch updates __migrate_task() so that kthreads can be migrated > > into an inactive but online CPU. > > > > Signed-off-by: Tejun Heo > > Reported-by: "Paul E. McKenney" > > Reported-by: Steven Rostedt > > Hmm.. so the rules for running on !active && online are slightly > stricter than just being a kthread, how about the below, does that work > too? I will give this a shot over night, Pacific Time, but the bug occurs with such low probability that a pass won't mean much. :-( Thanx, Paul > kernel/sched/core.c | 36 ++++++++++++++++++++++++++++++------ > 1 file changed, 30 insertions(+), 6 deletions(-) > > diff --git a/kernel/sched/core.c b/kernel/sched/core.c > index d3d39a283beb..59b667c16826 100644 > --- a/kernel/sched/core.c > +++ b/kernel/sched/core.c > @@ -894,6 +894,22 @@ void check_preempt_curr(struct rq *rq, struct task_struct *p, int flags) > } > > #ifdef CONFIG_SMP > + > +/* > + * Per-CPU kthreads are allowed to run on !actie && online CPUs, see > + * __set_cpus_allowed_ptr() and select_fallback_rq(). > + */ > +static inline bool is_per_cpu_kthread(struct task_struct *p) > +{ > + if (!(p->flags & PF_KTHREAD)) > + return false; > + > + if (p->nr_cpus_allowed != 1) > + return false; > + > + return true; > +} > + > /* > * This is how migration works: > * > @@ -951,8 +967,13 @@ struct migration_arg { > static struct rq *__migrate_task(struct rq *rq, struct rq_flags *rf, > struct task_struct *p, int dest_cpu) > { > - if (unlikely(!cpu_active(dest_cpu))) > - return rq; > + if (is_per_cpu_kthread(p)) { > + if (unlikely(!cpu_online(dest_cpu))) > + return rq; > + } else { > + if (unlikely(!cpu_active(dest_cpu))) > + return rq; > + } > > /* Affinity changed (again). */ > if (!cpumask_test_cpu(dest_cpu, &p->cpus_allowed)) > @@ -1482,10 +1503,13 @@ static int select_fallback_rq(int cpu, struct task_struct *p) > for (;;) { > /* Any allowed, online CPU? */ > for_each_cpu(dest_cpu, &p->cpus_allowed) { > - if (!(p->flags & PF_KTHREAD) && !cpu_active(dest_cpu)) > - continue; > - if (!cpu_online(dest_cpu)) > - continue; > + if (is_per_cpu_kthread(p)) { > + if (!cpu_online(dest_cpu)) > + continue; > + } else { > + if (!cpu_active(dest_cpu)) > + continue; > + } > goto out; > } > >