mirror of https://lore.kernel.org/lkml/
 help / color / mirror / Atom feed
From: Mathieu Desnoyers <mathieu.desnoyers@efficios.com>
To: paulmck@kernel.org, Bradley Morgan <brads@mainlining.org>
Cc: boqun@kernel.org, frederic@kernel.org, include@grrlz.net,
	jiangshanlai@gmail.com, joelagnelf@nvidia.com,
	josh@joshtriplett.org, linux-kernel@vger.kernel.org,
	neeraj.upadhyay@kernel.org, qiang.zhang@linux.dev,
	rcu@vger.kernel.org, rostedt@goodmis.org, urezki@gmail.com
Subject: Re: [PATCH] hazptrtorture: Fix inverted sleep condition in do_pending kthread
Date: Sun, 6 Sep 2026 09:09:53 -0400	[thread overview]
Message-ID: <28838ba4-8618-45d0-9994-3efee251bce2@efficios.com> (raw)
In-Reply-To: <b1abee12-5a3a-4750-be37-a3157c7e2217@paulmck-laptop>

On 2026-09-05 16:40, Paul E. McKenney wrote:
> On Fri, Sep 04, 2026 at 06:28:45PM +0100, Bradley Morgan wrote:
[...]
> I would not say "no" to a fix for this issue:
> 
> https://lore.kernel.org/all/EE579805-42F2-4C58-B752-F28779EEB717@grrlz.net/

I'm not sure this URL actually points to a relevant issue ?

> 
> Once that is in place, I would be happy to put this back into -next.
> 
> At some point, we will need to get rid of the concept of wildcard hazard
> pointers, as those end up instead emulating RCU, but I don't see that
> as an immediate obstacle.

I already have the implementation which eliminates the wildcard if we
care about this. It was part of a previous hazptr series version.

Do you want me to resurrect it on top of the current series ?
This depends on:

- ptr_eq(),
- then use ptr_eq() to compare the loaded pointer (pre mb)
   with the re-loaded pointer (post-mb).

See: https://lore.kernel.org/all/20251218014531.3793471-1-mathieu.desnoyers@efficios.com/

Thanks,

Mathieu

-- 
Mathieu Desnoyers
EfficiOS Inc.
https://www.efficios.com

  parent reply	other threads:[~2026-09-06 13:09 UTC|newest]

Thread overview: 18+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2026-08-04  0:03 Bradley Morgan
2026-08-04  3:46 ` Paul E. McKenney
2026-09-04 13:01 ` Mathieu Desnoyers
2026-09-04 16:00   ` Paul E. McKenney
2026-09-04 17:28     ` Bradley Morgan
2026-09-05 20:40       ` Paul E. McKenney
2026-09-05 21:08         ` Bradley Morgan
2026-09-05 22:54           ` Paul E. McKenney
2026-09-06 10:44             ` Bradley Morgan
2026-09-06 13:09         ` Mathieu Desnoyers [this message]
2026-09-06 13:20           ` Bradley Morgan
2026-09-06 13:21             ` Bradley Morgan
2026-09-06 18:46           ` Paul E. McKenney
2026-09-06 18:56             ` Bradley Morgan
2026-09-06 23:16               ` Paul E. McKenney
2026-09-07 18:11                 ` Bradley Morgan
2026-09-07 20:18                   ` Paul E. McKenney
2026-09-07 20:41                     ` Bradley Morgan

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=28838ba4-8618-45d0-9994-3efee251bce2@efficios.com \
    --to=mathieu.desnoyers@efficios.com \
    --cc=boqun@kernel.org \
    --cc=brads@mainlining.org \
    --cc=frederic@kernel.org \
    --cc=include@grrlz.net \
    --cc=jiangshanlai@gmail.com \
    --cc=joelagnelf@nvidia.com \
    --cc=josh@joshtriplett.org \
    --cc=linux-kernel@vger.kernel.org \
    --cc=neeraj.upadhyay@kernel.org \
    --cc=paulmck@kernel.org \
    --cc=qiang.zhang@linux.dev \
    --cc=rcu@vger.kernel.org \
    --cc=rostedt@goodmis.org \
    --cc=urezki@gmail.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®