parallel programming in multicore ocaml:使用domainslib进行多核OCaml并行编程的教程 源码

多核OCaml中的并行编程 本教程将帮助您开始在Multicore OCaml中编写并行程序。所有代码示例及其相应的沙丘文件在code/目录中可用。本教程分为以下几节: 介绍 多核OCaml是OCaml的扩展,原生支持通过Domains共享内存并行性和通过Algebraic effects并发性。它正在缓慢但稳定地合并到中继OCaml。仅限领域的多核预计将首先出现,其次是代数效应。 并发是我们划分多个计算的方式,以便它们可以在重叠的时间段内运行,而不是严格按顺序运行。并行性是同时运行多个计算的行为,主要是通过在多核计算机上使用多个核。多核Wiki 介绍了多核OCaml中的设计决策以及并发和并行性的当前状态。 多核OCaml编译器随附垃圾回收器的两个变体,即并发次要收集器(ConcMinor)和世界末日的并行次要收集器(ParMinor)。我们的实验表明,在大多数情况下,ParMinor的性