Multicore OCaml 被合并进上游-低调大师

Multicore OCaml 被合并进上游

2022-01-14 597

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 引入的并发与并行支持。

微信关注我们

原文链接：https://www.oschina.net/news/178441/ocaml-multicore-merged-upstream

转载内容版权归作者及来源网站所有！

低调大师中文资讯倾力打造互联网数据资讯、行业资源、电子商务、移动互联网、网络营销平台。持续更新报道IT业界、互联网、市场资讯、驱动更新,是最及时权威的产业资讯及硬件资讯报道平台。

Ubuntu 22.04 计划使用 GNOME 42，但仍以 GTK3 应用为主体

近日，Canonical 的开发者 Sebastien Bacher 在 Ubuntu 社区发布了即将到来的 Ubuntu 22.04 LTS 对 GNOME 支持的相关计划。虽然 Ubuntu 在 GNOME 的更新速度方面一直落后于上游，但 Sebastien Bacher 表示，他们目前正在努力将 GNOME Shell 更新到当前最新的 41 稳定版本，之后他们将开始进行 42 版本的更新，并计划将 GNOME 42 引入到 Ubuntu 22.04 LTS 中。目前 GNOME 42 本身也在积极开发中，并计划在 3 月发布稳定版。届时将有相当数量的应用程序被移植到 GTK4 和 libadwaita 上，也能够利用 GTK 4 所带来的改变发挥出更多优势。GNOME 42 的第一个 alpha 版本预计将在本月发布。而根据 Ubuntu 的更新路线图，Ubuntu 22.04 将在 4 月正式推出。 Sebastien Bacher 同时也表示，正是因为两者的发布周期十分接近，虽然他们计划将 GNOME 42 引入 Ubuntu 22.04 中，但用户不要期望在该系统中...

2022-01-14

557

Facebook 开发的工具 BOLT 现已被合并到 LLVM 的 mono 仓库，共包含 89.5 万行新代码；作为 LLVM 的上游，以促进其未来发展。作为积极贡献 Linux 内核的厂商，Facebook 的工程师近年来一直在研究 BOLT（可以追溯到 2018 年），致力于通过优化 GCC 和 Clang 生成的二进制文件的代码布局来加快 Linux 二进制文件的速度，以提高 CPU 缓存使用率和其他考虑因素。BOLT 使用了几个 LLVM 库，但在过去的几年里一直在树外开发。 BOLT 即"Binary Optimization and Layout Tool"（二进制优化和布局工具）的缩写，能够在配置文件后重新排列可执行文件，产生比编译器的 LTO 和 PGO 优化所能达到的更快性能。而据了解，自 2020 年以来，Facebook 方面就开始致力于将 BOLT 作为一个新的子项目纳入 LLVM 的上游。与此同时，其甚至围绕 BOLT 优化 Linux 内核等领域，取得了一些不错的进展。在此前的 Linux Plumbers Conference 大会上，有来自 Fac...

2022-01-14

939

资源下载

更多资源

Mario

马里奥是站在游戏界顶峰的超人气多面角色。马里奥靠吃蘑菇成长，特征是大鼻子、头戴帽子、身穿背带裤，还留着胡子。与他的双胞胎兄弟路易基一起，长年担任任天堂的招牌角色。

Nacos

Nacos /nɑ:kəʊs/ 是 Dynamic Naming and Configuration Service 的首字母简称，一个易于构建 AI Agent 应用的动态服务发现、配置管理和AI智能体管理平台。Nacos 致力于帮助您发现、配置和管理微服务及AI智能体应用。Nacos 提供了一组简单易用的特性集，帮助您快速实现动态服务发现、服务配置、服务元数据、流量管理。Nacos 帮助您更敏捷和容易地构建、交付和管理微服务平台。

Spring

Spring框架（Spring Framework）是由Rod Johnson于2002年提出的开源Java企业级应用框架，旨在通过使用JavaBean替代传统EJB实现方式降低企业级编程开发的复杂性。该框架基于简单性、可测试性和松耦合性设计理念，提供核心容器、应用上下文、数据访问集成等模块，支持整合Hibernate、Struts等第三方框架，其适用范围不仅限于服务器端开发，绝大多数Java应用均可从中受益。

Rocky Linux

Rocky Linux（中文名：洛基）是由Gregory Kurtzer于2020年12月发起的企业级Linux发行版，作为CentOS稳定版停止维护后与RHEL（Red Hat Enterprise Linux）完全兼容的开源替代方案，由社区拥有并管理，支持x86_64、aarch64等架构。其通过重新编译RHEL源代码提供长期稳定性，采用模块化包装和SELinux安全架构，默认包含GNOME桌面环境及XFS文件系统，支持十年生命周期更新。