Multicore OCaml 被合并进上游

来源: OSCHINA
编辑: 局长
2022-01-14

Multicore OCaml 已正式被合并进 OCaml 主线。

根据之前的报道此 PR 通过 domain 增加了对并行共享内存的支持,并通过 effect handler(无语法支持)增加了对并发 (direct-style concurrency) 的支持。Multicore OCaml 还打算向后兼容——包括语言特性、C API 以及单线程代码的性能方面。

有关 Multicore OCaml 的详细信息可查看其 Wiki 中的论文、演讲、教程和博客文章。

如果对使用 Multicore OCaml 感兴趣,可查看以下正在开发中的库:

  • domainlib —— 嵌套任务并行库
  • eio ——异步 io (direct-style)

下图是 sandmark 的多核可扩展性测试结果,该测试在一台 64 核的 AMD EPYC 7551 服务器上进行。

基准名称旁边括号内的数字是相应基准的连续基线所用时间(以秒为单位)

据介绍,Multicore OCaml 不会预设任何一种并发模型,但会为用户和库作者提供自由实现的能力,这也是为 OCaml 引入的并发与并行支持。

展开阅读全文
1 收藏
分享
加载中
最新评论 (5)
ML系感覺就F#實用些,除了不支持模塊實例。
2022-01-14 13:13
0
回复
举报
这玩意语法和SQL很像 而且巨古老
2022-01-14 09:29
0
回复
举报
这个语言很古老没错,跟C语言年龄差不多大,但你跟SQL很像是怎么得出来的结论,完全不像好不好
2022-01-14 11:45
1
回复
举报
ocaml这种语言用在哪些地方?
2022-01-14 09:03
0
回复
举报
用的不是很多,一般用来教学
2022-01-14 11:46
0
回复
举报
更多评论
5 评论
1 收藏
分享
返回顶部
顶部