parallel-processing - OCaml 的并行化能力状况如何？

Question

我有兴趣在项目中使用 OCaml，但我不确定它的并行化功能在哪里。 OCaml中有消息传递能力吗？ OCaml 是否能够有效地使用 1 个以上的 CPU？

我读到的有关该主题的大部分内容都是在 2002-2006 年写的，我没有看到任何更新的内容。

谢谢!

Answer 1

This 2009 issue Caml weekly news的(“CWN”，来自 caml list 的有趣消息的摘要)表明:

• official party line on threads and Ocaml没有改变。值得注意的引用:

  (...) in general, the whole standard library is not thread-safe. Probably that should be stated in the documentation for the threads library, but there isn't much point in documenting it per standard library module. -- X. Leroy

  (有关 Ocaml 线程如何仍然有用，请参阅 a remark by the culprit himself in another question on SO )

• 最常采用的并行范例是消息传递，值得注意的是 X. Leroy 的 OcamlMPI ，为 SPMD 中的编程提供绑定(bind)风格反对MPI standard 。 The same CWN issue I pointed to above提供示例引用以及许多其他相关项目。

• 另一个消息传递解决方案是 JoCaml ，开创了并发通信的新风格，称为 join calculus 。请注意，它与 OCaml 编译器二进制兼容。

• 不过，这并没有阻止 GC 可以并行处理的运行时的配置:请参阅 this other issue of the CWN 中对 OCAML4MC 的讨论。 .

还有:

• Netmulticore - 通过映射共享内存进行多处理共享 ocaml 值。

• CamlP3l - Caml 并行程序的编译器。

• OCaml-Java - 发出 Java 字节码的 OCaml 编译器

<小时/>

不过，我还没有关注最近有关 Ocaml 和并行编程的讨论。 我要离开这个CW以便其他人可以更新我提到的内容。如果这个问题能够达到与 the analogous one for Haskell 相同的完整性水平，那就太好了.