From: Kunwu Chan <kunwu.chan@gmail.com>
To: paulmck@kernel.org, dlustig@nvidia.com, joelagnelf@nvidia.com,
corbet@lwn.net, akiyks@gmail.com, luc.maranget@inria.fr,
j.alglave@ucl.ac.uk, dhowells@redhat.com, npiggin@gmail.com,
boqun@kernel.org, peterz@infradead.org, will@kernel.org,
parri.andrea@gmail.com, stern@rowland.harvard.edu
Cc: linux-doc@vger.kernel.org, lkmm@lists.linux.dev,
linux-arch@vger.kernel.org, linux-kernel@vger.kernel.org,
rdunlap@infradead.org, skhan@linuxfoundation.org,
Kunwu Chan <kunwu.chan@gmail.com>
Subject: [PATCH v2 0/2] Documentation/litmus-tests: Add SRCU fastpath litmus tests
Date: Sat, 12 Sep 2026 10:42:23 +0800 [thread overview]
Message-ID: <20260912024225.2872265-1-kunwu.chan@gmail.com> (raw)
This series moves the SRCU fastpath litmus tests from
tools/memory-model/litmus-tests/ to Documentation/litmus-tests/srcu/,
as suggested by Paul McKenney.
This series splits the two litmus-test patches from the earlier
[PATCH 00/13] srcu: Round out atomic SRCU support series:
https://lore.kernel.org/rcu/20260907075829.2073224-1-kunwu.chan@linux.dev/
The two tests verify the memory ordering required by the reader-free
synchronize_srcu_atomic() fastpath: the grace-period anchor must be
ordered before the per-CPU lock-counter scan.
Patch 1 verifies that the anchor-before-scan ordering forbids a reader
from being missed by the scan, while patch 2 shows that reversing the
ordering permits the problematic outcome.
Changes in v2:
- Use a filter for the P0 scan result, as suggested by Paul McKenney.
Tested with herd7 7.58 using linux-kernel.cfg.
Kunwu Chan (2):
Documentation/litmus-tests: Add SRCU fastpath anchor-before-scan test
Documentation/litmus-tests: Add SRCU fastpath scan-before-anchor test
Documentation/litmus-tests/README | 21 +++++++
.../SRCU-fastpath-anchor-before-scan.litmus | 57 +++++++++++++++++++
.../SRCU-fastpath-scan-before-anchor.litmus | 54 ++++++++++++++++++
3 files changed, 132 insertions(+)
create mode 100644 Documentation/litmus-tests/srcu/SRCU-fastpath-anchor-before-scan.litmus
create mode 100644 Documentation/litmus-tests/srcu/SRCU-fastpath-scan-before-anchor.litmus
--
2.43.0
next reply other threads:[~2026-09-12 2:42 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2026-09-12 2:42 Kunwu Chan [this message]
2026-09-12 2:42 ` [PATCH v2 1/2] Documentation/litmus-tests: Add SRCU fastpath anchor-before-scan test Kunwu Chan
2026-09-13 9:48 ` Akira Yokosawa
2026-09-12 2:42 ` [PATCH v2 2/2] Documentation/litmus-tests: Add SRCU fastpath scan-before-anchor test Kunwu Chan
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=20260912024225.2872265-1-kunwu.chan@gmail.com \
--to=kunwu.chan@gmail.com \
--cc=akiyks@gmail.com \
--cc=boqun@kernel.org \
--cc=corbet@lwn.net \
--cc=dhowells@redhat.com \
--cc=dlustig@nvidia.com \
--cc=j.alglave@ucl.ac.uk \
--cc=joelagnelf@nvidia.com \
--cc=linux-arch@vger.kernel.org \
--cc=linux-doc@vger.kernel.org \
--cc=linux-kernel@vger.kernel.org \
--cc=lkmm@lists.linux.dev \
--cc=luc.maranget@inria.fr \
--cc=npiggin@gmail.com \
--cc=parri.andrea@gmail.com \
--cc=paulmck@kernel.org \
--cc=peterz@infradead.org \
--cc=rdunlap@infradead.org \
--cc=skhan@linuxfoundation.org \
--cc=stern@rowland.harvard.edu \
--cc=will@kernel.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