diff for duplicates of <20160126061211.GK4503@linux.vnet.ibm.com> diff --git a/a/content_digest b/N1/content_digest index ddd3d87..7012884 100644 --- a/a/content_digest +++ b/N1/content_digest @@ -12,32 +12,39 @@ "Subject\0Re: [v3,11/41] mips: reuse asm-generic/barrier.h\0" "Date\0Mon, 25 Jan 2016 22:12:11 -0800\0" "To\0Will Deacon <will.deacon@arm.com>\0" - "Cc\0linux-mips@linux-mips.org" - linux-ia64@vger.kernel.org + "Cc\0Peter Zijlstra <peterz@infradead.org>" + Leonid Yegoshin <Leonid.Yegoshin@imgtec.com> Michael S. Tsirkin <mst@redhat.com> - Peter Zijlstra <peterz@infradead.org> + linux-kernel@vger.kernel.org + Arnd Bergmann <arnd@arndb.de> + linux-arch@vger.kernel.org + Andrew Cooper <andrew.cooper3@citrix.com> + Russell King - ARM Linux <linux@arm.linux.org.uk> virtualization@lists.linux-foundation.org + Stefano Stabellini <stefano.stabellini@eu.citrix.com> + Thomas Gleixner <tglx@linutronix.de> + Ingo Molnar <mingo@elte.hu> H. Peter Anvin <hpa@zytor.com> - sparclinux@vger.kernel.org - Ingo Molnar <mingo@kernel.org> - linux-arch@vger.kernel.org + Joe Perches <joe@perches.com> + David Miller <davem@davemloft.net> + linux-ia64@vger.kernel.org + linuxppc-dev@lists.ozlabs.org linux-s390@vger.kernel.org - Russell King - ARM Linux <linux@arm.linux.org.uk> + sparclinux@vger.kernel.org + linux-arm-kernel@lists.infradead.org + linux-metag@vger.kernel.org + linux-mips@linux-mips.org + x86@kernel.org user-mode-linux-devel@lists.sourceforge.net + adi-buildroot-devel@lists.sourceforge.net linux-sh@vger.kernel.org - Michael Ellerman <mpe@ellerman.id.au> - x86@kernel.org - xen-devel@lists.xenproject.org - Ingo Molnar <mingo@elte.hu> linux-xtensa@linux-xtensa.org - james.hogan@imgtec.com - Arnd Bergmann <arnd@arndb.de> - Stefano Stabellini <stefano.stabellini@eu.citrix.com> - adi-buildroot-devel@lists.sourceforge.net - Leonid Yegoshin <Leonid.Yegoshin@imgtec.com> + xen-devel@lists.xenproject.org + Ralf Baechle <ralf@linux-mips.org> + Ingo Molnar <mingo@kernel.org> ddaney.cavm@gmail.com - Thomas Gleixner <tglx@linutronix.de> - " linux-metag@vger.kernel.\0" + james.hogan@imgtec.com + " Michael Ellerman <mpe@ellerman.id.au>\0" "\00:1\0" "b\0" "On Mon, Jan 25, 2016 at 06:02:34PM +0000, Will Deacon wrote:\n" @@ -239,4 +246,4 @@ "\n" "\t\t\t\t\t\t\tThanx, Paul" -3a7ee9d4b6727802acaa846a34ba96190c5439f95f407a58ee5a233a2738116e +cd3719f89ee3ffca83edf8fd2130d867c07a8333e38cea7bd7ef8fdb05b535f2
diff --git a/a/1.txt b/N2/1.txt index 1bc3a3e..9f1cb07 100644 --- a/a/1.txt +++ b/N2/1.txt @@ -140,25 +140,25 @@ Does that help? > > +chain of smp_store_release()/smp_load_acquire() pairs, the following > > +outcome is prohibited: > > + -> > + r0 == 1 && r1 == 1 && r2 == 1 +> > + r0 = 1 && r1 = 1 && r2 = 1 > > + > > +Furthermore, because of the release-acquire relationship between cpu0() > > +and cpu1(), cpu1() must see cpu0()'s writes, so that the following > > +outcome is prohibited: > > + -> > + r1 == 1 && r5 == 0 +> > + r1 = 1 && r5 = 0 > > + > > +However, the transitivity of release-acquire is local to the participating > > +CPUs and does not apply to cpu3(). Therefore, the following outcome > > +is possible: > > + -> > + r0 == 0 && r1 == 1 && r2 == 1 && r3 == 0 && r4 == 0 +> > + r0 = 0 && r1 = 1 && r2 = 1 && r3 = 0 && r4 = 0 > -> I think you should be completely explicit and include r5 == 1 here, too. +> I think you should be completely explicit and include r5 = 1 here, too. Good point -- I added this as an additional outcome: - r0 == 0 && r1 == 1 && r2 == 1 && r3 == 0 && r4 == 0 && r5 == 1 + r0 = 0 && r1 = 1 && r2 = 1 && r3 = 0 && r4 = 0 && r5 = 1 > Also -- where would you add the smp_mb__after_release_acquire to fix > (i.e. forbid) this? Immediately after cpu1()'s read of y? @@ -181,7 +181,7 @@ what smp_mb__after_release_acquire() did. ;-) > > +-not- ensure that any particular value will be read. Therefore, the > > +following outcome is possible: > > + -> > + r0 == 0 && r1 == 0 && r2 == 0 && r5 == 0 +> > + r0 = 0 && r1 = 0 && r2 = 0 && r5 = 0 > > + > > +Note that this outcome can happen even on a mythical sequentially > > +consistent system where nothing is ever reordered. diff --git a/a/content_digest b/N2/content_digest index ddd3d87..76aff14 100644 --- a/a/content_digest +++ b/N2/content_digest @@ -10,7 +10,7 @@ "ref\020160125180234.GA26732@arm.com\0" "From\0Paul E. McKenney <paulmck@linux.vnet.ibm.com>\0" "Subject\0Re: [v3,11/41] mips: reuse asm-generic/barrier.h\0" - "Date\0Mon, 25 Jan 2016 22:12:11 -0800\0" + "Date\0Tue, 26 Jan 2016 06:12:11 +0000\0" "To\0Will Deacon <will.deacon@arm.com>\0" "Cc\0linux-mips@linux-mips.org" linux-ia64@vger.kernel.org @@ -182,25 +182,25 @@ "> > +chain of smp_store_release()/smp_load_acquire() pairs, the following\n" "> > +outcome is prohibited:\n" "> > +\n" - "> > +\tr0 == 1 && r1 == 1 && r2 == 1\n" + "> > +\tr0 = 1 && r1 = 1 && r2 = 1\n" "> > +\n" "> > +Furthermore, because of the release-acquire relationship between cpu0()\n" "> > +and cpu1(), cpu1() must see cpu0()'s writes, so that the following\n" "> > +outcome is prohibited:\n" "> > +\n" - "> > +\tr1 == 1 && r5 == 0\n" + "> > +\tr1 = 1 && r5 = 0\n" "> > +\n" "> > +However, the transitivity of release-acquire is local to the participating\n" "> > +CPUs and does not apply to cpu3(). Therefore, the following outcome\n" "> > +is possible:\n" "> > +\n" - "> > +\tr0 == 0 && r1 == 1 && r2 == 1 && r3 == 0 && r4 == 0\n" + "> > +\tr0 = 0 && r1 = 1 && r2 = 1 && r3 = 0 && r4 = 0\n" "> \n" - "> I think you should be completely explicit and include r5 == 1 here, too.\n" + "> I think you should be completely explicit and include r5 = 1 here, too.\n" "\n" "Good point -- I added this as an additional outcome:\n" "\n" - "\tr0 == 0 && r1 == 1 && r2 == 1 && r3 == 0 && r4 == 0 && r5 == 1\n" + "\tr0 = 0 && r1 = 1 && r2 = 1 && r3 = 0 && r4 = 0 && r5 = 1\n" "\n" "> Also -- where would you add the smp_mb__after_release_acquire to fix\n" "> (i.e. forbid) this? Immediately after cpu1()'s read of y?\n" @@ -223,7 +223,7 @@ "> > +-not- ensure that any particular value will be read. Therefore, the\n" "> > +following outcome is possible:\n" "> > +\n" - "> > +\tr0 == 0 && r1 == 0 && r2 == 0 && r5 == 0\n" + "> > +\tr0 = 0 && r1 = 0 && r2 = 0 && r5 = 0\n" "> > +\n" "> > +Note that this outcome can happen even on a mythical sequentially\n" "> > +consistent system where nothing is ever reordered.\n" @@ -239,4 +239,4 @@ "\n" "\t\t\t\t\t\t\tThanx, Paul" -3a7ee9d4b6727802acaa846a34ba96190c5439f95f407a58ee5a233a2738116e +22e1c8c77384d1a2a159f2c46ad5551dffaa991eabadfc36e1ed5d4a3b901fbf
diff --git a/a/content_digest b/N3/content_digest index ddd3d87..4249a80 100644 --- a/a/content_digest +++ b/N3/content_digest @@ -8,36 +8,10 @@ "ref\020160115085554.GF3421@worktop\0" "ref\020160115173912.GU3818@linux.vnet.ibm.com\0" "ref\020160125180234.GA26732@arm.com\0" - "From\0Paul E. McKenney <paulmck@linux.vnet.ibm.com>\0" - "Subject\0Re: [v3,11/41] mips: reuse asm-generic/barrier.h\0" + "From\0paulmck@linux.vnet.ibm.com (Paul E. McKenney)\0" + "Subject\0[v3,11/41] mips: reuse asm-generic/barrier.h\0" "Date\0Mon, 25 Jan 2016 22:12:11 -0800\0" - "To\0Will Deacon <will.deacon@arm.com>\0" - "Cc\0linux-mips@linux-mips.org" - linux-ia64@vger.kernel.org - Michael S. Tsirkin <mst@redhat.com> - Peter Zijlstra <peterz@infradead.org> - virtualization@lists.linux-foundation.org - H. Peter Anvin <hpa@zytor.com> - sparclinux@vger.kernel.org - Ingo Molnar <mingo@kernel.org> - linux-arch@vger.kernel.org - linux-s390@vger.kernel.org - Russell King - ARM Linux <linux@arm.linux.org.uk> - user-mode-linux-devel@lists.sourceforge.net - linux-sh@vger.kernel.org - Michael Ellerman <mpe@ellerman.id.au> - x86@kernel.org - xen-devel@lists.xenproject.org - Ingo Molnar <mingo@elte.hu> - linux-xtensa@linux-xtensa.org - james.hogan@imgtec.com - Arnd Bergmann <arnd@arndb.de> - Stefano Stabellini <stefano.stabellini@eu.citrix.com> - adi-buildroot-devel@lists.sourceforge.net - Leonid Yegoshin <Leonid.Yegoshin@imgtec.com> - ddaney.cavm@gmail.com - Thomas Gleixner <tglx@linutronix.de> - " linux-metag@vger.kernel.\0" + "To\0linux-arm-kernel@lists.infradead.org\0" "\00:1\0" "b\0" "On Mon, Jan 25, 2016 at 06:02:34PM +0000, Will Deacon wrote:\n" @@ -239,4 +213,4 @@ "\n" "\t\t\t\t\t\t\tThanx, Paul" -3a7ee9d4b6727802acaa846a34ba96190c5439f95f407a58ee5a233a2738116e +418649b701408599f96fa3513c8c6cb5d0883f63c98b2f2574032ddb664e8399
This is an external index of several public inboxes, see mirroring instructions on how to clone and mirror all data and code used by this external index.