From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on aws-us-west-2-korg-lkml-1.web.codeaurora.org Received: from vger.kernel.org (vger.kernel.org [23.128.96.18]) by smtp.lore.kernel.org (Postfix) with ESMTP id 421E8C433EF for ; Thu, 27 Jan 2022 20:49:17 +0000 (UTC) Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S240181AbiA0UtQ (ORCPT ); Thu, 27 Jan 2022 15:49:16 -0500 Received: from mail-out2.in.tum.de ([131.159.0.36]:49089 "EHLO mail-out2.informatik.tu-muenchen.de" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S235860AbiA0UtQ (ORCPT ); Thu, 27 Jan 2022 15:49:16 -0500 Received: from mailrelay1.rbg.tum.de (mailrelay1.in.tum.de [131.159.254.14]) by mail-out2.informatik.tu-muenchen.de (Postfix) with ESMTP id 2FDFC240086; Thu, 27 Jan 2022 21:49:14 +0100 (CET) Received: by mailrelay1.rbg.tum.de (Postfix, from userid 112) id 2D1AAFDD; Thu, 27 Jan 2022 21:49:14 +0100 (CET) Received: from mailrelay1.rbg.tum.de (localhost [127.0.0.1]) by mailrelay1.rbg.tum.de (Postfix) with ESMTP id 0A005FDC; Thu, 27 Jan 2022 21:49:14 +0100 (CET) Received: from mail.in.tum.de (mailproxy.in.tum.de [IPv6:2a09:80c0::78]) by mailrelay1.rbg.tum.de (Postfix) with ESMTPS id 0502F592; Thu, 27 Jan 2022 21:49:14 +0100 (CET) Received: by mail.in.tum.de (Postfix, from userid 112) id F2C494A040E; Thu, 27 Jan 2022 21:49:13 +0100 (CET) Received: (Authenticated sender: heidekrp) by mail.in.tum.de (Postfix) with ESMTPSA id 0AE414A0238; Thu, 27 Jan 2022 21:49:12 +0100 (CET) (Extended-Queue-bit xtech_em@fff.in.tum.de) Date: Thu, 27 Jan 2022 21:49:07 +0100 From: Paul =?iso-8859-1?Q?Heidekr=FCger?= To: Alan Stern Cc: Andrea Parri , Will Deacon , Peter Zijlstra , Boqun Feng , Nicholas Piggin , David Howells , Jade Alglave , Luc Maranget , "Paul E. McKenney" , Akira Yokosawa , Daniel Lustig , Joel Fernandes , =?iso-8859-1?Q?Bj=F6rn_T=F6pel?= , linux-kernel@vger.kernel.org, linux-arch@vger.kernel.org, Marco Elver , Charalampos Mainas , Pramod Bhatotia Subject: Re: [PATCH] tools/memory-model: Clarify syntactic and semantic dependencies Message-ID: References: <20220125172819.3087760-1-paul.heidekrueger@in.tum.de> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: Precedence: bulk List-ID: X-Mailing-List: linux-arch@vger.kernel.org On Thu, Jan 27, 2022 at 12:04:26PM -0500, Alan Stern wrote: > On Thu, Jan 27, 2022 at 12:00:22PM +0100, Paul Heidekrüger wrote: > > On Tue, Jan 25, 2022 at 04:00:11PM -0500, Alan Stern wrote: > > > That's a very abstract way of describing the situation; it doesn't do a > > > good job of getting the real idea across. It also mixes up two separate > > > ideas: behaviors being unaffected by a syntactic dependency and > > > behaviors being undefined. They should be described separately. > > > > Many thanks for the feedback! I agree, the explanation works a lot > > better once readers have been introduced to data, addr and ctrl > > relations. > > > > > I would prefer something along these lines... > > > > Shall I resubmit the patch with you as co-developer, or, given that it's > > arguably your work now, would you like to submit the patch yourself? > > I'll submit it myself, with Suggested-by: you. How does that sound? Sounds good! Many thanks, Paul