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 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.