Multicore OCaml 正在等待主线合并-低调大师

Multicore OCaml 正在等待主线合并

2021-12-23 495

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

微信关注我们

原文链接：https://www.oschina.net/news/175096/ocaml-multicore-submitted-for-merging

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

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

DuckDuckGo 正在开发桌面浏览器，不基于 Chromium

DuckDuckGo 是全球知名的互联网搜索引擎，于 2008 年推出。DuckDuckGo 强调保护搜索者的隐私，不会在搜索时收集用户数据或跟踪用户，也不会像 Google 搜索那样向用户展现个性化广告。DuckDuckGo 还推出了浏览器扩展程序，向用户提供反跟踪和加密保护等隐私保护服务。虽然 DuckDuckGo 为了隐私保护做了很多努力，但它始终没有掌握互联网最为重要的入口 —— 浏览器。因此在面对 Google Manifest v3 或 FLoC 的攻势下，DuckDuckGo 在隐私保护方面的努力多少还是会遇到威胁。正因如此，DuckDuckGo 宣布他们正在开发一个隐私至上的桌面网络浏览器，专注于隐私和简洁。 DuckDuckGo 在公告中表示，该浏览器将 "重新定义用户对日常在线隐私的期望"，浏览器将在默认情况下提供最强大的隐私保护，不会有其他浏览器附带的隐私保护级别这样的设置。它是一个尊重你隐私的日常浏览应用，阻止其他公司监视你的搜索和浏览历史永远不会过时。与 Chrome 相比，DuckDuckGo 桌面应用程序更简洁，更注重保护隐私，早期测试显示它的速度也...

2021-12-23

520

大家好，我是悟空。先说下哈，这篇文章画原理图用了很多时间，求个三连！ Eureka 注册中心系列文章已经写到第七篇了，这里汇总下：领导让我研究 Eureka 源码 | 启动过程领导“叕”让我研究 Eureka 源码：注册过程值得收藏的 Eureka 控制台详解原来一个 Map 就能搞定注册表了 6 张图 | 剖析客户端首次同步注册表 11 张图 | 讲透原理，最细的增量拉取 > 本文已收录到我的 github： https://github.com/Jackson0714/PassJava-Learning 一、前言上一讲我们讲到了 Eureka 注册中心的 Server 端有三级缓存来保存注册信息，可以利用缓存的快速读取来提高系统性能。我们再来细看下：一级缓存：只读缓存 readOnlyCacheMap，数据结构 ConcurrentHashMap。相当于数据库。二级缓存：读写缓存 readOnlyCacheMap，Guava Cache。相当于 Redis 主从架构中主节点，既可以进行读也可以进行写。三级缓存：本地注册表 registry，数据结构 Conc...

2021-12-22

629

资源下载

更多资源

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