ocaml - OCaml 程序可以使用多个处理器内核吗？

Question

能够做到这一点以获得最大速度不是很重要吗？

编辑:

例如，Clojure 有 map ，它使用多个核心。

Harrop 博士写道(2011 年 1 月 9 日):
语言中添加的新功能，例如一流
OCaml 3.12 中的模块远没有多核那么有值(value)
能力本来就是。

Answer 1

是的，它可以;为此，您应该使用多处理模型，在该模型中，您的程序会产生多个进程以独立进行计算，然后合并结果。

最简单的方法是使用 Unix.fork系统调用将您的程序分成两个进程。例如，在线书籍 Unix system programming in OCaml 中对此进行了描述。 .如果要跨内核拆分的计算具有简单的结构(迭代、映射到输入池)，Parmap是一个库，它可以让您轻松地从并行性中受益，只需更改应用程序中的一些函数调用(如果它已经结构良好)。如果你想做更复杂的事情(直接访问共享内存结构、消息框...)，Ocaml-net 项目通过 Netmulticore 支持许多方便的功能。图书馆。

如果你想做分布式编程(在多台机器的集群上运行的程序)，OcamlMPI库为著名的分布式消息传递框架 MPI 提供支持。还有更多的实验和高级JoCaml扩展，它使用一种有趣的、更具研究性的方法来进行并发通信。

请注意，如果您没有特定的性能限制，或者如果您的应用程序本质上是顺序的，那么尝试并行化一些计算是没有意义的(以更高的同步簿记开销为代价)，在后一种情况下，因为的 Amdahl's law .