From: "Paul E. McKenney" <paulmck@kernel.org>
To: maranget <luc.maranget@inria.fr>
Cc: "Alan Stern" <stern@rowland.harvard.edu>,
"Björn Töpel" <bjorn.topel@gmail.com>, bpf <bpf@vger.kernel.org>,
LKML <linux-kernel@vger.kernel.org>,
parri.andrea@gmail.com, "Will Deacon" <will@kernel.org>,
"Peter Zijlstra" <peterz@infradead.org>,
boqun.feng@gmail.com, npiggin@gmail.com, dhowells@redhat.com,
j.alglave@ucl.ac.uk, akiyks@gmail.com, dlustig@nvidia.com,
joel@joelfernandes.org,
"Toke Høiland-Jørgensen" <toke@redhat.com>,
"Karlsson, Magnus" <magnus.karlsson@intel.com>
Subject: Re: XDP socket rings, and LKMM litmus tests
Date: Wed, 3 Mar 2021 13:56:20 -0800 [thread overview]
Message-ID: <20210303215619.GK2696@paulmck-ThinkPad-P72> (raw)
In-Reply-To: <F6EF0AE0-F0AA-4158-988B-C2638738B054@inria.fr>
On Wed, Mar 03, 2021 at 06:39:14PM +0100, maranget wrote:
>
>
> > On 3 Mar 2021, at 18:37, maranget <luc.maranget@inria.fr> wrote:
> >
> > I have made a PR to herd7 that performs the change. The commit message states the new definition.
>
> For those who are interested
> <https://github.com/herd/herdtools7/pull/183>
And I just confirmed that with this change, Björn's original litmus
test behaves as desired. Merci beaucoup, Luc!
The new herd7 also passes the in-kernel regression test, and also all
of the github "litmus" archive's tests up to six processes that are
flagged with expected outcomes except for these five tests, which
are expected failures:
litmus/manual/deps/LB-addr-equals.litmus
litmus/manual/deps/LB-ctls-bothvals-a.litmus
litmus/manual/deps/LB-ctls-diffvals-det.litmus
litmus/manual/deps/LB-ctls-sameval-barrier.litmus
litmus/manual/deps/LB-ctls-sameval.litmus
This situation is a bit silly, so I changed the "Results" clause
and added a comment noting that LKMM does not yet know about these
corner cases.
I just started a longer regression test, but this will take some time.
Thanx, Paul
next prev parent reply other threads:[~2021-03-03 23:07 UTC|newest]
Thread overview: 33+ messages / expand[flat|nested] mbox.gz Atom feed top
2021-03-02 18:46 XDP socket rings, and LKMM litmus tests Björn Töpel
2021-03-02 19:57 ` Paul E. McKenney
2021-03-02 20:04 ` Paul E. McKenney
2021-03-02 20:37 ` Björn Töpel
2021-03-02 20:24 ` Björn Töpel
2021-03-02 20:41 ` Paul E. McKenney
2021-03-02 20:51 ` Björn Töpel
2021-03-02 21:14 ` Alan Stern
2021-03-02 23:50 ` Paul E. McKenney
2021-03-03 6:37 ` maranget
2021-03-03 16:54 ` Paul E. McKenney
2021-03-03 17:12 ` Alan Stern
2021-03-03 17:37 ` maranget
2021-03-03 17:39 ` maranget
2021-03-03 21:56 ` Paul E. McKenney [this message]
2021-03-03 19:40 ` Alan Stern
2021-03-03 17:40 ` Paul E. McKenney
2021-03-03 20:22 ` Alan Stern
2021-03-03 22:03 ` Paul E. McKenney
2021-03-04 3:21 ` Alan Stern
2021-03-04 5:04 ` Paul E. McKenney
2021-03-04 15:35 ` Alan Stern
2021-03-04 19:05 ` Paul E. McKenney
2021-03-04 21:27 ` Alan Stern
2021-03-04 22:05 ` Paul E. McKenney
2021-03-04 1:26 ` Boqun Feng
2021-03-04 3:13 ` Alan Stern
2021-03-04 6:33 ` Boqun Feng
2021-03-04 16:11 ` Alan Stern
2021-03-05 1:12 ` Boqun Feng
2021-03-05 16:15 ` Alan Stern
2021-03-04 15:44 ` maranget
2021-03-04 19:07 ` 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=20210303215619.GK2696@paulmck-ThinkPad-P72 \
--to=paulmck@kernel.org \
--cc=akiyks@gmail.com \
--cc=bjorn.topel@gmail.com \
--cc=boqun.feng@gmail.com \
--cc=bpf@vger.kernel.org \
--cc=dhowells@redhat.com \
--cc=dlustig@nvidia.com \
--cc=j.alglave@ucl.ac.uk \
--cc=joel@joelfernandes.org \
--cc=linux-kernel@vger.kernel.org \
--cc=luc.maranget@inria.fr \
--cc=magnus.karlsson@intel.com \
--cc=npiggin@gmail.com \
--cc=parri.andrea@gmail.com \
--cc=peterz@infradead.org \
--cc=stern@rowland.harvard.edu \
--cc=toke@redhat.com \
--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