Multicore OCaml 正在等待主线合并
我要评论
OCaml 的待主 GitHub repo 显示，其最新等待合并的线合 PR 是 Multicore OCaml。可以看到，待主这个 PR 非常庞大，线合改动内容包括增加了 24,待主207 行代码，以及删除 15,线合148 行代码。而这刚好是待主构成 Multicore OCaml 的最小可行产品 (MVP)。
正因如此，线合此 PR 并未能成功构建，待主报错的线合原因是免费信息发布网部分检查未能成功通过。
此 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 引入的并发与并行支持。免费源码下载
本文转自OSCHINA
本文标题：Multicore OCaml 正在等待主线合并
本文地址：https://www.oschina.net/news/175096/ocaml-multicore-submitted-for-merging
相关文章
OPPOR9s最新版本（OPPOR9s新版本发布，全新突破创新体验）
摘要：随着科技的不断进步，智能手机已经成为我们日常生活中不可或缺的一部分。OPPOR9s作为OPPO旗下最新一代旗舰机型，备受期待。本文将从外观设计、摄影功能、性能表现等多个方面，详细介...2025-11-05
日常工作中，分析师会接到一些专项分析的需求，首先会搜索脑中的分析体系，根据业务需求构建相应的分析模型不只是机器学习模型），根据模型填充相应维度表，这些维度特征表能够被使用的前提是假设已经清洗干净了。但2025-11-05
LRU（Least Recently Used）缓存算法的实现
LRU就是Least Recently Used，即最近最少使用，是一种常用的页面置换算法，将最近长时间未使用的页面淘汰，其实也很简单，就是要将不受欢迎的页面及时淘汰，不让它占着茅坑不拉shit，浪费2025-11-05
模式定义将一个请求封装为一个对象，使发出请求的责任和执行请求的责任分割开。这样两者之间通过命令对象进行沟通，这样方便将命令对象进行储存、传递、调用、增加与管理。在软件开发系统中，常常出现“方法的请求者2025-11-05索尼KDL32R500C电视评测（探索索尼KDL32R500C的特点和性能）
摘要：索尼一直以来都是电子产品领域的顶尖品牌之一，其电视产品在市场上备受好评。本文将对索尼KDL32R500C电视进行评测，为大家详细介绍其特点和性能。一：外观设计——简约时尚...2025-11-05
本文转载自公众号“读芯术”(ID：AI_Discovery)。Deno是一个Javascript/TypeScript的运行时，旨在取代Node.js的地位。它拥有广泛功能，讨论度非常高，在Githu2025-11-05
最新评论