Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1757058AbbEVNLj (ORCPT ); Fri, 22 May 2015 09:11:39 -0400 Received: from e35.co.us.ibm.com ([32.97.110.153]:40803 "EHLO e35.co.us.ibm.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1756418AbbEVNLg (ORCPT ); Fri, 22 May 2015 09:11:36 -0400 Date: Fri, 22 May 2015 06:11:26 -0700 From: "Paul E. McKenney" To: Richard Kenner Cc: mingo@kernel.org, akpm@linux-foundation.org, c++std-parallel@accu.org, dhowells@redhat.com, gcc@gcc.gnu.org, linux-arch@vger.kernel.org, linux-kernel@vger.kernel.org, Mark.Batty@cl.cam.ac.uk, michaelw@ca.ibm.com, Peter.Sewell@cl.cam.ac.uk, peterz@infradead.org, Ramana.Radhakrishnan@arm.com, torvalds@linux-foundation.org, will.deacon@arm.com Subject: Re: Compilers and RCU readers: Once more unto the breach! Message-ID: <20150522131126.GF6776@linux.vnet.ibm.com> Reply-To: paulmck@linux.vnet.ibm.com References: <20150520024148.GD6776@linux.vnet.ibm.com> <20150520114745.GC11498@arm.com> <20150520121522.GH6776@linux.vnet.ibm.com> <20150520154617.GE11498@arm.com> <20150520181606.GT6776@linux.vnet.ibm.com> <20150521192422.GC19204@arm.com> <20150521200212.GW6776@linux.vnet.ibm.com> <20150522064344.GA17518@gmail.com> <20150522104332.5FBFF33CA8@vlsi1.gnat.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20150522104332.5FBFF33CA8@vlsi1.gnat.com> User-Agent: Mutt/1.5.21 (2010-09-15) X-TM-AS-MML: disable X-Content-Scanned: Fidelis XPS MAILER x-cbid: 15052213-0013-0000-0000-00000AFDFED5 Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Content-Length: 824 Lines: 20 On Fri, May 22, 2015 at 06:43:32AM -0400, Richard Kenner wrote: > > (Assuming it's a goal of this standard to be human parseable to more > > than a few dozen people on the planet.) > > Unfortunately, that's rarely a goal of most standards. ;-) My experience does match Richard's, sad to say. There has been some vigorous discussion in another thread involving undefined behavior and value narrowing, which has resulted in some useful changes to Section 7.9. The updated document is here: http://www2.rdrop.com/users/paulmck/RCU/consume.2015.05.22a.pdf Thanx, Paul -- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/