潜在的竞走条件

Question

我不确定为什么下面的代码有竞争条件，有人可以给我一个提示吗？我认为没有潜在的竞争条件。先谢谢你。

type PossiblySafeCounter struct { 
    mu sync.Mutex 
    sum int 
} 

func (c *PossiblySafeCounter) inc() { 
    c.mu.Lock(); 
    defer c.mu.Unlock(); 
    go func() { 
     c.sum++ 
    }() 
} 
func (c *PossiblySafeCounter) read() int { 
    c.mu.Lock(); 
    defer c.mu.Unlock(); 
    return c.sum 
} 

Answer 1

的c.sum++是在被调度独立于inc()方法的执行的一个的goroutine。当inc()方法退出defer互斥体的解锁将会发生，并且很可能发生在错误的时间，导致竞争条件。

由于@Flimzy建议使用atomic.AddInt32将根本不需要互斥锁。

两个基于互斥方案是要么不是一个够程增加：

func (c *PossiblySafeCounter) inc() { 
    c.mu.Lock(); 
    defer c.mu.Unlock(); 
    c.sum++ 
} 

还是锁定在解锁的够程：

func (c *PossiblySafeCounter) inc() { 
    go func() { 
     c.mu.Lock(); 
     defer c.mu.Unlock(); 
     c.sum++ 
    }() 
} 

但说实话，做任何形式的goroutine在这个例子中没有意义。为什么你需要增加到一个goroutine？