Received: by 2002:a05:6a10:22f:0:0:0:0 with SMTP id 15csp3301605pxk; Mon, 21 Sep 2020 10:04:58 -0700 (PDT) X-Google-Smtp-Source: ABdhPJwOsP7C5Zlr/kWW0TZWSzLNihsmepBvlmH6LY+oVFnZwqAJGJpxns82MrAqyKeebGheDcgo X-Received: by 2002:a17:906:4a44:: with SMTP id a4mr420311ejv.492.1600707897838; Mon, 21 Sep 2020 10:04:57 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1600707897; cv=none; d=google.com; s=arc-20160816; b=WGDrM9AVBLl3QLSRwxyAXRLUsTO2wuL4SrH+0JJawyoK1ByWUrOcg/L5xyRqhSu1V2 Dd77RqBs3nK2w2g/zcI4LXrd/lOyh9jfWcf1THaLxyqapEu61jyJu2I8AbAgYQfzCPQT qboqv5WKrhIyRUat5LggQEK2vKvANln9/2g4Fw/BiWDyVomnfbsxp6vyxJkO9V2vspTZ ScyXHLeK9Tv8T4G0dJ5Kl8vnH9vmf7V9atassu98wUrVyv18NBM5lIF9NU2LNRZmmrER AX8Ur8RJPU97TNgV5aj8rVdVKgjYnZF9JMjFj9GWKj8EZNieQYaXZ9KYW9ctQfNAH9s7 joAA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:mime-version:references:subject:cc:to:from:date :user-agent:message-id:dkim-signature; bh=Vn8xEdnzBbU5A/tqwISeNHOO/bA4q2AsYj+oleOUfrY=; b=VH7vrtCZblNmZQRlXgXYMvyJLarjV83bgJmU1Ym+Pms4qvK6UpcZ8OQ5cxA7Z/VN4a Uxwz0VYv1JNGqNnLEhFE8B89ZwL2YPsZw7ZO2c6hLyOfjznPeyXdZWcBzxrV/PdrU0xf oVFTBm8GNj/yJyS7wBGyAbJLeSFxZ7SJrM1ucbuatud49Wnf9mKQyWM0uzABl2uuyvc8 ftsPWZ569TDNVEPNLZOW6pU9DqgSDuoDV85cRH8nxDkQQkEFUwzQTSi06+1UVapyr0LE zxSiB9X3Vbvg4dC2pHUxwOUynx3f902iyhbP5J3GT3HqUnST0EGj0npOCcPRnY+el1kH IhaQ== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@infradead.org header.s=casper.20170209 header.b=AyTppzzR; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org Return-Path: Received: from vger.kernel.org (vger.kernel.org. [23.128.96.18]) by mx.google.com with ESMTP id bt16si8644679ejb.314.2020.09.21.10.04.32; Mon, 21 Sep 2020 10:04:57 -0700 (PDT) Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) client-ip=23.128.96.18; Authentication-Results: mx.google.com; dkim=pass header.i=@infradead.org header.s=casper.20170209 header.b=AyTppzzR; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1728872AbgIURBN (ORCPT + 99 others); Mon, 21 Sep 2020 13:01:13 -0400 Received: from lindbergh.monkeyblade.net ([23.128.96.19]:33422 "EHLO lindbergh.monkeyblade.net" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1729242AbgIUQjU (ORCPT ); Mon, 21 Sep 2020 12:39:20 -0400 Received: from casper.infradead.org (casper.infradead.org [IPv6:2001:8b0:10b:1236::1]) by lindbergh.monkeyblade.net (Postfix) with ESMTPS id 2A3F1C0613CF for ; Mon, 21 Sep 2020 09:39:20 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=infradead.org; s=casper.20170209; h=Content-Type:MIME-Version:References: Subject:Cc:To:From:Date:Message-ID:Sender:Reply-To:Content-Transfer-Encoding: Content-ID:Content-Description:In-Reply-To; bh=Vn8xEdnzBbU5A/tqwISeNHOO/bA4q2AsYj+oleOUfrY=; b=AyTppzzRt0jMlgZf1883PF/guB cwV6uODSzrRxJThlx6B8QbK4wFcLLKvemvfmwJf5OGL6BIAl/JVsYoMQf+/2qBGN0dLoSPSzAvWdq sKK81yb1rFEJcwCyh5DZtptLnMY66/JTDGlleOJPo/JJewM9PlvBj8+9zxbivQlMk4EpCvIJ24mI+ i1MWDkXoSIhTOPyxbvNFgfvbU44An15RLuyofSOjh6cwnvFpXwAAMcxWT/uwnHJBrDiHQU+70fdrH MdQC6C4Mws4NSBRxUKAGRNTjfAQP3kqr8l1WcEkPSCBT8TQdWHx6nx8y2NZe9ayZkbqCNeJrMdc5l pSRX4+4Q==; Received: from j217100.upc-j.chello.nl ([24.132.217.100] helo=noisy.programming.kicks-ass.net) by casper.infradead.org with esmtpsa (Exim 4.92.3 #3 (Red Hat Linux)) id 1kKOqD-000161-D4; Mon, 21 Sep 2020 16:39:01 +0000 Received: from hirez.programming.kicks-ass.net (hirez.programming.kicks-ass.net [192.168.1.225]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by noisy.programming.kicks-ass.net (Postfix) with ESMTPS id D9110307A60; Mon, 21 Sep 2020 18:38:59 +0200 (CEST) Received: by hirez.programming.kicks-ass.net (Postfix, from userid 0) id A4669201DA6D9; Mon, 21 Sep 2020 18:38:59 +0200 (CEST) Message-ID: <20200921163845.520504267@infradead.org> User-Agent: quilt/0.66 Date: Mon, 21 Sep 2020 18:36:00 +0200 From: Peter Zijlstra To: tglx@linutronix.de, mingo@kernel.org Cc: linux-kernel@vger.kernel.org, bigeasy@linutronix.de, qais.yousef@arm.com, swood@redhat.com, peterz@infradead.org, valentin.schneider@arm.com, juri.lelli@redhat.com, vincent.guittot@linaro.org, dietmar.eggemann@arm.com, rostedt@goodmis.org, bsegall@google.com, mgorman@suse.de, bristot@redhat.com, vincent.donnefort@arm.com Subject: [PATCH 3/9] sched/hotplug: Ensure only per-cpu kthreads run during hotplug References: <20200921163557.234036895@infradead.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org In preparation for migrate_disable(), make sure only per-cpu kthreads are allowed to run on !active CPUs. This is ran (as one of the very first steps) from the cpu-hotplug task which is a per-cpu kthread and completion of the hotplug operation only requires such tasks. This constraint enables the migrate_disable() implementation to wait for completion of all migrate_disable regions on this CPU at hotplug time without fear of any new ones starting. This replaces the unlikely(rq->balance_callbacks) test at the tail of context_switch with an unlikely(rq->balance_work), the fast path is not affected. Signed-off-by: Peter Zijlstra (Intel) --- kernel/sched/core.c | 114 ++++++++++++++++++++++++++++++++++++++++++++++++++- kernel/sched/sched.h | 5 ++ 2 files changed, 117 insertions(+), 2 deletions(-) --- a/kernel/sched/core.c +++ b/kernel/sched/core.c @@ -3513,8 +3513,10 @@ static inline struct callback_head *spli struct callback_head *head = rq->balance_callback; lockdep_assert_held(&rq->lock); - if (head) + if (head) { rq->balance_callback = NULL; + rq->balance_flags &= ~BALANCE_WORK; + } return head; } @@ -3535,6 +3537,22 @@ static inline void balance_callbacks(str } } +static bool balance_push(struct rq *rq); + +static inline void balance_switch(struct rq *rq) +{ + if (unlikely(rq->balance_flags)) { + /* + * Run the balance_callbacks, except on hotplug + * when we need to push the current task away. + */ + if (!IS_ENABLED(CONFIG_HOTPLUG_CPU) || + !(rq->balance_flags & BALANCE_PUSH) || + !balance_push(rq)) + __balance_callbacks(rq); + } +} + #else static inline void __balance_callbacks(struct rq *rq) @@ -3550,6 +3568,10 @@ static inline void balance_callbacks(str { } +static inline void balance_switch(struct rq *rq) +{ +} + #endif static inline void @@ -3577,7 +3599,7 @@ static inline void finish_lock_switch(st * prev into current: */ spin_acquire(&rq->lock.dep_map, 0, 0, _THIS_IP_); - __balance_callbacks(rq); + balance_switch(rq); raw_spin_unlock_irq(&rq->lock); } @@ -6836,6 +6858,89 @@ static void migrate_tasks(struct rq *dea rq->stop = stop; } + +static int __balance_push_cpu_stop(void *arg) +{ + struct task_struct *p = arg; + struct rq *rq = this_rq(); + struct rq_flags rf; + int cpu; + + raw_spin_lock_irq(&p->pi_lock); + rq_lock(rq, &rf); + + update_rq_clock(rq); + + if (task_rq(p) == rq && task_on_rq_queued(p)) { + cpu = select_fallback_rq(rq->cpu, p); + rq = __migrate_task(rq, &rf, p, cpu); + } + + rq_unlock(rq, &rf); + raw_spin_unlock_irq(&p->pi_lock); + + put_task_struct(p); + + return 0; +} + +static DEFINE_PER_CPU(struct cpu_stop_work, push_work); + +/* + * Ensure we only run per-cpu kthreads once the CPU goes !active. + */ +static bool balance_push(struct rq *rq) +{ + struct task_struct *push_task = rq->curr; + + lockdep_assert_held(&rq->lock); + SCHED_WARN_ON(rq->cpu != smp_processor_id()); + + /* + * Both the cpu-hotplug and stop task are in this case and are + * required to complete the hotplug process. + */ + if (is_per_cpu_kthread(push_task)) + return false; + + get_task_struct(push_task); + /* + * Temporarily drop rq->lock such that we can wake-up the stop task. + * Both preemption and IRQs are still disabled. + */ + raw_spin_unlock(&rq->lock); + stop_one_cpu_nowait(rq->cpu, __balance_push_cpu_stop, push_task, + this_cpu_ptr(&push_work)); + /* + * At this point need_resched() is true and we'll take the loop in + * schedule(). The next pick is obviously going to be the stop task + * which is_per_cpu_kthread() and will push this task away. + */ + raw_spin_lock(&rq->lock); + + return true; +} + +static void balance_push_set(int cpu, bool on) +{ + struct rq *rq = cpu_rq(cpu); + struct rq_flags rf; + + rq_lock_irqsave(rq, &rf); + if (on) + rq->balance_flags |= BALANCE_PUSH; + else + rq->balance_flags &= ~BALANCE_PUSH; + rq_unlock_irqrestore(rq, &rf); +} + +#else + +static inline bool balance_push(struct rq *rq) +{ + return false; +} + #endif /* CONFIG_HOTPLUG_CPU */ void set_rq_online(struct rq *rq) @@ -6921,6 +7026,8 @@ int sched_cpu_activate(unsigned int cpu) struct rq *rq = cpu_rq(cpu); struct rq_flags rf; + balance_push_set(cpu, false); + #ifdef CONFIG_SCHED_SMT /* * When going up, increment the number of cores with SMT present. @@ -6968,6 +7075,8 @@ int sched_cpu_deactivate(unsigned int cp */ synchronize_rcu(); + balance_push_set(cpu, true); + #ifdef CONFIG_SCHED_SMT /* * When going down, decrement the number of cores with SMT present. @@ -6981,6 +7090,7 @@ int sched_cpu_deactivate(unsigned int cp ret = cpuset_cpu_inactive(cpu); if (ret) { + balance_push_set(cpu, false); set_cpu_active(cpu, true); return ret; } --- a/kernel/sched/sched.h +++ b/kernel/sched/sched.h @@ -973,6 +973,7 @@ struct rq { unsigned long cpu_capacity_orig; struct callback_head *balance_callback; + unsigned char balance_flags; unsigned char nohz_idle_balance; unsigned char idle_balance; @@ -1384,6 +1385,9 @@ init_numa_balancing(unsigned long clone_ #ifdef CONFIG_SMP +#define BALANCE_WORK 0x01 +#define BALANCE_PUSH 0x02 + static inline void queue_balance_callback(struct rq *rq, struct callback_head *head, @@ -1397,6 +1401,7 @@ queue_balance_callback(struct rq *rq, head->func = (void (*)(struct callback_head *))func; head->next = rq->balance_callback; rq->balance_callback = head; + rq->balance_flags |= BALANCE_WORK; } #define rcu_dereference_check_sched_domain(p) \