Received: by 2002:a05:6358:16cc:b0:ea:6187:17c9 with SMTP id r12csp184010rwl; Wed, 4 Jan 2023 17:27:01 -0800 (PST) X-Google-Smtp-Source: AMrXdXuG8wsW80mIST8ZGuk6FECp/FR1e4LaCTANc4zeMX1D2pwBr5GrKial3D9ZDzmWBJw3TwUi X-Received: by 2002:a17:907:a641:b0:7c0:f7b0:95d3 with SMTP id vu1-20020a170907a64100b007c0f7b095d3mr43496898ejc.36.1672882021274; Wed, 04 Jan 2023 17:27:01 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1672882021; cv=none; d=google.com; s=arc-20160816; b=OB9vAGNMCHrkQTjFZlipl3qeCQ4nZuKPU4PrPblPdsHWBHJNMGEEmDlsbF3D6xCMHF 5Gj6zbLhHrSNqaIfE1o3p8EdXo8RX8L2di2uJ3OAhPMta+cDrFq3nco0i135odxFTbIY /G3xq+iszMPUVqyWIZ45Hlu/aUR26YA9iF3RKeitKadoNBGhT/tAl4g7/zrdXfrkMFIr EcQWvVd3Ea4iAoPmU6o0Gd7AI0ShhPWiByJaCMvyvAF9tTz7VlK9vYnnnBjtsP20m6ZC ztWqCaEkHk/s3E/CXRl5GNdQ6PmKUmpuiBd6tX817iX26xFJxGn1dtjsU+UW2SMjEou8 8ilw== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:content-disposition:mime-version:reply-to :message-id:subject:cc:to:from:date:dkim-signature; bh=EptKoa06/gw9+x8iJfJfiq4ot+XIj9GxB/c0xcipP0Q=; b=C3/RCgJcEPOVoJ1JV5DvjHaasecxc2QH+jFE6v4rh0vbtexsN72JP8+8nhXTc/Ae15 t8TYfEOb0ClqURgW1HIA+TiVV+CPmkDT0fOdEiryzCkRSyRW19M94QtqSaCeAiT3aa/s gslzsHPnmZbYp9Uj+84czg8OZ6lWD6jfDnMkI/fNvk18OcEOivFJw//NawKal4BPHnMJ DSgpo63bMS+EPEgzxYG9sIm/P2j9aYbX1zHA2ZaIvFZY3WAonKZxKYT2PJGYmYdjiDp5 n/H+CnMZhodmDP9LnFtLiFF7IyDg/lpB7+LiTpBlqtlMTAcFUFS9NWs4ZoxkjOBjkrBP eUMQ== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@kernel.org header.s=k20201202 header.b=uncQfUcL; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::1:20 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 out1.vger.email (out1.vger.email. [2620:137:e000::1:20]) by mx.google.com with ESMTP id go17-20020a1709070d9100b007413f3cdd18si34728204ejc.238.2023.01.04.17.26.48; Wed, 04 Jan 2023 17:27:01 -0800 (PST) Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::1:20 as permitted sender) client-ip=2620:137:e000::1:20; Authentication-Results: mx.google.com; dkim=pass header.i=@kernel.org header.s=k20201202 header.b=uncQfUcL; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::1:20 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=kernel.org Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S230134AbjAEBKI (ORCPT + 56 others); Wed, 4 Jan 2023 20:10:08 -0500 Received: from lindbergh.monkeyblade.net ([23.128.96.19]:45504 "EHLO lindbergh.monkeyblade.net" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S230267AbjAEBJs (ORCPT ); Wed, 4 Jan 2023 20:09:48 -0500 Received: from ams.source.kernel.org (ams.source.kernel.org [145.40.68.75]) by lindbergh.monkeyblade.net (Postfix) with ESMTPS id 46E633054E; Wed, 4 Jan 2023 17:09:47 -0800 (PST) Received: from smtp.kernel.org (relay.kernel.org [52.25.139.140]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by ams.source.kernel.org (Postfix) with ESMTPS id D872FB81980; Thu, 5 Jan 2023 01:09:45 +0000 (UTC) Received: by smtp.kernel.org (Postfix) with ESMTPSA id 78D65C433EF; Thu, 5 Jan 2023 01:09:44 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=kernel.org; s=k20201202; t=1672880984; bh=gDgshQJctcr95mia7xQGmZ+KqafdYUTW62LyBGyc6HI=; h=Date:From:To:Cc:Subject:Reply-To:From; b=uncQfUcLCTyB3PA+sfpSZQMUo/9nktDpAE+nUymfmvQ3GPyTxkI0ZGEbdQnu/gmPK 3am14J9HZ6l5vwwquuMpg/Sh00Z3O7ipdu/z1LDDhe6xaIxbIxZl+HY2qha6Q+rNB4 zoSbW+hr/aPHzDNn7sleEu+DrrQRjknfgJoiR+wb+KRPQI645qEm56P4oqBlORh9pC IlikHni4UmRsFAgF1fmmB8F8c+myQhli8tYlBgtlO5zXgjhf5cywl7JejmcnZPeqLy 8KGQ+3M0IHZO+dAu+lCn+PT7zax+YBoccREi6TSfJETIJXxrSBkL9sZbEpJISgJVcw udFFO7doEME7A== Received: by paulmck-ThinkPad-P17-Gen-1.home (Postfix, from userid 1000) id 14FCB5C05CA; Wed, 4 Jan 2023 17:09:44 -0800 (PST) Date: Wed, 4 Jan 2023 17:09:44 -0800 From: "Paul E. McKenney" To: linux-kernel@vger.kernel.org, linux-arch@vger.kernel.org, kernel-team@meta.com, mingo@kernel.org Cc: stern@rowland.harvard.edu, parri.andrea@gmail.com, will@kernel.org, peterz@infradead.org, boqun.feng@gmail.com, npiggin@gmail.com, dhowells@redhat.com, j.alglave@ucl.ac.uk, luc.maranget@inria.fr, akiyks@gmail.com Subject: [PATCH memory-model 0/4] LKMM updates for v6.3 Message-ID: <20230105010944.GA1774169@paulmck-ThinkPad-P17-Gen-1> Reply-To: paulmck@kernel.org MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline X-Spam-Status: No, score=-7.1 required=5.0 tests=BAYES_00,DKIMWL_WL_HIGH, DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,RCVD_IN_DNSWL_HI, 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 Hello! This series provides LKMM updates: 1. locking/memory-barriers.txt: Improve documentation for writel() example, courtesy of Parav Pandit. 2. memory-model: Add rmw-sequences to the LKMM, courtesy of Alan Stern. 3. Documentation: Fixed a typo in atomic_t.txt, courtesy of Kushagra Verma. 4. memory-model: Make plain accesses carry dependencies, courtesy of Jonas Oberhauser. Thanx, Paul ------------------------------------------------------------------------ b/Documentation/atomic_t.txt | 2 - b/Documentation/memory-barriers.txt | 22 +++++++------- b/tools/memory-model/Documentation/explanation.txt | 30 ++++++++++++++++++++ b/tools/memory-model/linux-kernel.bell | 6 ++++ b/tools/memory-model/linux-kernel.cat | 5 ++- b/tools/memory-model/litmus-tests/dep+plain.litmus | 31 +++++++++++++++++++++ tools/memory-model/Documentation/explanation.txt | 9 +++++- 7 files changed, 90 insertions(+), 15 deletions(-)