From: "Dr. David Alan Gilbert" <dave@treblig.org>
To: "Paul E. McKenney" <paulmck@kernel.org>
Cc: Julia Lawall <julia.lawall@inria.fr>,
Theodore Tso <tytso@mit.edu>,
Steven Rostedt <rostedt@goodmis.org>,
Sasha Levin <sashal@kernel.org>,
Gabriele Paoloni <gpaoloni@redhat.com>,
Kate Stewart <kstewart@linuxfoundation.org>,
Chuck Wolber <chuckwolber@gmail.com>,
Dmitry Vyukov <dvyukov@google.com>,
Mark Rutland <mark.rutland@arm.com>,
Thomas Gleixner <tglx@linutronix.de>,
Lorenzo Stoakes <lorenzo.stoakes@oracle.com>,
Shuah Khan <skhan@linuxfoundation.org>,
Chris Mason <clm@meta.com>,
linux-kernel@vger.kernel.org
Subject: Re: Follow-up on Linux-kernel code accessibility
Date: Sun, 28 Dec 2025 12:46:01 +0000 [thread overview]
Message-ID: <aVEmiQBlnGO-tOlT@gallifrey> (raw)
In-Reply-To: <8005c35a-d8dc-4908-93e5-46bd206f0139@paulmck-laptop>
* Paul E. McKenney (paulmck@kernel.org) wrote:
<snip>
> > > >
> > > > j = (j + 2) / 3;
> > >
> > > "Divide by three rounding up."
> >
> > That's not *that* obvious, but ok, but then why 3?
> >
> > Then later there is:
> > WRITE_ONCE(rcu_state.jiffies_kick_kthreads,
> > jiffies + (j ? 3 * j : 2));
> >
> > Which I assume is related - but then why the 2?
>
> Would the two of you (Julia and Dave) like to join in with Steve and
> myself walking through this function and its caller?
Not sure what you mean join in; not really set up for a call etc at the
moment, but happy to continue a mail chain.
But, if we're talking about the understandability of these few lines,
it looks like this could be something like:
// We have 3 ..... for the case when ...
const unsigned long something = 3;
....
j = DIV_ROUND_UP(j, something);
which would seem to make it more readable with very little effort.
(Hmm, since j is unsigned long why do we have a test of:
if (j <= 0)
j = 1
)
Dave
> > Curiosly my local tame Qwen3 LLM explained the rounding up:
> >
> > > I see some code doing 'j = (j + 2) / 3' - what's it trying to do?
> > The expression `j = (j + 2) / 3` is a clever way to **round up an
> > integer division by 3** — that is, it computes the ceiling of `j / 3`
> > for non-negative integers.
>
> Good to see!
>
> Thanx, Paul
>
> > Dave
> >
> > >
> > > Thanx, Paul
> > >
> > > > > > julia
> > > > > >
> > > > > >
> > > > > >
> > > > > > >
> > > > > > > Thanx, Paul
> > > > > > >
> > > > > > > [1] https://docs.google.com/document/d/1GCdQC8SDbb54W1shjEXqGZ0Rq8a6kIeYutdSIajfpLA/edit?pli=1&tab=t.0#heading=h.ytgz5i5df43s
> > > > > > >
> > > > > > > [2] https://www.kernel.org/pub/linux/kernel/people/paulmck/perfbook/perfbook.html
> > > > > > >
> > > > >
> > >
> > --
> > -----Open up your eyes, open up your mind, open up your code -------
> > / Dr. David Alan Gilbert | Running GNU/Linux | Happy \
> > \ dave @ treblig.org | | In Hex /
> > \ _________________________|_____ http://www.treblig.org |_______/
--
-----Open up your eyes, open up your mind, open up your code -------
/ Dr. David Alan Gilbert | Running GNU/Linux | Happy \
\ dave @ treblig.org | | In Hex /
\ _________________________|_____ http://www.treblig.org |_______/
next prev parent reply other threads:[~2025-12-28 12:46 UTC|newest]
Thread overview: 58+ messages / expand[flat|nested] mbox.gz Atom feed top
2025-12-18 19:49 Follow-up on Linux-kernel code accessibility Paul E. McKenney
2025-12-18 22:09 ` David Laight
2025-12-19 0:20 ` Paul E. McKenney
2025-12-19 6:51 ` Julia Lawall
2025-12-19 17:09 ` Theodore Tso
2025-12-19 17:59 ` Sasha Levin
2025-12-19 18:28 ` Steven Rostedt
2025-12-20 0:36 ` Paul E. McKenney
2025-12-22 15:42 ` Steven Rostedt
2025-12-23 23:46 ` Paul E. McKenney
2025-12-24 14:11 ` Steven Rostedt
2025-12-25 15:03 ` Theodore Tso
2025-12-25 18:22 ` Paul E. McKenney
2025-12-26 16:48 ` Steven Rostedt
2025-12-26 18:44 ` Paul E. McKenney
2025-12-26 19:22 ` Theodore Tso
2025-12-26 20:35 ` Steven Rostedt
2025-12-27 1:04 ` Paul E. McKenney
2025-12-27 6:16 ` Julia Lawall
2025-12-27 23:28 ` Paul E. McKenney
2025-12-27 23:32 ` Julia Lawall
2025-12-28 1:26 ` Paul E. McKenney
2025-12-28 1:48 ` Dr. David Alan Gilbert
2025-12-28 5:16 ` Paul E. McKenney
2025-12-28 9:36 ` Julia Lawall
2025-12-29 15:40 ` Steven Rostedt
2025-12-29 16:16 ` Paul E. McKenney
2025-12-29 17:02 ` Dr. David Alan Gilbert
2025-12-29 17:37 ` Paul E. McKenney
2025-12-29 18:10 ` Dr. David Alan Gilbert
2025-12-29 18:59 ` Paul E. McKenney
2025-12-29 20:35 ` Steven Rostedt
2025-12-29 22:05 ` Dr. David Alan Gilbert
2026-01-09 1:35 ` Paul E. McKenney
2026-01-09 1:34 ` Paul E. McKenney
2026-01-09 14:58 ` Steven Rostedt
2026-01-09 18:31 ` Paul E. McKenney
2026-01-11 3:30 ` Theodore Tso
2026-01-11 17:11 ` Steven Rostedt
2026-01-12 5:06 ` Paul E. McKenney
2026-01-12 7:05 ` Julia Lawall
2026-01-12 16:57 ` Paul E. McKenney
2025-12-29 23:50 ` Theodore Tso
2025-12-30 0:19 ` Steven Rostedt
2025-12-30 0:34 ` Steven Rostedt
2026-01-09 2:23 ` Paul E. McKenney
2025-12-28 12:46 ` Dr. David Alan Gilbert [this message]
2025-12-29 0:03 ` Paul E. McKenney
2025-12-25 18:18 ` Paul E. McKenney
2025-12-26 16:51 ` Steven Rostedt
2025-12-26 18:36 ` Paul E. McKenney
2025-12-19 21:05 ` Chris Mason
2025-12-20 4:00 ` Theodore Tso
2026-01-06 18:08 ` Lorenzo Stoakes
2026-01-13 13:03 ` Chris Mason
2025-12-20 0:31 ` Paul E. McKenney
2026-01-06 18:05 ` Lorenzo Stoakes
2026-01-09 1:40 ` Paul E. McKenney
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=aVEmiQBlnGO-tOlT@gallifrey \
--to=dave@treblig.org \
--cc=chuckwolber@gmail.com \
--cc=clm@meta.com \
--cc=dvyukov@google.com \
--cc=gpaoloni@redhat.com \
--cc=julia.lawall@inria.fr \
--cc=kstewart@linuxfoundation.org \
--cc=linux-kernel@vger.kernel.org \
--cc=lorenzo.stoakes@oracle.com \
--cc=mark.rutland@arm.com \
--cc=paulmck@kernel.org \
--cc=rostedt@goodmis.org \
--cc=sashal@kernel.org \
--cc=skhan@linuxfoundation.org \
--cc=tglx@linutronix.de \
--cc=tytso@mit.edu \
/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