Received: by 2002:a05:6a10:8c0a:0:0:0:0 with SMTP id go10csp979201pxb; Wed, 3 Mar 2021 23:18:38 -0800 (PST) X-Google-Smtp-Source: ABdhPJxiQJosRsW+hSe/qV/f+mCUzsB2JGxUhwr6qNEVWWssc2hmpEcX1hBmj7MHxCh3S8xeGsqx X-Received: by 2002:aa7:c916:: with SMTP id b22mr2857166edt.299.1614842317863; Wed, 03 Mar 2021 23:18:37 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1614842317; cv=none; d=google.com; s=arc-20160816; b=cYzcfXzy4njDHWYI0gvxoRmwjRsCMy/3Frt47h5hKBSsT5qJiqN+WtjzhkrvWeFxK/ rA19Bkx66tgqX/lfD1s93UozFN2dJZlQSoh4LJWGCwySg+fVZu8VW0WtJixXlMBol1+2 lGhf1OMPjtZ0yD7p0/7f5PeMwJuYfVTli8zgAB5XJYRbtGAz12iDTYcE3FUnkzW/LwcB QbU/obF5rJbzRcgPtpXz5r5oebaPXy19jX5/z1Kuj5H5RXa+vt9NxkQnkCXEBHdAuKsI xvQZZvjaqVkZOpcssewjHxhC1iiGYQBZ56/1O8ueHoe9/eydRucLb8M+8TVzpkHjjA8B 8ObA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:content-transfer-encoding:cc:to:subject :message-id:date:from:in-reply-to:references:mime-version :dkim-signature; bh=fVORHvbe3xDrZDTWpaGFZMUL2U3hQMYf826QqnYl9l8=; b=IhAeWOLbiIRpQLGhnzsTdBOkssfUmM5DZDqY0Q6teZ7R1e3Q5H1Dp2L8+K4WeWXZ7k ECFyoFEnNm+zAkJGW7VbtN3Ny1MbKfX8rK4MGSbsMFK8EW8/0cmh4zHvBo2D6g6Me+ZE J+KtzdWL88x/0Ge9eFqqzHAHos3hs8valQ5Z5iLirgNQq3LgUfm6J80IOzhLDPoOm9f8 zKV+lJjgdcPaVERYeTbiX1tSgYeC9hvTqzvU46BFmIwXcGoKJoD8XRHCOFcPKQjukhTT xTlmrnMsISiQ3LxrDAWSwQiw5Jufqk0Z6OtMCc2z5BwSndXIRKL8x4iWyqnRmSvKn+qu fKuQ== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b="mVH4lIA/"; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Return-Path: Received: from vger.kernel.org (vger.kernel.org. [23.128.96.18]) by mx.google.com with ESMTP id h6si16611703ejs.315.2021.03.03.23.18.13; Wed, 03 Mar 2021 23:18:37 -0800 (PST) Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) client-ip=23.128.96.18; Authentication-Results: mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b="mVH4lIA/"; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S2360180AbhCBWRg (ORCPT + 99 others); Tue, 2 Mar 2021 17:17:36 -0500 Received: from lindbergh.monkeyblade.net ([23.128.96.19]:60200 "EHLO lindbergh.monkeyblade.net" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1837072AbhCBUiX (ORCPT ); Tue, 2 Mar 2021 15:38:23 -0500 Received: from mail-wm1-x330.google.com (mail-wm1-x330.google.com [IPv6:2a00:1450:4864:20::330]) by lindbergh.monkeyblade.net (Postfix) with ESMTPS id 6AB02C06178B; Tue, 2 Mar 2021 12:38:08 -0800 (PST) Received: by mail-wm1-x330.google.com with SMTP id o16so4068012wmh.0; Tue, 02 Mar 2021 12:38:08 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc:content-transfer-encoding; bh=fVORHvbe3xDrZDTWpaGFZMUL2U3hQMYf826QqnYl9l8=; b=mVH4lIA/ydhx0e37ftXquLx/LtSpEvJvTGdKUgzqQC3cR00TEeQ/IL4f2DAMaRqbJp GpwUL/GLzxeA9vTYYP922fZDkw7wWNrzADMDXtVEURSjppA4WfjG0ujig9FaAsSxKeGe 71u+7y9F61lFvYSzl8T1m6cmSZd9w3crWgP07aeDTIKQLQsr0eck8BhrDBX00yRMa7vE y0aXEK3r1BjL4CJqRjdx+ZumzUjmoG9T8dtGdQJEd3aLHt+NOes0XJQOaHMxZmkXFufl FILayTdobcB4YmNEL9Aa9oXkMmkrbJrNv+rjQUTY/0av3ruaLhfv+172xLF1BC+yipid NwxA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc:content-transfer-encoding; bh=fVORHvbe3xDrZDTWpaGFZMUL2U3hQMYf826QqnYl9l8=; b=QTjX0MVu6FWCZL4LtIVcarL3y1O5k5W//Zv7RclawMc7JJSkj7Zdkssmj0lwbA64+5 NfyNcAXJ8wMm8OBL3C0NJM47rrrX/nqsxCMduiIYUj2RjTJHSDfoS0vPWPBJUMM/rxIA mZOzqF7aS3HcZ0xax3IG4ODCKBsCtgOmKzTpPuGzfH6x7WesS5rq0A04Jc+4amdR0KCN +tehbyU1z5IQHrHd26Kmoi6CdDqO4XnnAOeAidDcNoUbte4WAw0cq7kF10eRCjRJ59QF 7dke/RkUxo+RyB0pA8l0pTS0Zyci6KKYwme7jaP1e2dA0OrfsVqAmUCuXRL5KBnoDcgn XGUg== X-Gm-Message-State: AOAM532PL/OHH0B4Q1BzQnQEwwsLgzNfWOsj5doYRmNz+batLXZPykCB e9ZZWVrM+sjp3kMC+tk0JCtR2qVWPEPqdL4CspU= X-Received: by 2002:a1c:7312:: with SMTP id d18mr5680637wmb.155.1614717487210; Tue, 02 Mar 2021 12:38:07 -0800 (PST) MIME-Version: 1.0 References: <20210302195758.GQ2696@paulmck-ThinkPad-P72> <20210302200441.GA3729@paulmck-ThinkPad-P72> In-Reply-To: <20210302200441.GA3729@paulmck-ThinkPad-P72> From: =?UTF-8?B?QmrDtnJuIFTDtnBlbA==?= Date: Tue, 2 Mar 2021 21:37:55 +0100 Message-ID: Subject: Re: XDP socket rings, and LKMM litmus tests To: paulmck@kernel.org Cc: bpf , LKML , stern@rowland.harvard.edu, parri.andrea@gmail.com, Will Deacon , Peter Zijlstra , boqun.feng@gmail.com, npiggin@gmail.com, dhowells@redhat.com, j.alglave@ucl.ac.uk, luc.maranget@inria.fr, akiyks@gmail.com, dlustig@nvidia.com, joel@joelfernandes.org, =?UTF-8?B?VG9rZSBIw7hpbGFuZC1Kw7hyZ2Vuc2Vu?= , "Karlsson, Magnus" Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Tue, 2 Mar 2021 at 21:04, Paul E. McKenney wrote: > [...] > > And if the answer is "yes", how about this one? > With the =3D=3D to !=3D change in P1, this is OK! > P0(int *prod, int *cons, int *data) > { > int p; > > p =3D READ_ONCE(*prod); > if (p =3D=3D READ_ONCE(*cons)) { ...and now d=3D=3D1 is not a valid state anymore according to herd. If think I need some input here! :-D > WRITE_ONCE(*data, 1); > smp_wmb(); > WRITE_ONCE(*prod, p ^ 1); > } > } > > P1(int *prod, int *cons, int *data) > { > int c; > int d =3D -1; > > c =3D READ_ONCE(*cons); > if (READ_ONCE(*prod) =3D=3D c) { > smp_rmb(); > d =3D READ_ONCE(*data); > smp_mb(); > WRITE_ONCE(*cons, c ^ 1); > } > } > [...] Bj=C3=B6rn