optimization - Haskell における自動並列処理の現状

Question

重複の可能性:
Haskell でのマルチコア プログラミングの状況は?

特にGHCでのステータスは？まだ人気がありますか、それともまだ実験段階ですか?

コンパイラは、いつ、どのように並列化するかを決定する際に、どのくらい慎重/きめ細かいですか? ランタイムはスレッドプールのサイズを適切に選択しますか、それともコマンド ラインで指定する必要がありますか?

Answer 1

長い答えは、ドンの応答にリンクされている論文です。簡単な答え：

1. GHC は自動的にプログラムを並列化しません。

2. ただし、parコンビネータを介して並列処理を導入するのは非常に簡単です。これに対する高レベルのインターフェースは、ドンが言及した「戦略」です。

3. 追加parするだけでプログラムが高速化されるかどうかは、アルゴリズムに大きく依存します。利点は、落とし穴がないことです。デッドロックや競合を導入することはできません (型システムをだましている場合を除きます)。

Answer 2

GHC の現在のスケジューリング、スレッド プール、および移行ポリシーは、論文「Runtime Support for Multicore Haskell」で説明されています。「戦略」スタイルの半自動並列処理は、執筆時点で非常に広く使用されています。

Answer 3

おそらく「自動並列処理」とは、Data Parallel Haskellのことですか? 私が見た限りでは、このプロジェクトに関する最新情報は、2010 年 4 月のSimon Peyton Jones によるビデオ プレゼンテーションで入手できます。