Haskell ランタイムは、コアごとに OS スレッドを作成することを理解しています。軽量スレッド/ユーザー スレッドは、ランタイムによってこれらの事前展開された OS スレッドにスケジュールされます。だいたい。
しかし、Haskell ランタイムはどのように構造化されているのでしょうか?モノリシックなのか、それとも別々のパーツで構成されているのでしょうか?
私が本当に知りたいのは、RT 自体がコア間でどれだけスケーラブルで分散可能かということです。たとえば、理論的には 1000 コアのシステムがあり、コアの 5% で Haskell RT を開始できますか (50 個の独立または分散 RT として)。 ?