Received: by 2002:a05:6358:d09b:b0:dc:cd0c:909e with SMTP id jc27csp3904079rwb; Sat, 3 Dec 2022 13:17:54 -0800 (PST) X-Google-Smtp-Source: AA0mqf4s3JLVAPu1TPunsjChr79KGUGXV1SXn0YQkyEgeX51D1z/hpn82TOAtu76rrT/OyGHU8eP X-Received: by 2002:a05:6402:444a:b0:459:401:c23e with SMTP id o10-20020a056402444a00b004590401c23emr54756880edb.23.1670102274496; Sat, 03 Dec 2022 13:17:54 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1670102274; cv=none; d=google.com; s=arc-20160816; b=p766m92jOqOLDTA9lzUymDhRcU8swYys0EM+L78nECUkIDy71ttPFR+SZZGWOoJ+Sf nl1NC4eQlxW5zl9vi7O9kRjl3swUdCg0wJ/g/ddO4pIAzHFasoP4wgbINAvlYdY4z1nt HTom0KrdpwF/64GOCUylqZsqU9xyARrTFgYU68IrxzI1gC4e0zTc5PQg4h2As1hSUTFa YrECLgI9xwUdk3VVk6ln16y0TFuedYfvvuBQG9DepnYwvC43M5hDrZsgdYDcHp7vHywo lhBPD5Ccy8wGr1/w+73XcD7V5KvvyoTcQY1+/hYPAx1mfYj1iZx7KbggYN6bdinozolT 6cuQ== 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=ydM41u0XLl05WTCxOAGK63YtVcdm7BV4nscuY8+PKCw=; b=ha1oc8LRyCTD/7c7xUo62k2MCJGzJR6dHRJ8TYXuOZsF+V5XzEtKVCMdOg+MAtn/im XXf06yWFGVM0yZLcOzKgkZtOLOgkSpkUKioQZR0iHfeKy3iXx166bHXpK8Xsv9+NcSnU ItlM6ucWtHFiW5tw7WknbX0RQA+j8ruP0CQ0+SBVwrOfGm0d20RQ1FlLgi8pr3JKLFBh yrUjwuvA+Zv9zhmxPkTRFL3j6vJa6uZgx3mOjeZGSQ2VJh9wp023JbBZXFu/vHUUlm3U jWqsj+J6e0I/CiKobLpYN+wCTzW3ZIe3s3I7aRtdwlruuTBAJsTTvyYiQP9Hs+Zx3DLJ bkYQ== ARC-Authentication-Results: i=1; mx.google.com; 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 Return-Path: Received: from out1.vger.email (out1.vger.email. [2620:137:e000::1:20]) by mx.google.com with ESMTP id c14-20020a05640227ce00b0046c3cd49b0fsi3924418ede.301.2022.12.03.13.17.32; Sat, 03 Dec 2022 13:17:54 -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; 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 Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S229830AbiLCUeZ (ORCPT + 82 others); Sat, 3 Dec 2022 15:34:25 -0500 Received: from lindbergh.monkeyblade.net ([23.128.96.19]:56862 "EHLO lindbergh.monkeyblade.net" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S229579AbiLCUeX (ORCPT ); Sat, 3 Dec 2022 15:34:23 -0500 Received: from netrider.rowland.org (netrider.rowland.org [192.131.102.5]) by lindbergh.monkeyblade.net (Postfix) with SMTP id 155B3E3E for ; Sat, 3 Dec 2022 12:34:21 -0800 (PST) Received: (qmail 568892 invoked by uid 1000); 3 Dec 2022 15:34:20 -0500 Date: Sat, 3 Dec 2022 15:34:20 -0500 From: "stern@rowland.harvard.edu" To: "Paul E. McKenney" Cc: Jonas Oberhauser , Boqun Feng , "parri.andrea@gmail.com" , "will@kernel.org" , "peterz@infradead.org" , "npiggin@gmail.com" , "dhowells@redhat.com" , "j.alglave@ucl.ac.uk" , "luc.maranget@inria.fr" , "akiyks@gmail.com" , "dlustig@nvidia.com" , "joel@joelfernandes.org" , "urezki@gmail.com" , "quic_neeraju@quicinc.com" , "frederic@kernel.org" , "linux-kernel@vger.kernel.org" Subject: Re: [PATCH v2] tools: memory-model: Make plain accesses carry dependencies Message-ID: References: <20221202125100.30146-1-jonas.oberhauser@huaweicloud.com> <4262e55407294a5989e766bc4dc48293@huawei.com> <20221203190226.GR4001@paulmck-ThinkPad-P17-Gen-1> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20221203190226.GR4001@paulmck-ThinkPad-P17-Gen-1> X-Spam-Status: No, score=-1.7 required=5.0 tests=BAYES_00, HEADER_FROM_DIFFERENT_DOMAINS,SPF_HELO_PASS,SPF_PASS autolearn=no 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 On Sat, Dec 03, 2022 at 11:02:26AM -0800, Paul E. McKenney wrote: > On Sat, Dec 03, 2022 at 11:58:36AM +0000, Jonas Oberhauser wrote: > > > > > > -----Original Message----- > > From: Boqun Feng [mailto:boqun.feng@gmail.com] > > Sent: Friday, December 2, 2022 7:50 PM > > > > I wonder is this patch a first step to solve the OOTA problem you reported in OSS: > > > https://static.sched.com/hosted_files/osseu2022/e1/oss-eu22-jonas.pdf > > > If so maybe it's better to put the link in the commit log I think. > > > > It's not directly related to that specific problem, it does solve some other OOTA issues though. > > If you think we should link to the talk, there's also a video with slightly more updated slides from the actual talk: https://www.youtube.com/watch?v=iFDKhIxKhoQ > > do you think I should link to both then? > > It is not hard for me to add that in if people believe that it should be > included. But default is lazy in this case. ;-) I don't think there's any need to mention that video in the commit log. It's an introductory talk, and it's pretty safe to assume that anyone reading the commit because they are interested in the LKMM in great detail is already beyond the introductory level. On the other hand, it wouldn't hurt to include a Link: tag to an appropriate message in this email thread. (I leave it up to Paul to decide which message is most "appropriate" -- there may not be a good candidate, because a lot of the messages were not CC'ed to LKML.) Alan