diff options
Diffstat (limited to 'doc/go_mem.html')
| -rw-r--r-- | doc/go_mem.html | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/doc/go_mem.html b/doc/go_mem.html index a38828358..2e341771f 100644 --- a/doc/go_mem.html +++ b/doc/go_mem.html @@ -1,5 +1,7 @@ -<!-- The Go Memory Model --> -<!-- subtitle Version of June 10, 2011 --> +<!--{ + "Title": "The Go Memory Model", + "Subtitle": "Version of June 10, 2011" +}--> <style> p.rule { @@ -54,7 +56,7 @@ if both of the following hold: </p> <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 after <span class="event">w</span> but before <span class="event">r</span>.</li> </ol> |