Received: by 10.223.176.5 with SMTP id f5csp736102wra; Fri, 9 Feb 2018 06:26:24 -0800 (PST) X-Google-Smtp-Source: AH8x224TSjv7dnLP8bAzREYrBNolVE4q6IDrBo31WVyLXgGzqmmxdPSSSDJ5LiOqD9jBrJoK7+LZ X-Received: by 10.98.25.207 with SMTP id 198mr3066131pfz.83.1518186384847; Fri, 09 Feb 2018 06:26:24 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1518186384; cv=none; d=google.com; s=arc-20160816; b=Rkdm6akm8IBvSNE9pEzmputslv4uMv2Wt0shryU9QIZ8vqtSwbO1YmDLNFKafExPNW nDaj67GlVrvp4l8F55AGn5ZOkYa9tOCw0pPqoP7k6Xszz1B1WanksDQd6hHPtK2Sfxd9 +xlckc0miyTs21G8k/QOEtsixItna5boJMQIgLJetyo9WyWwJw8UuKEeCdytpRSf0M5L /GAl0JZZPDmp8dMXXvJmF9NuGtHZs/zzd886+jGeRiQupLFMRTkGpb8IpdCHlkXezKFb y9O4ErukI9Spsb00cD7rS8nCTAIN8xzh8CVx3nBoBDNpqjxDVPRBBb4ZRmiigxft4CHb w2/w== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:sender:message-id:user-agent:content-disposition :mime-version:reply-to:subject:cc:to:from:date :arc-authentication-results; bh=sNbdH6hibWMG1s0WSkF+QmiAA4PZK4Vlgtk4G4fNn64=; b=hrJXMpzzJ1UQ85B1b9DGC0cFngxij5/eMugHIZvhqs9P4plg2/rZuBpQBmszJkUt9p Koig2xBWUlqBd+LxN5VDsQCRu82rrgu40yBYUDu7V29EN5Y54vEhFA77Es6VgvJ5Msu+ qZ7Gf21Ec6uOA/4TL8TDcKpjT1+CZadcDu07+OCeu0cXPHxilJk/hIm+kv72xcuQEVJX sYHYe1CT61j8kU8HGgjdGhdieOC0BBsmn5BnHcnTS3FgGaUO9UHRL0orjlMi+q/6BhbC DMlpvstRwbt1gYndzKJWnEMY2XNw5Y2LLt5mXD/j5tuhpnvW6CWdEV7NHTBFE6ctf6lV xhbg== ARC-Authentication-Results: i=1; mx.google.com; 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=fail (p=NONE sp=NONE dis=NONE) header.from=ibm.com Return-Path: Received: from vger.kernel.org (vger.kernel.org. [209.132.180.67]) by mx.google.com with ESMTP id b124si1231328pfg.188.2018.02.09.06.26.10; Fri, 09 Feb 2018 06:26:24 -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; 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=fail (p=NONE sp=NONE dis=NONE) header.from=ibm.com Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1752796AbeBIOYT (ORCPT + 99 others); Fri, 9 Feb 2018 09:24:19 -0500 Received: from mx0b-001b2d01.pphosted.com ([148.163.158.5]:35914 "EHLO mx0a-001b2d01.pphosted.com" rhost-flags-OK-OK-OK-FAIL) by vger.kernel.org with ESMTP id S1750970AbeBIOWD (ORCPT ); Fri, 9 Feb 2018 09:22:03 -0500 Received: from pps.filterd (m0098416.ppops.net [127.0.0.1]) by mx0b-001b2d01.pphosted.com (8.16.0.22/8.16.0.22) with SMTP id w19EJdgG011034 for ; Fri, 9 Feb 2018 09:22:03 -0500 Received: from e11.ny.us.ibm.com (e11.ny.us.ibm.com [129.33.205.201]) by mx0b-001b2d01.pphosted.com with ESMTP id 2g1bdxn8k4-1 (version=TLSv1.2 cipher=AES256-SHA bits=256 verify=NOT) for ; Fri, 09 Feb 2018 09:22:02 -0500 Received: from localhost by e11.ny.us.ibm.com with IBM ESMTP SMTP Gateway: Authorized Use Only! Violators will be prosecuted for from ; Fri, 9 Feb 2018 09:22:01 -0500 Received: from b01cxnp22033.gho.pok.ibm.com (9.57.198.23) by e11.ny.us.ibm.com (146.89.104.198) with IBM ESMTP SMTP Gateway: Authorized Use Only! Violators will be prosecuted; Fri, 9 Feb 2018 09:21:58 -0500 Received: from b01ledav003.gho.pok.ibm.com (b01ledav003.gho.pok.ibm.com [9.57.199.108]) by b01cxnp22033.gho.pok.ibm.com (8.14.9/8.14.9/NCO v10.0) with ESMTP id w19ELvCX40501412; Fri, 9 Feb 2018 14:21:57 GMT Received: from b01ledav003.gho.pok.ibm.com (unknown [127.0.0.1]) by IMSVA (Postfix) with ESMTP id 9BBE2B2054; Fri, 9 Feb 2018 09:18:52 -0500 (EST) Received: from paulmck-ThinkPad-W541 (unknown [9.80.219.97]) by b01ledav003.gho.pok.ibm.com (Postfix) with ESMTP id 5FF26B204E; Fri, 9 Feb 2018 09:18:51 -0500 (EST) Received: by paulmck-ThinkPad-W541 (Postfix, from userid 1000) id 58A9216C2EE4; Fri, 9 Feb 2018 06:18:32 -0800 (PST) Date: Fri, 9 Feb 2018 06:18:32 -0800 From: "Paul E. McKenney" To: 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, akiyks@gmail.com Subject: [PATCH RFC tools/lkmm] Miscellaneous fixes Reply-To: paulmck@linux.vnet.ibm.com MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.5.21 (2010-09-15) X-TM-AS-GCONF: 00 x-cbid: 18020914-2213-0000-0000-0000026A4430 X-IBM-SpamModules-Scores: X-IBM-SpamModules-Versions: BY=3.00008504; HX=3.00000241; KW=3.00000007; PH=3.00000004; SC=3.00000250; SDB=6.00987227; UDB=6.00501083; IPR=6.00766586; BA=6.00005821; NDR=6.00000001; ZLA=6.00000005; ZF=6.00000009; ZB=6.00000000; ZP=6.00000000; ZH=6.00000000; ZU=6.00000002; MB=3.00019457; XFM=3.00000015; UTC=2018-02-09 14:22:00 X-IBM-AV-DETECTION: SAVI=unused REMOTE=unused XFE=unused x-cbparentid: 18020914-2214-0000-0000-0000590E2962 Message-Id: <20180209141832.GA17505@linux.vnet.ibm.com> X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10432:,, definitions=2018-02-09_07:,, signatures=0 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=0 priorityscore=1501 malwarescore=0 suspectscore=1 phishscore=0 bulkscore=0 spamscore=0 clxscore=1015 lowpriorityscore=0 impostorscore=0 adultscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.0.1-1709140000 definitions=main-1802090184 Sender: linux-kernel-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org 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. 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(-)