Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1751867AbaBRV1m (ORCPT ); Tue, 18 Feb 2014 16:27:42 -0500 Received: from mx1.redhat.com ([209.132.183.28]:17123 "EHLO mx1.redhat.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1751541AbaBRV1j (ORCPT ); Tue, 18 Feb 2014 16:27:39 -0500 Subject: Re: [RFC][PATCH 0/5] arch: atomic rework From: Torvald Riegel To: Linus Torvalds Cc: Alec Teal , Paul McKenney , 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" In-Reply-To: References: <20140207180216.GP4250@linux.vnet.ibm.com> <1391992071.18779.99.camel@triegel.csb> <1392183564.18779.2187.camel@triegel.csb> <20140212180739.GB4250@linux.vnet.ibm.com> <20140213002355.GI4250@linux.vnet.ibm.com> <1392321837.18779.3249.camel@triegel.csb> <20140214020144.GO4250@linux.vnet.ibm.com> <1392352981.18779.3800.camel@triegel.csb> <20140214172920.GQ4250@linux.vnet.ibm.com> <1392486310.18779.6447.camel@triegel.csb> <1392666947.18779.6838.camel@triegel.csb> <530296CD.5050503@warwick.ac.uk> <1392737465.18779.7644.camel@triegel.csb> Content-Type: text/plain; charset="UTF-8" Date: Tue, 18 Feb 2014 22:21:56 +0100 Message-ID: <1392758516.18779.8378.camel@triegel.csb> Mime-Version: 1.0 Content-Transfer-Encoding: 7bit Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Tue, 2014-02-18 at 08:49 -0800, Linus Torvalds wrote: > On Tue, Feb 18, 2014 at 7:31 AM, Torvald Riegel wrote: > > On Mon, 2014-02-17 at 16:05 -0800, Linus Torvalds wrote: > >> And exactly because I know enough, I would *really* like atomics to be > >> well-defined, and have very clear - and *local* - rules about how they > >> can be combined and optimized. > > > > "Local"? > > Yes. > > So I think that one of the big advantages of atomics over volatile is > that they *can* be optimized, and as such I'm not at all against > trying to generate much better code than for volatile accesses. > > But at the same time, that can go too far. For example, one of the > things we'd want to use atomics for is page table accesses, where it > is very important that we don't generate multiple accesses to the > values, because parts of the values can be change *by*hardware* (ie > accessed and dirty bits). > > So imagine that you have some clever global optimizer that sees that > the program never ever actually sets the dirty bit at all in any > thread, and then uses that kind of non-local knowledge to make > optimization decisions. THAT WOULD BE BAD. > > Do you see what I'm aiming for? Yes, I do. But that seems to be "volatile" territory. It crosses the boundaries of the abstract machine, and thus is input/output. Which fraction of your atomic accesses can read values produced by hardware? I would still suppose that lots of synchronization is not affected by this. Do you perhaps want a weaker form of volatile? That is, one that, for example, allows combining of two adjacent loads of the dirty bits, but will make sure that this is treated as if there is some imaginary external thread that it cannot analyze and that may write? I'm trying to be careful here in distinguishing between volatile and synchronization because I believe those are orthogonal, and this is a good thing because it allows for more-than-conservatively optimized code. > Any optimization that tries to prove > anything from more than local state is by definition broken, because > it assumes that everything is described by the program. Well, that's how atomics that aren't volatile are defined in the standard. I can see that you want something else too, but that doesn't mean that the other thing is broken. > But *local* optimizations are fine, as long as they follow the obvious > rule of not actually making changes that are semantically visible. If we assume that there is this imaginary thread called hardware that can write/read to/from such weak-volatile atomics, I believe this should restrict optimizations sufficiently even in the model as specified in the standard. For example, it would prevent a compiler from proving that there is no access by another thread to a variable, so it would prevent the cases in our discussion that you didn't want to get optimized. Yet, I believe the model itself could stay unmodified. Thus, with this "weak volatile", we could let programmers request precisely the semantics that they want, without using volatile too much and without preventing optimizations more than necessary. Thoughts? > (In practice, I'd be impressed as hell for that particular example, > and we actually do end up setting the dirty bit by hand in some > situations, so the example is slightly made up, but there are other > cases that might be more realistic in that sometimes we do things that > are hidden from the compiler - in assembly etc - and the compiler > might *think* it knows what is going on, but it doesn't actually see > all accesses). If something is visible to assembly, then the compiler should see this (or at least be aware that it can't prove anything about such data). Or am I missing anything? > > Sorry, but the rules *are* very clear. I *really* suggest to look at > > the formalization by Batty et al. And in these rules, proving that a > > read will always return value X has a well-defined meaning, and you can > > use it. That simply follows from how the model is built. > > What "model"? The C/C++ memory model was what I was referring to. > That's the thing. I have tried to figure out whether the model is some > abstract C model, or a model based on the actual hardware that the > compiler is compiling for, and whether the model is one that assumes > the compiler has complete knowledge of the system (see the example > above). It's a model as specified in the standard. It's not parametrized by the hardware the program will eventually run on (ignoring implementation-defined behavior, timing, etc.). The compiler has complete knowledge of the system unless for "volatiles" and things coming in from the external world or escaping to it (e.g., stuff escaping into asm statements). > And it seems to be a mixture of it all. The definitions of the various > orderings obviously very much imply that the compiler has to insert > the proper barriers or sequence markers for that architecture, but > then there is no apparent way to depend on any *other* architecture > ordering guarantees. Like our knowledge that all architectures (with > the exception of alpha, which really doesn't end up being something we > worry about any more) end up having the load dependency ordering > guarantee. That is true, things like those other ordering guarantees aren't part of the model currently. But they might perhaps make good extensions. > > What you seem to want just isn't covered by the model as it is today -- > > you can't infer from that that the model itself would be wrong. The > > dependency chains aren't modeled in the way you envision it (except in > > what consume_mo tries, but that seems to be hard to implement); they are > > there on the level of the program logic as modeled by the abstract > > machine and the respective execution/output rules, but they are not > > built to represent those specific ordering guarantees the HW gives you. > > So this is a problem. It basically means that we cannot do the kinds > of things we do now, which very much involve knowing what the memory > ordering of a particular machine is, and combining that knowledge with > our knowledge of code generation. Yes, I agree that the standard is lacking a "feature" in this case (for lack of a better word -- I wouldn't call it a bug). I do hope that this discussion can lead us to a better understanding of this, and how we might perhaps add it as an extension to the C/C++ model while still keeping all the benefits of the model. > Now, *most* of what we do is protected by locking and is all fine. But > we do have a few rather subtle places in RCU and in the scheduler > where we depend on the actual dependency chain. > > In *practice*, I seriously doubt any reasonable compiler can actually > make a mess of it. The kinds of optimizations that would actually > defeat the dependency chain are simply not realistic. And I suspect > that will end up being what we rely on - there being no actual sane > sequence that a compiler would ever do, even if we wouldn't have > guarantees for some of it. Yes, maybe. I would prefer if we could put hard requirements for compilers about this in the standard (so that you get a more stable target to work against), but that might be hard to do in this case. > And I suspect I can live with that. We _have_ lived with that for the > longest time, after all. We very much do things that aren't covered by > any existing C standard, and just basically use tricks to coax the > compiler into never generating code that doesn't work (with our inline > asm barriers etc being a prime example). > > > I would also be cautious claiming that the rules you suggested would be > > very clear and very simple. I haven't seen a memory model spec from you > > that would be viable as the standard model for C/C++, nor have I seen > > proof that this would actually be easier to understand for programmers > > in general. > > So personally, if I were to write the spec, I would have taken a > completely different approach from what the standard obviously does. > > I'd have taken the approach of specifying the required semantics each > atomic op (ie the memory operations would end up having to be > annotated with their ordering constraints), and then said that the > compiler can generate any code that is equivalent to that > _on_the_target_machine_. > > Why? Just to avoid the whole "ok, which set of rules applies now" problem. > > >> For example, CPU people actually do tend to give guarantees for > >> certain things, like stores that are causally related being visible in > >> a particular order. > > > > Yes, but that's not part of the model so far. If you want to exploit > > this, please make a suggestion for how to extend the model to cover > > this. > > See above. This is exactly why I detest the C "model" thing. Now you > need ways to describe those CPU guarantees, because if you can't > describe them, you can't express them in the model. That's true, it has to be modeled. The downside of your approach would be that it's not portable code anymore, which would be a big downside for the majority of the C/C++ programmers I guess. > I would *much* have preferred the C standard to say that you have to > generate code that is guaranteed to act the same way - on that machine > - as the "naive direct unoptimized translation". I can see the advantages that has when using C as something like a high-level assembler. But as the discussion of the difficulty of tracking data dependencies indicates (including tracking though non-synchronizing code), this behavior might spread throughout the program and is hard to contain. For many programs, especially on the userspace side or wherever people can't or don't want to perform all optimizations themselves, the optimizations are a real benefit. For example, generic or modular programming becomes so much more practical if a compiler can optimize such code. So if we want both, it's hard to draw the line. > IOW, I would *revel* in the fact that different machines are > different, and basically just describe the "stupid" code generation. > You'd get the guaranteed semantic baseline, but you'd *also* be able > to know that whatever architecture guarantees you have would remain. > Without having to describe those architecture issues. Would you be okay with this preventing lots of optimizations a compiler otherwise could do? Because AFAICT, this spreads into non-synchronizing code via the dependency-tracking, for example. -- 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/