On Wednesday 04 June 2008 00:47, Linus Torvalds wrote: > On Tue, 3 Jun 2008, Nick Piggin wrote: > > Linus: on x86, memory operations to wc and wc+ memory are not ordered > > with one another, or operations to other memory types (ie. load/load > > and store/store reordering is allowed). Also, as you know, store/load > > reordering is explicitly allowed as well, which covers all memory > > types. So perhaps it is not quite true to say readl/writel is strongly > > ordered by default even on x86. You would have to put in some > > mfence instructions in them to make it so. > > Well, you have to ask for WC/WC+ anyway, so it's immaterial. A driver that > does that needs to be aware of it. IOW, it's a non-issue, imnsho. Ah, yes UC is strongly ordered WRT all others *except* WC/WC+. But WC memory is not an x86 specific thing right, so do we need some accessors for WC memory? Or can we just throw that in the weakly ordered pile, and ensure mb/rmb/wmb does the right thing for them. And you want readl/writel to be strongly ordered like x86 on all architectures, no exceptions? This will slow some things down, but if we then also provide explicitly weakly ordered instructions (and add io_mb/io_rmb/io_wmb) then at least it gives the framework for drivers to be written to run on those architectures. The other thing we could do is mandate only that readl/writel will be ordered WRT one another, *and* with spinlocks, but otherwise not with cacheable RAM... -- To unsubscribe from this list: send the line "unsubscribe linux-arch" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
