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;
Date:   Mon, 29 Oct 2018 00:10:03 +0100
From:   Andrea Parri <andrea.parri@amarulasolutions.com>
To:     "Paul E. McKenney" <paulmck@linux.ibm.com>,
        Peter Zijlstra <peterz@infradead.org>,
        Josh Triplett <josh@joshtriplett.org>
Cc:     linux-kernel@vger.kernel.org
Subject: Re: [RFR] Store tearing
Message-ID: <20181028231003.GA4021@andrea>
References: <20181028230627.GA3420@andrea>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <20181028230627.GA3420@andrea>
User-Agent: Mutt/1.9.4 (2018-02-28)
Sender: linux-kernel-owner@vger.kernel.org
Precedence: bulk

Hopefully, with Paul's proper email address this time,

  Andrea

On Mon, Oct 29, 2018 at 12:06:27AM +0100, Andrea Parri wrote:
> Hi,
> 
> memory-barriers.txt says:
> 
>   [on "store tearing"]
> 
>   "In fact, a recent bug (since fixed) caused GCC to incorrectly use
>    this optimization in a volatile store.".
> 
> I was wondering if you could help me retrieve some reference/discussions
> about this?
> 
> Thanks,
>   Andrea