Received: by 2002:a05:7412:f589:b0:e2:908c:2ebd with SMTP id eh9csp283973rdb; Tue, 31 Oct 2023 07:29:19 -0700 (PDT) X-Google-Smtp-Source: AGHT+IFqdzBy/dU68J6oJAYuyZiBCKZ96VmgZ+mX+W3S5vh1Q/tZqxWiYV/19TPxCO6KIJxg/mCf X-Received: by 2002:a05:6a20:1613:b0:136:e26b:6401 with SMTP id l19-20020a056a20161300b00136e26b6401mr17062784pzj.16.1698762559573; Tue, 31 Oct 2023 07:29:19 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1698762559; cv=none; d=google.com; s=arc-20160816; b=POWpIjOF+W+/4E4KTJbt3Jt1p5Y1YfNK33/YGaIyVb9BlY3Kwn/yfBalCatpDWX3RE netWU57Ed4Nm4Jp+3cZL0vGBpq7NxijivZIQNbD7u5cFMJvjhjDcibfDBzv06J0nmWVA bZPmEsq6t3djC2VpzrZznnYoQzXyjMDB2jc8kq30YhPj0wuTBinZ7neavPFqxFgv8xwL uKl6fTR0lITtaZr526dj4WlJUqaJcrIYYPa4JJrdm3mftT0BpxXRQUt6526Cr7gPEsjQ JFMCckCCiRtsHF1Owxv+Mg20zkRoU0iyBWn7+60eTaRMQ7LtQABM+W0FcZX1XGtiIpHy FNnQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:in-reply-to:content-disposition:mime-version :references:reply-to:message-id:subject:cc:to:from:date :dkim-signature; bh=GgCPLz+vjuOgBxDvd31ZYbky1iTYDXFJ9ZvoDt7Yz50=; fh=7UGiWZxzXVD8jAKT0B2lYyzqrCZUJrenfbQ/yPrNi4E=; b=IhOMkAAgbViMOqwhJGPJUdT2jkWy5BZgO0jCqUTyIJLhJdpFYCuQzg4IMa+hM6MhBV NsJ3mblJl0eDVDcdgNV2+f0Ae6xZM6Ss8pI8mD62BrXZQn3r8FjLVophhOzfXoJYf7oy u8tDo/0C36XOT9CZDrzEEskdXFe6oViAXUpKgZoiaBPId+Xvc6+inj5LClrCRJU8P4u3 St1jIX0SB7jjmYmoLtSNb9Cy71G4ts1mp3LTAuCneLlB20jWk6BGurvCpbWxwjgUUe/X p6BcY8mmd9O/oDFgZ6WWMRZ09daNNo5vjLZRX2RQevZ4513Q2uIAQIW0DWrmGSpTp5b9 xbrw== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@kernel.org header.s=k20201202 header.b=LWaBzzWX; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::3:8 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=kernel.org Return-Path: Received: from fry.vger.email (fry.vger.email. [2620:137:e000::3:8]) by mx.google.com with ESMTPS id fa39-20020a056a002d2700b006bd8c5a3b49si1085176pfb.90.2023.10.31.07.29.19 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 31 Oct 2023 07:29:19 -0700 (PDT) Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::3:8 as permitted sender) client-ip=2620:137:e000::3:8; Authentication-Results: mx.google.com; dkim=pass header.i=@kernel.org header.s=k20201202 header.b=LWaBzzWX; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::3:8 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=kernel.org Received: from out1.vger.email (depot.vger.email [IPv6:2620:137:e000::3:0]) by fry.vger.email (Postfix) with ESMTP id C296C8021EC2; Tue, 31 Oct 2023 07:29:16 -0700 (PDT) X-Virus-Status: Clean X-Virus-Scanned: clamav-milter 0.103.10 at fry.vger.email Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S233397AbjJaO3J (ORCPT + 99 others); Tue, 31 Oct 2023 10:29:09 -0400 Received: from lindbergh.monkeyblade.net ([23.128.96.19]:37344 "EHLO lindbergh.monkeyblade.net" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S231481AbjJaO3I (ORCPT ); Tue, 31 Oct 2023 10:29:08 -0400 Received: from smtp.kernel.org (relay.kernel.org [52.25.139.140]) by lindbergh.monkeyblade.net (Postfix) with ESMTPS id 9D5DADA for ; Tue, 31 Oct 2023 07:29:05 -0700 (PDT) Received: by smtp.kernel.org (Postfix) with ESMTPSA id 319A0C433C8; Tue, 31 Oct 2023 14:29:05 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=kernel.org; s=k20201202; t=1698762545; bh=guw3dfZozSqjhDDwvIz1fj5XioYuk97iCOFTzn8X/W0=; h=Date:From:To:Cc:Subject:Reply-To:References:In-Reply-To:From; b=LWaBzzWXpnobF1TT0GSQzsJkt/2upHJyvgwHlpl+qf6E4uWQWhU0MVIFhxpUTiSho PoBZdS4xeCr5Ql0fLxDcddgZrTqRb92hkGkRrPCqoBHXfBUL4jGGyVfBIP22uAUMru qHI1YYSE2LR4HIz5eUiYKxubqUuTPw0/eIqh+ORUs/4/hHuhsw/31CDtuslTghIzQw 0Br6HeLl6qDlKK5+TGyTI455D9iusV9DWUDHUoEK9ATFU3tMuPHe/VDqh9uOQBux2U 0CJiD1iKjkgZZT3J+Ytl/D0UvhICpsBicvdki/X1KOldXfDwofpW3bNag5lMabkIPi W6Or0u8VmLKtw== Received: by paulmck-ThinkPad-P17-Gen-1.home (Postfix, from userid 1000) id B9135CE0DD0; Tue, 31 Oct 2023 07:29:04 -0700 (PDT) Date: Tue, 31 Oct 2023 07:29:04 -0700 From: "Paul E. McKenney" To: Peter Zijlstra Cc: Waiman Long , Ingo Molnar , Juri Lelli , Vincent Guittot , Dietmar Eggemann , Steven Rostedt , Ben Segall , Mel Gorman , Daniel Bristot de Oliveira , Valentin Schneider , linux-kernel@vger.kernel.org, Phil Auld , kernel test robot , aubrey.li@linux.intel.com, yu.c.chen@intel.com, frederic@kernel.org, quic_neeraju@quicinc.com, joel@joelfernandes.org, josh@joshtriplett.org, boqun.feng@gmail.com, mathieu.desnoyers@efficios.com, jiangshanlai@gmail.com, qiang.zhang1211@gmail.com Subject: Re: [PATCH] sched: Don't call any kfree*() API in do_set_cpus_allowed() Message-ID: Reply-To: paulmck@kernel.org References: <20231031001418.274187-1-longman@redhat.com> <20231031085308.GB35651@noisy.programming.kicks-ass.net> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20231031085308.GB35651@noisy.programming.kicks-ass.net> X-Spam-Status: No, score=-1.7 required=5.0 tests=DKIMWL_WL_HIGH,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,MAILING_LIST_MULTI, SPF_HELO_NONE,SPF_PASS,T_SCC_BODY_TEXT_LINE autolearn=unavailable autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on fry.vger.email Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org X-Greylist: Sender passed SPF test, not delayed by milter-greylist-4.6.4 (fry.vger.email [0.0.0.0]); Tue, 31 Oct 2023 07:29:17 -0700 (PDT) On Tue, Oct 31, 2023 at 09:53:08AM +0100, Peter Zijlstra wrote: > On Mon, Oct 30, 2023 at 08:14:18PM -0400, Waiman Long wrote: > > Commit 851a723e45d1 ("sched: Always clear user_cpus_ptr in > > do_set_cpus_allowed()") added a kfree() call to free any user > > provided affinity mask, if present. It was changed later to use > > kfree_rcu() in commit 9a5418bc48ba ("sched/core: Use kfree_rcu() > > in do_set_cpus_allowed()") to avoid a circular locking dependency > > problem. > > > > It turns out that even kfree_rcu() isn't safe for avoiding > > circular locking problem. As reported by kernel test robot, > > the following circular locking dependency still exists: > > > > &rdp->nocb_lock --> rcu_node_0 --> &rq->__lock > > > > So no kfree*() API can be used in do_set_cpus_allowed(). To prevent > > memory leakage, the unused user provided affinity mask is now saved in a > > lockless list to be reused later by subsequent sched_setaffinity() calls. > > > > Without kfree_rcu(), the internal cpumask_rcuhead union can be removed > > too as a lockless list entry only holds a single pointer. > > > > Fixes: 851a723e45d1 ("sched: Always clear user_cpus_ptr in do_set_cpus_allowed()") > > Bah, or we fix RCU... Paul, how insane is the below? Other than the de-alphabetization of the local variables, it looks plausible to me. Frederic's suggestion also sounds plausible to me. Thanx, Paul > --- > kernel/rcu/tree.c | 31 +++++++++++++++++++++---------- > 1 file changed, 21 insertions(+), 10 deletions(-) > > diff --git a/kernel/rcu/tree.c b/kernel/rcu/tree.c > index cb1caefa8bd0..4b8e26a028ee 100644 > --- a/kernel/rcu/tree.c > +++ b/kernel/rcu/tree.c > @@ -754,15 +754,20 @@ static int dyntick_save_progress_counter(struct rcu_data *rdp) > } > > /* > - * Return true if the specified CPU has passed through a quiescent > - * state by virtue of being in or having passed through an dynticks > - * idle state since the last call to dyntick_save_progress_counter() > - * for this same CPU, or by virtue of having been offline. > + * Returns positive if the specified CPU has passed through a quiescent state > + * by virtue of being in or having passed through an dynticks idle state since > + * the last call to dyntick_save_progress_counter() for this same CPU, or by > + * virtue of having been offline. > + * > + * Returns negative if the specified CPU needs a force resched. > + * > + * Returns zero otherwise. > */ > static int rcu_implicit_dynticks_qs(struct rcu_data *rdp) > { > - unsigned long jtsq; > struct rcu_node *rnp = rdp->mynode; > + unsigned long jtsq; > + int ret = 0; > > /* > * If the CPU passed through or entered a dynticks idle phase with > @@ -847,8 +852,8 @@ static int rcu_implicit_dynticks_qs(struct rcu_data *rdp) > (time_after(jiffies, READ_ONCE(rdp->last_fqs_resched) + jtsq * 3) || > rcu_state.cbovld)) { > WRITE_ONCE(rdp->rcu_urgent_qs, true); > - resched_cpu(rdp->cpu); > WRITE_ONCE(rdp->last_fqs_resched, jiffies); > + ret = -1; > } > > /* > @@ -891,7 +896,7 @@ static int rcu_implicit_dynticks_qs(struct rcu_data *rdp) > } > } > > - return 0; > + return ret; > } > > /* Trace-event wrapper function for trace_rcu_future_grace_period. */ > @@ -2255,11 +2260,11 @@ void rcu_sched_clock_irq(int user) > */ > static void force_qs_rnp(int (*f)(struct rcu_data *rdp)) > { > - int cpu; > + unsigned long mask, rsmask = 0; > unsigned long flags; > - unsigned long mask; > struct rcu_data *rdp; > struct rcu_node *rnp; > + int cpu, ret; > > rcu_state.cbovld = rcu_state.cbovldnext; > rcu_state.cbovldnext = false; > @@ -2284,10 +2289,13 @@ static void force_qs_rnp(int (*f)(struct rcu_data *rdp)) > } > for_each_leaf_node_cpu_mask(rnp, cpu, rnp->qsmask) { > rdp = per_cpu_ptr(&rcu_data, cpu); > - if (f(rdp)) { > + ret = f(rdp); > + if (ret > 0) { > mask |= rdp->grpmask; > rcu_disable_urgency_upon_qs(rdp); > } > + if (ret < 0) > + rsmask |= 1UL << (cpu - rnp->grplo); > } > if (mask != 0) { > /* Idle/offline CPUs, report (releases rnp->lock). */ > @@ -2296,6 +2304,9 @@ static void force_qs_rnp(int (*f)(struct rcu_data *rdp)) > /* Nothing to do here, so just drop the lock. */ > raw_spin_unlock_irqrestore_rcu_node(rnp, flags); > } > + > + for_each_leaf_node_cpu_mask(rnp, cpu, rsmask) > + resched_cpu(cpu); > } > } >