なぜ golang 関数は goroutine と対話できるのでしょうか?-Golang-php.cn

なぜ golang 関数は goroutine と対話できるのでしょうか?

王林

リリース： 2024-05-02 14:12:02

オリジナル

461 人が閲覧しました

Go の通信シーケンシャルメモリモデルにより共有メモリの正確性が保証されるため、Go 関数は Goroutine と対話します。関数は次の方法でゴルーチンと対話できます。チャネル: スレッド間通信パイプ。アトミック変数: スレッドセーフな変数。 sync パッケージ: コルーチン同期プリミティブを提供します。

なぜ golang 関数は goroutine と対話できるのでしょうか?

#なぜ Go 関数は Goroutine と対話できるのでしょうか?

バックグラウンド
Go では、ゴルーチンは並列実行できる軽量のスレッドです。関数は、Go で編成されたコードの塊です。関数とゴルーチンが相互作用する機能は、Go の同時プログラミングモデルの中心です。

理由
Go 関数がゴルーチンと対話できる理由は、Go のメモリモデルのためです。 Go メモリモデルは Communicating Sequential Memory (CSM) と呼ばれるもので、並列環境であっても共有メモリの正確性を保証します。

CSM
CSM の重要な原則は次のとおりです:

アトミック性: 共有メモリへの読み取りと書き込みはアトミックです。彼らは中断することができません。
逐次一貫性: スレッド対応の共有メモリ操作の順序はプログラムの順序と一致します。
可視性: スレッドによる共有メモリへの書き込み操作は、他のすべてのスレッドから可視です。

対話方法
関数は次の方法で goroutine と対話できます:

チャネル: チャネルは次のとおりです。スレッド間通信のパイプラインに使用されます。
アトミック変数: アトミック変数は、ゴルーチンの同期に使用できるスレッドセーフ変数です。
sync パッケージ: sync パッケージは、ミューテックスや条件変数など、さまざまなコルーチン同期プリミティブを提供します。

#実践的なケース次は、関数が goroutine とどのように対話するかを示す例です:

package main
 
import (
    "fmt"
    "sync"
    "sync/atomic"
    "time"
)
 
var (
    count int64
    mu sync.Mutex
)
 
func incrementCounter() {
    for i := 0; i < 1000000; i++ {
        mu.Lock()
        count++
        mu.Unlock()
    }
}
 
func main() {
    var wg sync.WaitGroup
 
    for i := 0; i < 5; i++ {
        wg.Add(1)
        go func() {
            incrementCounter()
            wg.Done()
        }()
    }
 
    wg.Wait()
    fmt.Println(count) // 输出：5000000
}