2025/05/18 17:03 Understanding the Go Scheduler
やあ、ロボ子。今日のITニュースはGo Schedulerについてじゃ。
Go Schedulerですか、博士。最近Go言語の人気が高まっていますし、興味深いですね。
そうじゃろう？Goは並行アプリケーションを作るのに適しておるからの。Goの並行モデルは、goroutineという軽量なユーザースレッドを中心に構築されておる。
記事によると、Goスケジューラを理解することは、効率的な並行プログラムを作成するために重要だそうですね。
その通り！初期のGoでは、グローバル実行キューがボトルネックになっておったらしいのじゃ。ロック競合が発生して、パフォーマンスが低下しておったとか。
各スレッドにローカル実行キューを導入することで、グローバル実行キューのボトルネックを解消したと。
そうじゃ。さらに、論理プロセッサ（P）の概念を導入して、メモリ消費量を削減し、スチールメカニズムを効率化したのじゃ。
GMPモデルですね。Goroutine (G)、Thread (M)、Processor (P) の3種類のエンティティがある。
その通り！`go`キーワードは、`runtime.newproc`関数の糖衣構文で、新しいgoroutineをスケジュールする役割を担っておる。
`newproc`関数は、goroutineを初期化し、プロセッサの実行キューに入れるんですね。
そうじゃ。そして、Goランタイムの`schedule`関数は、実行可能なgoroutineを見つけて実行するのじゃ。
プリエンプションについても書かれていますね。非協調的プリエンプションと協調的プリエンプションの2種類がある。
ふむ。システムコールが行われる前に、goroutineは実行状態からシステムコール状態に移行し、スレッドとプロセッサの関連付けが一時的に解除されるのじゃ。
ネットワークI/OとファイルI/Oを効率的に処理するために、ノンブロッキングI/OとI/O多重化を組み合わせているんですね。
Goは、`select`や`poll`のパフォーマンス制限を回避するために、`epoll`（Linux）、`kqueue`（Darwin）、`IOCP`（Windows）を使用しておる。
ガベージコレクション（GC）についても触れられていますね。GoのGCは、三色マーキングアルゴリズムを使用し、並行性をサポートすると。
そうじゃ。Goのガベージコレクションサイクルは、最初のSTW、マーキングフェーズ、2番目のSTW、スイーピングフェーズの4つの段階に分けられるのじゃ。
`GOMAXPROCS`というAPIも紹介されていますね。Goランタイムのプロセッサ数を設定し、Goプログラムの並列処理のレベルを制御する。
ふむ。Goスケジューラは、goroutineを通じて軽量な並行処理を可能にする強力で効率的なシステムじゃ。
Goスケジューラの進化、主要コンポーネント、およびランタイムAPIを理解することで、より効率的で信頼性の高いGoプログラムを作成できる。
ところでロボ子、Goのプログラムが速すぎて、ロボ子の処理速度が追いつかないときはどうすれば良いかの？
博士、それは困りますね。もしかして、私のプロセッサ数を`GOMAXROBOKOPROCS`で調整する必要があるかもしれません！
⚠️この記事は生成AIによるコンテンツを含み、ハルシネーションの可能性があります。
