[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Xen-devel] [v3,11/41] mips: reuse asm-generic/barrier.h
- To: "Paul E. McKenney" <paulmck@xxxxxxxxxxxxxxxxxx>
- From: Peter Zijlstra <peterz@xxxxxxxxxxxxx>
- Date: Fri, 15 Jan 2016 22:27:14 +0100
- Cc: linux-mips@xxxxxxxxxxxxxx, linux-ia64@xxxxxxxxxxxxxxx, "Michael S. Tsirkin" <mst@xxxxxxxxxx>, Will Deacon <will.deacon@xxxxxxx>, virtualization@xxxxxxxxxxxxxxxxxxxxxxxxxx, "H. Peter Anvin" <hpa@xxxxxxxxx>, sparclinux@xxxxxxxxxxxxxxx, Ingo Molnar <mingo@xxxxxxxxxx>, linux-arch@xxxxxxxxxxxxxxx, linux-s390@xxxxxxxxxxxxxxx, Russell King - ARM Linux <linux@xxxxxxxxxxxxxxxx>, user-mode-linux-devel@xxxxxxxxxxxxxxxxxxxxx, linux-sh@xxxxxxxxxxxxxxx, Michael Ellerman <mpe@xxxxxxxxxxxxxx>, x86@xxxxxxxxxx, xen-devel@xxxxxxxxxxxxxxxxxxxx, Ingo Molnar <mingo@xxxxxxx>, linux-xtensa@xxxxxxxxxxxxxxxx, james.hogan@xxxxxxxxxx, Arnd Bergmann <arnd@xxxxxxxx>, Stefano Stabellini <stefano.stabellini@xxxxxxxxxxxxx>, adi-buildroot-devel@xxxxxxxxxxxxxxxxxxxxx, Leonid Yegoshin <Leonid.Yegoshin@xxxxxxxxxx>, ddaney.cavm@xxxxxxxxx, Thomas Gleixner <tglx@xxxxxxxxxxxxx>, linux-metag@xxxxxxxxxxxxxxx, linux-arm-kernel@xxxxxxxxxxxxxxxxxxx, Andrew Cooper <andrew.cooper3@xxxxxxxxxx>, linux-kernel@xxxxxxxxxxxxxxx, Ralf Baechle <ralf@xxxxxxxxxxxxxx>, Joe Perches <joe@xxxxxxxxxxx>, linuxppc-dev@xxxxxxxxxxxxxxxx, David Miller <davem@xxxxxxxxxxxxx>
- Delivery-date: Fri, 15 Jan 2016 21:28:09 +0000
- List-id: Xen developer discussion <xen-devel.lists.xen.org>
On Fri, Jan 15, 2016 at 09:46:12AM -0800, Paul E. McKenney wrote:
> On Fri, Jan 15, 2016 at 10:13:48AM +0100, Peter Zijlstra wrote:
> > And the stuff we're confused about is how best to express the difference
> > and guarantees of these two forms of transitivity and how exactly they
> > interact.
>
> Hoping my memory-barrier.txt patch helps here...
Yes, that seems a good start. But yesterday you raised the 'fun' point
of two globally ordered sequences connected by a single local link.
And I think I'm still confused on LWSYNC (in the smp_wmb case) when one
of the stores looses a conflict, and if that scenario matters. If it
does, we should inspect the same case for other barriers.
_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
http://lists.xen.org/xen-devel
- References:
- Re: [Xen-devel] [v3,11/41] mips: reuse asm-generic/barrier.h
- Re: [Xen-devel] [v3,11/41] mips: reuse asm-generic/barrier.h
- Re: [Xen-devel] [v3,11/41] mips: reuse asm-generic/barrier.h
- Re: [Xen-devel] [v3,11/41] mips: reuse asm-generic/barrier.h
- Re: [Xen-devel] [v3,11/41] mips: reuse asm-generic/barrier.h
- Re: [Xen-devel] [v3,11/41] mips: reuse asm-generic/barrier.h
- Re: [Xen-devel] [v3,11/41] mips: reuse asm-generic/barrier.h
- Re: [Xen-devel] [v3,11/41] mips: reuse asm-generic/barrier.h
- Re: [Xen-devel] [v3,11/41] mips: reuse asm-generic/barrier.h
- Re: [Xen-devel] [v3,11/41] mips: reuse asm-generic/barrier.h
|