メモリの並べ替えにより、Go ルーチンが予期しない値を出力するのはなぜですか?

Go ルーチンの問題: 不正な同期

GoLang で発生した問題は、そのメモリ モデルに起因します。ドキュメントによると、単一の goroutine 内で、その goroutine 内の動作に影響を与えない限り、読み取りと書き込みの順序を変更できます。

次のコードを考えてみましょう:

var a, b int

func f() {
    a = 1
    b = 2
}

func g() {
    print(b)
    print(a)
}

func main() {
    go f()
    g()
}

Dueメモリ モデルの並べ替えを行うと、 g() が 2 を出力し、次に 0 を出力することがわかります。たとえ a の代入が b の代入より前に来ても、 f() を使用すると、コンパイラは効率上の理由から最初に b を代入することでコードを最適化する場合があります。

同じゴルーチン内では、問題が発生する場合にコンパイラが順序を変更できないため、割り当ての順序が保証されます。ただし、この例では、2 つのゴルーチン間に同期はありません。したがって、コンパイラは、他の goroutine に対する並べ替えの潜在的な影響を考慮する必要はありません。

WaitGroup や mutex などの goroutine 間に同期を導入すると、コンパイラは矛盾がないことを確認します。同期ポイントで。この場合、print() が呼び出される前に両方の割り当てが完了するため、g() は 2 と 1 を出力すると予想されます。

GoLang のメモリ モデルのこの側面を理解することは、同時実行プログラムを作成し回避するために重要です。予期しない再順序付けによって発生する可能性のある潜在的な競合状態またはその他の問題。

以上がメモリの並べ替えにより、Go ルーチンが予期しない値を出力するのはなぜですか?の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。