• Dmitriy Vyukov's avatar
    runtime: support channel-based mutex in race detector · d89a7383
    Dmitriy Vyukov authored
    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
    d89a7383
chan.goc 23.8 KB