mirror of
https://github.com/golang/go
synced 2024-11-21 18:04:40 -07:00
doc: fix memory model read visibility bug
Fixes #2277. R=dvyukov, r CC=golang-dev https://golang.org/cl/5083044
This commit is contained in:
parent
aa2a31e6c4
commit
44d13e3cfe
@ -54,7 +54,7 @@ if both of the following hold:
|
|||||||
</p>
|
</p>
|
||||||
|
|
||||||
<ol>
|
<ol>
|
||||||
<li><span class="event">w</span> happens before <span class="event">r</span>.</li>
|
<li><span class="event">r</span> does not happen before <span class="event">w</span>.</li>
|
||||||
<li>There is no other write <span class="event">w'</span> to <code>v</code> that happens
|
<li>There is no other write <span class="event">w'</span> to <code>v</code> that happens
|
||||||
after <span class="event">w</span> but before <span class="event">r</span>.</li>
|
after <span class="event">w</span> but before <span class="event">r</span>.</li>
|
||||||
</ol>
|
</ol>
|
||||||
|
Loading…
Reference in New Issue
Block a user