Received: by 2002:a05:7412:251c:b0:e2:908c:2ebd with SMTP id w28csp408704rda; Sat, 21 Oct 2023 13:07:34 -0700 (PDT) X-Google-Smtp-Source: AGHT+IE8XfEjjIVkXfdtApnD0Q44ef7p1k9SsbQ7vQSA3S4ExMJ3qpNxLFLb3mt3SrEJ1k7Lyuy5 X-Received: by 2002:a5d:9d9d:0:b0:785:ff35:f340 with SMTP id ay29-20020a5d9d9d000000b00785ff35f340mr8288490iob.14.1697918854301; Sat, 21 Oct 2023 13:07:34 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1697918854; cv=none; d=google.com; s=arc-20160816; b=Vr6RAvmwLpJtolvdqguroUZ4diKIvOmpoVKDzSRW7ahC8JwPr8eVmVjPD3hHXCz+Wt W/p/W0KrkRIWwDDybWdzFzZYCQZ95kYfs6H/OtjGdoxIDvUSOETZkT1I/gSxmwZ6MHRv eicaPCQnRjELrpd84T7WBc58I1otIVYeJrvnXbRq3eI+zyCxCAqPsWyZdQVPPIS5h4qQ lIm507cgSt9X83AuCoB3Dgy0XnuFtRf/4KgYhWa6GZhLYJHjUVXsAfBWVxxWcLn4QYt1 EEoFvkLpRrerX6noiAg3k6SUsJTzvhzgPpcRzWgUeYMp9gwukyxgyteM7zZK/D5rz1V1 G5FQ== 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:reply-to:message-id:subject:cc:to:from:date :dkim-signature; bh=4cVv7JRG3o70k5gQhiJQ1jcKSS7VHax7eX+LyLS2nlo=; fh=TF9/tqxxjQurIXf6QcgZVwZQSkkRL7zQ9xWhSMAKeng=; b=wwysfOTbPkal7eX+Q+g9qnZdwJObwR3QT/SL7bJC74OYeuw0DlwI+oY/iD+HC8Q5yJ o4y1AmM9PlCMg63gsQldo8CEJMRXrlx9kKuaQyuptRjCNNFMGUpdjN9rzl1+YPM08HZH BG38deavX6qwbjBV4QnVdvxYK86eAgHLQNvENpQS8KZgDsre63Zo+Vy8AwgkGMvFVrYY 2iS5kRAXxrxOyWWBqH5qFG4gz4qeaf50gWJsLS67eo0p7Y3eYNRtRl8xM/G718AMZtIL STSjN6anNAaFXVHrAIFBsZefEKeEj4OcwhIjZXlVDymkSdX8E6DoWV65uyMULTcgCB5T yj8Q== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@kernel.org header.s=k20201202 header.b=irpOU3OA; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.37 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=kernel.org Return-Path: Received: from snail.vger.email (snail.vger.email. [23.128.96.37]) by mx.google.com with ESMTPS id y14-20020a63ce0e000000b00578fcb85b89si3849646pgf.726.2023.10.21.13.07.33 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sat, 21 Oct 2023 13:07:34 -0700 (PDT) Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.37 as permitted sender) client-ip=23.128.96.37; Authentication-Results: mx.google.com; dkim=pass header.i=@kernel.org header.s=k20201202 header.b=irpOU3OA; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.37 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=kernel.org Received: from out1.vger.email (depot.vger.email [IPv6:2620:137:e000::3:0]) by snail.vger.email (Postfix) with ESMTP id 60972804C6FC; Sat, 21 Oct 2023 13:07:33 -0700 (PDT) X-Virus-Status: Clean X-Virus-Scanned: clamav-milter 0.103.10 at snail.vger.email Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S231997AbjJUUH2 (ORCPT + 99 others); Sat, 21 Oct 2023 16:07:28 -0400 Received: from lindbergh.monkeyblade.net ([23.128.96.19]:57002 "EHLO lindbergh.monkeyblade.net" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S229621AbjJUUH2 (ORCPT ); Sat, 21 Oct 2023 16:07:28 -0400 Received: from smtp.kernel.org (relay.kernel.org [52.25.139.140]) by lindbergh.monkeyblade.net (Postfix) with ESMTPS id 6FD56B0; Sat, 21 Oct 2023 13:07:26 -0700 (PDT) Received: by smtp.kernel.org (Postfix) with ESMTPSA id F003EC433C7; Sat, 21 Oct 2023 20:07:25 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=kernel.org; s=k20201202; t=1697918846; bh=AqDrIYx3jTh6N+utjmLqaiBGL9aD5YIrtP9aGEGHFHs=; h=Date:From:To:Cc:Subject:Reply-To:References:In-Reply-To:From; b=irpOU3OA/aMBdiwH/b0h4NYiMxZSS0OfiDe7tsfmKqCM8ZpFonh6Nt2hgLnfTORJK 6oIPQ7C9WJq+eQlruhQVbgC2rKXcR6z7aVuq7otEdQLhI0AbbnJ/eyR9CIq/xN/hVn SvcNX6hvpLHdSNcUhB8Beyg4MYetiWFswV9HHhsunAvh8rG5pj64YOUBrHTxd65pgH 3y4PP4sBuMlP2AEIAk7OhxxyEkWUssevo+uY+RVhPuTlVia24guUiZX2VBXwdZx0d/ GQO7YOp3ATV95+yag75UpzfHiZBRDZmhUwkLYGfZ/b+0fSjMiUNrF+oGwrHEBgm6rF 3ORepqLvEkxoQ== Received: by paulmck-ThinkPad-P17-Gen-1.home (Postfix, from userid 1000) id 89849CE1071; Sat, 21 Oct 2023 13:07:25 -0700 (PDT) Date: Sat, 21 Oct 2023 13:07:25 -0700 From: "Paul E. McKenney" To: Alan Stern 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: Reply-To: paulmck@kernel.org 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: X-Spam-Status: No, score=-4.4 required=5.0 tests=BAYES_00,DKIMWL_WL_HIGH, DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,RCVD_IN_DNSWL_MED, SPF_HELO_NONE,SPF_PASS autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on lindbergh.monkeyblade.net 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 (snail.vger.email [0.0.0.0]); Sat, 21 Oct 2023 13:07:33 -0700 (PDT) On Sat, Oct 21, 2023 at 12:03:30PM -0400, Alan Stern wrote: > 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. Cute! In contrast, any sensible interpretationof my string of "that"s is pure coincidence. ;-) Thanx, Paul