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

Multicore OCaml 正在等待主线合并

2021-12-23 486 89

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业界、互联网、市场资讯、驱动更新,是最及时权威的产业资讯及硬件资讯报道平台。

2021-12-23 08:24:00

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

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

511

2021-12-22 21:39:00

12 张图 | 硬刚了一波，Eureka 三层缓存架构

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

612

资源下载

更多资源

Mario，低调大师唯一一个Java游戏作品

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

Oracle Database，又名Oracle RDBMS

Oracle Database，又名Oracle RDBMS，或简称Oracle。是甲骨文公司的一款关系数据库管理系统。它是在数据库领域一直处于领先地位的产品。可以说Oracle数据库系统是目前世界上流行的关系数据库管理系统，系统可移植性好、使用方便、功能强，适用于各类大、中、小、微机环境。它是一种高效率、可靠性好的、适应高吞吐量的数据库方案。

Eclipse（集成开发环境）

Eclipse 是一个开放源代码的、基于Java的可扩展开发平台。就其本身而言，它只是一个框架和一组服务，用于通过插件组件构建开发环境。幸运的是，Eclipse 附带了一个标准的插件集，包括Java开发工具（Java Development Kit，JDK）。

Sublime Text 一个代码编辑器

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