即使在golang中使用sync.Mutex也会出现竞争情况

完整代码在这里： https://play.golang.org/p/ggUoxtcv5m
go run -race main.go说那里有竞争条件我无法解释.
不过,该程序输出了正确的最终结果.

精华：

type SafeCounter struct {
    c int
    sync.Mutex
}

func (c *SafeCounter) Add() {
    c.Lock()
    c.c++
    c.Unlock()
}

var counter *SafeCounter = &SafeCounter{} // global

在增量器中使用* SafeCounter：

func incrementor(s String) {
    for i := 0; i < 20; i++ {
        x := counter
        x.Add()
        counter = x
    }
}

incrementor方法在main中生成两次：

func main() {
    go incrementor()
    go incrementor()
    // some other non-really-related stuff like
    // using waitGroup is ommited here for problem showcase
}

因此,正如我所说,去运行-race main.go将始终说有一个比赛cond发现.

此外,最终的结果总是正确的(至少我已经运行了多次这个程序,它总是说最终计数器是40,这是正确的).
但是,程序在开头打印不正确的值,所以你可以得到类似的东西：

Incrementor1: 0 Counter: 2
Incrementor2: 0 Counter: 3
Incrementor2: 1 Counter: 4
// ang the rest is ok

所以,那里缺少打印1.

有人可以解释为什么有竞争条件我的代码？

x := counter      // this reads the counter value without a lock
    fmt.Println(&x.C)
    x.Add()
    counter = x       // this writes the counter value without a lock
    time.Sleep(time.Duration(rand.Intn(3)) * time.Millisecond)
    fmt.Println(s,i,"Counter:",x.C) // this reads the c field without a lock