]> Cypherpunks repositories - gostls13.git/commitdiff
[release-branch.go1.3] doc: fix happens-before rules for buffered channels
authorRuss Cox <rsc@golang.org>
Sat, 7 Jun 2014 02:07:11 +0000 (22:07 -0400)
committerRuss Cox <rsc@golang.org>
Sat, 7 Jun 2014 02:07:11 +0000 (22:07 -0400)
««« CL 101980047 / 12c9a9ff50d8
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
»»»

LGTM=iant
R=golang-codereviews, iant
CC=golang-codereviews, r
https://golang.org/cl/106830047

doc/go_mem.html

index 69e7c8ce75817bdf816f91ff0ef4f13c35ce83b2..2ea1ded7a39fd26806521edd7e84c2a2024a60a4 100644 (file)
@@ -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>