Go言語の競合状態のデバッグ！-raceオプションの活用法

先生と生徒の会話形式で理解しよう

生徒

「先生、Goで並行処理を書いたら、変な動作になることがあります。どうしてでしょうか？」

先生

「それは競合状態、つまり複数のgoroutineが同じデータに同時にアクセスしている可能性があります。」

生徒

「競合状態ってどうやって見つけるんですか？」

先生

「Goには-raceという便利なオプションがあります。これを使うと、競合状態を自動で検出できます。」

1. 競合状態とは？

競合状態（Race Condition）は、複数のgoroutineが同じ変数を同時に読み書きしたときに、予測できない結果が生じる状況を指します。たとえば、銀行口座の残高を複数人が同時に更新すると、正しい残高が計算できなくなる場合です。

2. -raceオプションの使い方

Goではビルドやテスト時に-raceオプションを付けることで、競合状態を検出できます。コマンド例は以下の通りです。


go run -race main.go
go test -race ./...

これにより、プログラムが実行される間に競合状態が検出されると、詳細な情報が出力されます。

3. 競合状態の例と検出

次の例では、複数のgoroutineが同じ変数にアクセスするため、競合状態が発生します。


package main

import (
    "fmt"
    "sync"
)

func main() {
    var counter int
    var wg sync.WaitGroup

    for i := 0; i < 5; i++ {
        wg.Add(1)
        go func() {
            counter++
            wg.Done()
        }()
    }

    wg.Wait()
    fmt.Println("カウンター:", counter)
}

このプログラムをgo run -race main.goで実行すると、競合状態が検出され、どのgoroutineが問題を引き起こしたか表示されます。

4. 競合状態を防ぐ方法

競合状態は以下の方法で回避できます。

sync.Mutexを使って変数のアクセスを保護する
channelを使ってgoroutine間で安全にデータを受け渡す
必要に応じてsync/atomicパッケージで原子操作を行う

例えば、Mutexを使った修正版は以下の通りです。


package main

import (
    "fmt"
    "sync"
)

func main() {
    var counter int
    var wg sync.WaitGroup
    var mu sync.Mutex

    for i := 0; i < 5; i++ {
        wg.Add(1)
        go func() {
            mu.Lock()
            counter++
            mu.Unlock()
            wg.Done()
        }()
    }

    wg.Wait()
    fmt.Println("カウンター:", counter)
}

Mutexで保護することで、複数のgoroutineが同時に変数を変更しても正しい結果が得られます。