Received: by 10.223.176.5 with SMTP id f5csp841189wra; Fri, 9 Feb 2018 08:04:19 -0800 (PST) X-Google-Smtp-Source: AH8x226h8NEaECOzw3gzHeZ0Dsn2b0oOG6xyrwu/m/oAFvhAhljrGX8tZLiai79MZYIB7R5UvOlS X-Received: by 2002:a17:902:8c89:: with SMTP id t9-v6mr2930670plo.2.1518192259382; Fri, 09 Feb 2018 08:04:19 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1518192259; cv=none; d=google.com; s=arc-20160816; b=Syt4F2SEVMZfvdQzn7Euo9TWArLog1+RIAVBPPJo0THG+41EkW2QnGZulGHG2USHQj +sgg5fVaLJIE1TnUy92ld7JjKKc6q/GaLENTwuRIckMP2oL0bsaAK/NPYrWkgmXzfk6r Q1SAbi/hjFl7jq1ddX3RQYjjDMzuot82+Jpgw7ktr6BP/SOSm/Q9TVvcL32C1zczFH6p Kc2fU/3pCes8ZyDUGlOVHUdqzetsXK3+A58aIfzN/i5fv97ecxOVtOef4euXrdZr41s5 y/iMX0GtCpKEkwVEzHeiM9mX3ivfEGoXAqQOO0c87njF5bni+PBhot5LgGnylhzdbHxI GdxQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:sender:content-transfer-encoding :content-language:in-reply-to:mime-version:user-agent:date :message-id:from:references:cc:to:subject:dkim-signature :arc-authentication-results; bh=EbQnl5ipxs+JRfzoauTLZfGwPobwKj3/tSbzKOzbVc8=; b=XqOoIY03aqSrTp9GGC6wD5McRqYGhcuSqByCmdLEbthtJjpe3vlt3tedEMn0cfufsU OF/dYolsHuFGEmbMoJ5OYJpuUrMnKhGYcXvutis80tDVhjMTXccmF1nz8O/Wo125WfwP DCZ0OvZfB28E1RH9iFXxBrlQHjEywS/2c8RxZEV6Pb/WKh1AOUWxSS0GTKGzPQViz3eZ NUNZS8em/pSSw18ahert4nk+BaYz/6KvEsvY2kGrP2u+kMdC3MK0L3J3DkUXINvraoZd +rqzbp6SokXnuJN9x89LW26t3DKhmpstcz6zzwC9YlwiXDHn1uWbvThRDaJr4yV2INS2 HSqA== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=ERZxiIxF; spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Return-Path: Received: from vger.kernel.org (vger.kernel.org. [209.132.180.67]) by mx.google.com with ESMTP id i12-v6si1713725plk.139.2018.02.09.08.04.03; Fri, 09 Feb 2018 08:04:19 -0800 (PST) Received-SPF: pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) client-ip=209.132.180.67; Authentication-Results: mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=ERZxiIxF; spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1751285AbeBIQC4 (ORCPT + 99 others); Fri, 9 Feb 2018 11:02:56 -0500 Received: from mail-it0-f68.google.com ([209.85.214.68]:52094 "EHLO mail-it0-f68.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1751077AbeBIQCz (ORCPT ); Fri, 9 Feb 2018 11:02:55 -0500 Received: by mail-it0-f68.google.com with SMTP id p139so11512208itb.1 for ; Fri, 09 Feb 2018 08:02:54 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=subject:to:cc:references:from:message-id:date:user-agent :mime-version:in-reply-to:content-language:content-transfer-encoding; bh=EbQnl5ipxs+JRfzoauTLZfGwPobwKj3/tSbzKOzbVc8=; b=ERZxiIxFjSa4j+CBGFsuvIP//oT1Z38BiWV4YcJECxeiwA9wmNNPkGG5R3zFEB4kXK jwOBIPUCf59gCnOk/ZiPsLylu28sKHBHNM7t2TVL+jxVsrQS/zAkS7o+3ikBZKZtcd5N xt6mhuBRRtMHNmo/fcCoLR5w4K5xWLdkxwQONKgeizEyCH7V6boHOMVmxmFZMSVxf1u+ pST2Jo/D0M3nEyCOAV1fDAofunwgh/VW5j+YF+id3X9D9JY2qeXyZOTisX1Kl8lFKFwI 4PAIk/OmjIRQElTU3x6n7gEs5HucIVEpOgeeRMUkh73w469AKlI3yQdAXwiPuolXAmYy tPTA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:subject:to:cc:references:from:message-id:date :user-agent:mime-version:in-reply-to:content-language :content-transfer-encoding; bh=EbQnl5ipxs+JRfzoauTLZfGwPobwKj3/tSbzKOzbVc8=; b=LImFPFsESHUl2Yt/HJqYwBiauRq3sn6/4dOrfGtAQyUauvwtYFTOGU+nCpkk3tAoGJ tFH7KoJ64H0aqGxyi97auphVc3QTwB6iepgfB47mTotqdMJBmp+L2hHmrukuFjO0UZip zfgK6aqq+VClPWJh82XDQoVsEHe6z5sIB/q2i/yTUQiYC+E3Y8pNZnB2X44qhFlr5Zkw 85kvlrGfSqr9QQ+C4C2+9u+Cwvr3oWvvl+7/u2TGm/+cRro/BAzeiID8SccETEZJD0f9 fx5a8v1EH++XDFMymz863R14kDxVPd9HXfhNNoo0lz2vl6nljpXdA9Xy0gaQRowU/pgB 579Q== X-Gm-Message-State: APf1xPCzgM2o8Fdi7DFOWSpJxgyMSpYgCSHLxYusFGLWI6/vYj88NyBR 0D6OlJ73P7bwJ0uSDWRC3iA= X-Received: by 10.36.2.209 with SMTP id 200mr3806884itu.8.1518192174410; Fri, 09 Feb 2018 08:02:54 -0800 (PST) Received: from [192.168.11.4] (KD106167171201.ppp-bb.dion.ne.jp. [106.167.171.201]) by smtp.gmail.com with ESMTPSA id 34sm4059302iom.88.2018.02.09.08.02.50 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Fri, 09 Feb 2018 08:02:53 -0800 (PST) Subject: Re: [PATCH RFC tools/lkmm] Miscellaneous fixes To: paulmck@linux.vnet.ibm.com, linux-kernel@vger.kernel.org Cc: mingo@kernel.org, stern@rowland.harvard.edu, parri.andrea@gmail.com, will.deacon@arm.com, peterz@infradead.org, boqun.feng@gmail.com, npiggin@gmail.com, dhowells@redhat.com, j.alglave@ucl.ac.uk, luc.maranget@inria.fr, Akira Yokosawa References: <20180209141832.GA17505@linux.vnet.ibm.com> From: Akira Yokosawa Message-ID: Date: Sat, 10 Feb 2018 01:02:48 +0900 User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:52.0) Gecko/20100101 Thunderbird/52.6.0 MIME-Version: 1.0 In-Reply-To: <20180209141832.GA17505@linux.vnet.ibm.com> Content-Type: text/plain; charset=utf-8 Content-Language: en-US Content-Transfer-Encoding: 7bit Sender: linux-kernel-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On 2018/02/09 23:18, Paul E. McKenney wrote: > Hello! > > This RFC series adds some miscellaneous updates to the Linux kernel > memory model: > > 1. Clarify the origin and scope of the tool name to avoid confusion > between "memory model" and "memory management", courtesy of > Andrea Parri. > > 2. Move the maintainer list for LKMM to the main MAINTAINERS file, > courtesy of Andrea Parri. > > 3. Add memory-barriers.txt to the LKMM MAINTAINERS entry, courtesy > of Andrea Parri. > > 4. Add comments explaining the purpose of the various litmus tests. > > 5. Fix puntuation errors in litmus-tests/README. > > 6. Add LKMM acronym to MAINTAINERS entry. If there are no objections, > this will be squashed with #3 above. > > 7. Add Akira Yokosawa as an LKMM reviewer. > > 8-10. Replace underscores with hyphens for smp_mb__*() workings. Note that > this patch leaves rb_dep alone because the underscore is set by herd7. > If there are no objections, these will be squashed together. Paul, Patches 8-10 made the problem even worse with herd7 7.47. I'll submit an alternative patch in reply to this message. Thanks, Akira > > Thanx, Paul > > ------------------------------------------------------------------------ > > /tools/memory-model/MAINTAINERS | 15 ------- > b/MAINTAINERS | 20 +++++++++- > b/tools/memory-model/MAINTAINERS | 2 - > b/tools/memory-model/README | 14 +++---- > b/tools/memory-model/linux-kernel.bell | 8 ++-- > b/tools/memory-model/linux-kernel.cat | 8 ++-- > b/tools/memory-model/linux-kernel.def | 6 +-- > b/tools/memory-model/litmus-tests/CoRR+poonceonce+Once.litmus | 7 +++ > b/tools/memory-model/litmus-tests/CoRW+poonceonce+Once.litmus | 7 +++ > b/tools/memory-model/litmus-tests/CoWR+poonceonce+Once.litmus | 7 +++ > b/tools/memory-model/litmus-tests/CoWW+poonceonce.litmus | 7 +++ > b/tools/memory-model/litmus-tests/IRIW+mbonceonces+OnceOnce.litmus | 10 +++++ > b/tools/memory-model/litmus-tests/IRIW+poonceonces+OnceOnce.litmus | 10 +++++ > b/tools/memory-model/litmus-tests/ISA2+poonceonces.litmus | 9 ++++ > b/tools/memory-model/litmus-tests/ISA2+pooncerelease+poacquirerelease+poacquireonce.litmus | 11 +++++ > b/tools/memory-model/litmus-tests/LB+ctrlonceonce+mbonceonce.litmus | 11 +++++ > b/tools/memory-model/litmus-tests/LB+poacquireonce+pooncerelease.litmus | 8 ++++ > b/tools/memory-model/litmus-tests/LB+poonceonces.litmus | 7 +++ > b/tools/memory-model/litmus-tests/MP+onceassign+derefonce.litmus | 11 +++++ > b/tools/memory-model/litmus-tests/MP+polocks.litmus | 11 +++++ > b/tools/memory-model/litmus-tests/MP+poonceonces.litmus | 7 +++ > b/tools/memory-model/litmus-tests/MP+pooncerelease+poacquireonce.litmus | 8 ++++ > b/tools/memory-model/litmus-tests/MP+porevlocks.litmus | 11 +++++ > b/tools/memory-model/litmus-tests/MP+wmbonceonce+rmbonceonce.litmus | 8 ++++ > b/tools/memory-model/litmus-tests/R+mbonceonces.litmus | 9 ++++ > b/tools/memory-model/litmus-tests/R+poonceonces.litmus | 8 ++++ > b/tools/memory-model/litmus-tests/README | 4 +- > b/tools/memory-model/litmus-tests/S+poonceonces.litmus | 9 ++++ > b/tools/memory-model/litmus-tests/S+wmbonceonce+poacquireonce.litmus | 7 +++ > b/tools/memory-model/litmus-tests/SB+mbonceonces.litmus | 9 ++++ > b/tools/memory-model/litmus-tests/SB+poonceonces.litmus | 8 ++++ > b/tools/memory-model/litmus-tests/WRC+poonceonces+Once.litmus | 8 ++++ > b/tools/memory-model/litmus-tests/WRC+pooncerelease+rmbonceonce+Once.litmus | 8 ++++ > b/tools/memory-model/litmus-tests/Z6.0+pooncelock+poonceLock+pombonce.litmus | 9 ++++ > b/tools/memory-model/litmus-tests/Z6.0+pooncelock+pooncelock+pombonce.litmus | 8 ++++ > b/tools/memory-model/litmus-tests/Z6.0+pooncerelease+poacquirerelease+mbonceonce.litmus | 14 +++++++ > 36 files changed, 286 insertions(+), 38 deletions(-) >