From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <linux-kernel-owner@vger.kernel.org>
Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand
        id S932268AbdJJRI0 (ORCPT <rfc822;w@1wt.eu>);
        Tue, 10 Oct 2017 13:08:26 -0400
Received: from foss.arm.com ([217.140.101.70]:47754 "EHLO foss.arm.com"
        rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP
        id S1755836AbdJJRIZ (ORCPT <rfc822;linux-kernel@vger.kernel.org>);
        Tue, 10 Oct 2017 13:08:25 -0400
Date: Tue, 10 Oct 2017 18:06:52 +0100
From: Mark Rutland <mark.rutland@arm.com>
To: Joe Perches <joe@perches.com>
Cc: paulmck@linux.vnet.ibm.com, linux-kernel@vger.kernel.org,
        Linus Torvalds <torvalds@linux-foundation.org>,
        Fengguang Wu <fengguang.wu@intel.com>,
        ksummit-discuss <ksummit-discuss@lists.linuxfoundation.org>
Subject: Re: [PATCH 13/13] rcutorture: formal: prepare for ACCESS_ONCE()
 removal
Message-ID: <20171010170652.GO27659@leverpostej>
References: <1507573730-8083-1-git-send-email-mark.rutland@arm.com>
 <1507573730-8083-14-git-send-email-mark.rutland@arm.com>
 <20171009195112.GL3521@linux.vnet.ibm.com>
 <20171010095413.GE27659@leverpostej>
 <20171010124712.GV3521@linux.vnet.ibm.com>
 <20171010125039.GI27659@leverpostej>
 <20171010145252.GX3521@linux.vnet.ibm.com>
 <1507652874.3552.34.camel@perches.com>
 <20171010164139.GN27659@leverpostej>
 <1507654645.3552.37.camel@perches.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <1507654645.3552.37.camel@perches.com>
User-Agent: Mutt/1.5.21 (2010-09-15)
Sender: linux-kernel-owner@vger.kernel.org
List-ID: <linux-kernel.vger.kernel.org>
X-Mailing-List: linux-kernel@vger.kernel.org

On Tue, Oct 10, 2017 at 09:57:25AM -0700, Joe Perches wrote:
> On Tue, 2017-10-10 at 17:41 +0100, Mark Rutland wrote:
> > On Tue, Oct 10, 2017 at 09:27:54AM -0700, Joe Perches wrote:
> > > Once ACCESS_ONCE is removed from the code in the tree
> > > it can also be removed from checkpatch
> > 
> > Sure thing. We're expecting to rip that out with the ACCESS_ONCE
> > definitions in a post-Coccinelle patch.
> 
> This treewide series is one of the types that would be nice to
> have done at -rc1 via some external automated script service.

Agreed, and this is exactly the plan.

As mentioned above, the treewide conversion is scripted with Coccinelle
(script below). The plan would be to regenerate this at an rc boundary,
once the preparatory patches (which cannot be scripted) have been
merged.

The ACCESS_ONCE() definitions and checkpatch bits would be removed in a
subsequent patch or series of patches.

Thanks,
Mark.

----
// Convert trivial ACCESS_ONCE() uses to equivalent READ_ONCE() and
// WRITE_ONCE()

virtual patch

@ depends on patch @
expression E1, E2;
@@

- ACCESS_ONCE(E1) = E2
+ WRITE_ONCE(E1, E2)

@ depends on patch @
expression E;
@@

- ACCESS_ONCE(E)
+ READ_ONCE(E)
----