From: Peter Zijlstra <peterz@infradead.org>
To: Nathan Chancellor <nathan@kernel.org>
Cc: Tim Chen <tim.c.chen@linux.intel.com>,
Shrikanth Hegde <sshegde@linux.ibm.com>,
linux-kernel@vger.kernel.org, linux-tip-commits@vger.kernel.org,
Chen Yu <yu.c.chen@intel.com>,
Vincent Guittot <vincent.guittot@linaro.org>,
K Prateek Nayak <kprateek.nayak@amd.com>,
Srikar Dronamraju <srikar@linux.ibm.com>,
Mohini Narkhede <mohini.narkhede@intel.com>,
x86@kernel.org
Subject: Re: [tip: sched/core] sched/fair: Skip sched_balance_running cmpxchg when balance is not due
Date: Fri, 21 Nov 2025 10:00:59 +0100 [thread overview]
Message-ID: <20251121090059.GK4067720@noisy.programming.kicks-ass.net> (raw)
In-Reply-To: <20251121062600.GA256626@ax162>
On Thu, Nov 20, 2025 at 11:26:00PM -0700, Nathan Chancellor wrote:
> On Tue, Nov 18, 2025 at 10:54:32AM +0100, Peter Zijlstra wrote:
> > On Mon, Nov 17, 2025 at 10:55:07AM -0800, Tim Chen wrote:
> >
> > > > if (!need_unlock && (sd->flags & SD_SERIALIZE)) {
> > > > - if (!atomic_try_cmpxchg_acquire(&sched_balance_running, 0, 1))
> > >
> > > The second argument of atomic_try_cmpxchg_acquire is "int *old" while that of atomic_cmpxchg_acquire
> > > is "int old". So the above check would result in NULL pointer access. Probably have
> > > to do something like the following to use atomic_try_cmpxchg_acquire()
> > >
> > > int zero = 0;
> > > if (!atomic_try_cmpxchg_acquire(&sched_balance_running, &zero, 1))
> > >
> > > Otherwise we should do atomic_cmpxchg_acquire() as below
> >
> > Yes, and I'm all mightily miffed all the compilers accept 0 (which is
> > int) for an 'int *' argument without so much as a warning :/
>
> The C11 standard says in 6.3.2.3p3
>
> An integer constant expression with the value 0, or such an expression
> cast to type void *, is called a null pointer constant.
That's just bloody ludicrous :-(, I mean, the explicit cast to void*
sure, but the implicit conversion is just idiotic. I realize there's
legacy here, but urgh.
> which seems to indicate to me that
>
> int *foo = 0;
>
> and
>
> #define NULL (void *)0
> int *foo = NULL;
>
> have to be treated the same way :/ I think that is a big part of the
> motivation to bring nullptr into C in C23:
>
> https://www.open-std.org/jtc1/sc22/wg14/www/docs/n3042.htm
Even without that, just dropping the implicit conversion is a giant step
forward.
> > Nathan, you looked into this a bit yesterday, afaict there is:
> >
> > -Wzero-as-null-pointer-constant
> >
> > which is supposed to issue a warn here, but I can't get clang-22 to
> > object :/ (GCC doesn't take that warning for C mode, only C++, perhaps
> > that's the problem?).
>
> Right, it appears to be the same case for clang, notice the comment in
> diagnoseZeroToNullptrConversion():
>
> https://github.com/llvm/llvm-project/commit/d7ba86b6bf54740dd4007e65a927151cb9f510b4
>
> That warning should probably be updated to work for C23 but that does
> not really help us now because nullptr is not available in older
> standards (and I think the support for C23 is only solid in really
> recent compilers IIUC).
So personally I really don't see a problem with '(void *)0', what if
anything does nullptr actually bring over that?
> > Help?
>
> Maybe we could have something like -Wnon-literal-null-conversion-strict
> in clang that would behave like -Wnon-literal-null-conversion but warn
> even in the literal zero conversion case (i.e., require a 'void *'
> cast)... That does not really help GCC though since it does not warn on
> any case of implicit conversion to NULL:
Yes, that makes sense. Perhaps we can even convince GCC folks to also
implement this ;-)
Just having it in clang would mean clangd will have the warning and thus
all the LSP enabled editors will provide the warn, which is a win.
next prev parent reply other threads:[~2025-11-21 9:01 UTC|newest]
Thread overview: 26+ messages / expand[flat|nested] mbox.gz Atom feed top
2025-11-10 18:47 [PATCH v4] " Tim Chen
2025-11-11 6:24 ` Shrikanth Hegde
2025-11-12 8:02 ` Srikar Dronamraju
2025-11-12 10:37 ` Peter Zijlstra
2025-11-12 10:45 ` Peter Zijlstra
2025-11-12 11:09 ` Shrikanth Hegde
2025-11-12 11:21 ` Peter Zijlstra
2025-11-12 21:10 ` Tim Chen
2025-11-13 4:25 ` Shrikanth Hegde
2025-11-13 17:49 ` Tim Chen
2025-11-12 11:25 ` Srikar Dronamraju
2025-11-12 13:39 ` Peter Zijlstra
2025-11-12 13:44 ` Peter Zijlstra
2025-11-12 16:02 ` Srikar Dronamraju
2025-11-12 10:53 ` Shrikanth Hegde
2025-11-14 12:19 ` [tip: sched/core] " tip-bot2 for Tim Chen
2025-11-15 20:56 ` Shrikanth Hegde
2025-11-17 18:55 ` Tim Chen
2025-11-17 19:00 ` K Prateek Nayak
2025-11-27 14:09 ` Peter Zijlstra
2025-11-18 9:54 ` Peter Zijlstra
2025-11-18 9:56 ` Peter Zijlstra
2025-11-21 6:26 ` Nathan Chancellor
2025-11-21 9:00 ` Peter Zijlstra [this message]
2025-11-17 19:06 ` Borislav Petkov
2025-11-17 16:23 tip-bot2 for Tim Chen
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20251121090059.GK4067720@noisy.programming.kicks-ass.net \
--to=peterz@infradead.org \
--cc=kprateek.nayak@amd.com \
--cc=linux-kernel@vger.kernel.org \
--cc=linux-tip-commits@vger.kernel.org \
--cc=mohini.narkhede@intel.com \
--cc=nathan@kernel.org \
--cc=srikar@linux.ibm.com \
--cc=sshegde@linux.ibm.com \
--cc=tim.c.chen@linux.intel.com \
--cc=vincent.guittot@linaro.org \
--cc=x86@kernel.org \
--cc=yu.c.chen@intel.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox
all inboxes | Powered by JetHome®