Haskell中的自动并行性[重复]

Question

在 haskell 中，假设我有以下形式的函数调用：foo a b，其中a 不依赖于b，反之亦然。似乎可以自动检测到 a 和 b 可以并行评估，但在 GHC 中似乎并非如此。相反，需要使用像 par 这样的结构来表示可以并行评估的内容。

那么，为什么haskell 中的并行化不能自动发生呢？或者如果它已经存在，为什么还会存在 par 这样的结构？

Answer 1

似乎可以自动检测到a和b可以并行计算

正如您所暗示的，通过查看值之间的依赖关系，可以自动检测并行性。在不涉及副作用的情况下，这尤其容易。

问题在于知道何时停止使事情并行化。

这一切都归结为在编译时知道运行时会发生多少工作。这些“成本模型”通常很难用于任意代码。

考虑：

• 是否应该并行评估 (+) 的每个参数？
• 是否应该并行评估每张地图？

如果我们天真地并行化所有独立计算，编译器将生成大量并行任务。数百万或数十亿个并行表达式。我们的 8 或 16 核机器还没有准备好处理。

简单的并行化会导致大量开销试图将工作安排到少量可用的并行硬件上。

纯程序的并行量与可用硬件之间的差距迫使我们做出一些妥协。即：

1. 用户注释的提示，说明哪些事情的成本足够高 并行
2. 具有明确成本模型的语言子集，因此编译器可以很智能。

第一种形式的示例 -- 用户提示 -- are par annotations 或 Par monad。 第二种——自动并行的子语言——见Data Parallel Haskell。