Received: by 2002:ac0:a581:0:0:0:0:0 with SMTP id m1-v6csp430594imm; Thu, 28 Jun 2018 23:46:55 -0700 (PDT) X-Google-Smtp-Source: AAOMgpeoHHLuu17E+4X1lMfr2koT0fuHkrjn2TbMMtGKRWx3evEM9SnkFNjgKIcYFu+OZt7Bc+CU X-Received: by 2002:a62:984b:: with SMTP id q72-v6mr13111894pfd.206.1530254815188; Thu, 28 Jun 2018 23:46:55 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1530254815; cv=none; d=google.com; s=arc-20160816; b=LibpJy8e9FaPKWdg4tYdBMYyWtdz3aY7/0R4cL62tMCbUBuqiKiBVxDaitYy5MjSON yhAmm1q0AnC2mogkFvV98wWF706kHXbTHjy+CcD8qKMXsk0aivk9NuZwlg/0D5YwLGQT q9sLR7+rcHK5eEqyugjDrH2hL+0G4eAGB7d1T4uExrseAih1XevoHPoejk4fl/irJQBq 9AXNMFIRb3I3CE53PCTvr7619uuponydPsnFqHjneJiQ8ZKJNoioLKy17nYnTVbr+Vmb F1ztZxsESb0f1MVfdpfLhJ5OKYTHYghDtzUxlumd16LUXNPKGFOKVK9x+oF86TSrlbiq tfUw== 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=g4i2svyn3+byFwM81sP3ERKsYwlwQpONeAYBaw0l+aY=; b=RUKXMuGrCpjLiDowIOHFYEbENZNN/vwAc2V6f8rZ/uUUEcPL7j+PvrVTnUCA9a3hlB kLTVygPk37CBWzbIQ3s+KXKkPIMguwUD+nIdla3EB8d/SU9k7yd49XrlPwJZGg9n4mhu wjzTMixZYGKhdyUKqljsBTi5KMZeK+NiKx5kZU1phlXwtzg1heVlpsJAixvc7tNqhNXF mFvIGvUzJ8XoNodnnyJ3CPWibS31aQ0KZ/UV+WIHl4N+VJbETmzMx2EQsSKEK6otQlgU ubZHnrVehogjJ/UH+mAdlJNy81gnfokDRBbm7gvgh5cXT7eWcIYbSkjKZuxs72+AiO5n VLXQ== 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 t66-v6si6006128pfg.292.2018.06.28.23.46.40; Thu, 28 Jun 2018 23:46:55 -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 S967722AbeF2DDY (ORCPT + 99 others); Thu, 28 Jun 2018 23:03:24 -0400 Received: from mx0b-001b2d01.pphosted.com ([148.163.158.5]:33180 "EHLO mx0a-001b2d01.pphosted.com" rhost-flags-OK-OK-OK-FAIL) by vger.kernel.org with ESMTP id S967707AbeF2DDX (ORCPT ); Thu, 28 Jun 2018 23:03:23 -0400 Received: from pps.filterd (m0098419.ppops.net [127.0.0.1]) by mx0b-001b2d01.pphosted.com (8.16.0.22/8.16.0.22) with SMTP id w5T2sK1s010418 for ; Thu, 28 Jun 2018 23:03:23 -0400 Received: from e15.ny.us.ibm.com (e15.ny.us.ibm.com [129.33.205.205]) by mx0b-001b2d01.pphosted.com with ESMTP id 2jw7akhtpe-1 (version=TLSv1.2 cipher=AES256-GCM-SHA384 bits=256 verify=NOT) for ; Thu, 28 Jun 2018 23:03:22 -0400 Received: from localhost by e15.ny.us.ibm.com with IBM ESMTP SMTP Gateway: Authorized Use Only! Violators will be prosecuted for from ; Thu, 28 Jun 2018 23:03:22 -0400 Received: from b01cxnp22033.gho.pok.ibm.com (9.57.198.23) by e15.ny.us.ibm.com (146.89.104.202) 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 23:03:18 -0400 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 w5T33H1i60948624 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-GCM-SHA384 bits=256 verify=FAIL); Fri, 29 Jun 2018 03:03:17 GMT Received: from b01ledav003.gho.pok.ibm.com (unknown [127.0.0.1]) by IMSVA (Postfix) with ESMTP id 82551B2066; Thu, 28 Jun 2018 23:03:07 -0400 (EDT) Received: from b01ledav003.gho.pok.ibm.com (unknown [127.0.0.1]) by IMSVA (Postfix) with ESMTP id 5C30AB2064; Thu, 28 Jun 2018 23:03:07 -0400 (EDT) Received: from paulmck-ThinkPad-W541 (unknown [9.80.206.224]) by b01ledav003.gho.pok.ibm.com (Postfix) with ESMTP; Thu, 28 Jun 2018 23:03:07 -0400 (EDT) Received: by paulmck-ThinkPad-W541 (Postfix, from userid 1000) id C73CF16CA2E2; Thu, 28 Jun 2018 20:05:24 -0700 (PDT) Date: Thu, 28 Jun 2018 20:05:24 -0700 From: "Paul E. McKenney" To: Akira Yokosawa Cc: Andrea Parri , Mark Rutland , linux-kernel@vger.kernel.org, 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> <20180628152140.GK3593@linux.vnet.ibm.com> <1b382e0f-bfa8-8465-ba88-3a1431beefde@gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <1b382e0f-bfa8-8465-ba88-3a1431beefde@gmail.com> User-Agent: Mutt/1.5.21 (2010-09-15) X-TM-AS-GCONF: 00 x-cbid: 18062903-0068-0000-0000-0000030FFC47 X-IBM-SpamModules-Scores: X-IBM-SpamModules-Versions: BY=3.00009274; HX=3.00000241; KW=3.00000007; PH=3.00000004; SC=3.00000266; SDB=6.01053826; UDB=6.00540363; IPR=6.00831749; MB=3.00021917; MTD=3.00000008; XFM=3.00000015; UTC=2018-06-29 03:03:21 X-IBM-AV-DETECTION: SAVI=unused REMOTE=unused XFE=unused x-cbparentid: 18062903-0069-0000-0000-000044D8BAE1 Message-Id: <20180629030524.GT3593@linux.vnet.ibm.com> X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10434:,, definitions=2018-06-28_09:,, 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-1806290030 Sender: linux-kernel-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Fri, Jun 29, 2018 at 07:22:22AM +0900, Akira Yokosawa wrote: > On 2018/06/28 08:21:40 -0700, Paul E. McKenney wrote: > [...] > > > > 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 > > In this commit, "Usage:" in the header of scripts/checklitmus.sh should > also be updated. > > When it is fixed, > > Acked-by: Akira Yokosawa Done, applied, and thank you! Thanx, Paul > Thanks, Akira > > > 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 > >>> > >> > > >