Received: by 2002:ac0:a581:0:0:0:0:0 with SMTP id m1-v6csp7948280imm; Thu, 28 Jun 2018 11:54:27 -0700 (PDT) X-Google-Smtp-Source: ADUXVKLufEJojjsj6r2Zp1l9MZeiqDAnW5omx8dH3KcF/sFALxPe8F3dj0r5qJjb1YDgNrVAhpC3 X-Received: by 2002:a63:b91c:: with SMTP id z28-v6mr9894483pge.22.1530212067926; Thu, 28 Jun 2018 11:54:27 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1530212067; cv=none; d=google.com; s=arc-20160816; b=0qXIpTzFFhSnLw3++yJa9GcIBWkHSbJBZw1WA3dLptAS8XmnWLSX868LTtJPoNJsS+ N7MAN+hCCa6SHopW883l6XwvGkZwLRH+7K+TkZ6pcKZGBoj2FV2mX0j4dvcMmNo8aJTl /MrrwCERjIOXEMYhzIhfFcULjUOumIJjWL+ODC1SE9il7LmNQMOTD7TAmpAzV2Pyzt7x vgPdr1CWfwPWq2h71pWiUzOytM+wKNt3KulXBlcngWwZPwsdztsEOEHFfrqLlHu2eLfm XLrv6IS/YMn3e8c5s1ryWjw+BTAav8BchwSW8G6OKrSra7fAkFsbtdRU7HAekTsehs05 l1jA== 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:in-reply-to :content-disposition:mime-version:references:reply-to:subject:cc:to :from:date:arc-authentication-results; bh=wCaGFmVVz50b6ohoNvWXZAIGbbfaxbhAiFfbYs2t8qE=; b=X/bOjeCPP8IJBJL9hJwuaFlDN47+b4fCYnshVOzZNO2nWC5zrb5tjZKRB3k1IxCeno obVCBcXvnY4CWScYpqFm9fe0RKcDbqO5JtkcPtz1iTRDaZto6rMjANpNKGfyfFIA47jH pXzJb+tkWJDar6AOZGnt+3gs3qmd4c23TJLeHFn2j3ROAFsjf8ZSPdpdRdO/zgN4s3qC wMNAQiJvEGFEwD5un+iuoOtLZAk7SNBE2NHl8wLNiUznhpZ9kGHnp8OxDZFNAa3xq0/L Cz5zHTPHzzVgtjzSs5B6SrtWGHCgy89L17CSWPZRqrpN2rJsAr/SrIiX7OqRP4gursgY Ifqw== 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 a7-v6si6370686pgt.495.2018.06.28.11.54.13; Thu, 28 Jun 2018 11:54:27 -0700 (PDT) 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 S964911AbeF1PTm (ORCPT + 99 others); Thu, 28 Jun 2018 11:19:42 -0400 Received: from mx0b-001b2d01.pphosted.com ([148.163.158.5]:36916 "EHLO mx0a-001b2d01.pphosted.com" rhost-flags-OK-OK-OK-FAIL) by vger.kernel.org with ESMTP id S935426AbeF1PTl (ORCPT ); Thu, 28 Jun 2018 11:19:41 -0400 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 w5SFEACS139364 for ; Thu, 28 Jun 2018 11:19:40 -0400 Received: from e11.ny.us.ibm.com (e11.ny.us.ibm.com [129.33.205.201]) by mx0b-001b2d01.pphosted.com with ESMTP id 2jvyckrsau-1 (version=TLSv1.2 cipher=AES256-GCM-SHA384 bits=256 verify=NOT) for ; Thu, 28 Jun 2018 11:19:40 -0400 Received: from localhost by e11.ny.us.ibm.com with IBM ESMTP SMTP Gateway: Authorized Use Only! Violators will be prosecuted for from ; Thu, 28 Jun 2018 11:19:39 -0400 Received: from b01cxnp23032.gho.pok.ibm.com (9.57.198.27) by e11.ny.us.ibm.com (146.89.104.198) with IBM ESMTP SMTP Gateway: Authorized Use Only! Violators will be prosecuted; (version=TLSv1/SSLv3 cipher=AES256-GCM-SHA384 bits=256/256) Thu, 28 Jun 2018 11:19:34 -0400 Received: from b01ledav003.gho.pok.ibm.com (b01ledav003.gho.pok.ibm.com [9.57.199.108]) by b01cxnp23032.gho.pok.ibm.com (8.14.9/8.14.9/NCO v10.0) with ESMTP id w5SFJXgX19595580 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-GCM-SHA384 bits=256 verify=FAIL); Thu, 28 Jun 2018 15:19:34 GMT Received: from b01ledav003.gho.pok.ibm.com (unknown [127.0.0.1]) by IMSVA (Postfix) with ESMTP id C20EDB2065; Thu, 28 Jun 2018 11:19:24 -0400 (EDT) Received: from b01ledav003.gho.pok.ibm.com (unknown [127.0.0.1]) by IMSVA (Postfix) with ESMTP id 9CE7AB2064; Thu, 28 Jun 2018 11:19:24 -0400 (EDT) Received: from paulmck-ThinkPad-W541 (unknown [9.70.82.159]) by b01ledav003.gho.pok.ibm.com (Postfix) with ESMTP; Thu, 28 Jun 2018 11:19:24 -0400 (EDT) Received: by paulmck-ThinkPad-W541 (Postfix, from userid 1000) id 7BE0D16C3746; Thu, 28 Jun 2018 08:21:40 -0700 (PDT) Date: Thu, 28 Jun 2018 08:21:40 -0700 From: "Paul E. McKenney" To: Andrea Parri Cc: Mark Rutland , linux-kernel@vger.kernel.org, akiyks@gmail.com, boqun.feng@gmail.com, dhowells@redhat.com, j.alglave@ucl.ac.uk, luc.maranget@inria.fr, npiggin@gmail.com, peterz@infradead.org, stern@rowland.harvard.edu, will.deacon@arm.com Subject: Re: [PATCH 0/2] tools/memory-model: remove ACCESS_ONCE() Reply-To: paulmck@linux.vnet.ibm.com References: <20180628123347.52963-1-mark.rutland@arm.com> <20180628123845.GA14456@andrea> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20180628123845.GA14456@andrea> User-Agent: Mutt/1.5.21 (2010-09-15) X-TM-AS-GCONF: 00 x-cbid: 18062815-2213-0000-0000-000002C15D01 X-IBM-SpamModules-Scores: X-IBM-SpamModules-Versions: BY=3.00009271; HX=3.00000241; KW=3.00000007; PH=3.00000004; SC=3.00000266; SDB=6.01053592; UDB=6.00540222; IPR=6.00831514; MB=3.00021908; MTD=3.00000008; XFM=3.00000015; UTC=2018-06-28 15:19:38 X-IBM-AV-DETECTION: SAVI=unused REMOTE=unused XFE=unused x-cbparentid: 18062815-2214-0000-0000-00005AA39E6A Message-Id: <20180628152140.GK3593@linux.vnet.ibm.com> X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10434:,, definitions=2018-06-28_07:,, signatures=0 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=0 priorityscore=1501 malwarescore=0 suspectscore=0 phishscore=0 bulkscore=0 spamscore=0 clxscore=1015 lowpriorityscore=0 mlxscore=0 impostorscore=0 mlxlogscore=999 adultscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.0.1-1806210000 definitions=main-1806280173 Sender: linux-kernel-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Thu, Jun 28, 2018 at 02:38:45PM +0200, Andrea Parri wrote: > On Thu, Jun 28, 2018 at 01:33:45PM +0100, Mark Rutland wrote: > > Since commit: > > > > b899a850431e2dd0 ("compiler.h: Remove ACCESS_ONCE()") > > > > ... there has been no definition of ACCESS_ONCE() in the kernel tree, > > and it has been necessary to use READ_ONCE() or WRITE_ONCE() instead. > > > > However, since then the kernel memory model was added to the Linux tree, > > sporting new instances of ACCESS_ONCE() in examples and in the memory > > model itself. > > > > These patches remove the new instances of ACCESS_ONCE() for consistency > > with the contemporary codebase. > > > > Thanks, > > Mark. > > > > Mark Rutland (2): > > tools/memory-model: remove ACCESS_ONCE() from recipes > > tools/memory-model: remove ACCESS_ONCE() from model > > For the series: > > Acked-by: Andrea Parri Applied, thank you both! These both are ready for the upcoming merge window. While I am at it, here is the current scorecard: e9ff68680cd4 tools/memory-model: Add litmus test for full multicopy atomicity c21fcc6594f1 tools/memory-model: Fix ISA2+pooncelock+pooncelock+pombonce name aa838e0b70e1 MAINTAINERS: Add Daniel Lustig as an LKMM reviewer 3cb0d7701c4c locking/memory-barriers.txt/kokr: Update Korean translation to fix broken DMA vs. MMIO ordering example 0bde941f3629 tools/memory-model: Remove ACCESS_ONCE() from recipes 80b7b05c3aa0 tools/memory-model: Remove ACCESS_ONCE() from model The above patches are ready for the upcoming merge window because each has at least one Acked-by or Reviewed-by. 6098ce88bc4d tools/memory-model: Make scripts executable 5bb22d0126f9 tools/memory-model: Rename litmus tests to comply to norm7 1bc179880fba docs: atomic_ops: Describe atomic_set as a write operation The above patches need at least one additional Acked-by or Reviewed-by. If any of you gets a chance, please do look them over. 51b0a8985c5a EXP tools/memory-model: Add litmus-test naming scheme This patch needs me to get Will Deacon's feedback applied. :-/ 06e99a0d9662 EXP tools/memory-model: Add .cfg and .cat files for s390 This is a placeholder, and probably won't ever go upstream into the Linux kernel. (Maybe someday into herd where the other architecture-specific .cat files live.) Thanx, Paul > Cheers, > Andrea > > > > > > tools/memory-model/Documentation/recipes.txt | 4 ++-- > > tools/memory-model/linux-kernel.bell | 2 +- > > 2 files changed, 3 insertions(+), 3 deletions(-) > > > > -- > > 2.11.0 > > >