diff for duplicates of <20160115173912.GU3818@linux.vnet.ibm.com> diff --git a/a/content_digest b/N1/content_digest index 0ed1d8c..6771095 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\0Fri, 15 Jan 2016 09:39:12 -0800\0" "To\0Peter Zijlstra <peterz@infradead.org>\0" - "Cc\0linux-mips@linux-mips.org" - linux-ia64@vger.kernel.org - Michael S. Tsirkin <mst@redhat.com> + "Cc\0Leonid Yegoshin <Leonid.Yegoshin@imgtec.com>" Will Deacon <will.deacon@arm.com> + Michael S. Tsirkin <mst@redhat.com> + 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.org\0" + james.hogan@imgtec.com + " Michael Ellerman <mpe@ellerman.id.au>\0" "\00:1\0" "b\0" "On Fri, Jan 15, 2016 at 09:55:54AM +0100, Peter Zijlstra wrote:\n" @@ -201,4 +208,4 @@ " \n" ======================== -f4e5ab12507e669af73c7c9d8cd8237a619ce9e9ee96b7e5840bf451d9abac49 +b73e2fbb3bb595b22cdc0755ad043ded7947fbdef80746c31ac171b03f6aae86
diff --git a/a/1.txt b/N2/1.txt index 97e8327..737e66d 100644 --- a/a/1.txt +++ b/N2/1.txt @@ -119,19 +119,19 @@ index c66ba46d8079..d8109ed99342 100644 +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 + +Although cpu0(), cpu1(), and cpu2() will see their respective reads and +writes in order, CPUs not involved in the release-acquire chain might @@ -148,7 +148,7 @@ index c66ba46d8079..d8109ed99342 100644 +-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. @@ -157,4 +157,4 @@ index c66ba46d8079..d8109ed99342 100644 +barriers throughout. - ======================== + ============ diff --git a/a/content_digest b/N2/content_digest index 0ed1d8c..8997955 100644 --- a/a/content_digest +++ b/N2/content_digest @@ -10,7 +10,7 @@ "ref\020160115085554.GF3421@worktop\0" "From\0Paul E. McKenney <paulmck@linux.vnet.ibm.com>\0" "Subject\0Re: [v3,11/41] mips: reuse asm-generic/barrier.h\0" - "Date\0Fri, 15 Jan 2016 09:39:12 -0800\0" + "Date\0Fri, 15 Jan 2016 17:39:12 +0000\0" "To\0Peter Zijlstra <peterz@infradead.org>\0" "Cc\0linux-mips@linux-mips.org" linux-ia64@vger.kernel.org @@ -161,19 +161,19 @@ "+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" "+Although cpu0(), cpu1(), and cpu2() will see their respective reads and\n" "+writes in order, CPUs not involved in the release-acquire chain might\n" @@ -190,7 +190,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" @@ -199,6 +199,6 @@ "+barriers throughout.\n" " \n" " \n" - ======================== + ============ -f4e5ab12507e669af73c7c9d8cd8237a619ce9e9ee96b7e5840bf451d9abac49 +5ecf6a0badaeeb3791ceaa1b1c0361ef20fda9b6f29457690d8d2978a4352aab
diff --git a/a/content_digest b/N3/content_digest index 0ed1d8c..6c6a2dc 100644 --- a/a/content_digest +++ b/N3/content_digest @@ -8,36 +8,10 @@ "ref\056980C91.1010403@imgtec.com\0" "ref\020160114212913.GF3818@linux.vnet.ibm.com\0" "ref\020160115085554.GF3421@worktop\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\0Fri, 15 Jan 2016 09:39:12 -0800\0" - "To\0Peter Zijlstra <peterz@infradead.org>\0" - "Cc\0linux-mips@linux-mips.org" - linux-ia64@vger.kernel.org - Michael S. Tsirkin <mst@redhat.com> - Will Deacon <will.deacon@arm.com> - 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.org\0" + "To\0linux-arm-kernel@lists.infradead.org\0" "\00:1\0" "b\0" "On Fri, Jan 15, 2016 at 09:55:54AM +0100, Peter Zijlstra wrote:\n" @@ -201,4 +175,4 @@ " \n" ======================== -f4e5ab12507e669af73c7c9d8cd8237a619ce9e9ee96b7e5840bf451d9abac49 +616e512916028906d6b18b5b3659a952a06435727b45d38a8c9e5c92efae1ff0
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.