linux-kernel - Re: XDP socket rings, and LKMM litmus tests

lists.openwall.net		lists / announce owl-users owl-dev john-users john-dev passwdqc-users yescrypt popa3d-users / oss-security kernel-hardening musl sabotage tlsify passwords / crypt-dev xvendor / Bugtraq Full-Disclosure linux-kernel linux-netdev linux-ext4 linux-hardening linux-cve-announce PHC
Open Source and information security mailing list archives

Hash Suite: Windows password security audit tool. GUI, reports in PDF.

[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]

Message-ID: <20210303215619.GK2696@paulmck-ThinkPad-P72>
Date:   Wed, 3 Mar 2021 13:56:20 -0800
From:   "Paul E. McKenney" <paulmck@...nel.org>
To:     maranget <luc.maranget@...ia.fr>
Cc:     Alan Stern <stern@...land.harvard.edu>,
        Björn Töpel <bjorn.topel@...il.com>,
        bpf <bpf@...r.kernel.org>, LKML <linux-kernel@...r.kernel.org>,
        parri.andrea@...il.com, Will Deacon <will@...nel.org>,
        Peter Zijlstra <peterz@...radead.org>, boqun.feng@...il.com,
        npiggin@...il.com, dhowells@...hat.com, j.alglave@....ac.uk,
        akiyks@...il.com, dlustig@...dia.com, joel@...lfernandes.org,
        Toke Høiland-Jørgensen <toke@...hat.com>,
        "Karlsson, Magnus" <magnus.karlsson@...el.com>
Subject: Re: XDP socket rings, and LKMM litmus tests

On Wed, Mar 03, 2021 at 06:39:14PM +0100, maranget wrote:
> 
> 
> > On 3 Mar 2021, at 18:37, maranget <luc.maranget@...ia.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