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

Multicore OCaml 被合并进上游

2022-01-14 619

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

578

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

963

资源下载

更多资源

腾讯云软件源

为解决软件依赖安装时官方源访问速度慢的问题，腾讯云为一些软件搭建了缓存服务。您可以通过使用腾讯云软件源站来提升依赖包的安装速度。为了方便用户自由搭建服务架构，目前腾讯云软件源站支持公网访问和内网访问。

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应用均可从中受益。

Sublime Text

Sublime Text具有漂亮的用户界面和强大的功能，例如代码缩略图，Python的插件，代码段等。还可自定义键绑定，菜单和工具栏。Sublime Text 的主要功能包括：拼写检查，书签，完整的 Python API ， Goto 功能，即时项目切换，多选择，多窗口等等。Sublime Text 是一个跨平台的编辑器，同时支持Windows、Linux、Mac OS X等操作系统。