diff for duplicates of <20160616101627.GA5827@arm.com> diff --git a/a/1.txt b/N1/1.txt index 7f707ad..97c873b 100644 --- a/a/1.txt +++ b/N1/1.txt @@ -32,12 +32,12 @@ On Thu, Jun 16, 2016 at 10:19:51AM +0800, Boqun Feng wrote: > loop with no barrier on ARM64v8. This means the following code: > > CPU 0 CPU 1 (next) -> ======================== ================== +> ============ ========= > WRITE_ONCE(x, 1); r1 = smp_load_acquire(next->locked, 1); > xchg_release(&node->next, NULL); r2 = READ_ONCE(x); > WRITE_ONCE(next->locked, 1); > -> could result in (r1 == 1 && r2 == 0) on ARM64v8, IIUC. +> could result in (r1 = 1 && r2 = 0) on ARM64v8, IIUC. Yes, of course. Why is that unexpected? You could just as easily make the xchg_release an smp_store_release and this would still be permitted, diff --git a/a/content_digest b/N1/content_digest index e2877c2..cb12655 100644 --- a/a/content_digest +++ b/N1/content_digest @@ -5,7 +5,7 @@ "ref\020160616021951.GA16918@insomnia\0" "From\0Will Deacon <will.deacon@arm.com>\0" "Subject\0Re: [RFC PATCH-tip v2 1/6] locking/osq: Make lock/unlock proper acquire/release barrier\0" - "Date\0Thu, 16 Jun 2016 11:16:28 +0100\0" + "Date\0Thu, 16 Jun 2016 10:16:28 +0000\0" "To\0Boqun Feng <boqun.feng@gmail.com>\0" "Cc\0Waiman Long <waiman.long@hpe.com>" Peter Zijlstra <peterz@infradead.org> @@ -57,12 +57,12 @@ "> loop with no barrier on ARM64v8. This means the following code:\n" "> \n" "> \tCPU 0\t\t\t\t\tCPU 1 (next)\n" - "> \t========================\t\t==================\n" + "> \t============\t\t=========\n" "> \tWRITE_ONCE(x, 1);\t\t\tr1 = smp_load_acquire(next->locked, 1);\n" "> \txchg_release(&node->next, NULL);\tr2 = READ_ONCE(x);\n" "> \tWRITE_ONCE(next->locked, 1);\n" "> \n" - "> could result in (r1 == 1 && r2 == 0) on ARM64v8, IIUC.\n" + "> could result in (r1 = 1 && r2 = 0) on ARM64v8, IIUC.\n" "\n" "Yes, of course. Why is that unexpected? You could just as easily make\n" "the xchg_release an smp_store_release and this would still be permitted,\n" @@ -76,4 +76,4 @@ "\n" Will -24edfbe799b659345ebd057346a84beb73c13a760e36905daea80e96bcb6c295 +69de31348e8c39636e9406d5c0728783068179468076b91adf3911cb5c40b53d
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.