New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Improve "is allowed to observe" definition in Go Memory Model documentation #3144
Labels
Comments
I believe this is fixed at tip. See http://weekly.golang.org/doc/go_mem.html Status changed to Duplicate. Merged into issue #2777. |
Hi I don't see how this change was related to 2777. On the http://weekly.golang.org/doc/go_mem.html, the "is allowed to observed" still only talks about """ A read r of a variable v is allowed to observe a write w to v if both of the following hold: r does not happen before w. There is no other write w' to v that happens after w but before r. """ Russ, if you are reading this :), you maybe remember an email thread about this in last August. I think basically agreed that "It should add that a read r is also allowed to observe any write w that happens concurrently with r". |
I see now why you were confused about the duplicate marking. 2277, not 2777. Merged into issue #2277. |
This issue was closed.
Sign up for free
to subscribe to this conversation on GitHub.
Already have an account?
Sign in.
by hanbing.liu:
The text was updated successfully, but these errors were encountered: