haskell - 是否有在 GPU 上运行的函数式编程语言？

Question

使用传统的顺序归约方法，将下图归约为:

(+ (+ 1 2) (+ 3 4)) ->
(+ 3 (+ 3 4)) ->
(+ 3 7) ->
10

但是，图形缩减本质上是并行的。相反，可以将其减少为:

(+ (+ 1 2) (+ 3 4)) ->
(+ 3 7) ->
10

据我所知，每种函数式编程语言都使用第一种方法。我相信这主要是因为在 CPU 上，调度线程过度补偿了并行减少的好处。不过，最近我们开始更多地使用 GPU 而不是 CPU 来处理并行应用程序。如果一种语言运行 完全在 GPU ，这些通信成本就会消失。

有没有利用这个想法的函数式语言？

Answer 1

是什么让您认为 GPU 调度不会过度补偿这些好处？

事实上，GPU 中使用的并行性更难调度:它是 SIMD并行性，即一整批流处理器一次做所有基本相同的事情，除了每个处理不同的数字。因此，您不仅需要安排子任务，还需要使它们保持同步。为一般计算自动执行此操作几乎是不可能的。

为特定任务执行此操作效果很好，并且已嵌入到函数式语言中；查看 Accelerate project .