当前位置: 首页 > news >正文

【Rust日报】 LWN《Rust 内核实验的情况》

LWN《Rust 内核实验的情况》

文章报道了在2025 年 Linux 内核维护者峰会(Linux Kernel Maintainers Summit)上的一场关于 Rust 语言在内核中地位的关键讨论。

1. 核心结论:实验宣告成功

  • 背景:当 Rust 最初被引入 Linux 内核(约在 6.1 版本)时,它被明确标记为一个“实验”。当时的约定是,如果 Rust 造成了太大的麻烦或者没有带来预期的价值,它可能会被移除。

  • 决议:在本次峰会上,维护者们达成共识,认为这个实验已经成功。Rust 不会被移除,它已经成为内核永久的一部分。

2. 讨论的背景与现状

  • 不可逆转性:讨论指出,目前已经有越来越多的驱动程序和子系统(如 Apple AGX 图形驱动等)开始依赖 Rust。移除 Rust 将会导致这些硬件支持失效,因此“移除”在实际上已不再是一个可选项。

  • 心态转变:社区需要从“这是一个可能会消失的实验”的心态,转变为“这是内核基础设施的一部分”的心态。

3. 挑战与摩擦 (痛点)文章也坦诚地讨论了过程中遇到的问题:

  • 社会/文化摩擦:C 语言维护者与 Rust 开发者之间存在显著的紧张关系。一些 C 维护者感到被强加了额外的工作负担,或者对必须学习 Rust 感到不满。

  • 工具链问题:Rust 编译器版本的快速迭代与内核对稳定性的极高要求之间存在冲突。

  • 技术细节:讨论了具体的技术障碍,例如bindgen(用于生成 C-Rust 绑定的工具)的复杂性,以及如何在 Rust 的内存安全模型与内核现有的 C 代码模式之间建立抽象。

4. 未来展望

  • 既然 Rust 确定留下,未来的重点将不再是争论“是否应该使用 Rust”,而是如何改进集成流程,减少不同语言开发者之间的摩擦,并完善基础设施以支持混合语言的内核开发。

简而言之:这篇文章确认了 Rust 在 Linux 内核中的正式地位,标志着 Linux 内核开发正式进入了 C 和 Rust 共存的混合语言时代,尽管在文化融合和工具链配合上仍有许多工作要做。

阅读:https://lwn.net/SubscriberLink/1050174/63aa7da43214c3ce/

Linebender 11 月进展

Linebender 是一个致力于为 Rust 语言推进 GUI 技术发展的开源组织。

在 2025 年 11 月不仅发布了多个核心库(Parley, Kurbo)的新版本,还在渲染特效(Vello)和 GUI 框架的实用性(Xilem)上迈出了重要一步,同时获得了持续发展的资金保障。以下是本次更新的核心亮点:

  1. 核心渲染器 Vello Vello 是该组织的 GPU 矢量渲染器,本月迎来了重要功能更新:

  • 新增图像滤镜(CPU端):支持高斯模糊(Gaussian Blur)、投影(Drop Shadow)和泛洪(Flood)效果。

  • 性能与算法优化:引入了针对非图层裁剪的新算法,并优化了 CPU 端的渐变渲染。

  1. GUI 框架 Xilem 与 Masonry Xilem(旗舰声明式 GUI 项目)和 Masonry(底层 Widget 系统)进展迅速:

  • 功能增强:新增了ResizeObserver(检测组件尺寸变化)、Passthrough组件,以及对文本输入和复选框的尺寸配置支持。

  • 架构改进:实现了所有 Widget 的高效子节点替换,并重构了核心模块结构。

  • 应用案例:Eli Heuer 正在将Runebender(字体编辑器)从旧的 Druid 框架移植到 Xilem 上,取得了显著进展。

  1. 文本布局库 Parley

  • 版本发布:发布了Parley 0.7.0

  • 关键更新:优化了行高计算,引入 Unicode 数据以准备迁移到 ICU4X,并改进了字间距控制。

  • 资金支持:获得了来自NLnet的两项资助,用于支持 2026 年的开发工作。

  1. 基础库更新

  • Kurbo (曲线算法库):发布了0.13.0版本。最引人注目的是CubicBez::nearest算法通过切换到poly-cool五次方程求解器,实现了3000 倍的速度提升。

  • Fearless SIMD:增强了 x86 架构下的 AVX2 支持,修复了浮点/整数转换的边界情况(如 NaN 处理),并利用了原生指令集优化数据加载。

  • Velato (Lottie 动画渲染):修复了大量渲染问题(如关键帧插值、蒙版层、路径修剪),目标是支持更复杂的 Lottie 动画。

  1. 生态集成

  • Bevy Vello:更新适配了Bevy 0.17游戏引擎,修复了视口变化时的渲染目标调整问题。

阅读:https://linebender.org/blog/tmil-23/

Rust 形式化兴趣组议题分享:Soteria Rust

12 月的 RFMIG 分享的主题是 Soteria Rust,它是第一个完全支持对 Rust 语言复杂的别名模型(树借用)进行推理的 Rust 符号执行引擎,同时其性能可与 Rust 最先进的有界模型检查器 Kani 相媲美。

由于底层库 Soteria 已被证明是 sound,我们可以信任引擎的运行结果,并将精力集中在 Rust 语义的细枝末节上,而无需从头开始构建符号执行引擎。

我们使用一系列基准测试将 Soteria Rust 与 Kani 和 Miri 进行比较,结果表明 Soteria Rust 性能优异,分析功能比 Kani 更全面,并且与 Miri 不同,它还进行了符号分析。最后,我们概述了未来的工作方向,包括支持组合分析和双向溯因推理。

见:https://rust-formal-methods.github.io/meetings/soteria/

--

From 日报小组 苦瓜小仔

社区学习交流平台订阅:

  • Rustcc论坛: 支持rss

  • 微信公众号:Rust语言中文社区

http://www.cnnetsun.cn/news/100215.html

相关文章:

  • 百考通AI:你的智能学术助手,让毕业论文写作化繁为简
  • IntelliJ IDEA 2025.3 正式发布
  • MyBatis-Flex 来了!完爆MyBatis-Plus?
  • 神经紧张素受体SORT1
  • 高盐高铵根工业废水去除重金属
  • 某211高校讲师晒工资条,网友:公积金数额令人瞩目...
  • Nature Electronics 一种用于多模态皮肤信号监测的柔性触觉接口
  • 小鼠T细胞激活:如何系统解析其发育分化与免疫功能表征?
  • 基于springboot和vue的民航飞机票务管理系统设计与实现
  • 2025年12月-2026年4月,计算机领域涵盖的前言学术会议推荐!
  • 基于单片机的智能镜子系统设计(有完整资料)
  • 国产化替代SSD的标杆之路:天硕TOPSSD以自主可控存储解决方案重塑高端工业存储格局
  • EmotiVoice本地化部署优势:数据安全与响应效率兼得
  • 【Java毕设全套源码+文档】基于springboot的数据库课程在线教学系统设计与实现(丰富项目+远程调试+讲解+定制)
  • 【Java毕设全套源码+文档】基于springboot的实验室安全考试系统设计与实现(丰富项目+远程调试+讲解+定制)
  • 基于QT(C++)实现的翻金币游戏
  • 基于 Spring·Boot和 Vue 框架的校园快递代领系统设计与实现
  • NVIDIA设置疑难杂症诊所:万字终极实战指南
  • 边缘Agent的Docker监控实践(资源利用率提升90%的秘密)
  • 揭秘Docker Scout漏洞导出功能:如何快速获取镜像安全报告
  • 【云原生Agent资源调度实战】:Docker环境下高效分配CPU与内存的5大黄金法则
  • 增长有毒?流血三闯港股!希迪智驾带病叩钟:115亿市值撑得住“白条狂欢”吗?
  • 多模态Agent性能骤降?可能是Docker网络隔离没做好(附诊断清单)
  • 为什么你的Docker镜像总被攻破?:可能是扫描频率设置错了
  • 背胶条分类识别:基于计算机视觉的修复状态差异检测与质量评估系统
  • 【新】基于SSM的高校实验室管理系统【包括源码+文档+调试】
  • Python 爬虫实战:沪深 300 股票(下)—— 适当进阶!爬取往期批量数据
  • 超声波传感器:无人机低空飞行的“隐形守护者”
  • 我的服务器被被DDOS攻击了
  • Docker MCP 网关协议转换(企业级应用案例深度剖析)