【AICon】探索RAG 技术在实际应用中遇到的挑战及应对策略!AICon精华内容已上线73%>>> 了解详情
写点什么

Rust 语言 2022 年度回顾:开源生态发展

  • 2023-02-15
    北京
  • 本文字数:37875 字

    阅读完需:约 124 分钟

Rust 语言 2022 年度回顾:开源生态发展

作者:张汉东


全文目录:


  • 开启新的征程 : Rust 2024 Edition

  • 全球企业如何采用 Rust

  • Rust 开源生态发展

  • 小结


本文是“Rust 语言 2022 年度回顾”的第二部分,包含了:Rust 开源生态发展。第一部分:https://www.infoq.cn/article/z4MCCu8W62Je7d2fED7p

Rust 开源生态发展

Rust 语言是开源的,其生态中开源项目也是必不可少的一部分。Rust 语言也是通用的,其应用覆盖诸多领域,我们将从以下几个领域来进行盘点。


  • crates 行业系数(Industry Coefficient)

  • 操作系统

  • 数据库与数据分析

  • 网络服务

  • Web 开发

  • 云原生

  • 游戏

  • 工具

  • 图形渲染和处理

  • UI

  • 游戏

  • 人工智能

  • 物联网与嵌入式

  • 编程语言


本文分类梳理的开源项目,只是选举 Rust 生态中各个领域具有代表性和有潜力的项目,以此来观察 Rust 生态的发展。实际上,在撰写本文时,crates.io 上发布的 crate 数量已经达到了 10 万个,在 GitHub 上面的 Rust 开源项目也是不计其数,在 GitLab 社区也有很多的 Rust 开源项目,本文不可能罗列那么全,选取的项目仅供大家参考。

crates 行业系数(Industry Coefficient)

David Tolnay 根据 crates.io 中 crate 下载量统计了 crates 行业系数,从侧面反应 Rust crate 的应用状况。


行业系数的计算公式为:周二至周四下载量/周末下载量 - 总体平均水平(周一和周五有跨时区问题,所以未参与统计)


这个行业系数表明,如果一个 crate 在 工作日(周二到周四) 经常被下载,则系数为正,如果在 周末 经常被下载,则系数为负。比如,Serde 的工作日下载量与周末下载量的比率几乎与 crates-io 的总体比率相同。Prost 在工作日的下载量比例较大,而在周末较小,因为没有人在周末做 protobuf 相关的东西。周末被认为是 Rust 爱好者在“玩” Rust。


从 2022 年 9 月份对 90 天内超过 100 万下载量的某些 crate 的一次统计结果中,简单地得出一个粗略笼统的结论,仅供参考:


  • cxx 是 Rust 和 Cpp 安全交互的库,工作日用的比较多,说明 Rust 目前在 Cpp 生态上非常活跃。实际上,在 Android 代码中 Cxx 用的很多。

  • 网络服务库和 Web 框架,比如 tokio 和 axum ,在工作日用的也比较多,说明 Rust 在网络服务和 Web 领域存在一定应用。

  • wasi 在工作日用的比较多,从侧面说明,Rust 和 WebAssembly 的应用领域主要集中在 Sever Side 。现实也是如此,WebAssembly 在 Server Side 的 Severless 领域在今年得到了很大的发展。


相关统计代码位于:https://github.com/dtolnay/db-dump/blob/master/examples/industry-coefficient.rs ,感兴趣可以自行执行代码进行统计。

操作系统

Rust for linux 支持状况

Linus Torvalds 于 2022 年 12 月 11 日发布了Linux Kernel 6.1,作为 2022 年的最终主线内核版本。出于多种原因,这个版本很重要。也许最重要的是在未来几天内,主线内核中对 Rust 语言的初始支持,以获得更好的安全性和内存安全代码。越是从 C 转向 Rust,这势必越会减少内核漏洞的数量。


Linux Kernel 6.1 中最重要的变化是引入了初始的 Rust 框架代码。高达 12k 行的代码仅带来了 Rust 的基本基础设施。有了这个基础,新的驱动程序、子系统和内核模块有望通过 Rust 编程语言登陆内核。


主要支持包括以下四个方面:


  • 内核内部

  • Rust 构建规则和脚本

  • Rust crates 和 bindings 以尽可能减少构建

  • 文档和 Rust 示例


一直领导 Rust for Linux 工作的 Miguel Ojeda 在 11 月份又发出了一组 28 个补丁,为内核提供了更多的 Rust 核心添加。很可能会在 Linux 6.2 合并窗口中及时看到这项工作。


Miguel (Rust for linux 核心开发者)对 2023 年 Rust-for-Linux 的期望:


  • Rust 没有被踢出内核 ;-)

  • 更多的人致力于 Rust 驱动程序

  • 拥有第一个生产级用户

  • 稳定更多内核库中用到的 Rust 不稳定特性

  • 更多内核人员拥抱 Rust

嵌入式安全操作系统 TockOS 2.1 发布

TockOS 2.1 发布 。 在 TockOS 迈向 2.0 时,许多核心的内核 API 被重新设计和重写。并且支持 11 个新的硬件平台,包括 RISC-V。


TockOS 的贡献者之一 Alexandru ,创办了 OxidOS 公司,为汽车软件 OEM 和开发商提供安全操作系统和开发工具。

Redox 发布 0.8 版

Redox 在今年发布了 0.8 版 。该版本确保真正的硬件正常工作,添加了 i686 支持,启用了音频和初步多显示器支持等功能,并且简化了引导和安装基础结构并使其更加健壮。


0.8 的一些重要改进摘要:


  • Redox Book 内容大量更新,该书介绍了如何构建和使用 RedoxOS

  • 添加了对 i686(奔腾 II 及更高版本的 32 位 x86)的支持,并且通常可以在真实硬件上运行

  • 改进了对 aarch64(64 位 ARM)的支持,并且正在启动以登录 QEMU。真正的硬件还不能工作

  • 现在普遍支持音频

  • BIOS 和 EFI 映像已合并,一个安装可以在任何一个上启动

  • clone 和 exec 系统调用已移至用户空间。此更改还涉及 bootstrapescalated的引入。bootstrap是一个非常简单的链接程序,内核加载到用户空间,然后可以处理加载 ELF 文件,例如init. 为 .等程序escalated提供支持。setuid``sudo

  • 使用redox-daemon crate 来简化守护进程的设置

  • 更新大多数存储库上的 cargo lock 文件


另外一件有趣的事是,Redox OS 在今年收到了一笔多达 400,000 美元的匿名捐款。匿名的方式使得目前无法使用。目前,Redox 作者正在与一个法律团队合作,具体确定 OFAC 对 Tornado Cash 的制裁如何 适用于通过 Tornado Cash (米国数字货币交易平台)进行的这笔捐赠。目前,由于作者是米国公民,目前已阻止这笔捐款的转移,以遵守可能的 OFAC 制裁。如果作者被允许使用这笔捐款,他将在另一篇文章中描述它对 Redox OS 的意义。

KataOS : 用于进行机器学习的嵌入式设备的操作系统

谷歌今年宣布发布 KataOS,它是用于进行机器学习的嵌入式设备的操作系统。KataOS 从设计上就具备安全考虑,不但几乎完全是由 Rust 实现的,而且是建立在 seL4 微内核的基础之上,seL4 在数学上被证明是安全的,具有保证保密性、完整性和可用性。


KataOS 提供了一个可验证的安全平台来保护用户的隐私,因为应用程序在逻辑上不可能破坏内核的硬件安全保护,并且系统组件是可验证的安全。KataOS 也几乎完全用 Rust 实现,它为软件安全提供了一个强大的起点,因为它消除了整类错误,例如差一错误和缓冲区溢出。


当前的 GitHub 版本包括大部分 KataOS 核心部分,包括用于 Rust 的框架(例如 sel4-sys crate,它提供 seL4 系统调用 API),一个用 Rust 编写的备用根服务器(动态系统范围的内存管理需要) ),以及内核对 seL4 的修改,可以回收根服务器使用的内存。此外还与Antmicro合作,通过 Renode 为目标硬件启用 GDB 调试和模拟。


为了全面证明一个安全的环境系统,团队还为 KataOS 构建了一个名为 Sparrow 的参考实现,它将 KataOS 与一个安全的硬件平台相结合。因此,除了逻辑上安全的操作系统内核之外,Sparrow 还包括一个逻辑上安全的信任根,它是在 RISC-V 架构上使用OpenTitan构建的。然而,对于我们的初始版本,我们的目标是使用 QEMU 模拟运行的更标准的 64 位 ARM 平台。


最终目标是开源所有 Sparrow,包括所有硬件和软件设计。目前,仅在 GitHub 上发布 KataOS的早期版本。

drone-os: 嵌入式操作系统

drone-os 是 嵌入式操作系统,旨在将不影响性能的现代开发方法带入嵌入式编程领域。开发者来自乌克兰,在 2022 年局势动荡下更新不多但是还在维护中,看上去工作重点在 Raspberry Pi Pico (RP2040) 的支持上面。


DroneOS 遵循以下设计原则


  • 低能耗。Drone 鼓励中断驱动的执行模型。

  • 硬实时。Drone 依赖于原子操作而不是使用临界区。

  • 具有严格优先级的完全抢占式多任务处理。优先级较高的任务优先,延迟最小。

  • 高并发。遵循 Rust 的 Fearless Concurrency 原则,多任务既便宜又安全。

  • 消息传递并发。Drone 附带开箱即用的同步原语。

  • 启用动态内存。Drone 让您可以使用方便的数据结构,如可变字符串或 Vector,同时仍然保持确定性和代码效率。

ros2_rust: ROS2 的 Rust 绑定

ros2_rust 是一个用于编写与 ROS 2 集成的 Rust 机器人应用程序的库。ROS 2 是一个流行的开源机器人框架,用于各种领域(自动驾驶汽车、无人机、人形机器人等)。


ros2_rust 旨在使开发人员能够使用 Rust 编写 ROS 2 应用程序。目前尚未达到与 C++ 和 Python ROS 2 库同等的功能,但正在努力实现这一目标。


该库今年发布到了 0.3 版本。


随着 Rust for Linux 进入 Linux 6.1 ,Brandon Minor (传感器融合公司Tangram Vision的创始人兼 CEO)认为这将对机器人社区起到巨大的推动作用。


他如是说:“有一个巨大的机器人工具和范例生态系统,如ROSOpenCV,它们在 Linux 生态系统中运行得最好,不管喜欢与否,大多数机器人工程师都开始在这些沙箱中尝试。然而,我可以证明机器人领域越来越多的工程师认识到需要更强大、更可靠的软件,并正在寻找替代解决方案。那些这样做的人往往会转向 Rust。这导致了一个充满热情的开发人员的新兴机器人生态系统,他们只想用周围最受欢迎的编程语言编写更好的工具。尽管这些开发人员可能很热情,但这些工具大体上还没有准备好迎接黄金时段。它们缺少大多数工程师认为理所当然的功能,或者没有得到足够大的社区的信任。在旧工具、新编程语言和自动化兴起之间,机器人技术正处于变革时期。将 Rust 包含到 Linux 内核中似乎只是一个小细节,但它来得正是时候。多年来,机器人社区一直在推动 Rust 的发展;对于 Linux 来说,支持这些努力并被这些努力所支持是一股托起所有船只的潮流“。


https://robotics.rs/ 该网站记录了 Rust 在开源机器人解决方案方向的开源库。

Aero:现代、实验性的类 Unix 操作系统

Aero 灵感来自于 Linux 内核,遵循宏内核设计。支持现代 PC 特性,如 长模式、5 级分页和 SMP(多核)。Aero 并非一个 Linux 发行版,它运行自己的内核,不与 Linux 内核共享任何源码或二进制文件。

Rust 与 NuttX 操作系统

Apache NuttX 是一个实时嵌入式操作系统 RTOS,可在许多平台(如:8 位到 64 位平台)上移植,并且像 Linux 的小型版本一样工作(因为它符合 POSIX 标准)。现在,我们可以在 NuttX 上使用 Rust 创建更安全的嵌入式应用程序,也可以定制自己的驱动程序。详细请参考文章:https://lupyuen.github.io/articles/rust2

将 Rust 的 std 移植到 rustix 上

Rustix 是一个具有多个后端的系统调用封装库。它有一个原始的 Linux 系统调用后端,以及一个 libc 后端,其他后端也在开发中。Rustix 是为内存安全、I/O 安全和性能而设计的。


将 std 移植到 rustix 的第一个原因是 rustix 从 std 中剔除了很多不安全的块。与操作系统的对话仍然需要不安全,但在 rustix 中,Unsafe 块被集中在单个系统调用上。Rustix 还为系统调用提供了地道的 Result 错误处理。它还使用了 Rust 引用和切片,而不是原始指针。这些都使得阅读 std 的代码更加容易,并专注于系统调用的重要语义,而不会受到 libc API 机制的干扰。


rustix 也是向 Linux 上不依赖 libc 的 Rust 工具链迈出的一步。Rustix 能够从 Rust 代码中直接调用 Linux 系统。

Aya : 专注于可操作性和开发者体验的 eBPF Rust 库

aya 不依赖于libbpfbcc 。它完全是用 Rust 从头开始构建的,只使用libc crate 来执行系统调用。借助 BTF 支持并与 musl 链接,它提供了真正的一次编译,随处运行的解决方案,其中一个独立的二进制文件可以部署在许多 linux 发行版和内核版本上。在大多数环境中,Rust Nightly 是构建所需的唯一依赖项。rustc 不公开其内部 LLVM.so 库(即 aarch64)的某些环境需要安装共享的 LLVM 库。但是不需要 libbpf、clang 或 bcc!


eBPF(扩展的 Berkeley 数据包过滤器)是一种技术,它可以使用指令集在虚拟机内运行沙盒程序。它起源于 Linux 内核,当系统中发生特定事件时,eBPF VM(作为内核的一部分)触发 eBPF 程序。新的 Linux 内核版本中添加了越来越多的事件。对于每种类型的事件,都有一种单独的 eBPF 程序。


基于 Aya 的项目的用户空间部分可以是异步的,同时支持 Tokio 和 async-std。Aya 可以加载 eBPF 程序,在异步上下文中对 eBPF 映射和 perf 缓冲区执行操作。如果想了解 Aya 更多信息可以查看Aya Book

数据库与数据分析

RedisJSON: Redis 官方支持 JSON

RedisJSON 是一个 Rust 实现的 Redis 模块,实现了 ECMA-404 JSON 数据交换标准作为原生数据类型。它允许从 Redis 键(文档)存储、更新和获取 JSON 值。主要特点:


Arrow2 与 Arrow DataFusion

Apache Arrow 是大数据列式内存数据平台,有一个非常大的愿景:提供内存数据分析 (in-memory analytics) 的开发平台,让数据在异构大数据系统间移动、处理地更快。它采用 Cpp 实现,目前已经被业内大量使用。


Arrow 从 2.0 版本开始引入 Rust ,从 4.0 开始 Rust 实现迁移到了独立仓库arrow-rs。随后社区也有人发布了 Arrow2 。Arrow2 是 arrow-rs 的竞争者,两者的主要区别:


  • Arrow2 API 设计比 arrow-rs 更符合人体工效学,且实现 Arrow 规范更加完整,支持异步 I/O

  • Arrow2 比 arrow-rs 的安全性更好

  • arrow-rs 是官方实现,用户基数大


Arrow DataFusion 是一个可扩展的查询规划、优化和执行框架,用 Rust 编写,使用 Apache Arrow 作为其 in-memory 格式。鉴于 Arrow 这两个 Rust 库的生态分裂, DataFusion 的贡献者们正在讨论是否将 DataFusion 的依赖改为 Arrow2 。这样有助于 Arrow 的贡献者们把力量都集中在一个库中,实际上 Arrow2 和 arrow-rs 的贡献者们比较重叠。但是现在还未有什么结果。

surrealdb:文档图数据库

surrealdb 是一个可扩展的、分布式的、协作的、文档图(document-graph)云原生数据库。 适用于 Web、移动、无服务器、Jamstack、后端和传统应用程序。SurrealDB 通过简化数据库和 API 堆栈,消除对大多数服务器端组件的需求,并允许您更快、更便宜地构建安全、高性能的应用程序,从而缩短现代应用程序的开发时间。SurrealDB 既充当数据库又充当现代、实时、协作的 API 后端层。


目前客户端已支持 JavaScript、WebAssembly 和 Ebmer.js;服务端已支持 JavaScript、Node.js、Golang、Rust 和 Deno。其他语言也即将支持。

Cube: 无头商业智能平台

cube.js 是 Rust 实现的一个开源无头商业智能( Headless Business Intelligence)平台。无头意味着没有前端展现层,只提供分析 API 。Cube 旨在与所有支持 SQL 的数据源一起工作,包括像 Snowflake 或 Google BigQuery 的云数据仓库,像 Presto 或 Amazon Athena 的查询引擎,以及像 Postgres 的应用数据库。Cube 有一个内置的关系型缓存引擎,为 API 请求提供亚秒级的延迟和高并发性。


借助商业智能平台,人们能够导入、清理和分析来自数据库、电子邮件、视频、调查回复等来源的数据。这些数据分析可以提供支持移动和桌面设备的实时商业智能,让决策者能够根据见解采取行动,从而提高其组织的效率。

Rust 实现的一些 K/V 存储引擎

  • Engula :分布式 K/V 存储。它似乎是最活跃的项目。如果按照版本 0.4.0,其仍然没有为生产使用做好准备。

  • AgateDB :由 PingCAP 新创建的存储引擎,试图在 Tikiv 数据库中替换 RocksDB。

  • Marble :一个新的 K/V 存储,旨在成为 Sled 的底层存储引擎,本身仍在开发中。

  • PhotonDB :一种高性能存储引擎,旨在利用现代多核芯片、存储设备、操作系统和编程语言的强大功能。Github 上的 star 不多,但它似乎在积极地工作,而且看起来不错。

  • DustDataRustbase (一个 NoSQL K/V 数据库) 的存储引擎。

  • Persy :是用 Rust 编写的事务存储引擎.

  • ReDB :一种简单、可移植、高性能、ACID、嵌入式键值存储,其灵感来自 LMDB

greptimedb : 完全分布式的云原生时间序列数据库

greptimedb 是一个使用 Rust 从头构建的完全分布式的云原生时间序列数据库。它提供多租户、开箱即用、完全托管的服务,每个用户都运行一个安全高效的数据生命周期:摄取、存储、分析、数据管理、可视化、异常检测、预测等。


GreptimeDB Cloud 服务主要由三个组件组成:


  • Frontend:无状态,负责网关协议和分布式写入和查询;

  • Datanode:工作节点,无状态,内置时序存储引擎和计算引擎;

  • 分布式 WAL:多租户共享的 Write-Ahead-Log 服务,用于支持 Datanode 的容错和容灾。


GreptimeDB 创始团队来自蚂蚁集团,更多信息可以参考 GreptimeDB 官网

Xline : 用于元数据管理的地理分布式 KV 存储

Xline 是基于 CURP的新共识协议实现的用于元数据管理的地理分布式 KV 存储。


跨数据中心网络延迟是影响地理分布式系统性能的最重要因素,尤其是在使用共识协议时。我们知道共识协议很流行用于实现高可用性。例如,Etcd 使用Raft 协议,该协议在最近开发的系统中非常流行。


Raft 虽然稳定且易于实现,但从客户端的角度来看,需要 2 个 RTT(往返时间, Round trip time)才能完成一个共识请求。客户端和领导服务器之间发生一个 RTT,领导服务器使用另一个 RTT 将消息广播到跟随者服务器。在地理分布式环境中,RTT 很长,从几十毫秒到几百毫秒不等,因此在这种情况下 2 个 RTT 太长了。


Xline 采用名为 CURP的新共识协议来解决上述问题。有关详细说明,请参阅论文。该协议的主要好处是在竞争不太激烈时减少 1 个 RTT。Xline 是第一个使用 CURP 的产品。

PingCAP Rust 重新实现的 Tidis 现在已开源

Tidis 是 TiKV 的服务层,旨在提供基于 PingCAP 的 Redis 协议兼容的分布式存储服务。它实现了多种数据类型(string/hash/list/set/sortedset),已被社区广泛使用。


之前是 go 语言实现的 1.0 版,现在已经完全用 Rust 重新设计和重写,以便获得更好的性能和更低的延迟。以及更重要的功能,例如 Lua 脚本、TLS 连接、锁优化等。

Databend v0.8 发布

Databend v0.8 的开发于 3 月 28 号开始,在过去的几个月中,新增了几十万行代码,相当于把 Databend 重写了一遍。该版本对 SQL Planner 框架做出了重大改进,并将所有的 SQL 语句都迁移到了新的 Planner 上,提供了完整的 JOIN 和子查询支持。该版本目前还在积极开发中。


Databend 在今年也使用 sqllogictest-rs 成功地将 sqllogictest 框架(Sqllogictest是一个用于验证 SQL 数据库正确性的测试框架)从 Python 切换到 Rust 了 。

warpgate: 无需客户端的 Mysql 堡垒机

warpgate 是一款 Rust 实现的适用于 Linux 的智能 SSH、HTTPS 和 MySQL 堡垒主机,不需要特殊的客户端应用程序。


该项目目前处于 alpha 阶段,正在收集社区反馈。

BastionLab : 用于数据科学协作的 Rust 隐私框架

BastionLab 专为敏感数据协作而构建。


由于安全和隐私问题,数据所有者和数据科学家之间的协作对于健康、金融或广告等高度监管的领域来说是一个巨大的挑战。远程协作时,数据所有者必须打开他们的整个数据集,通常是通过 Jupyter 笔记本。这种过于广泛的访问会造成巨大的隐私漏洞,因为允许的操作太多,这使得数据科学家能够从远程基础设施中提取信息(打印整个数据库、将数据集保存在权重中等)。


BastionLab 通过提供细粒度的访问控制解决了这个问题。它向数据所有者保证,数据科学家只能对他们的数据执行隐私友好的操作,并且只能与他们共享匿名输出。


BastionLab 确保数据所有者的远程数据永远不会被数据科学家直接访问。三个主要元素确保了这一点:


  • 首先,数据所有者定义了一个“安全区”来过滤数据科学家的查询,在允许交互的同时加强控制。

  • 其次,表现力有限。这意味着数据科学家可以执行的操作类型受到限制,以避免任意代码执行。

  • 最后,数据科学家从不在本地访问数据集。他们只操纵包含元数据的本地对象与远程托管的数据集进行交互——数据所有者始终可以看到该对象发出的调用。

mvsqlite : 分布式 MVCC SQLite

mvsqlite 项目是一个在 FoundationDB 上运行的分布式 MVCC SQLite。SQLite 是一个单写数据库——由于其基本的设计选择,这不会轻易改变。但是一组(N 个)sqlite 数据库是一个 N-writer 数据库。 mvsqlite 提供了必要的机制来执行可序列化的跨数据库事务,而无需额外的开销。

lnx : Elasticsearch 和 Aloglia 的快速替代品

lnx 是基于 tokio 和 tantivy 搜索引擎 构建的 Elasticsearch 和 Aloglia 的快速替代品。lnx 可以同时为数以万计的文档插入提供毫秒级索引(不再等待事物被索引!),每个索引事务和处理搜索的能力,就像它只是哈希表上的另一个查找一样。


同类型开源项目


  • Toshi ,一个类似 Elasticsearch 的全文搜索引擎,但是在 2022 年已经不怎么维护了。

ReadySet : 轻量级 SQL 缓存引擎

readyset 是一个用 Rust 编写的轻量级 SQL 缓存引擎,可帮助开发人员增强现有应用程序的性能和可扩展性。它可以预先计算经常访问的查询结果,并随着数据库中基础数据的变化自动使这些结果保持最新。ReadySet 与 MySQL 和 Postgres 兼容,无需更改代码即可采用。ReadySet 既充当 SQL 缓存又充当代理。


Readyset 在 2022 年融资了 2900 万美元。ReadySet 的产品起源于 Marzoev 和该公司的第二位联合创始人 Jon Gjengset 在麻省理工学院攻读博士学位时所做的研究 noria

网络服务

tokio 生态 2022 发展

tokio 在 2022 年进入了稳定维护期,今年的侧重点在于 tokio 生态:


  • 发布了 tokio-metrics ,提供对生产中运行时行为的可见性,使 Tokio 用户更容易调试其应用程序的性能问题。如今,Tokio 已成功用于亚马逊、微软、Discord 等公司的大规模生产部署,tokio-metrics 可以帮助开发人员确定生产环境中的性能问题所在。

  • 发布 async-backtrace ,使得开发者能够有效地跟踪和查看应用程序中异步任务的状态。无需配置开箱即用,适合在生产环境中部署。

  • 发布 axum 0.6 版本。axum 是一个符合人体工效学的模块化 Web 框架,使用tokiotower和构建hyper。 新的版本增加了新的 State extractor ,并且增加了 WebAssembly 的支持等。

Volo: 国内首个 Rust 语言的 RPC 框架

volo 是字节跳动服务框架团队研发的轻量级、高性能、可扩展性强、易用性好的 Rust RPC 框架,使用了 Rust 最新的 GAT 和 TAIT 特性。Volo 使用 Motore 作为中间件抽象层,Motore 基于 GAT 设计。


在和 Kitex 相同的测试条件(限制 4C)下,Volo 极限 QPS 为 35W;同时,我们内部正在验证基于 Monoio(CloudWeGo 开源的 Rust Async Runtime)的版本,极限 QPS 可以达到 44W。


Volo 框架更多说明参考Volo官方文档

hyper 1.0 rc 版本发布

hyper 1.0 第一个候选版本发布,产品进入“抛光期”。在这个阶段 hyper 将从四个方面进一步完善以便顺利发布 1.0 版本“:


  • 文档。hyper 1.0 应该有一流的文档,并且成为 Rust crates 的榜样。hyper.rs 网站需要被改进。

  • 实用程序。

  • 升级。让用户升级到 1.0 尽可能地顺利。

  • 收集反馈。此抛光计划预计几个月后完成,所以 hyper 1.0 快来了。


目前 HTTP/3 也正在被整合进 hyper 过程中。hyper 生态中还有 Tower 中间件等值得被关注。


hyper 是一个非常完善且“正确的” HTTP 协议实现,广泛应用于各个项目中,有位网友在 reddit 上发帖问:像 hyper 这样的 HTTP 协议实现,声称是“正确的”,这到底意味着什么?


以下节选自高赞回答:


  • 协议类似于一组规则。其规定了可接受的数据格式、在不同站点中允许哪些指令、应当采取的行为......。超文本传输协议(HTTP)也对应一个这样的规则列表,例如:

  • 请求的第一行必须以动词(GET、POST 等)、url 和 HTTP 版本开头,然后是换行符;

  • 标头必须采用特定格式。例如,标题的名称不能包含 “:” 字符;

  • 如果请求包含正文,则必须声明长度。

  • 如果说 HTTP 协议的实现是“正确的”,背后的想法是,用户必须不可能生成无效的 HTTP 请求。例如,一旦您开始发送正文,就不可能设置 HTTP 头部,因为这样做是无效的。

  • 从另一个角度来看,特别是对于像 HTTP 这样的协议,它比 RFC 规定的内容更难实现。最“正确的”实现,在应用于现实世界时,总会遇到一长串奇怪但合法的行为,这将使一些客户端或服务器在某些时候崩溃。

  • 有时候在现实世界中,你需要忍受一些不正确的实现。例如 Cloudflare 就没有将 Hyper 应用于他们的 Rusty Proxy 服务中,因为它太严格了,不满足 Cloudflare 对于现实应用的需求。

mmids: Rust 编写的多媒体收发系统

[mmids]((https://github.com/KallDrexx/mmids/) (multimedia Ingestion and Distribution System)是一个功能强大、用户友好、开源的实时视频工作流服务器。


目前 mmids 能做什么?


  • 通过 RTMP 接收音频/视频

  • 提供 RTMP 音频/视频服务

  • 从外部源接收音频和视频

  • 直播视频转码

  • 生成视频的 HLS 流

  • 将实时视频推到外部 RTMP 服务器。


github地址

zbus 2.0 发布

D-Bus 是一种在 Linux(尤其是桌面和嵌入式系统)上非常流行的进程间通信 (IPC) 机制。 而 zbus 是一个纯粹的 Rust 库,旨在使 D-Bus 处理尽可能简单,许多服务(例如 systemd、NetworkManager、Geoclue 等)都使用它。


而大家期待已久的 2.0 稳定版发布了! 😎 虽然 1.x 版本很受欢迎,但缺少异步 API。 2.0 使用了全新的设计,将异步 API 作为主要的 API,阻塞 API 只是一个包装器。


非透明 UDP 代理 quilkin 0.4.0 发布

Quilkin 是一种非透明 UDP 代理,专门设计用于大型多人专用游戏服务器部署,以确保安全性、访问控制、遥测数据、指标等。它旨在用于游戏客户端后面以及专用游戏服务器前面。Quilkin 是 Google 和 Embark Studio 联合开发的。

Web 开发

Rust 在 Web 开发领域一直不温不火,有些人认为将 Rust 用于 Web 开发是大材小用,也有些人认为 Rust 也非常适合开发 Web 项目。


无论你持有何种观点,也不能否认 Rust 在 Web 领域确实出现了很多库与框架:


  • Poem 是 一款由国人开发的 Rust 异步 Web 框架。

  • axum,是 tokio 官方新发布的 Web 框架,它的特色是无宏(macro-free),并且基于 Tower 中间件抽象,充分利用 Tower 生态。缺点就是泛型用的太多。

  • perseus, 比如增加了 plugin 系统,支持 i18n,i18n 是基于 fluent 来做的。fluent 之前帮 rust 官网翻译时候用过,非常方便。

  • SeaORM 是一款异步动态 ORM,要做 Rust 版本的 Active Record。

  • swc,是 Speedy Web Compiler 缩写,是一款用 Rust 编写的超快 TypeScript / JavaScript 编译器。swc 目前已经被 deno、next.js、Vite 4.0 等知名项目使用。

  • sycamore 是一个响应式的无虚拟 dom 的 前端库,同样是基于 Rust 和 WebAssembly 。它的特点是,不支持 JavaScript ,因为不需要。

  • seed ,基于 Elm 架构的 Rust 前端框架。

  • sauron, 一个多功能的 Web 框架和库,用于构建客户端和/或服务器端 Web 应用程序,非常注重简单性。它适用于开发使用渐进式渲染的 Web 应用程序。

  • MoonZoon,正在开发的一款全栈 Rust 框架,号称没有 JS/CSS/HTML 等,开发进度较慢。

  • Yew 是一个设计先进的 Rust 框架,目的是使用 WebAssembly 来创建多线程的前端 web 应用。它基于组件,灵感来自于 React 和 Elm,高性能,且支持与 JavaScript 交互。目前还在活跃开发中。


2022 年也涌现出一些值得关注的新库和框架。

submillisecond: 围绕 WebAssembly 的 Rust Web 后端框架

submillisecond 是 lunatic 在今年推出的一个 Web 框架。注重 WebAssembly 安全性,基于 lunatic 调度运行时。submillisecond 框架编写的程序会先编译为WebAssembly,然后才能由运行时执行。


lunatic,是受 Erlang 影响的一个 WebAssembly 运行时。你可以使用它快速健壮可扩展的服务器端应用程序,但是你可以通过任意可以编译为 WebAssembly 的语言来使用它。Lunatic 的并发是基于超轻量级进程,类似于绿色线程或 go-routines。Lunatic 的进程创建速度快,内存占用小,调度开销低。它们专为大规模并发而设计。在一般的应用程序中同时运行数十万个这样的进程并不少见。Lunatic 进程彼此完全隔离,它们有自己的栈、堆甚至系统调用。如果一个进程失败,它不会影响系统的其余部分。这允许开发者创建强大且容错的抽象。


submillisecond 的另一个特色是支持 Liveview 。 Liveview 的灵感来自于 Elixir 的Phoenix web 框架 。 LiveView 编程模型是声明式的:LiveView 中的事件不是说“一旦事件 X 发生,就在页面上更改 Y”,而是可能导致其状态发生变化的常规消息。一旦状态发生变化,LiveView 将重新渲染其 HTML 模板的相关部分并将其推送到浏览器,浏览器以最有效的方式进行自我更新。这意味着开发人员像编写任何其他服务器呈现的 HTML 一样编写 LiveView 模板,LiveView 负责跟踪更改并将相关差异发送到浏览器。

Turbopack: Webpack 的继任者

Turbopack, Vercel 公司发布的新的 Webpack 的继任者,Rust 实现,性能是 Webpack 的 700 倍。


Turbopack 真正的优势应该在哪?来自知乎相关问题的一个答案如是说:


  • 冷启动性能优势。Vite 虽然服务启动快,但浏览器按需加载的时间比较久,导致首屏加载时间可能会很长,这个问题尤也提过多种解决方案,比如给 Vite 加上物理缓存(持久化缓存),利用 web bundles 标准来优化级联请求,但在 Turbopack 的下面,这个问题可以很好的解决,官方给出的数据是冷启动快 5 倍左右,个人觉得这是值得 Turbo 去大力宣传的一个方面。

  • 开发和生产环境的一致性。说到一致性,Vite 现在默认模式下是存在一些打包行为不一致的问题的,主要是对依赖的处理,开发阶段走 Esbuild,生产环境走 @rollup/plugin-commonjs。但在 Turbopack 当中可以统一打包方案,避免了这种不一致问题导致的各种疑难杂症。

  • 极致的缓存复用。Turbo 中的缓存可以达到函数级别,可以达到极细粒度的缓存复用,并且结合 Turbo 的远端缓存,你把某个模块编译完了,你的队友可以复用编译结果,从而跳过编译,想想都觉得不要太爽。

Canyon-SQL: 新的 Rust ORM 框架

Canyon-SQL 同时处理多个数据库的高级抽象。建立在async 特性之上以提供高速、高性能的库来处理消费者的数据访问。


目前还是早期开发状态,值得关注。

Diesel 2.0 发布

经过 135 人历时 3 年 的努力,Diesel 2.0 发布了,这里是 Release 日志


Diesel 2.0 的亮点:


• 支持完全类型检查 GROUP BY• 支持表别名• 支持通过相应类型定义选择子句• 支持 UNION/INTERSECT 查询


此版本中有一个影响所有用户的重大变化:Connection trait 上的任何方法现在都需要一个可变引用,而不是像 1.x 那样的共享引用。此更改的主要动机是支持将结果加载为迭代器。


Diesel 2.0 目前还未打算支持异步,因为这方面的生态系统还不够成熟。从长远来看,Diesel 生态系统可能由多个部分组成:一个提供 DSL 和任何与 io 无关的核心 crate,然后其他 crate 可以提供实际的异步和同步连接实现。 这可能是未来几年的事情,因为这需要首先解决语言级别的问题,还需要进一步扩大 Diesel 团队,这样就不需要由同一个人维护所有的 crate。


异步 Diesel 的稳定步伐目前受以下 Rust 语言未完成的部分所阻止:• 能够在不使用某些诸如#[async_trait]或类似解决方法的情况下将异步函数作为 trait 函数。这可能需要对任何涉及的生命周期进行很好的控制。• 能够接受一个返回未装箱 Future 的闭包,同时处理生命周期的东西。这基本上被 rustc 阻止了,无法在那里计算出正确的生命周期。严格来说,这不是异步的问题,而是当前借用检查器实现中的一个缺点/错误。(有关基本问题的简化版本,请参见此 playground)

博客联盟 ActivityPub 协议支持

今年马斯克收购 Twitter 事件引发了 Mastodon(长毛象,Ruby 实现) 的使用狂潮,Rust 社区也开始支持 ActivityPub 协议。


相关项目:


  • Plume 一个基于 ActivityPub 协议开发的社区联盟博客系统,基于 rocket 和 diesel 实现。

  • lemmy 也开始支持 ActivityPub 协议了。

ApolloRouter:统一 GraphQL

ApolloRouter 正在构建软件平台帮助用户在应用程序和服务中统一 GraphQL。包括:


  • Apollo Studio:管理 GraphQL 生命周期的免费的端到端平台。

  • Apollo Federation:用于构建分布式图的行业标准开放架构。

  • Apollo Client/:Web 开发最流行的 GraphQL 客户端,同时也有 IOS 和 Android 端。

  • Apollo Server: 一个用于生产的 JavaScript GraphQL 服务器,可连接到任何微服务、API 或数据库。

云原生

spin: 基于 Rust 和 WebAssembly 的微服务框架

spin 是 fermyon 团队开源的一款用于使用 WebAssembly 构建和运行快速、安全且可组合的云微服务的框架。它旨在成为开始使用 WebAssembly 微服务的最简单方法,并利用 WebAssembly 组件模型Wasmtime运行时的最新发展。


spin 团队还开源了一个 Bartholomew 项目 ,它是一个简单的类似 CMS 的网站托管工具。它完全编译为 WebAssembly,可以在任何支持 Spin 的系统中运行。


自动缩放和缩放到零(Scale-to-zero)是所有无服务器平台以及平台即服务 (PaaS) 解决方案提供商的关键功能要求,因为它有助于最大限度地降低基础设施成本。Scale-to-zero 是 Kubernetes devops 长期以来一直追求的策略。并且有充分的理由!成功意味着省钱。在 Kubernetes 生态系统中,许多项目试图实现规模为零。当使用 Spin 构建 WebAssembly 项目时,可以将其构建为默认缩放到零,Fermyon 平台时从一开始就添加了Scale-to-zero这个能力,这意味着不仅可以节省成本,还可以改善开发人员的体验,以及一个长期更易于操作的平台。

Wasmtime 发布 1.0 稳定版

Wasmtime 是一个 Rust 编写的 WebAssembly 编译器,是 WebAssembly 用于云原生领域的重要基础设施工具。2022 年 9 月,Wasmtime 发布 1.0 稳定版


以下是 wasmtime 的一些生产应用实践,为改进 wasmtime 做了贡献:


  • Shopify — 14 个月的生产。Shopify 于 2021 年 7 月从另一个 WebAssembly 引擎切换到 Wasmtime。切换后,Shopify 的平均执行性能提高了约 50%。

  • Fastly ——6 个月的生产。Fastly 于 2022 年 3 月从另一个 WebAssembly 引擎切换到 Wasmtime。Fastly 的执行时间也提高了约 50%。此外,Fastly 的每秒请求数增加了 72% 到 163%。此后,Fastly 使用 Wasmtime 处理了数万亿个请求。

  • DFINITY — 16 个月的生产。DFINITY 于 2021 年 5 月使用 Wasmtime 推出了 Internet Computer 区块链。自那时以来,Internet Computer 已为超过 150,000 个智能合约执行了 1 quintillion (10^18) 指令,没有任何生产问题。

  • InfinyOn — 14 个月的生产。自 2021 年 7 月以来,InfinyOn Cloud 一直在生产中使用 Wasmtime。与 Kafka 等基于 Java 的平台相比 ,InfinyOn 能够在端到端流处理中提供超过 5 倍的吞吐量提升。

  • Fermyon——6 个月的生产。自 2022 年 3 月发布以来,Fermyon 的 Spin 一直在使用 Wasmtime。从那时起,Fermyon 发现数以万计的 WebAssembly 二进制文件可以在单个 Spin 实例中运行,同时将启动时间保持在毫秒以内。

  • Embark — 生产 2 年。自 2020 年以来,Embark 一直在他们的游戏引擎中使用 Wasmtime。从那时起,Embark 对 Wasmtime 出色的稳定性、安全性和性能印象深刻,使游戏以 60 FPS 运行。

  • SingleStore — 生产 3 个月。自 2022 年 6 月以来,SingleStoreDB Cloud 一直在使用 Wasmtime,将开发人员的代码安全、快速且可扩展地引入数据中。

  • Microsoft — 11 个月的预览版。自 2021 年 10 月以来,Microsoft 已在 Azure Kubernetes 服务中为其 WebAssembly 系统接口 (WASI) 节点池提供 Wasmtime 预览版。


wasmtime 被用于以下领域:


  • 微服务和 serverless

  • 第三方插件系统

  • 数据库、分析和事件流

  • 可信的执行环境

  • 便携式客户端,比如浏览器

  • 区块链(智能合约)

Wasmer 3.0 发布

Wasmer 是一个用于在服务器上执行 WebAssembly 的开源运行时。Wasmer 有什么新功能?


  • Wasmer 现在能够直接通过 wasmer 运行 WAPM 包了

  • 更好的 API 和内存管理

  • 简化了引擎的工作方式

  • 支持为任何平台创建本地可执行文件

  • WASI 的改进

  • 其他


详情可以参考 Wasmer 官网信息

云原生搜索引擎 Quickwit 0.4 发布

Quickwit 是一个用 Rust 编写的用于日志管理和分析的云原生搜索引擎。它被设计成非常具有成本效益,易于操作,并可扩展到 PB 级。目前发布了 0.4 版本。新版本基于 Kafka 进行分布式索引,并正式支持 Kubernetes 作为部署平台。更多细节可以参考其官方博客

CrosVM : 基于 Linux 的 KVM 管理程序的虚拟机监控器(VMM)

CrosVM 是 Chrome 操作系统中用于创建虚拟机的应用。是一个 Rust 编写的轻量级的虚拟机。亚马逊的 Firecracker 从 crosvm 开始。借助于 CrosVM 用户可以很容易的在 ChromeOS 中运行 Linux、Android 以及 Windows 应用程序。

Deno : 发布 Deno Deploy

Deno 是基于 Rust 编程语言和 V8 JavaScript 引擎的 JavaScript、TypeScript 和 WebAssembly 运行时,最初是为 Google Chrome 和 Chromium 网络浏览器开发的。Deno 由 Dahl 共同创建,他还创建了Node.js,旨在提供一个“高效”且安全的脚本环境,可用于管理服务器、执行科学计算等。


Deno 背后同名公司在 2022 年 6 月获得由红杉领投的 2100 万美元 A 轮融资,使其融资总额达到 2600 万美元。融资主要用于构建 Deno 的商业产品 Deno Deploy,同时扩大营销业务并探索新的业务线。


Deno 在 2022 年发展路线随着 Deno Deploy 发布有所侧重于边缘计算。deno 生态在今年也开始走向兼容 Node 的路线拥抱 Node 生态。

ockam: 信任动态数据

ockam 是一套开源工具、编程库和托管云服务,用于大规模编排端到端加密、相互身份验证、密钥管理、凭证管理和授权策略实施。


现代应用程序是分布式的,并且具有大量必须可靠地交换数据的互连。为了建立对动态数据的信任,应用程序需要端到端的数据真实性、完整性和机密性保证。为了在设计上做到私密和安全,应用程序必须对每个信任和访问决策进行精细控制。Ockam 允许开发者将这些控制和保证添加到任何应用程序。


Ockam 允许开发者在任何传输拓扑上创建端到端加密、经过身份验证的安全通道,以及为分布在许多边缘、云和数据中心专用网络中的应用程序内的可信通信提供加密中继等,详细功能参考Ockam官方文档

Docker 与 WasmEdge 合作,发布 WebAssembly 支持

在 KubeCon NA 2022 的 Cloud native Wasm day 活动上,Docker 与 CNCF 的 WasmEdge Runtime 项目发布了 Docker+Wasm 技术预览。 只需一个命令 docker compose up, 上千万的 Docker 开发者可以立即构建、共享并运行一个完整的 Wasm 应用。


WasmEdge 是 Cpp 实现的 WebAssembly 运行时,也提供了 Rust SDK

plane: 基于浏览器的容器编排工具

plane 允许用户通过 API 启动任何使用 HTTP 的容器的实例。Plane 为每个实例分配一个唯一的子域,通过它代理 HTTPS/WebSocket 连接。当容器的所有入站连接都被丢弃时,Plane 将其关闭。


Plane 实现了一个被称为会话后端的架构。


Web 浏览器已成为新应用软件事实上的交付渠道。 人们很容易将所有基于浏览器的软件统称为“网络应用”,而将构建它们的人统称为“网络开发人员”。但是开发人员在浏览器中构建类似于桌面的体验的方式与构建 Web 原生应用程序(如博客和社交媒体网站)的方式有所不同。出现的一个区别是我们称之为会话后端的模式。在传统的 Web 架构中,后端层由一组无状态、可互换的服务器组成。随着越来越复杂的应用程序迁移到浏览器,这种方法就会失效。此时开发人员可用的选项分为三种通用方法,其中之一就是会话后端,即,1. 在服务器上为每个用户启动一个专用进程,并在该进程中维护状态。为前端提供与其专用进程的持久连接,并在用户关闭应用程序时关闭该进程。生产中的案例包括 GitHub Codespaces 和 Figma 实时多人管理应用


使用 Plane,开发者可以将后端作为容器镜像(也称为 Docker 镜像)提供,Plane 会为开发者提供一个私有 HTTP API,用于在集群中“生成”该后端的新实例。API 返回一个 URI,然后可用于直接从您的前端代码打开到新后端的 HTTP 连接。Plane 监视后端进程的活动,并在一段时间没有连接后将其关闭。这是一个演示。


编者按: Plane 弃用 Docker 而采用 fermyon spin 是不是更轻量呢?

mirrord: 一款致力于改善开发工作流的开发工具

mirrord 是第一个把本地进程完全封装在 Kubernetes 集群上下文中的版本 —— 将网络流量、文件访问、环境变量通通连接在一起,开发者可以在熟悉的舒适的本地环境中继续运行程序进程,但是输入、配置和状态都来自于云。通过 mirrord 开发者将会得到一个与模拟环境相符合的开发环境,代码一经编写完成即可上云。


目前发布了 3.0 版本,该版本是第一个完整且稳定的 mirrord 版本。完全用 Rust 实现。

Apache APISIX 拥抱 Rust 和 WebAssembly

Apache APISIXApache 软件基金会下的云原生 API 网关,它兼具动态、实时、高性能等特点,提供了负载均衡、动态上游、灰度发布(金丝雀发布)、服务熔断、身份认证、可观测性等丰富的流量管理功能。


APISIX 是基于 Nginx 和 OpenResty 构建的,这让 APISIX 提供可以满足大多数业务需求的开箱即用 Lua 插件. 但总有一天, 通用插件无法满足开发者的需求,所以现在 APISIX 支持使用 Rust 来编写这类自定义插件。


APISIX 是通过集成 api7.ai 开源的 wasm-nginx-module (C 语言实现) 来支持 WebAssembly,api7.ai是 Apache APISIX 的主要贡献者之一。顾名思义,集成是在 Nginx 级别完成的,在 Nginx 上实现proxy wasm ABI 。APISIX 提供了 proxy wasm Rust SDK 来支持 Rust 编写插件。

Kong Gateway 3.0 发布,包含 Rust 实现的新组件

和 Apache APISIX 同类型的云原生 API 网关 Kong ,也开始使用 Rust 来实现一个全新的路由引擎 atc-router,使用 DSL 来增加路由层的表达能力。


在 Kong 的 GitHub 开源组织中也看到了 proxy-wasm Rust SDK 的 hello world 项目,以及 fork 了 wasmtime ,从这个迹象表明,Kong 也许也会学习 APISIX 来支持 WebAssembly 引入自定义插件功能。

nixpacks:构建 docker 镜像

App source + Nix packages + Docker = Image


NixpacksRailway团队启动,作为Buildpacks的替代方案,并试图解决在将数千个用户应用程序部署到 Railway 平台时出现的许多缺点和问题。


该项目采用源目录生成一个兼容 OCI 的 image,该 image 可以部署在任何地方。核心原则:


  • 符合直觉的默认值:在大多数情况下,使用 Nixpacks 构建和部署应用程序应该无需任何配置即可工作。

  • 可定制:管道的每个部分都应该是可配置的。其中包括要添加到环境中的 Nix 包和构建/启动命令。

  • 易于扩展:可以使用最少的 Nix 和 Docker 知识讲新的提供者(语言)轻松添加到 nixpacks 中。

inspektor: 使用 wasm 来执行 OPA 策略

inspektor 是一种协议感知代理,用于执行访问策略。 旨在与所有数据库一起使用,例如 Postgres、MySQL 和 MongoDB。


OPA(Open Policy Agent)是一种策略执行引擎,可用于多种用途。OPA 用于跨云原生技术栈的统一工具集和策略框架。使用 OPA 发布、分析和审查策略,而不会牺牲可用性或性能。


Inspecktor 包含 2 个主要组件:控制平面和数据平面。控制平面充当管理服务,动态配置数据平面以执行策略。数据平面与数据服务一起部署,通过拦截网络流量对进入数据库的所有查询实施访问策略。Inspecktor 是通过运行 WebAssembly 模块来执行 OPA 策略。

工具

分布式版本管理工具 Pijul 1.0 beta 版发布

pijul 是一个免费的开源 (GPL2)分布式版本控制系统。经过了 53 个 alpha 版本的 Pijul 1.0 beta 终于发布了。


Git 目前占据版本控制工具的主导地位,但是未来版本控制工具该如何发展呢?Pijul 也许是一个视角。


Pijul 的架构和设计方法受到 Darcs 项目的影响,Pijul 使用类似于 Darcs 的以补丁程序为中心的模型,该模型在重新排序,挑选或重组补丁程序时不需要重写历史记录。所有补丁程序都将永久保留其身份,无论其上下文,顺序,执行的操作或团队工作流程如何。这是一个非常优雅的解决方案,并且可以说是一种更自然的创建此类系统的方法。这与 Git 相反,在 Git 中,某些操作(例如重新设置基数和 Cherry-Picks)可以更改提交 ID(和其他标识符),即使内容本身没有更改。此外,由于重写了最初的 cherry-pick 的提交 ID,因此来自 Git 远程分支的后续 cherry-pick 可能导致不自然的冲突。 Pijul 完全避免了此问题,因为补丁程序始终保留其身份,无论它们在分支中的位置如何。


看得出来,Pijul 解决了 Git 的一些问题,但目前它并未正式稳定。

Sapling: Meta 开源的源码版本控制系统

sapling 是 Meta(原 facebook)开源的兼容 Git 的源码版本控制系统,强调可用性和可扩展性。Meta 花了大约十年时间创建了 sapling,为了能让 Meta 内部巨大的单体代码仓库(简称 monorepo)在增长时能够更好地扩展。Sapling 可以为 Meta 的内部资源库提供服务,包括数千万个文件、数千万个提交和数千万个分支。Sapling 是基于 Mercurial 发展而来的。


Sapling SCM 的可扩展性目标是确保所有的源控制操作随着开发者使用的文件数量而扩展,而不是随着资源库本身的大小而扩展。这使得即使在拥有数百万文件和极长的提交历史的大规模资源库中也能实现快速、高性能的开发者体验。


目前开源的 Rust 实现是 SCM 客户端。未来还会开源其高度可扩展的分布式源代码控制服务器 Mononoke 和 用于有效地签出大型资源库的虚拟文件系统 EdenFS

Fornjot: 世界需要另一个 CAD 程序

Fornjot 是一个早期的爱好者项目,旨在创建新一代的 Code-CAD 应用程序:因为世界需要另一个 CAD 程序。


这个项目的目标是创建一个有如下特色的 CAD 应用程序:


  • 使用代码优先的方法;

  • 是开源的;

  • 广泛使用,支持所有主要平台;

  • 基于一个新的 CAD 内核,用 Rust 语言编写;

  • 提供一个全面的功能集;

  • 以及对不同建模语言的支持;


这个目标还没有实现。事实上,还远远没有! 但 Fornjot 正在一步一步地慢慢变得更好。Fornjot 正在积极开发中,但仍然是实验性的。目前的工作重点是提供一套稳定的基本 CAD 功能。

Weylus:移动设备作为输入板/触屏

Weylus 可将平板电脑或智能手机用作计算机上的图形输入板 / 触摸屏。


主要特征:


  • 使用平板电脑控制鼠标

  • 将屏幕镜像到平板电脑

  • 使用物理键盘发送键盘输入

  • 硬件加速视频编码


上述功能在所有操作系统上都可用,但 Weylus 在 Linux 上效果最好。

flux: 用 Rust 和 wasm 重新创建 macOS 的 Drift 屏幕保护程序

flux 是一个 Drift 屏幕保护程序。作者一直迷恋 Macos 中的 Drift 屏幕保护程序。作者使用 Rust 和 wasm 重新在浏览器中创建了该效果。

nushell 发布了 0.72 版本

nushell ,或简称 Nu,是一种新的 shell,它采用现代的、结构化的方法来处理命令行。它与来自文件系统、操作系统和越来越多的文件格式的数据无缝协作,使构建强大的命令行管道变得容易。


NuShell 专注于实现以下目标:


  • 创建具有现代感的灵活的跨平台 Shell

  • 允许你将命令行应用程序与可理解数据结构的 Shell 进行混合和匹配

  • 具有现代命令行应用程序提供的用户体验优化


更多 nushell 功能可以参考 nushell book

git-cliff: 根据 git 历史生成 ChangeLog

git-cliff 可以通过 Git 的历史提交来生成 changlog. 并且可以自定义格式,过滤内容等。目前发布 1.0 版本。

zellij : 终端工作区

zellij 是一个终端工作区。它具有终端多路复用器的基本功能(类似于tmuxscreen),但包含许多允许用户扩展它并创建自己的个性化环境的内置功能。zellij 支持 WebAssembly 和 WASI 来加载插件,因此可以使用任何能编译到 WebAssembly 的语言来编写插件。

gitoxide: 纯 Rust 编写的 git 实现

gitoxide 是一个 简洁, 快速, 安全的 纯 Rust 编写的 git 实现。


gitoxide 的性能超越了 Git ,可以在一分钟内 clone linux 内核 。 在 16 核 AMD 工作站上,gitoxide可以在 30 秒内实现相同的克隆,而git需要 141 秒。用数字表达,gitoxide性能比 git 好大约 4.8 倍。

Hyperpom 基于 Apple Silicon 管理程序的 64 位 ARM 二进制模糊器

在没有源代码的情况下有效地对二进制文件进行模糊测试并不容易。Hyperpom 是纯 Rust 实现的基于 Apple Silicon 管理程序的 64 位 ARM 二进制模糊器,完全用 Rust 开发。它是基于变异测试(mutation-based)和覆盖率引导(coverage-guided)的。使用虚拟机管理程序可以完全控制目标二进制文件,并允许非常轻松地添加内省(introspection)机制。例如,我们可以实现代码覆盖率收集、挂钩系统、添加检测等。


Hyperpom 的架构非常标准。每个虚拟 CPU 运行一个 worker 来模糊其自己的二进制实例。然后这些实例共享信息,例如语料库和覆盖率数据,以加快该过程。目前 Hyperpom 还是很早期的项目,但值得关注。更详细信息可以参考Hyperpom官方介绍

lapce: 快如闪电且功能强大的代码编辑器

lapce 纯 Rust 编写的,基于 Druid 实现 UI (也是用 Rust 编写的)。它采用Rope ScienceXi-Editor设计,可实现闪电般的快速计算,并利用OpenGL进行渲染。


虽然 Lapce 目前还处于 Pre-Alpha 阶段,不是一个完整的产品,但它可以提供很多东西,值得关注。

helix: 后现代模态文本编辑器

helix 是一款用 Rust 实现的受 Kakoune / Neovim 启发的基于终端的文本编辑器。该编辑器的特点是:


  • 类似 Vim 的模态编辑

  • 多项选择

  • 内置语言服务器支持

  • 通过 tree-sitter 智能、增量语法高亮和代码编辑


目前发布了 22.12 版本,该版本是一个巨大的改进,新增了很多特性、完善了很多可用性改进点和 更多 Bug 修复等等。详细可以参考Helix 官方信息


同类型编辑器


  • zee ,灵感来自于 Emacs,一个实验性的现代终端编辑器。

Spacedrive : 开源的跨平台文件浏览器

spacedrive 是一个开源的跨平台文件浏览器,由用 Rust 编写的虚拟分布式文件系统( VDFS )提供支持。


VDFS(虚拟分布式文件系统)是一种旨在跨各种存储层工作的文件系统。通过统一的 API 来跨多个设备操作和访问内容,VDFS 不限于一台机器。它通过维护所有存储位置的虚拟索引、实时同步客户端之间的数据库来实现这一点。此实现还使用CAS(内容可寻址存储)来唯一标识文件,同时记录相对于存储位置的逻辑文件路径。可以在 Haoyuan Li 的这篇加州大学伯克利分校论文中找到 VDFS 的第一个实现。


Spacedrive 这个项目正在使用被称为“PRRTT(Prisma、Rust、React、TypeScript、Tauri)”的技术栈。2022 年还在积极开发中。Spacedrive 在 2022 年得到了来自 OSS Capital 领投的 200 万美元融资。

Arti 1.0.0:准备用于生产

Arti 是 Rust 实现的 Tor 浏览器,目前已经可用于生产。更多信息可以参考Arti 官方介绍

bytehound:Linux 内存分析器

bytehound 是一款适用于 Linux 的内存分析器,由 C 和 Rust 实现。开销比 Valgrind 低很多,并且它具有更丰富的分析功能。(但当然它不能替代 Valgrind,因为 bytehound 只能分析内存,而 Valgrind 还具有其他功能)。


有以下特点:


  • 可用于分析内存泄漏,查看内存的确切位置,识别临时分配并调查过多的内存碎片。

  • 收集每个分配和取消分配,以及完整的堆栈跟踪。

  • 可动态剔除临时分配。

  • 使用定制的堆栈展开实现,使其比其他工具更快。

  • 可以将收集到的数据导出为各种不同的格式。

  • 拥有基于 Web 的 GUI,可用于分析。

  • 可以将分析数据动态流式传输到另一台计算机。

  • 支持 AMD64、ARM AArch64 和 MIPS64 架构。

  • 支持分析使用 jemalloc 作为其分配器的应用程序。

  • 支持给予 Rhai 的嵌入式 DSL,允许编程和/或自动数据分析

sniffnet : 多线程跨平台的网络分析器

sniffnet 由网络数据包嗅探器/过滤器组成,可以生成图形和文本报告,并提供丰富的统计信息。

privaxy: 下一代跟踪器和广告拦截器

privaxy 是下一代跟踪器和广告拦截器,它通过 MITMing HTTP(s) 流量来阻止广告和跟踪器。


MITMing HTTP(s) ,位于 HTTP(s) 对话应用程序(例如 Web 浏览器)和 HTTP 服务器(例如为网站提供服务的应用程序)之间。


通过在两端之间建立双向隧道,Privaxy 能够基于 URL 模式阻止网络请求,并将脚本和样式注入 HTML 文档。


Privaxy 优势:


  • Privaxy 在更底层运行,比基于浏览器插件的拦截器更高效、更精简。小型虚拟机、服务器上的单个 Privaxy 实例,甚至是与流量来源相同的计算机上,每秒可以过滤数千个请求,同时需要非常少量的内存。

  • Privaxy 不受浏览器 API 的限制,可以处理任何 HTTP 流量,而不仅仅是来自 Web 浏览器的流量。

  • Privaxy 也比基于 DNS 的拦截器更强大,因为它能够直接操作 URL 并将资源注入网页。

图形渲染和处理

Wgpu : 基于 WebGPU API 的 Rust 图形库

wgpu 适用于 GPU 上的通用图形和计算。使用 wgpu 的应用程序可以在 Vulkan、Metal、DirectX 11/12 和 OpenGL ES 上原生运行;也可以通过 WebAssembly 在 WebGPU 和 WebGL2 上运行浏览器。


wgpu 在 2022 年改进了不少功能。值得一提的是,现在 wgpu 可以通过独立的 features 来选择要支持的平台后端。默认情况下,wgpu 会根据目标操作系统和架构自动选择平台后端。并且,wgpu 的 DX12 后端现在可以重新分配缓冲区和纹理,这可以显著提高性能。更多改进可以参考:CHANGELOG

rust-gpu: 旨在使 Rust 成为一流的 GPU 编程语言和生态系统

EmbarkStudios 公司开源的 rust-gpu 最新发布了 0.4 版本。截至目前,rust-gpu 使用的是相当于 Rust 1.66 的 Rust nightly。有一件事要特别强调:Rust-gpu 现在支持光线追踪。使用#[spirv(..)]属性,你可以为各种光线追踪事件定义入口:相交、任意击中、最接近击中和错过。#[spirv(ray_generation)]可以用来定义一个光线生成着色器。


虽然该项目目前许多东西还没有实现,还远远没有达到可以投入生产的程度,但是该项目的前景是相当不错的。在游戏中,GPU 编程以往都是通过编写 HLSL 或在较小程度上编写 GLSL 完成的。这些都是简单的编程语言。然而,随着游戏引擎的发展,这些语言未能提供处理大型代码库的机制。Embark 凭借拥有优秀的渲染工程师团队,希望通过将现有的、低级别的、安全的、高性能的 Rust 语言带到 GPU 上,来推动这个行业的发展。而随之而来的是一些不可忽视的额外好处:一个业界最好的包/模块系统,针对竞赛条件或越界内存访问的内置安全,广泛的工具和实用程序,以改善程序员的工作流程,以及其他许多东西。


rust-gpu 项目为 rustc 编译器后端生成 SPIR-V,通过-Z codegen-backend插入。这与rustc_codegen_craneliftrustc_codegen_gcc使用的机制相同。目前只计划支持 SPIR-V,Vulkan 的开放编译器目标。未来的版本可能会支持 DXIL(DirectX 的目标)或 WGSL(WebGPU 的着色语言,与 SPIR-V 是双投影的)。

forma: 实验性矢量图形渲染器

forma 是 Google 开源的一个(完全)并行化的实验性 Rust 矢量图形渲染器,具有软件(CPU)和硬件(GPU)后端,具有以下目标,顺序如下:


  1. 便携性;支持 Fuchsia、Linux、macOS、Windows、Android 和 iOS。

  2. 性能;利用在指令级和线程级都高度并行化的以计算为中心的管道。

  3. 简单;实现一个易于理解的 4 级流水线。

  4. 尺寸;最小化依赖项的数量并仅关注矢量图形。


它依靠 Rust 的 SIMD auto-vectorization/intrinsics 和Rayon在 CPU 上具有良好的性能,同时使用WebGPU ( wgpu ) 来利用 GPU。

Graphite: 重新定义最先进的图形编辑器

Graphite 是一个 Rust 实现的轻量级的光栅和矢量 2D 图形编辑器,它是免费和开源的。


Graphite 软件的第一要务是提供令人愉悦的用户体验。与其他一些开源应用程序不同,UI、UX 和产品设计不是事后才想到的,而是软件开发过程中的中心指路明灯。Graphite 建立在这样一种信念之上,即最好的创意工具可以是强大的并且触手可及。


目前 Graphite 已经可用于 alpha 测试。

Mesa 22.3 的 Rusticl OpenCL 实现可以胜过 Radeon 的 ROCm 计算平台

Mesa 22.3 发布,Mesa 是一个在 MIT 许可证下开放源代码的三维计算机图形库,以开源形式实现了 OpenGL 的应用程序接口。


Mesa 22.3 最值得注意的是 RDNA3“GFX11”AMD Radeon 图形支持有望在 Radeon RX 7000 系列中保持良好状态。Mesa 22.3 同样令人兴奋的是 Vulkan 光线追踪 (RT) 支持比之前的版本更加成熟和快速。


Mesa 22.3 向前迈出的另一个重要步骤是引入了Rusticl作为 Gallium3D 的 Rust 编写的 OpenCL 实现。Rusticl 提供 OpenCL 3.0 支持,以及完整的图像支持。Red Hat 的 Karol Herbst 一直领导 Rusticl 的工作,作为现代 OpenCL 替代 Mesa 休眠的“Clover”OpenCL 状态跟踪器。随着这个新的 OpenCL 驱动程序出现在 Mesa 22.3 中,至少在他的 Radeon RX 6700 XT 显卡 (RDNA2) 测试中,他发现 Rusticl 在相同的系统/硬件上可以胜过 ROCm 的流行 LuxMark 基准测试

lyon: 1.0 版本发布

lyon 一个用 Rust 编写的路径细分库,用于基于 GPU 的 2D 图形渲染。 目前lyon 正式发布 1.0 版本


lyon 从 2016 年开始开发,之所以迟迟发布 1.0 ,是因为作者希望 lyon 成长为一个功能齐全的 2D 渲染器。在达成这个目标的过程中,作者发现开发一个快速而健壮的曲面细分器本身就是一个大项目,所以就有了现在的 1.0 。

UI

Tauri 1.0 发布

Tauri 是一个应用程序构建工具包,让你可以任何前端框架来构建桌面操作系统软件。核心库是用 Rust 编写的。2022 年发布了 1.0 版本,并且也发布了针对移动设备的 Tauri Mobile Alpha 版本。


Tauri 被认为是 Electron 的替代品,与 Electron 的区别:


  • Tauri 程序安装包只有大约 2.5MB,而 Electron 程序安装包却有 85MB。

  • Tauri 启动时间更快

  • Tauri 占用内存更少(Linux 环境测试结果)

  • Tauri 编写程序目前只支持 Rust,Electron 支持 JS 。但这一点 Tauri 正在改进。

  • Tauri 使用系统 WebView;Electron 使用 Chromium

  • Tauri 比 Electron 更加安全


基于 tauri 开发的一些第三方工具


  • ChatGPT,用 tauri 打包的 ChatGPT 官网,并添加了一些其他方便的功能。

  • wirefish ,一个类似 Wireshark 的跨平台数据包嗅探器。

  • tauri-tray-app,tauri 构建的桌面托盘应用。

tao :Tauri 维护的窗口管理工具

taowinit 的 Fork 版本,对 winit 增加了序列化反序列化和托盘(tray)特性支持。

Makepad Framework 发布第一个完整示例应用程序 Ironfish

Ironfish 是一款功能丰富的合成器,该 example crate 展示了 Makepad 框架的一些功能。


makepad,是一个 VR,Web 和本机渲染 UI 框架 和 IDE,基于 Rust 和 WebAssembly (WebGL) 技术。 作者是 Cloud9 IDE 的创始人。该项目也包含白皮书,阐述了它的愿景。目前开发进度不是很频繁。


Makepad 由 Makepad Framework 和 Makepad Studio 组成。


Makepad Framework 是 UI 框架。它由多个板条箱组成,但顶级板条箱是makepad-widgets。有关 Makepad Framework 的进一步说明,请参阅该 crate 的自述文件。


Makepad Studio 是使用 Makepad Framework 构建的 IDE 的原型。它仍在大力开发中,但使用 Makepad Studio 的最终目标是创建一个 IDE,使应用程序的设计能够在运行时更改。Makepad Studio 的主要 crate 是makepad-studio。Makepad Framework 应该是目前最快的 UI 框架。

iced-rs :

iced 是用 Rust 开发的跨平台 GUI 库。它受到Elm的启发,Elm 是一种用于构建 Web 应用程序的函数式语言。iced 非常注重简单性类型安全。因此,iced 试图提供简单的构建块,而不是可以将它们与强类型放在一起以减少运行时错误的机会。


虽然 2022 年 iced 发展较慢,但是在 System76 公司 Pop!_OSCOSMIC 桌面中得以应用。为什么用 iced 替换 GTK ,System76 的工程师如是说


“由于 GObject、C 及其一般的布局和渲染方法,GTK 是效率最低的 GUI 工具包之一。每个小部件和数据片段都是一个单独的堆分配动态分配。布局算法必须通过从一个堆地址跳到另一个堆地址来从根小部件向下遍历到它的所有后代,以连接到树的每个小部件。现代处理器导航的最慢方式之一。


在 Iced 中,数据与小部件是分开的。您从一个应用程序结构开始作为您的模型,它存储您的应用程序在构建其布局时所需的所有状态。每当收到消息且状态已更改时,都会调用一个视图方法,此视图方法将整个布局一次性描述为状态机。然后比较和比较之前的布局,以便渲染器只渲染两者之间的差异。还有一些聪明的技术可以在未来用来减少所需的视图更新次数。


最好的部分之一是我们不需要在运行时使用 Iced 加载几十个大块的库。有一个完全静态二进制文件的选项。


GTK 的每个方面都被认为是当今软件开发和 GUI 架构的不良做法。除非丢弃所有代码并以与 Iced 类似的方式在 Rust 中从头开始创建新工具包,否则无法解决缺点。


最大的问题之一是您将数据、逻辑和 UI 深深地纠缠在一起。没有明确的分离,小部件是不纯的。您应该在需要与其数据或逻辑交互的任何地方创建和传递对小部件对象的引用的克隆。过去我已尽最大努力明确避免在我的 GTK 代码中这样做,因为这可能会导致难以维护的意大利面条怪物。


如果您在专业 Java 领域工作过一段时间,您可能听说过 MVC 模式。模型管理数据和逻辑,而视图管理布局和显示。控制器是将它们绑定在一起的粘合剂,将消息从视图传递到模型,反之亦然,从模型更新视图。


Elm 本质上是将数据和逻辑与 UI 隔离开来的另一种演变。所以当我说这是不好的做法时,这就是我所指的。将这些东西彼此分开通常被认为是一种好的做法。


在 GTK 中,小部件接受回调,调用者为这些回调提供函数。按预期使用它是一个巨大的错误。修复 GTK 应用程序的一般解决方案是通过基于消息的回调使其类似于 Elm。这可以通过为回调提供一个闭包来实现,该闭包拥有向应用程序或组件的事件循环发出消息的通道发送方的句柄。


但是无论你做什么,你都无法逃避这样一个事实,即每个小部件都是一个 GObject,它是从一个类实例化而来的,而这个类可能是另一个类的子类。创建自定义小部件所需的代码在 C 中非常乏味,在 Rust 中更是如此。


考虑到 GTK 是在面向对象编程非常流行的时候开发的面向对象框架。从那时起,情况发生了变化,今天设计的所有 GUI 框架都基于 Elm 架构,这更多地是在函数式编程方面。随着时间的推移,这种开发应用程序的方式只会越来越流行,一个接一个的 Web 框架采用它。


这是一种非常不同的 GUI 编程方式,其中状态与 UI 完全分离。您有一个事件循环,它存储生成其 UI 所需的所有状态,它负责响应 UI 消息,然后在其状态更改后生成更新的布局。获取该布局的差异并仅渲染更改的部分。这使得它非常高效,同时又易于读写。您的代码库可以保持干净,因为处理逻辑的代码与更新 UI 的代码完全分开。


实际上每个 Rust 框架都在使用这种方法,因为它与 Rust 的内存模型兼容。GTK 使用的面向对象架构与 Rust 的内存模型不兼容。这种方法对于开发 Web 应用程序和服务和 GUI 布局同样有效。我们已经可以看到 Elm 模型的优势非常大,以至于现在甚至 GTK 应用程序都在尝试用 Relm4 复制它。


就目前而言,使用 JS Web 框架开发界面已经大大超过了桌面工具包的体验,达到了令人尴尬的程度。我们需要赶上而不是忽视这一进展”

Relm4: 另一个受 Elm 启发的 GUI 框架

Relm4受Elm启发并基于gtk4-rs的惯用 GUI 库。Relm4 是 relm 的新版本,是从头开始构建的,并且与GTK4libadwaita兼容。

egui: 即时模式的 GUI 框架

egui 是一个即时模式(immediate mode)、易于使用、可移植的库,用于在 Rust 中构建在网络、计算机和游戏引擎(开发中)上运行的 GUI。它的目标是成为用 Rust 构建本地和 Web 应用程序的最简单的库,也可以轻松地将它集成到游戏引擎中。


egui 在 2022 年也是积极开发中。egui 目前也被用到了商业环境,比如 亚马逊 Prime Video 使用 egui 构建了一个用于调试场景渲染的应用程序。

slint: GUI 工具包

slint 是一个 GUI 工具包,可以高效地为任何显示器开发流畅的图形用户界面:嵌入式设备和桌面应用程序。支持多种编程语言,例如 Rust、C++ 或 JavaScript。


2022 年,slint 作为开源商业化产品,取得了很大的进展。2022 年 slint 发展回顾:



Slint 创始团队都是来自于 Qt 社区。

cxx-qt: 用于创建与Qt的双向 Rust ⇄ C++ 绑定

cxx-qt 是 KDAB 数据咨询公司 (slint 的竞争对手/合作伙伴)创建的 与Qt的双向 Rust ⇄ C++ 绑定。可用于使用 CMake 将 Rust 集成到 C++ 应用程序中,或用于使用 Cargo 构建 Rust 应用程序。CXX-Qt 提供了在 Rust 中实现QObject子类的工具,可以从 C++、QML 和 JavaScript 中使用。


目前处于早期开发阶段,API 经常更改。可以参考 cxx-qt book 来了解更多。

dioxus: 类 React 的 GUI 框架

dioxus 是一个可移植、高性能且符合人体工程学的框架,用于在 Rust 中构建跨平台用户界面。可用于交付网络应用程序、桌面应用程序、静态站点、移动应用程序、TUI 应用程序、实时视图应用程序等。Dioxus 完全与渲染器无关,可以用作任何渲染器的平台。灵感来自于 React。


2022 年 Dioxus 团队为了准备下一个大版本,主要贡献者之一 Demonthos 增加了一个期待已久的功能:子树记忆化(subtree memoization)。


子树记忆化减少了 Dioxus 将你所需要的 UI 状态传送到屏幕上所需要做的整体工作,提升了性能,以至于它将 Dioxus 推向了网络框架性能的前沿,与 SolidJS 等相提并论,甚至超过了 Sycamore 0.8 和 Leptos 0.0.3 等库。


dioxus 在 0.3 版本中即将引入新的 LiveView 渲染器。与其对应的 Phoenix LiveView 非常相似,Dioxus LiveView 可实现完全由服务器渲染的应用程序和组件,同时向客户端发送最小的 JS。在 LiveView 模型中,最大限度地减少延迟和带宽对保持应用程序的快速性至关重要,特别是对于低端客户端。

flutter_rust_bridge: 用于 Flutter/Dart 和 Rust 的高级内存安全绑定生成器

flutter_rust_bridge 是跨平台热重载快速开发 UI 工具包Flutter和Rust之间的最佳结合。


Flutter 和 Rust 都是业界非常新颖的技术。为了实现跨平台,Flutter 自带了一个MethodChannel的概念,一个允许编写和调用平台本地代码的跨界接口。然后,它可以实现无缝集成,这在使用操作系统特定用户界面或本地访问设备外围设备时必不可少。得益于适当的集成机制,无需再进行调整。另一方面,Rust 在各种生态系统中越来越受欢迎,它作为通用编程语言变得越来越流行至少有几个原因。


当可用的原生编程语言FlutterMethodChannel无法派上用场时,比如想用 Rust 实现跨平台组件(Rust 实现跨平台组件是目前 Rust 应用的一个趋势),flutter_rust_bridge可能是解决方案。它允许通过外部生成的库在 Flutter 应用程序中使用 Rust 代码。

Gtk-rs 发布了新版本

GTK 是一个流行的跨平台、面向对象的部件工具包,由GNOME项目开发。它被用来构建可移植的 GUI 应用程序,可以在 Unix、Windows 和 macOS 系统上使用多种语言,从 Python 到 JavaScript、C 和 Rust。


GTK4是其GTK最新版本。gtk-rs是提供rust语言的GTK相关 库绑定。GTK 库在开发者社区很受欢迎。许多流行的 Linux GUI 应用程序使用 GTK 库和 GNOME 栈。gtk-rs 库只是众多准备投入生产的 Rust GUI 库中的一个,已经在 500 多个项目中使用。


Gtk-rs 在 2022 年的各个组件都有相应升级,比如,gtk4-rs 发布到了 0.5.4 版本,升级了绑定的 API,增加了更多异步支持。学习 Gtk-rs 可以参考官方 Gtk-rs book

fltk-rs : FLTK Rust 绑定

fltk-rs 库为 FLTK 工具包提供 Rust 绑定。fltk-rs crate 支持旧的架构,有 80 多个可定制的小部件和超过 4 个支持的主题方案,包括 GTK 方案。你也可以使用 fltk-theme crate 来进行更多的定制。


FLTK(Fast Light Toolkit)是一个轻量级、跨平台支持的工具包,用于构建 GUI。FLTK 支持 Windows、macOS 和 UNIX 系统,最初是为 C++构建的。如果你使用 FLTK 工具包来创建一个 GUI 应用程序,该应用程序在所有支持的操作系统上看起来都是一样的。


fltk-rs 在 2022 年一直积极开发,最新发布了 1.3.25 版本。

XiEditor 作者 Raphl 对未来 Rust 生态中即将出现的十几个 GUI 工具的建议

文章关键摘要如下:


Raphl 断言,未来一两年 Rust 生态中会出现十几个 GUI 工具,所以他对这些即将出现的工具作出了中肯的建议。他认为,虽然可能大部分会是玩具,但是 Rust 中 GUI 还是非常有潜力的,Rust 将成为 GUI 工具包下一个主流语言。


他目前看好 Druid 。Druid 主要是一个研究项目,特别关注高性能,但也解决了“真实 UI”的问题。研究目标是长期的;它不是一个旨在尽快发布可用工具包的项目。


目前 Rust GUI 基础设施存在着碎片化的状况,虽然有 egui、iced、tauri 和 druid 等,但每隔几个月就会有新的 GUI 工具包出现的文章。使用 Rust 构建 GUI 的动机非常强烈,因为社区非常渴望一种资源消耗较少的替代 Electron 的方案。但目前尚未达成一种替代方案共识。但是碎片化也不是坏事。UI 方法的多样性为实验和探索提供了丰富的基础,因为 Rust 中的 GUI 有很多方面我们仍然不知道最好的方法。


关于 GUI 的一个重要事实是,很少有明显正确的方法来做事,而且有很多很多的权衡。目前,这种权衡空间非常敏感,因为需求和优先级的微小差异可能最终导致相当不同的实现选择。我相信这是导致 Rust GUI 碎片化的主要因素。许多权衡与将平台功能用于各种事物的程度有关(其中文本布局和合成可能是最有趣的),而不是在平台抽象之上分层的这些功能的跨平台实现。


Raphl 的建议摘要:


  1. 建议不要尝试确定 GUI 工具包是否是原生的,因为使用这种方法很难提供高质量的体验,主要是因为平台之间的阻抗不匹配,并且很少有成功的应用程序以这种方式交付。而是提出一组更精确的问题:

  2. 简单应用程序的二进制大小是多少?

  3. 一个简单的应用程序的启动时间是多少?

  4. 文本看起来像平台原生文本吗?

  5. 应用程序在多大程度上支持在系统级别设置的首选项?

  6. 提供了预期文本控制功能的哪个子集? (文本渲染、键盘布局、复制粘贴等等)


如果一个工具包在所有这些轴上都做得很好,那么我认为它是用“本地”技术构建的并不重要。


  1. 在考虑窗口库时考虑替代方案。采用一个后,向其他人学习,看看如何改进你的。计划投入一些时间和精力来改善这一重要的基础设施。 社区中流行的一个窗口库 winit,但是在实践中,我认为 winit 已经发展到对游戏用例非常满意,但对于 GUI 而言则不太令人满意。缺少大量功能,例如访问本机菜单(tauri 的 tao fork 背后的主要动机,以及 iced 不支持系统菜单的原因)

  2. 新的 UI 工具包应该弄清楚它们与系统合成器的关系。如果目标是提供真正流畅的本地内容集成(例如视频播放),那么他们必须投资于底层机制,就像浏览器一样。为合成器构建适当的跨平台基础设施是一项艰巨且有点吃力不讨好的任务。这些接口的表面积很大,我确信主要平台之间存在许多令人讨厌的差异,毫无疑问,需要大量的兼容性工程才能在旧平台上正常工作。浏览器已经投入到这项工作中(在 Safari 的情况下不需要跨平台),这实际上是使用 Web 技术堆栈的一个很好的理由。

  3. 找出正确的文本策略。在短期内这样做是不可行的,但从长远来看,这是对“真实” UI 的要求。可能这也是 UI 工具包联合起来的一个领域。从长远来看,我希望拥有 Rust 生态系统基础设施 crate 来很好地处理文本,但这是一场艰苦的战斗。只是如何设计接口抽象边界是一个难题,而且很可能即使发布了一个好的 crate,也可能会遇到阻力,因为集成起来并非易事。有一些棘手的问题,例如富文本表示,以及文本布局 crate 如何与 2D 绘图集成。

  4. 当然要尝试找出一个好的架构,但也要计划好它的发展。生态中还没有出现一个真正适合 Rust 语言的架构,直接采用其他语言的设计架构并不适合。Druid 本身有三个主要架构:将 ECS 模式应用于 UI 的初步尝试、当前严重依赖镜头的架构以及 Xilem 对未来架构的提议。中间是两次没有成功的探索。还有其他人体工程学方面的坑。因为 Rust 在函数调用中缺少命名参数和可选参数,所以向现有小部件添加可选修饰符是很痛苦的。 关于 Rust 中 UI 架构可以参考另一篇文章: https://raphlinus.github.io/rust/gui/2022/05/07/ui-architecture.html

  5. 尽早开始考虑可访问性,并尝试构建原型以充分了解高质量体验所需的内容。公平地说,除非 UI 工具包支持可访问性功能,例如支持视障用户的屏幕阅读器,否则不能将其视为生产就绪。不幸的是,可访问性支持经常退居二线,但幸运的是,情况看起来可能会有所改善。特别是,AccessKit 项目希望为 Rust 生态系统中的 UI 工具包提供通用的可访问性基础设施。可访问性是 Web 技术栈的一大优势。在定义一个可以实际实现的跨平台抽象时花了很多心思,很多用户每天都依赖它。AccessKit 大量借鉴了 Web 方法,包括在 Chromium 中的实现。


关于 Druid 发展


随着时间的推移,Druid 可能会演变成一个可用于生产应用程序的工具包。与此同时,我们不想创造不切实际的期望。Druid 的主要受众是学习如何在 Rust 中构建 UI 的人。这篇文章不适合放置完整的路线图和愿景文档,但我希望及时写更多关于它的内容。

GaiaX:动态化卡片跨端解决方案

GaiaX 动态模板引擎是阿里巴巴优酷技术团队研发的一套轻量级的纯 Native 动态化卡片跨端解决方案。动态模板引擎是阿里巴巴优酷技术团队研发的一套轻量级的纯 Native 动态化卡片跨端(支持 Android 和 iOS)解决方案。


除了客户端渲染 SDK,还提供了配套的模板可视化搭建工具和详情的功能 Demo(模板示例,以及扫码预览),支持从模板搭建/编辑、真机调试/预览等研发链路技术支撑,优酷动态模板引擎的目标是在保证 Native 体验性能的同时,帮助客户端开发领域实现低代码。


更多介绍可参考GaiaX 官方信息

游戏

Fyrox : 2D/3D 游戏引擎

Fyrox (曾用名 rg3d)是一个功能丰富开箱即用的通用游戏引擎,适用于任何类型的游戏。使用该引擎制作的游戏能够在桌面平台(PC、Mac、Linux)和网络(WebAssembly)上运行。移动平台计划在未来发布。该引擎由两部分组成,你将积极使用:框架和编辑器。框架是引擎的基础,它管理着渲染、声音、脚本、插件等。而编辑器包含很多工具,可以用来创建游戏世界、管理资产、编辑游戏对象、脚本等。


2022 年该引擎进行了很多新的功能和现有的改进。包括新的动画编辑器、新的动画系统,以及更好的 WebAssembly 支持等等。目前发布版本为 0.28,已经可以用于生产环境。学习该引擎可以参考 Fyrox book

Bevy:0.9 发布

Bevy 是一个用 Rust 构建的简单得令人耳目一新的数据驱动的游戏引擎。


今年 Bevy 主要的改进有如下方面:


  • ECS 的人机工效学和性能改进,查询系统的人机工效学和可用性改进,以及 ECS 系统内部重构(V2 版本)。

  • 反射系统改进,支持更多反射类型,包括枚举。

  • 引入新的材质系统。

  • 渲染器优化等等。


Bevy 虽然距离生产环境可用越来越近,但实际还有有很多工作要做:


  • Bevy UI 还需要重新设计,之后才能进一步完善 Bevy Editior

  • 组件动画和三维骨骼动画

  • ECS 系统进一步改进,比如 ”stageless“ 功能

  • 3D 照明系统

  • 更多 Bevy 场景功能和可用性改进


Bevy 是 Rust 生态最有潜力的游戏引擎之一,值得持续关注。

godot-rust: Godot 游戏引擎的 Rust 绑定

Godot 是一个跨功能、开源和免费的游戏引擎,根据 MIT 许可发布。它由阿根廷软件开发人员 Juan Linietsky 和 Ariel Manzur 于 2014 年开发,可在 Linux、Microsoft Windows 和 BSD 等多种操作系统上运行。除了为 PC、Web 和移动平台设计 2D 和 3D 游戏外,Godot 还可用于创建编辑器和其他非游戏软件。Godot 的架构是建立在节点的概念之上的,节点又在“场景”中组织起来。场景是可重用、可实例化和可嵌套的节点组。在 2D 游戏领域,Godot 可谓是相当成熟了。


2022 年 9 月份 Godot 发布了 V4.0 版本。godot-rust 也跟随 Godot 的脚步在 11 月发布了 Godot V4.0 的 Rust 绑定库 gdextension 。因为刚起步,目前该绑定库还处于早期,很多功能还未完善。但该库还在持续积极开发中。

unreal-rust: Rust 与 虚幻引擎的一次尝试

unreal-rust 是 Embark 工作室的开发人员 Maik Klein 将 Rust 集成到虚幻引擎中的一次成功尝试。但该项目仅仅是一次个人尝试,距离真正可用还有很多工作要做。

pixels 像素帧缓冲器

pixels 一个轻量的硬件加速的像素帧缓冲器。使用 pixels 可以迅速为一个简单的 2D 游戏、基于像素的动画、软件渲染器或你最喜欢的平台的仿真器制作原型。


建立在由wgpu驱动的现代图形 API 上:Vulkan、Metal、DirectX 12、OpenGL ES3。对 DirectX 11、WebGL2 和 WebGPU 的支持还在进行中。


参考: 康威的生命游戏示例

Kira, 一个用于游戏开发的音频库

Kira 是用 Rust 编写的用于游戏开发的音频库,并且具有不太常见的功能,例如平滑的补间参数和声音的精确定时,作者正在用它来制作一个动态生成的音乐游戏。


  • Repo github.com/tesselode/kira


同类型的库还有 fundsp ,一个专注于可用性的音频 DSP(数字信号处理)库。


可用于:


  • 游戏和应用程序的音频处理和合成

  • 教育

  • 音乐制作

  • 声音 hacker 和音频 golfing

  • DSP 算法原型

人工智能

GraphScope:

GraphScope 是阿里巴巴达摩院智能计算实验室研发并开源的一站式图计算平台。GraphScope 的实现包含了 35% 的 Rust 代码。


GraphScope 通过用户友好的 Python 界面提供一站式环境,用于在集群上执行各种图操作。GraphScope 依托于阿里海量数据和丰富场景,与达摩院的高水平研究技术,使计算集群上大规模图形数据的多阶段处理变得简单:包括用于分析、交互和图形神经网络 (GNN) 计算的 GRAPE、MaxGraph 和 Graph-Learn (GL) ,以及提供高效内存数据传输的vineyard

burn: 深度学习框架

burn 是一个新的深度学习框架,支持 CPU 和 GPU,使用新的 Rust 特性 GAT 功能来支持多个后端作为插件。


作者如是说:“总的来说,我一开始并没有 GAT,但我很快意识到有它比没有它要容易得多。”


这个库旨在成为一个用 Rust 编写的具有极高灵活性的且完整的深度学习框架。目标将是满足研究人员和从业者,使实验、训练和部署您的模型更容易。


用 Rust 编写的其他机器学习框架要么限制性太强(比如要求在编译时就知道矩阵的大小),要么 API 不够理想,要么缺少关键的功能,比如 GPU 支持。Burn 不一样,Burn 基于 Backend trait 架构来支持不同的后端。Burn 的目标是使创建优化的后端非常容易,并支持不同的设备和使用情况。目前,只有 3 个后端。NdArray是一个纯粹的 Rust 解决方案,Tch是一个易于访问 CUDA 和 cuDNN 优化的操作,ADBackendDecorator 使任何后端都可以区分。Burn 现在正在重构内部的后端 API,使其尽可能容易插入新的 API。

BlindAI:机密 AI 推理服务器

Mithril Security 公司开源了BlindAI,这是一种用于机密推理的开源 AI 部署解决方案。


如今,大多数 AI 工具的设计机制都没有提供隐私保护,因此当数据被发送给第三方进行分析时,数据可能会遭到恶意使用或可能泄露。


与常规 AI 推理解决方案一样,BlindAI 帮助 AI 工程师为最终用户提供模型以从他们的预测中受益,但增加了隐私层。用户发送给 AI 模型的数据从传输到分析始终保密。这样,用户就可以从 AI 模型中受益,而无需向任何人公开他们的数据:AI 服务提供商和云提供商(如果有)都看不到这些数据。


BlindAI 通过使用特殊的硬件强制执行的可信执行环境来确保机密性。要了解更多相关信息请在此处阅读官方博客系列。


BlindAI 包括了用 Rust 开发的安全推理服务器 和 用于安全使用远程 AI 模型的 Python 客户端 SDK。

async-openai: OpenAI 接口的异步绑定

async-openai 是 OpenAI REST API 的非官方 Rust 绑定,基于 OpenAPI 规范 。当 API 服务器限制速率时,将使用指数退避重试非流式请求。

faer-rs: 新的线性代数库

faer-rs 是一个用 Rust 实现的线性代数例程的 crates 集合。目标是为线性代数提供一个功能齐全的库,重点关注可移植性、正确性和性能。

2022 年依旧积极开发维护的之前介绍过的机器学习框架和库

Linfa : 机器学习工具包

Linfa 是一个 Rust 实现的 类似于 python scikit-learn 的库,旨在提供一个全面的工具包,可以使用 Rust 构建机器学习应用程序。该团队还创建了 Rust-ML 组织。


“ scikit-learn,又写作 sklearn,是一个开源的基于 python 语言的机器学习工具包。 它通过 NumPy, SciPy 和 Matplotlib 等 python 数值计算的库实现高效的算法应用,并且涵盖了几乎所有主流机器学习算法。


更多资料可参考Rust 机器学习之书

tokenizers : 自然语言处理分词库

tokenizers 是 Hugging Face 公司开源的一款 Rust 实现的分词库。


Hugging Face 是一家总部位于美国纽约的聊天机器人初创服务商。该公司在 NLP 界鼎鼎大名,三月份刚刚完成 4000 万美元 B 轮融资。在 GitHub 上发布了开源 NLP 库 Transformers。


基于深度学习的现代 NLP 管道中的瓶颈之一就是 tokenization,尤其是通用性强且独立于框架的实现。所以,该分词器的核心是用 Rust 编写的,并且存在 Node 和 Python 的绑定。提供当今最常用的分词器的实现,重点是性能和通用性。


在 2022 年 tokenizers 被 blindai 团队移植到了 WebAssembly 客户端

tch-rs : PyTorch 的 Rust 绑定

tch-rs是 Pytorch 的 Cpp API 的 Rust 绑定。 Tch Crate 的目标是围绕 Cpp Pytorch API 提供一些薄的包装器。 它旨在尽可能接近原始的 Cpp API。 然后可以在此之上开发更加惯用的 Rust 绑定。

物联网与嵌入式

Rust 嵌入式生态库一些常用基础库

  • Probe-rs是一个调试工具包,用于将您的程序闪存到使用调试探针连接的 MCU。它支持 ST-Link、J-Link 和 CMSIS-DAP 硬件。用Probe Run最容易使用,所以大多数情况下不需要直接安装它。

  • Probe Run用于刷新固件。设置完成后,cargo run如果连接了硬件探测器,则可以使用 ,从终端进行编译、刷新和调试。

  • cargo-embed是一个更灵活的probe-run替代品;它支持独立闪烁和 GDB 支持等功能。

  • Defmt是一个日志框架,能够提供一系列日志输出和级别。它包含一个println!类似于用于非嵌入式 Rust 的宏。它比 ITM 和其他日志记录库快得多。

  • Flip-Link使用巧妙的技巧提供栈溢出保护。

  • Open OCD是一个开源的片上调试器,支持 Probe Run。

  • esp-rs 提供的开源库旨在使Rust 编程语言能够在Espressif Systems生产的各种 SoC 和模块上使用。

  • stm32-rs 为所有 STM32 微控制器提供 Rust 设备支持包,使用 svd2rust和社区构建的基本 SVD 文件补丁集合为该设备的外围设备提供安全的 API。

  • ravedude 用于在 AVR 微控制器上无缝运行 Rust 代码。它是一个avrdude包装器,可以轻松访问目标的串行控制台,类似于 Arduino IDE。

embassy: 嵌入式异步运行时

embassy 是 Rust 实现的嵌入式异步开发框架,旨在使 async/await 成为嵌入式开发的一流选择。它可以被视为 Tokio 的嵌入式等价物。它使用 Rust 的内置异步语法来处理并发。在内部,Embassy 的异步功能封装了中断和 DMA。


embassy 包括自己的 HAL 和自己的 STM32 PAC。它的独特目标是为所有受支持的 STM32 设备提供统一的 API 和单一库。这使得在不同 STM32 变体之间调整代码变得更加容易,并提供更小的维护表面。通过使用独立的metapac crate,它可以用作独立的库,无需 Embassy Async 框架或 HAL 。

embedded-hal 发布 1.0 alpha 9 版本

embedded-hal 是构建平台无关驱动程序生态系统的基础。目前正在努力稳定 1.0 版本过程中。


这个库提供了许多 Rust 特性,每个特性都用于描述外围设备的功能。它的优势在于,通过将驱动程序编写为驱动程序之上的通用库,embedded-hal作者可以支持任意数量的目标平台(例如 Cortex-M 微控制器、AVR 微控制器、嵌入式 Linux 等)。

RustSBI 0.3.0 正式版现已发布

RustSBI 是 RISC-V 下 SBI 标准的实现,旨在为裸机平台、虚拟化和模拟器软件提供良好的 SBI 接口支持。它有机结合了 Rust 嵌入式生态与 RISC-V 系统软件,加快开发速度的同时,保证 Rust 语言具备的良好安全性和运行性能。本次 0.3.0 版本主要包括增加了实例化的 SBI 接口支持及相关的构造器结构,可以在 stable Rust 编译,去除了对堆内存和全局变量的依赖,完善了相关文档,以及若干的小修复。0.3.0 版本更新将为 Rust 编写的 RISC-V 虚拟化软件和 RISC-V 模拟器提供良好的支持,并进一步完善裸机 RISC-V 开发的实用性,可以启动 Linux 等在内的成熟操作系统和 zCore 等在内的科研操作系统。

rumqtt: 构建 mqtt 的 Rust 生态

rumqtt 是一组用 rust-lang 编写的开源库,用于实现 MQTT 标准,同时力求简单、健壮和高性能。


rumqtt 是 Bytebeam 物联网咨询公司开源的 MQTT 代理。rumqtt 目前版本已经发布到了 R19 版,并未按语义化版本来发布。


新版本改进:


  • 新的版本提升了性能和可靠性(可以支持 多达 10,000 多个 MQTT 客户端,使用 mqttwrk 进行基准测试)

  • 添加了一个用于测试 rumqttd 的公共服务器

  • 添加了 Prometheus 集成和其他优化更改

  • 加了对存储支持的持久性的实验性支持,以确保消息的零数据丢失


rumqtt 将在 2023 年初推出对 MQTT v5 的支持。

NTP 用 Rust 重写了

互联网安全研究小组的Prossimo项目与 weedegolf 合作,用 Rust 重写 Network Time Protocol (NTP) ,以提供内存安全的 NTP。此举是将互联网最关键的基础设施转移到内存安全代码的任务的一部分。


NTP 是互联网跟踪时间的方式,今天在数十亿设备上运行。网络时间协议(network time protocol)使连接到网络的设备之间的时间达成同步。该项目源自 Prosimo 的倡议,并得到 Cisco 和 AWS 的支持。其首要的短期目标是在 Let's Encrypt 部署该实现。而长期目标是开发一个可广泛使用的、功能齐全的网络时间协议替代实现。

编程语言

目前生态中用 Rust 实现新的语言有很多,具体可以参考langs-in-rust

Rhai : Rust 实现的嵌入式脚本语言和执行引擎

rhai 是一种类似于 JavaScript+Rust 的动态类型的简单语言,也称为 RhaiScript。它提供了一种安全、简单的方法来向任何 Rust 应用程序添加 DSL 脚本。与其他脚本语言(如 JavaScript)相比,Rhai 是内存安全的。Rust 的核心原则之一是内存安全,因此 Rhai 始终在受控环境中运行——Rhai 脚本无法更改其环境中的任何值,并且始终在沙箱中运行。


Rhai 的一些局限:


  • 脚本编写能力有限:Rhai 不支持类或其他复杂的数据结构,因此 Rhai 最适合编写实用程序脚本而不是完整的应用程序。

  • 没有正式的语言语法:与 JavaScript 或 Lua 等脚本语言不同,Rhai 缺乏正式的语言语法。这限制了 Rhai 在面向对象语法方面的能力,例如使用继承、接口或泛型。


Rhai 其他替代语言


  • glsp ,即 Gamelisp, 可以轻松地与 Rust 集成,并且在编写游戏方面比 Rhai 具有更多的功能。GameLisp 有一个独特的垃圾收集器,专为游戏开发而设计。它每帧运行一次,每一帧,而不会导致任何延迟峰值。还有内存安全以及与 Rust api 的无缝集成。

  • goscript ,Go 语言风格的脚本语言,可嵌入到 Rust 项目。

gleam : Rust 实现的运行在 Erlang 虚拟机的语言

gleam 是一种友好的语言,用于构建 可扩展的类型安全系统!除了 Erlang 虚拟机也可用于 JavaScript 运行时。Gleam 语言被设计为尽可能小和一致,从 Elm、Go 和 Lua 等其他语言中汲取灵感,所以 Gleam 缺少异常、宏、类型类、提前返回和各种其他功能,而只使用一流的函数和模式匹配。Gleam 程序中的所有流程控制都是显式的,所有功能都是根据传递给函数和从函数返回的数据构建的。


Gleam 带有内置的编译器、构建工具、格式化程序、编辑器集成和包管理器,因此创建一个 Gleam 项目只是运行gleam new。作为更广泛的 BEAM 生态系统的一部分,Gleam 程序可以使用数千个已发布的包,无论它们是用 Gleam、Erlang 还是 Elixir 编写的。


目前 Gleam 发布了 V0.25 版本,引入了一种新的语法:use 表达式。它是一种语法糖,它将所有后续表达式转换为一个匿名函数,该函数作为附加参数传递给函数调用。

纯 Rust 实现的 JS 引擎

Boa 是一个用 Rust 编写的实验性 Javascript 词法分析器、解析器和编译器。目前,它支持某些语言。它可以很容易地嵌入到 Rust 项目中,也可以从命令行使用。Boa 也作为 EcmaScript 规范的 Rust 实现而存在,在某些领域我们可以利用 Rust 及其出色的生态系统来制作快速、并发和安全的引擎。


Boa 目前发布了 v0.16 版本 。Boa 目前支持部分 JavaScript 语言。v0.16 版本对官方 ECMAScript 测试套件 (Test262) 中的一致性覆盖率达到 74.53%。目前已经支持 ECMAScript Promises。


Boa 也支持 WebAssembly 。如何在 Rust 项目中支持 JS 可以参考: https://boa-dev.github.io/posts/2022-10-24-boa-usage/


其他同类项目:


  • dune ,同时支持 JavaScript 和 TypeScript 的运行时。

HVM : 纯函数式运行时

HVM (High-order Virtual Machine)是 Rust 实现惰性、非垃圾收集和 大规模并行的纯函数式运行时。它可以比替代方法(包括 Haskell 的 GHC)性能指数级的快,与 GHC 相比,HVM 有两个主要优势:自动并行性和 beta 最优性。由于一种新的计算模型 Interaction Net 取代了图灵机Lambda 微积分,该模型以前的实现在实践中效率低下,但是,最近的突破大大提高了它的效率,从而产生了 HVM。HVM 类似于函数式语言领域的 LLVM。


开源项目KindHVM的作者 Victor Taelin ,收到一位社区中有影响力的人的如是批评:“这个项目背后的人往往会建立令人印象深刻的东西,但后来他突然放弃了这些东西,然后去做点别的……”。 这份批评让 Victor 非常难过,因为这位来自社区有影响力的人也给予了 Victor 很多灵感。Victor 公开声明:“我们只是没有资金!看,这不是大公司的工作,甚至不是大团队的工作。80% 的代码仍然是我做的。有一些朋友帮忙,但他们大多是兼职,自愿,还在学习这东西,所以帮助有限。然而,什么都没有被放弃。我们只是受到我们微小规模的限制。我没有报酬,这不是一家营利性公司,我只是一个创造酷炫、免费技术以推动人类进步的人。我热爱我的工作!不过,如果您确实希望看到我的想法更快地发展,请考虑对它们进行投资”。Victor 说:不管怎样,HVM 和 Kind 都在积极、热情的开发中,并将继续向前发展,即使有点慢!来自社区的另一位回复非常暖心:“老实说,即使你放弃了你的项目,我仍然会感谢你的工作。你的输出是创新的,我可以看到它们影响未来的 PL 发展。就我个人而言,我认为你对我自己产生了积极的影响,并且确实帮助激发了我对类型理论的兴趣。综上所述,请不要让一些误导性的批评使您沮丧。只要继续做你最擅长的事情,你就会知道这些年来你已经赢得了很多感激的支持者。”

Glicol - 以图为导向的音乐实时编程语言

Glicol 支持用户可以使用代码编写音乐。用 Rust 编写,得益于 WebAssembly,它可以在浏览器中丝滑运行。

starlark-rust : starlark 语言的 Rust 实现

Tensorflow, Envoy, Kubernetes, KubeVirt 等等大型项目都是用 Bazel 构建的,要参与开发这些项目或者基于这些项目做开发,不能避开 Bazel,且 Bazel 是当前开源 Build System 里最先进也最代表着未来方向的产品,非常有必要掌握。


Starlark 是一门配置语言,设计之初是为了作为 Bazel 的配置语言,Starlark 语法类似 Python,但不是 Python,保持语言类似于 Python 可以减少学习曲线,使语义对用户更加明显。与 Python 显著不同的地方在于,独立的 Starlark 线程是并行执行的,因此 Starlark 工作负载在并行机器上可以很好地伸缩。


starlark-rust 是 Meta(原 facebook) 团队对 Starlark 语言的 Rust 实现。

KCL: 基于约束的记录及函数语言

K8s 已经成为云计算的操作系统,但是目前尚缺少功能完备的 SHELL 交互界面。目前虽然有很多而且开源方案,但是还没有像 UNIX 的 Shell 那种出现比较成熟的方案,特别是尚无法满足头部互联网企业大规模工程化的要求。云原生技术与企业落地之间存在 Gap 需要填补,这正是云原生工程化要解决的问题,也是设计 KCL 语言的出发点。


蚂蚁集团 Kusion 配置语言(KCL)是一个开源的基于约束的记录及函数语言。KCL 通过成熟的编程语言技术和实践来改进对大量繁杂配置比如云原生场景的编写,致力于构建围绕配置的更好的模块化、扩展性和稳定性,更简单的逻辑编写,以及更快的自动化集成和良好的生态延展性。

stc: 用 Rust 重新实现 TypeScript 类型检查器

stc 是 tsc 的直接替代品,支持 "所有类型和类型推理",包括所有复杂的泛型、条件类型和模板字面。


stc 是 swc 作者 Donny (GitHub id 是 kdy1) 新的目标。用 Donny 的话来说,“官方 TypeScript 类型检查器tsc非常慢”。这意味着在 VSCode 中,红线和警告需要很长时间才能在大型项目上更新。


主要问题是它tsc本身是“用不支持并行处理的 TypeScript 编写的”。用原生语言重写tsc,比如 Rust,可以极大地加快速度。


但是有一个问题。重写像 TypeScript 这样的库是极具挑战性的。首先,TypeScript 的行为“缺乏规范”。Donny's 不得不推断 TypeScript 的行为,主要是单独测试用例。


TypeScript 的纯粹大小令人望而生畏。它有十年的时间来迭代、发展和添加功能。看一眼 TypeScript 的2.6MBchecker.ts文件就足以吓跑大多数人。


TypeScript 的速度非常快。用唐尼的话来说,这“太快了”。它是世界上最活跃的开源项目之一。对于一个开发人员来说,跟上一个庞大的团队似乎是不可能的。


但 Donny 有信心。“我认为地球上没有其他人能够也愿意这样做。[...]许多人没有足够的精力来研究这样的长期项目。”

pomsky: 现代化的正则表达式语言

pomsky 是 Rust 实现的现代化的正则表达式语言。


普通的正则表达式非常简洁,但是当它们变长时,它们会变得越来越难以理解。默认情况下,他们没有注释,空格很敏感。然后是大量的印记和反斜杠转义符,它们没有遵循可辨认的系统: (?<=) (?P<>) .?? \N \p{} \k<> \g''等等。由于正则表达式实现之间存在各种不一致,因此很容易造成混淆。


Pomsky 使用一种新的、更简单但也更强大的语法解决了这些问题:


  • 它对空格不敏感并允许注释

  • 文本必须出现在引号中。这使得表达式更长,但也更容易阅读

  • 非捕获组是默认的

  • 更直观、一致的语法

  • 支持使表达式 DRY 的变量

RustPython: Rust 实现的 Python 解释器

RustPython 可以嵌入到 Rust 程序中以使用 Python 作为应用程序的脚本语言,或者可以将其编译为 WebAssembly 以便在浏览器中运行 Python。


RustPython 2022 年还在积极开发中,目前 RustPython 还不能完全用于生产环境。但考虑到它的发展潜力,还是有一些项目使用了它:


  • GreptimeDB:一个开源的、云原生的、分布式的时间序列数据库。使用 RustPython 进行嵌入式脚本编写。

  • Robot Rumble:基于竞技场的人工智能竞赛平台

  • Ruff:一个极快的 Python linter,用 Rust 编写,也比较受欢迎。

小结

Rust 是一门通用的语言,并且多样化也是 Rust 语言的设计原则之一。本文试图通过罗列 Rust 在各个领域的成功应用案例,来帮助人们了解 Rust 适合落地的业务场景,以及 挖掘 Rust 开源生态知名项目,让大家了解 Rust 目前的发展状况。


然而,本文远远未能覆盖 Rust 应用的全部角落,还有我们看不到的地方,正在默默地采用 Rust 。本文也几乎没有罗列国内使用 Rust 的公司,但国内也有公司准备逐步采用 Rust ,只是进展比较慢。


Rust 就像一阵“春雨”,随风潜入夜,润物细无声。感谢阅读。

公众号推荐:

2024 年 1 月,InfoQ 研究中心重磅发布《大语言模型综合能力测评报告 2024》,揭示了 10 个大模型在语义理解、文学创作、知识问答等领域的卓越表现。ChatGPT-4、文心一言等领先模型在编程、逻辑推理等方面展现出惊人的进步,预示着大模型将在 2024 年迎来更广泛的应用和创新。关注公众号「AI 前线」,回复「大模型报告」免费获取电子版研究报告。

AI 前线公众号
2023-02-15 21:3110843

评论

发布
暂无评论
发现更多内容

Jetpack-Compose 学习笔记(一)—— Compose 初探

修之竹

android Compose android jetpack

C++ 线程池

王玉川

c++ 编程语言 多线程 线程池

好用的数据校验&修复工具gt-checksum开源啦

GreatSQL

greatsql社区 gt-checksum

ListView简单实用

攻城狮Wayne

ListView baseadapter stackfrombottom

1行Python代码,把PPT转成图片,python-office功能更新~

程序员晚枫

Python Office 自动化办公

这样在 C# 使用 LongRunnigTask 是错的

newbe36524

C# Docker Kubernetes

软件测试 | Sonarqube scanner使用

测吧(北京)科技有限公司

测试

四步走搭建自己的专属 ChatGPT(附开源代码)| 社区征文

FN0

AI 话题广场 ChatGPT

英特尔公司高级副总裁、中国区董事长王锐: 下一个中国是中国!

科技之家

推荐这5个很牛的开源项目,程序员直呼内行

引迈信息

开源 低代码

免费赠送测试开发精品课,提高职场竞争力!

测吧(北京)科技有限公司

测试

详解基于 Celestia、Eclipse 构建的首个Layer3 链 Nautilus Chain

西柚子

4.基于Label studio的训练数据标注指南:情感分析任务观点词抽取、属性抽取

汀丶人工智能

自然语言处理 数据标注 实体抽取

【Java优化实战】「微基准系列」带你脚踏实地的进行开发和使用JMH测试和提升应用程序和服务指南

洛神灬殇

Java JMH 3月日更 JMH性能基准测试

用友成为铸基计划-2022标准建设贡献单位!

用友BIP

2022 IoTDB Summit:宝武智维徐少锋《Apache IoTDB 在宝武装备远程智能运维平台中的使用案例》

Apache IoTDB

大数据 时序数据库 IoTDB

三天吃透SpringMVC面试八股文

程序员大彬

Java spring springmvc

2022 IoTDB Summit:中冶赛迪工业互联网平台与CISDigital-TimeS(基于IoTDB)在钢铁行业的实践

Apache IoTDB

大数据 开源 IoTDB

5分钟部署百台云上计算机,22支参赛队伍快速接入南网电力调度AI应用大赛

云布道师

无影云电脑

GPT-3/ChatGPT复现的经验教训

OneFlow

人工智能 深度学习 GPT-3 ChatGPT

软件测试 | Sonarqube架构

测吧(北京)科技有限公司

测试

放弃网站不是明智之举,中小企业要选择适合自己的营销模式

石头IT视角

软件测试 | 测试左移代码分析

测吧(北京)科技有限公司

测试

你应该了解哪些延迟数字?

Kian.Lee

I/O Latency CPU 寄存器 RAM SDD L1\L2\L3

Spring进阶:定义bean时容易踩的两个坑,连老手也容易犯错

程序员拾山

spring

Docker 环境搭建

流火

Docker

Matlab实现小波变换

timerring

图像处理 数字图像处理

2022 IoTDB Summit:IoTDB PMC 乔嘉林《端边云协同:Apache IoTDB 全新单机分布式架构》

Apache IoTDB

阿里云函数计算助力高德 RTA 广告投放系统架构升级

Serverless Devs

Serverless 高德

ChatGPT,开启人机交互新篇章 | 社区征文

柒号华仔

人工智能 openai ChatGPT

设计模式之美—接口隔离

GalaxyCreater

设计模式

Rust 语言 2022 年度回顾:开源生态发展_语言 & 开发_张汉东_InfoQ精选文章