OCaml的GitHubrepo显示其最新的待定PR是针对MulticoreOCaml的。可以看到,这个PR非常大,变化包括新增24207行代码,删除15148行代码。而这恰好是构成MulticoreOCaml的最小可行产品(MVP)。正因为如此,这个PR并没有构建成功,因为有些检查没有成功通过。此PR通过域添加了对并行共享内存的支持,并通过效果处理程序添加了对直接式并发的支持(无语法支持)。多核OCaml还旨在向后兼容——包括语言特性、CAPI和单线程代码的性能方面。有关MulticoreOCaml的详细信息可在其Wiki论文、演讲、教程和博客文章中找到。如果你对使用MulticoreOCaml感兴趣,可以查看以下正在开发的库:domainlib-嵌套任务并行库eio-异步io(direct-style)下图是sandmark的多核可扩展性测试的结果。它是在64核AMDEPYC7551服务器上执行的。基准名称旁边括号中的数字是相应基准的连续基线时间(以秒为单位)。据介绍,MulticoreOCaml不预设任何一种并发模型,而是为用户和库作者提供自由实现的能力。OCaml还引入了并发和并行支持。本文转自OSCHINA本文标题:MulticoreOCaml等待主线合并
