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()メソッドが終了すると、mutexのロックが解除され、間違ったタイミングで競合が発生する可能性が非常に高くなります。

@Flimzyは、atomic.AddInt32を使用すると、ミューテックスの必要性が全くなくなることを示唆しています。

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

またはロックとにゴルーチンをロック解除の操作を行います：

2つのミューテックスベースのソリューションは、ゴルーチンでインクリメントしないようにされているか、のいずれかの種類をやって、

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

正直なところをこの例では、ゴルーチンは意味をなさない。なぜあなたは増分をゴルーチンに入れる必要がありますか？