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: 29+ 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 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 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 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
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 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®