なぜhaskellのネットワークライブラリはノンブロッキングソケットを使用していますか？

Question

networkライブラリで行われた設計上の決定をよりよく理解しようとしています。評判の良い資料には、a github issueとmailing list responseには、networkにノンブロッキングソケットが使用されています。デフォルトのブロック動作を使用する代わりに、ソケットを読み取る準備ができるまでブロックするにはselectを使用します。なぜこれは良いですか？どちらの方法でも、ブロックが終了し、networkはエンドユーザーにブロックAPIを公開するだけです。私が推測していることは、FFIの呼び出しがブロックされていること、そしてselectのまわりにGHCの魔法があることが悪いことですが、私はそれを確認できませんでした。

networkでselectがどこにあるのかわかりません。コードベースをグッとしても何も起きなかった。私はちょうどGHC.Eventを発見しました。これはselectを直接呼び出す代わりに使用される機能を提供しているようですが、grepping show networkはこれを使用しません。

Answer 1

ノンブロッキングIOイベントループは、GHCのランタイムシステム（RTS）の一部です。これは、GHCのグリーンスレッドシステムと非常にうまくやりとりします。非同期コードを書くのではなく、軽量のスレッドを使うだけで、ランタイムは正しいものを目覚めさせます。

すべてのIOin in Haskellはデフォルトで非ブロッキングなので、異なるソケットでブロックされた2つのスレッドがある場合、ランタイムシステムは内部でselect（または他のプラットフォーム固有の方法epollまたはkqueueのような複数のファイル記述子を待ちます）は、ファイル記述子が準備完了になったときにスレッドを起動するだけです。詳細はhttps://ghc.haskell.org/trac/ghc/wiki/Commentary/Rts/IOManagerを参照してください。