From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on aws-us-west-2-korg-lkml-1.web.codeaurora.org X-Spam-Level: X-Spam-Status: No, score=-12.5 required=3.0 tests=BAYES_00,DKIMWL_WL_HIGH, DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,MAILING_LIST_MULTI,MENTIONS_GIT_HOSTING, SPF_HELO_NONE,SPF_PASS,USER_AGENT_SANE_1 autolearn=ham autolearn_force=no version=3.4.0 Received: from mail.kernel.org (mail.kernel.org [198.145.29.99]) by smtp.lore.kernel.org (Postfix) with ESMTP id EC0CBC433E0 for ; Wed, 3 Mar 2021 23:07:47 +0000 (UTC) Received: from vger.kernel.org (vger.kernel.org [23.128.96.18]) by mail.kernel.org (Postfix) with ESMTP id AFBFB64F0D for ; Wed, 3 Mar 2021 23:07:47 +0000 (UTC) Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1391983AbhCCW7x (ORCPT ); Wed, 3 Mar 2021 17:59:53 -0500 Received: from mail.kernel.org ([198.145.29.99]:58026 "EHLO mail.kernel.org" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1390402AbhCCWH3 (ORCPT ); Wed, 3 Mar 2021 17:07:29 -0500 Received: by mail.kernel.org (Postfix) with ESMTPSA id 431BE64E41; Wed, 3 Mar 2021 21:56:20 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=kernel.org; s=k20201202; t=1614808580; bh=nvrsaAh1K0woYB6MB0qOBTsrWHC2pRAqyUQ7YOcgOmE=; h=Date:From:To:Cc:Subject:Reply-To:References:In-Reply-To:From; b=jxMo3UHRY983ulV04oVNJRGmaQbNneITowiQtIrOMKMkyCKk5/vViO569UHoFZmiP 0X5Ef/TU4LNLgvJhF7YO9xzL3D/aewmELC/3NAfAQjoYPweC+c6kr8bQdQtRHRd0WL ZQPzWzK1PF/gyS7WwVwddhgzP1JfV3DJcIdeQ5Xu5bdoT4Pd33fi4Q7DTrqkzpBxo0 c/G9K75AKFQZnVSRIQZ9x+snWeQVFyig37aY1QPail9jPubQ22Wt0KfyYpMipmend9 kjumS5ZxwfkaH4hHPde0N2Zs/B/Ufb62V+11OFMbjNslODlDMH0kqEKrLwqeOW86oR Cyg4bOUSk+X0g== Received: by paulmck-ThinkPad-P72.home (Postfix, from userid 1000) id 083183522591; Wed, 3 Mar 2021 13:56:20 -0800 (PST) Date: Wed, 3 Mar 2021 13:56:20 -0800 From: "Paul E. McKenney" To: maranget Cc: Alan Stern , =?iso-8859-1?Q?Bj=F6rn_T=F6pel?= , bpf , LKML , parri.andrea@gmail.com, Will Deacon , Peter Zijlstra , 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 =?iso-8859-1?Q?H=F8iland-J=F8rgensen?= , "Karlsson, Magnus" Subject: Re: XDP socket rings, and LKMM litmus tests Message-ID: <20210303215619.GK2696@paulmck-ThinkPad-P72> Reply-To: paulmck@kernel.org References: <20210302211446.GA1541641@rowland.harvard.edu> <20210302235019.GT2696@paulmck-ThinkPad-P72> <20210303171221.GA1574518@rowland.harvard.edu> <29736B0B-9960-473C-85BB-5714F181198B@inria.fr> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: User-Agent: Mutt/1.9.4 (2018-02-28) Precedence: bulk List-ID: X-Mailing-List: bpf@vger.kernel.org On Wed, Mar 03, 2021 at 06:39:14PM +0100, maranget wrote: > > > > On 3 Mar 2021, at 18:37, maranget wrote: > > > > I have made a PR to herd7 that performs the change. The commit message states the new definition. > > For those who are interested > 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