Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1751510AbaBZDdP (ORCPT ); Tue, 25 Feb 2014 22:33:15 -0500 Received: from mx1.redhat.com ([209.132.183.28]:5893 "EHLO mx1.redhat.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1751114AbaBZDdN (ORCPT ); Tue, 25 Feb 2014 22:33:13 -0500 Message-ID: <530D6056.40305@redhat.com> Date: Tue, 25 Feb 2014 20:32:38 -0700 From: Jeff Law User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:24.0) Gecko/20100101 Thunderbird/24.3.0 MIME-Version: 1.0 To: paulmck@linux.vnet.ibm.com, Linus Torvalds CC: Torvald Riegel , Will Deacon , Peter Zijlstra , Ramana Radhakrishnan , David Howells , "linux-arch@vger.kernel.org" , "linux-kernel@vger.kernel.org" , "akpm@linux-foundation.org" , "mingo@kernel.org" , "gcc@gcc.gnu.org" Subject: Re: [RFC][PATCH 0/5] arch: atomic rework References: <20140223063426.GT4250@linux.vnet.ibm.com> <20140224172110.GO8264@linux.vnet.ibm.com> <20140224185341.GU8264@linux.vnet.ibm.com> <20140224223701.GC8264@linux.vnet.ibm.com> <20140226001558.GY8264@linux.vnet.ibm.com> In-Reply-To: <20140226001558.GY8264@linux.vnet.ibm.com> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On 02/25/14 17:15, Paul E. McKenney wrote: >> I have for the last several years been 100% convinced that the Intel >> memory ordering is the right thing, and that people who like weak >> memory ordering are wrong and should try to avoid reproducing if at >> all possible. But given that we have memory orderings like power and >> ARM, I don't actually see a sane way to get a good strong ordering. >> You can teach compilers about cases like the above when they actually >> see all the code and they could poison the value chain etc. But it >> would be fairly painful, and once you cross object files (or even just >> functions in the same compilation unit, for that matter), it goes from >> painful to just "ridiculously not worth it". > > And I have indeed seen a post or two from you favoring stronger memory > ordering over the past few years. ;-) I couldn't agree more. > > Are ARM and Power really the bad boys here? Or are they instead playing > the role of the canary in the coal mine? That's a question I've been struggling with recently as well. I suspect they (arm, power) are going to be the outliers rather than the canary. While the weaker model may give them some advantages WRT scalability, I don't think it'll ultimately be enough to overcome the difficulty in writing correct low level code for them. Regardless, they're here and we have to deal with them. Jeff -- 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/