Received: by 2002:a05:7412:251c:b0:e2:908c:2ebd with SMTP id w28csp322185rda; Sat, 21 Oct 2023 09:03:48 -0700 (PDT) X-Google-Smtp-Source: AGHT+IHptcwAdXSw8CnKaDYn/DbpYp1dpTcHhRSYOEL3Uz/MChu8J08U1I99jk58ISYo8+0AqGEN X-Received: by 2002:a05:6a20:9155:b0:160:83e1:712f with SMTP id x21-20020a056a20915500b0016083e1712fmr5943264pzc.23.1697904228191; Sat, 21 Oct 2023 09:03:48 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1697904228; cv=none; d=google.com; s=arc-20160816; b=t4aoYDSvj3l7Tw9LfqF8at5G4om+JINnBnp46fVECSt+k+5pejVOz2tSWsWGGnPifC lGSqG/VKEZtK5UTD8F7hyKtt7BK9AxqWh33CREui8j9pGGEo8tTacNtBRSydqU+TtcN5 32NoNzSwTYXJacJP6sj4tr5VIF3sapRsWCbTvWEpxWlIeDndgsJRTXRicURRpJ7JV/K9 3GOAWFJXGWQUCyZfDYfCCpwcxX3N9LEB3bRr7O6Ouslcbo83E6wvyuKooq5J1KR3SC1I HJf+1Tkai23VjHGn0cj1KzkeirKt/lLXiOe6mrIujKaA08Mslh8HMh/bo+41HQ6wGUBP fTRA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:in-reply-to:content-disposition:mime-version :references:message-id:subject:cc:to:from:date; bh=6FXlpXepf3uwiqnbKQYaujvjlsJB96dkL9luVlQYoic=; fh=6MbYu53x1DCmCVbaNdQm8hbCJV8c7cRNmb/eACP7WmQ=; b=k3rfukgs+Dw5FmVrwyFEKyFO2t8XafynxZm9rM58fgsj0LjTli6Cs06DY8QBusqj8f ljWgix51299NyMwrZg77oCeHu96nH5ICuTCu+hkl2vtc7KAcVeUQb8sorKno9/3u7xf/ W5WuMBA7isJBonPOP9M9xBTDqaw9Ku71C8UBaQgeVwZIp+f1wN4r9SLNlMYTYFNqrgyr eaIJcneFoUKrQI1CsGJiHJc13GjsbSlL2X/BmzfhEfH5XiuH8pBAQGFnlH79o9FUId7w qCDLv+0/YpThYvhgZ9arsvlBNAgRA1+4PdAxJlQRuL7ImH3o+/VK8hfKnGEh3WBI5ojk 3MXw== ARC-Authentication-Results: i=1; mx.google.com; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::3:1 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=fail (p=NONE sp=NONE dis=NONE) header.from=harvard.edu Return-Path: Received: from morse.vger.email (morse.vger.email. [2620:137:e000::3:1]) by mx.google.com with ESMTPS id c76-20020a63354f000000b00584a495d8efsi3603968pga.582.2023.10.21.09.03.47 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sat, 21 Oct 2023 09:03:48 -0700 (PDT) Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::3:1 as permitted sender) client-ip=2620:137:e000::3:1; Authentication-Results: mx.google.com; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::3:1 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=fail (p=NONE sp=NONE dis=NONE) header.from=harvard.edu Received: from out1.vger.email (depot.vger.email [IPv6:2620:137:e000::3:0]) by morse.vger.email (Postfix) with ESMTP id D80B9803212D; Sat, 21 Oct 2023 09:03:45 -0700 (PDT) X-Virus-Status: Clean X-Virus-Scanned: clamav-milter 0.103.10 at morse.vger.email Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S231710AbjJUQDi (ORCPT + 99 others); Sat, 21 Oct 2023 12:03:38 -0400 Received: from lindbergh.monkeyblade.net ([23.128.96.19]:46898 "EHLO lindbergh.monkeyblade.net" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S231667AbjJUQDh (ORCPT ); Sat, 21 Oct 2023 12:03:37 -0400 Received: from netrider.rowland.org (netrider.rowland.org [192.131.102.5]) by lindbergh.monkeyblade.net (Postfix) with SMTP id 60747D7E for ; Sat, 21 Oct 2023 09:03:31 -0700 (PDT) Received: (qmail 357140 invoked by uid 1000); 21 Oct 2023 12:03:30 -0400 Date: Sat, 21 Oct 2023 12:03:30 -0400 From: Alan Stern To: "Paul E. McKenney" Cc: Jonas Oberhauser , linux-kernel@vger.kernel.org, linux-arch@vger.kernel.org, linux-doc@vger.kernel.org, Andrea Parri , Will Deacon , Peter Zijlstra , Boqun Feng , Nicholas Piggin , David Howells , Jade Alglave , Luc Maranget , Akira Yokosawa , Daniel Lustig , Joel Fernandes , Jonathan Corbet Subject: Re: [PATCH memory-model] docs: memory-barriers: Add note on compiler transformation and address deps Message-ID: References: <4110a58a-8db5-57c4-2f5a-e09ee054baaa@huaweicloud.com> <1c731fdc-9383-21f2-b2d0-2c879b382687@huaweicloud.com> <2694e6e1-3282-4a69-b955-06afd7d7f87f@paulmck-laptop> <0bf4cda3-cc43-0e77-e47b-43e1402ed276@huaweicloud.com> <79233008-4be2-4442-9600-f9ac1a654312@paulmck-laptop> <591279ff-3316-d64b-8b25-6baefcecaad1@huaweicloud.com> <8f2ed577-424a-4114-8c90-90ba657e08db@paulmck-laptop> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <8f2ed577-424a-4114-8c90-90ba657e08db@paulmck-laptop> X-Spam-Status: No, score=-0.8 required=5.0 tests=HEADER_FROM_DIFFERENT_DOMAINS, MAILING_LIST_MULTI,SPF_HELO_NONE,SPF_PASS autolearn=unavailable autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on morse.vger.email Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org X-Greylist: Sender passed SPF test, not delayed by milter-greylist-4.6.4 (morse.vger.email [0.0.0.0]); Sat, 21 Oct 2023 09:03:46 -0700 (PDT) On Sat, Oct 21, 2023 at 08:10:27AM -0700, Paul E. McKenney wrote: > On Sat, Oct 21, 2023 at 03:36:21PM +0200, Jonas Oberhauser wrote: > > > > Am 10/20/2023 um 8:13 PM schrieb Paul E. McKenney: > > > Fair enough in general, but I cannot promise to never confuse people. > > > This is after all memory ordering. And different people will be confused > > > by different things. > > > > You can say that twice. In fact I suspect this is not the first time you say > > that :)) > > Easy for me to say, "that that that that that that that that that that"! This reminds me of a sentence I once heard as an example of inscrutability. Written without punctuation, it goes: Jack when Joe had had had had had had had had had had the teachers approval. Properly punctuated, it says: Jack, when Joe had had "had", had had "had had"; "had had" had the teacher's approval. The context is supposed to be a comparison of the words two students used in their essays and how their teacher reacted. It actually makes sense when read carefully. Alan