From: sashiko-bot@kernel.org
To: "Alice Ryhl" <aliceryhl@google.com>
Cc: linux-modules@vger.kernel.org, ojeda@kernel.org
Subject: Re: [PATCH 2/3] rust: sync: add SetOnce::try_get_or_populate()
Date: Wed, 22 Jul 2026 09:27:09 +0000 [thread overview]
Message-ID: <20260722092709.C68C51F00A3A@smtp.kernel.org> (raw)
In-Reply-To: <20260722-setonce-populate-v1-2-fa7455c26c42@google.com>
Thank you for your contribution! Sashiko AI review found 1 potential issue(s) to consider:
- [High] Optimistic, unlocked execution of the initialization closure `f()` leads to duplicate side-effects and spurious TOCTOU initialization failures.
--
--- Patch [2]: [PATCH 2/3] rust: sync: add SetOnce::try_get_or_populate() ---
commit fa04209af44f9b7b6642f550eaec6a8a1f95a58a
Author: Alice Ryhl <aliceryhl@google.com>
rust: sync: add SetOnce::try_get_or_populate()
This commit introduces a try_get_or_populate() helper to SetOnce. The new
method allows callers to use a user-provided lock to avoid spinning on the
internal atomic state during concurrent initialization.
> diff --git a/rust/kernel/sync/set_once.rs b/rust/kernel/sync/set_once.rs
> index a78f8c8e87dbf..d9cc598a8d78f 100644
> --- a/rust/kernel/sync/set_once.rs
> +++ b/rust/kernel/sync/set_once.rs
[ ... ]
> @@ -104,6 +111,34 @@ pub fn populate(&self, value: T) -> Result<&T, T> {
> }
> }
>
> + /// Get the value, or populate it if it's missing.
> + ///
> + /// This method is useful to avoid spinning on the internal atomic state. If all writers call
> + /// this method with the same lock, then they are synchronized with each other and it's
> + /// guaranteed that no caller will attempt to invoke [`SetOnce::populate`] more than once.
> + pub fn try_get_or_populate<F, E, U, B>(&self, lock: &lock::Lock<U, B>, f: F) -> Result<&T, E>
> + where
> + B: lock::Backend,
> + F: FnOnce() -> Result<T, E>,
> + {
> + if let Some(value) = self.as_ref() {
> + return Ok(value);
> + }
> +
> + let mut to_insert = f()?;
^^^^
[Severity: High]
Could this introduce a regression where evaluating f() outside the lock
risks duplicate side-effects?
If multiple threads call try_get_or_populate() concurrently on an
uninitialized SetOnce, they could both bypass the initial as_ref() check
and execute f() simultaneously. If f() performs operations like allocating
hardware resources or registering IDs, wouldn't those occur multiple times
before reaching the lock?
Additionally, if thread A successfully initializes the value inside the lock
but thread B subsequently fails during its concurrent evaluation of f(), the
? operator will immediately return the error. Does this cause thread B to
erroneously fail and propagate the error, even though the SetOnce is now
fully populated by thread A?
> + loop {
> + if let Some(value) = self.as_ref() {
> + return Ok(value);
> + }
> +
> + let _guard = lock.lock();
> + match self.populate(to_insert) {
> + Ok(value) => return Ok(value),
> + Err(ret) => to_insert = ret,
> + }
> + }
> + }
--
Sashiko AI review · https://sashiko.dev/#/patchset/20260722-setonce-populate-v1-0-fa7455c26c42@google.com?part=2
prev parent reply other threads:[~2026-07-22 9:27 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
[not found] <20260722-setonce-populate-v1-0-fa7455c26c42@google.com>
[not found] ` <20260722-setonce-populate-v1-1-fa7455c26c42@google.com>
2026-07-22 9:23 ` [PATCH 1/3] rust: sync: return `Result<&T, T>` from `SetOnce::populate()` sashiko-bot
[not found] ` <20260722-setonce-populate-v1-2-fa7455c26c42@google.com>
2026-07-22 9:27 ` sashiko-bot [this message]
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=20260722092709.C68C51F00A3A@smtp.kernel.org \
--to=sashiko-bot@kernel.org \
--cc=aliceryhl@google.com \
--cc=linux-modules@vger.kernel.org \
--cc=ojeda@kernel.org \
--cc=sashiko-reviews@lists.linux.dev \
/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