From: "Paul E. McKenney" <paulmck@kernel.org>
To: rcu@vger.kernel.org, linux-kernel@vger.kernel.org
Cc: kernel-team@meta.com,
Mathieu Desnoyers <mathieu.desnoyers@efficios.com>,
Boqun Feng <boqun@kernel.org>,
Steven Rostedt <rostedt@goodmis.org>,
lkmm@lists.linux.dev, Zqiang <qiang.zhang@linux.dev>,
Wang Lian <lianux.mm@gmail.com>,
Kunwu Chan <kunwu.chan@gmail.com>,
Bradley Morgan <brads@mainlining.org>,
"Paul E. McKenney" <paulmck@kernel.org>
Subject: [PATCH 11/28] hazptrtorture: Defer release of hazard pointers
Date: Fri, 18 Sep 2026 17:00:39 -0700 [thread overview]
Message-ID: <20260919000056.3132131-11-paulmck@kernel.org> (raw)
In-Reply-To: <e9669b34-12c2-4cf2-a887-315f581f0789@paulmck-laptop>
This commit creates the defer_modulus module parameter, so that the
releases of one out of defer_modulus hazard-pointer acquisitions will
be deferred. This parameter defaults to -1, which results in a value
of 1000*nr_cpu_ids to be used.
This parameter must be zero for hazptr_torture runs that set
cur_ops->onstack_ctx, because otherwise we would get on-stack data races.
It must also be zero when the kthread_do_pending_ms module parameter
is zero. Setting the defer_modulus module parameter to a value less
than -1 will result in disabling hazard-pointer deferral.
Signed-off-by: Paul E. McKenney <paulmck@kernel.org>
Cc: Boqun Feng <boqun@kernel.org>
Cc: Mathieu Desnoyers <mathieu.desnoyers@efficios.com>
Cc: <rcu@vger.kernel.org>
Cc: <lkmm@lists.linux.dev>
---
kernel/rcu/hazptrtorture.c | 87 +++++++++++++++++++++++++-------------
1 file changed, 58 insertions(+), 29 deletions(-)
diff --git a/kernel/rcu/hazptrtorture.c b/kernel/rcu/hazptrtorture.c
index 97663f22b36f..ff253fe35ca2 100644
--- a/kernel/rcu/hazptrtorture.c
+++ b/kernel/rcu/hazptrtorture.c
@@ -30,6 +30,7 @@ MODULE_DESCRIPTION("Hazard-pointer module-based torture test facility");
MODULE_LICENSE("GPL");
MODULE_AUTHOR("Paul E. McKenney <paulmckrcu@meta.com>");
+torture_param(int, defer_modulus, -1, "Defer once per specified # of hazptr ops, zero to disable");
torture_param(int, kthread_do_pending_ms, -1,
"Delay between cleanups for deferred hazard pointers (ms), zero to disable");
torture_param(int, nreaders, -1, "Number of hazard-pointer reader threads");
@@ -187,7 +188,7 @@ hazptr_torture_pipe_update(struct hazptr_torture *old_rp)
struct hazptr_torture_ops {
void (*init)(void);
void (*cleanup)(void);
- struct hazptr_torture *((*readlock)(struct hazptr_ctx **hcpp));
+ struct hazptr_torture *((*readlock)(struct hazptr_ctx *hcpp));
void (*read_delay)(struct torture_random_state *rrsp);
void (*readunlock)(struct hazptr_ctx *hcp, struct hazptr_torture *htp);
void (*sync)(void *htp);
@@ -203,14 +204,12 @@ static struct hazptr_torture_ops *cur_ops;
* structures.
*/
-static struct hazptr_torture *hazptr_torture_read_lock(struct hazptr_ctx **hcpp)
+static struct hazptr_torture *hazptr_torture_read_lock(struct hazptr_ctx *hcpp)
{
- struct hazptr_ctx *hcp = kmalloc(sizeof(*hcp), GFP_KERNEL);
+ struct hazptr_torture *htp;
- *hcpp = hcp;
- if (!hcp)
- return NULL;
- return (struct hazptr_torture *)hazptr_acquire(hcp, (void *)&hazptr_torture_current);
+ htp = (struct hazptr_torture *)hazptr_acquire(hcpp, (void *)&hazptr_torture_current);
+ return htp;
}
static void hazptr_read_delay(struct torture_random_state *rrsp)
@@ -241,8 +240,6 @@ static void hazptr_torture_read_unlock(struct hazptr_ctx *hcp, struct hazptr_tor
{
if (hcp) {
hazptr_release(hcp, htp);
- if (cur_ops->onstack_ctx)
- kfree(hcp);
}
}
@@ -266,17 +263,9 @@ static struct hazptr_torture_ops hazptr_ops = {
* hazptr_ctx structures.
*/
-static struct hazptr_torture *hazptr_torture_read_lock_stack(struct hazptr_ctx **hcpp)
-{
- struct hazptr_torture *htp;
-
- htp = (struct hazptr_torture *)hazptr_acquire(*hcpp, (void *)&hazptr_torture_current);
- return htp;
-}
-
static struct hazptr_torture_ops hazptr_stack_ops = {
.init = hazptr_sync_torture_init,
- .readlock = hazptr_torture_read_lock_stack,
+ .readlock = hazptr_torture_read_lock,
.read_delay = hazptr_read_delay,
.readunlock = hazptr_torture_read_unlock,
.sync = hazptr_synchronize,
@@ -387,6 +376,20 @@ static void hazptr_torture_reader_tail(struct hazptr_ctx *hcp, struct hazptr_tor
cur_ops->readunlock(hcp, htp);
}
+/*
+ * Defer the specified hazard pointer to some other context.
+ */
+static void hazptr_torture_defer(struct hazptr_pending *hppp, struct torture_random_state *trsp)
+{
+ int cpu = torture_random(trsp) % nr_cpu_ids;
+ struct llist_head *llhp;
+
+ guard(preempt)();
+ cpu = cpumask_next_wrap(cpu, cpu_online_mask);
+ llhp = per_cpu_ptr(&hazptr_pending, cpu);
+ llist_add(&hppp->hpp_node, llhp);
+}
+
/*
* Hazard-pointer torture reader kthread. Repeatedly dereferences
* hazptr_torture_current, incrementing the corresponding element of the
@@ -395,9 +398,9 @@ static void hazptr_torture_reader_tail(struct hazptr_ctx *hcp, struct hazptr_tor
*/
static int hazptr_torture_reader(void *arg)
{
- struct hazptr_ctx hc;
- struct hazptr_ctx *hcp = &hc;
- struct hazptr_torture *htp;
+ bool can_defer = !cur_ops->onstack_ctx && kthread_do_pending_ms && defer_modulus;
+ struct hazptr_pending hpp;
+ struct hazptr_pending *hppp = cur_ops->onstack_ctx ? &hpp : NULL;
unsigned long lastsleep = jiffies;
long myid = (long)arg;
int mynumonline = myid % nr_cpu_ids;
@@ -406,10 +409,17 @@ static int hazptr_torture_reader(void *arg)
VERBOSE_TOROUT_STRING("hazptr_torture_reader task started");
set_user_nice(current, MAX_NICE);
do {
- htp = cur_ops->readlock(&hcp);
- if (!htp) {
- // Still starting up or allocation failure,
- // so get out of the way.
+ if (!hppp) {
+ hppp = kmalloc_obj(*hppp, GFP_KERNEL);
+ if (!hppp) {
+ // Allocation failure, so get out of the way.
+ schedule_timeout_interruptible(HZ / 10);
+ continue;
+ }
+ }
+ hppp->hpp_htp = cur_ops->readlock(&hppp->hpp_hc);
+ if (!hppp->hpp_htp) {
+ // Still starting up, so get out of the way.
schedule_timeout_interruptible(HZ / 10);
continue;
}
@@ -417,7 +427,12 @@ static int hazptr_torture_reader(void *arg)
torture_hrtimeout_us(500, 1000, &rand);
lastsleep = jiffies + 10;
}
- hazptr_torture_reader_tail(hcp, htp, &rand);
+ if (can_defer && !(torture_random(&rand) % defer_modulus)) {
+ hazptr_torture_defer(hppp, &rand);
+ hppp = NULL;
+ } else {
+ hazptr_torture_reader_tail(&hppp->hpp_hc, hppp->hpp_htp, &rand);
+ }
while (!torture_must_stop() &&
(torture_num_online_cpus() < mynumonline || !rcu_inkernel_boot_has_ended()))
schedule_timeout_interruptible(HZ / 5);
@@ -478,7 +493,10 @@ static int hazptr_torture_do_pending(void *arg)
static int hazptr_torture_do_pending_init(void)
{
if (kthread_do_pending_ms == -1)
- kthread_do_pending_ms = cur_ops->onstack_ctx ? 0 : 3;
+ kthread_do_pending_ms = (cur_ops->onstack_ctx || defer_modulus == 0) ? 0 : 3;
+ if (defer_modulus == -1)
+ defer_modulus = (cur_ops->onstack_ctx ||
+ kthread_do_pending_ms == 0) ? 0 : 1000 * nr_cpu_ids;
if (kthread_do_pending_ms < 0) {
pr_alert("Cannot have negative kthread_do_pending_ms, disabling deferral.\n");
goto err_out;
@@ -487,6 +505,16 @@ static int hazptr_torture_do_pending_init(void)
pr_alert("Cannot defer onstack hazptr_ctx, disabling deferral.\n");
goto err_out;
}
+ if (defer_modulus < 0) {
+ pr_alert("Cannot have negative defer_modulus (%d), disabling deferral.\n",
+ defer_modulus);
+ goto err_out;
+ }
+ if (!kthread_do_pending_ms != !defer_modulus) {
+ pr_alert("Pending kthread (%d) & deferral (%d) don't match, disabling deferral.\n",
+ kthread_do_pending_ms, defer_modulus);
+ goto err_out;
+ }
if (!kthread_do_pending_ms)
return 0;
return torture_create_kthread(hazptr_torture_do_pending, NULL, do_pending_task);
@@ -494,6 +522,7 @@ static int hazptr_torture_do_pending_init(void)
err_out:
WARN_ON(IS_BUILTIN(CONFIG_HAZPTR_TORTURE_TEST));
kthread_do_pending_ms = 0;
+ defer_modulus = 0;
return 0;
}
@@ -605,14 +634,14 @@ hazptr_torture_print_module_parms(struct hazptr_torture_ops *cur_ops, const char
{
pr_alert("%s" TORTURE_FLAG
"--- %s: nreaders=%d "
- "kthread_do_pending_ms=%d "
+ "defer_modulus=%d kthread_do_pending_ms=%d "
"onoff_interval=%d onoff_holdoff=%d "
"preempt_duration=%d preempt_interval=%d "
"reader_sleep_us=%d "
"shuffle_interval=%d shutdown_secs=%d stat_interval=%d stutter=%d "
"verbose=%d\n",
torture_type, tag, nrealreaders,
- kthread_do_pending_ms,
+ defer_modulus, kthread_do_pending_ms,
onoff_interval, onoff_holdoff,
preempt_duration, preempt_interval,
reader_sleep_us,
--
2.40.1
next prev parent reply other threads:[~2026-09-19 0:01 UTC|newest]
Thread overview: 53+ messages / expand[flat|nested] mbox.gz Atom feed top
2026-09-18 23:59 [PATCH RFC v3 0/28] Simple hazard-pointer implementation and torture tests Paul E. McKenney
2026-09-19 0:00 ` [PATCH 01/28] hazptr: Implement Hazard Pointers Paul E. McKenney
2026-09-19 11:12 ` Bradley Morgan
2026-09-19 16:30 ` Linus Torvalds
2026-09-19 16:34 ` Bradley Morgan
2026-09-19 17:00 ` Linus Torvalds
2026-09-19 17:09 ` Mathieu Desnoyers
2026-09-19 18:09 ` Boqun Feng
2026-09-19 17:19 ` Mathieu Desnoyers
2026-09-19 18:18 ` Paul E. McKenney
2026-09-19 23:58 ` Bradley Morgan
2026-09-19 16:41 ` Bradley Morgan
2026-09-19 17:56 ` Paul E. McKenney
2026-09-19 0:00 ` [PATCH 02/28] hazptr: Add refscale test Paul E. McKenney
2026-09-19 0:00 ` [PATCH 03/28] torture: Add a hazptrtorture.c torture test Paul E. McKenney
2026-09-19 0:00 ` [PATCH 04/28] hazptrtorture: Add testing of on-stack hazptr_ctx structures Paul E. McKenney
2026-09-19 0:00 ` [PATCH 05/28] hazptrtorture: Add microsecond-scale sleep in readers Paul E. McKenney
2026-09-19 0:00 ` [PATCH 06/28] hazptrtorture: Enable system-independent CPU overcommit Paul E. McKenney
2026-09-19 0:00 ` [PATCH 07/28] torture: Add a stutter_will_wait() function Paul E. McKenney
2026-09-19 0:00 ` [PATCH 08/28] hazptrtorture: Use mnemonic local variables for context information Paul E. McKenney
2026-09-19 0:00 ` [PATCH 09/28] hazptrtorture: Split hazptr_torture_reader_tail() from hazptr_torture_reader() Paul E. McKenney
2026-09-19 0:00 ` [PATCH 10/28] hazptrtorture: Add kthread to release deferred hazard pointers Paul E. McKenney
2026-09-19 0:00 ` Paul E. McKenney [this message]
2026-09-19 0:00 ` [PATCH 12/28] hazptrtorture: Add irq_acquire to acquire hazptr from irq Paul E. McKenney
2026-09-19 0:00 ` [PATCH 13/28] hazptrtorture: Use task_state_to_char() for task-state reporting Paul E. McKenney
2026-09-19 0:00 ` [PATCH 14/28] hazptrtorture: Pass hazptr_pending to hazptr_torture_reader_tail() Paul E. McKenney
2026-09-19 0:00 ` [PATCH 15/28] hazptrtorture: Add the ability to disable the writer kthread Paul E. McKenney
2026-09-19 0:00 ` [PATCH 16/28] hazptrtorture: Add irq_release to release hazptr from irq Paul E. McKenney
2026-09-19 0:00 ` [PATCH 17/28] hazptrtorture: Accumulate operation statistics Paul E. McKenney
2026-09-19 0:00 ` [PATCH 18/28] doc: Add hazptrtorture module parameters Paul E. McKenney
2026-09-19 0:00 ` [PATCH 19/28] hazptr: Permit detaching hazard pointers from contexts Paul E. McKenney
2026-09-19 11:42 ` Boqun Feng
2026-09-19 11:43 ` Boqun Feng
2026-09-19 0:00 ` [PATCH 20/28] hazptrtorture: Detach deferred and IPIed hazard pointers Paul E. McKenney
2026-09-19 0:00 ` [PATCH 21/28] hazptr: Introduce CONFIG_HAZPTR_DEBUG misuse detection Paul E. McKenney
2026-09-19 0:00 ` [PATCH 22/28] hazptrtorture: Fix hazptr ownership issue Paul E. McKenney
2026-09-19 0:00 ` [PATCH 23/28] hazptrtorture: Enable CONFIG_HAZPTR_DEBUG Paul E. McKenney
2026-09-19 0:00 ` [PATCH 24/28] hazptr: Upgrade kernel-doc headers Paul E. McKenney
2026-09-19 0:00 ` [PATCH 25/28] hazptrtorture: Fix inverted sleep condition in do_pending kthread Paul E. McKenney
2026-09-19 0:00 ` [PATCH 26/28] hazptr: Implement two-phase wildcard scan Paul E. McKenney
2026-09-19 13:28 ` Boqun Feng
2026-09-20 12:46 ` Mathieu Desnoyers
2026-09-20 15:55 ` Boqun Feng
2026-09-25 19:08 ` Mathieu Desnoyers
2026-09-20 14:46 ` Gary Guo
2026-09-20 15:44 ` Mathieu Desnoyers
2026-09-20 15:57 ` Gary Guo
2026-09-25 19:19 ` Mathieu Desnoyers
2026-09-25 20:17 ` Gary Guo
2026-09-25 20:18 ` Mathieu Desnoyers
2026-09-19 0:00 ` [PATCH 27/28] hazptr: handle NULL address in hazptr_detach Paul E. McKenney
2026-09-19 0:00 ` [PATCH 28/28] torture.sh: Add hazptr torturing Paul E. McKenney
2026-09-19 11:18 ` 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=20260919000056.3132131-11-paulmck@kernel.org \
--to=paulmck@kernel.org \
--cc=boqun@kernel.org \
--cc=brads@mainlining.org \
--cc=kernel-team@meta.com \
--cc=kunwu.chan@gmail.com \
--cc=lianux.mm@gmail.com \
--cc=linux-kernel@vger.kernel.org \
--cc=lkmm@lists.linux.dev \
--cc=mathieu.desnoyers@efficios.com \
--cc=qiang.zhang@linux.dev \
--cc=rcu@vger.kernel.org \
--cc=rostedt@goodmis.org \
/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 an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.