diff options
| author | Dmitriy Vyukov <dvyukov@google.com> | 2014-03-26 19:05:48 +0400 |
|---|---|---|
| committer | Dmitriy Vyukov <dvyukov@google.com> | 2014-03-26 19:05:48 +0400 |
| commit | d89a73837878fa16697e98ff1adf249eef5eaa05 (patch) | |
| tree | 23a2cf338e630ed717cff37e32d6af81337c4ed0 /src/pkg/runtime/stack.c | |
| parent | f8c350873c94baaf53b9c1c2b6ddfb463172c3de (diff) | |
| download | go-d89a73837878fa16697e98ff1adf249eef5eaa05.tar.xz | |
runtime: support channel-based mutex in race detector
Update channel race annotations to support change in
cl/75130045: doc: allow buffered channel as semaphore without initialization
The new annotations are added only for channels with capacity 1.
Strictly saying it's possible to construct a counter-example that
will produce a false positive with capacity > 1. But it's hardly can
lead to false positives in real programs, at least I would like to see such programs first.
Any additional annotations also increase probability of false negatives,
so I would prefer to add them lazily.
LGTM=rsc
R=golang-codereviews
CC=golang-codereviews, iant, khr, rsc
https://golang.org/cl/76970043
Diffstat (limited to 'src/pkg/runtime/stack.c')
0 files changed, 0 insertions, 0 deletions