go语言的潜在竞争条件

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()方法.当inc()方法退出defer时,互斥锁的解锁将发生并且很可能在错误的时间发生,从而导致竞争条件.

正如@Flimzy建议使用atomic.AddInt32将完全取消对互斥量的需求.

两个基于互斥的解决方案要么不在goroutine中递增:

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

或者在 goroutine中进行锁定和解锁:

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

但老实说,在这个例子中,做任何类型的goroutine都没有意义.你为什么需要增量才能进入goroutine？