diff options
author | Dmitriy Vyukov <dvyukov@google.com> | 2014-06-05 21:08:28 +0400 |
---|---|---|
committer | Dmitriy Vyukov <dvyukov@google.com> | 2014-06-05 21:08:28 +0400 |
commit | 81a93ef24a502f74f542845b3a35f22a573f6876 (patch) | |
tree | bbf00afc0f19153ebeaa3338dcde1b603f4370c3 /doc/go_mem.html | |
parent | ae1b5c7bd9c907a4f8d097b88a3e882fdfd5a349 (diff) | |
download | go-81a93ef24a502f74f542845b3a35f22a573f6876.tar.gz go-81a93ef24a502f74f542845b3a35f22a573f6876.zip |
doc: fix happens-before rules for buffered channels
The current wording is reversed in 2 places.
Not sure how it got 4 LGTMs (mine was there as well).
Update #6242.
LGTM=dan.kortschak, r, rsc
R=golang-codereviews, 0xjnml, dan.kortschak, r, rsc
CC=golang-codereviews
https://golang.org/cl/101980047
Diffstat (limited to 'doc/go_mem.html')
-rw-r--r-- | doc/go_mem.html | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/doc/go_mem.html b/doc/go_mem.html index 69e7c8ce75..2ea1ded7a3 100644 --- a/doc/go_mem.html +++ b/doc/go_mem.html @@ -1,6 +1,6 @@ <!--{ "Title": "The Go Memory Model", - "Subtitle": "Version of March 6, 2012", + "Subtitle": "Version of May 31, 2014", "Path": "/ref/mem" }--> @@ -275,17 +275,17 @@ crash, or do something else.) </p> <p class="rule"> -The <i>k</i>th send on a channel with capacity <i>C</i> happens before the <i>k</i>+<i>C</i>th receive from that channel completes. +The <i>k</i>th receive on a channel with capacity <i>C</i> happens before the <i>k</i>+<i>C</i>th send from that channel completes. </p> <p> This rule generalizes the previous rule to buffered channels. It allows a counting semaphore to be modeled by a buffered channel: -the number of items in the channel corresponds to the semaphore count, -the capacity of the channel corresponds to the semaphore maximum, +the number of items in the channel corresponds to the number of active uses, +the capacity of the channel corresponds to the maximum number of simultaneous uses, sending an item acquires the semaphore, and receiving an item releases the semaphore. -This is a common idiom for rate-limiting work. +This is a common idiom for limiting concurrency. </p> <p> |