< 返回版块

Mike Tang 发表于 2026-09-11 09:04

Microsoft 将 Rust 定为内部 Tier-1 语言,并推进 rustc_codegen_utc

Rust Foundation 发布 Microsoft 客座文章,说明 Rust 已成为公司内部与 C++、C#、TypeScript 并列的 Tier-1 语言。Tier-1 意味着内部团队有从本地开发到上线的完整铺路:安全工具链构建、开发者工具、质量流程、平台集成,以及满足 Microsoft SDL 合规要求。

文章重点介绍 rustc_codegen_utc:它是 rustc 的替代代码生成后端,与 rustc_codegen_llvm / gcc / cranelift 同属后端接口家族,把 rustc 接到 MSVC 后端(UTC)。目标包括与 Windows 工具链和 ABI 的高兼容、二进制加固与安全特性、链接后合规/分析/热补丁(Hotpatch)、混合 Rust/C++ 项目互通、跨语言内联与 SPGO、调试与 crash dump、剖析与覆盖率等。作者指出,连接现有 MSVC 技术栈可避免为 Windows 能力再做一套平行实现。

该后端由 DevDiv 团队投入,自 2026 年初起可用于生产,自 Rust 1.90 起可自托管;目前已有超过 100 个 Microsoft 仓库使用,并按周继续推广。反馈可到 Rust Project Zulip 的 rustc-codegen-utc 话题讨论。

原文链接:https://rustfoundation.org/media/guest-post-rust-is-tier-1-language-at-microsoft/

Dioxus Labs 加入 Cognition,继续维护 Dioxus / Blitz

Dioxus 作者 Jonathan Kelley 发文宣布,Dioxus 团队加入 Cognition,参与加速其自主云端编程代理 Devin;同时会继续开发 Dioxus、Blitz、Taffy、Subsecond,并维护相关开源项目。

背景是 2025 年末起大模型写 Rust 能力明显提升,Dioxus 下载与使用上升,用户仍需要更完整的跨平台 crate(相机、蓝牙、存储等)。团队曾自研云端编程 harness SkyVM,覆盖 macOS/iOS、Android、各 Linux 与 Windows,并用自研虚拟化实现安全快照、分叉与回滚,新 VM 可在约 50ms 内拉起或恢复。同期发现 Devin CLI 的终端渲染基于 Dioxus,双方愿景接近后达成合作。

加入后团队无法把全部时间只放在 Dioxus 上,但 Cognition 支持继续推进;Blitz 负责人 Nico Burns 全职维护改进 Dioxus。后续重点包括 Dioxus-Native 与原生 HTML/CSS 渲染器 Blitz(例如 Cloudflare 已把 Blitz 用作其 agentic web browser 的核心引擎)。文章还提到团队此前累计融资约 350 万美元;加入 Cognition 后可在无商业化压力的情况下继续 Dioxus / Blitz 开发。

原文链接:https://dioxuslabs.com/blog/joining-cognition

文章:Async/Await 设计空间探索(Brown CEL)

Brown 大学 CEL 发文介绍论文《A Design Space Exploration of Async/Await》,比较多种语言里“直线式异步”(straight-line asynchrony,相对事件循环/回调)的 async/await 设计差异。结论是各语言差异比预期大得多。

文中用一段 fire-and-forget 写日志的伪代码演示:七个现代异步运行时对同一程序给出四种不同输出;三组变体下,没有任意两个运行时输出完全一致。作者归纳出九个影响可观察语义的设计维度,按任务生命周期分为三类:生命起点(Eagerness、Suspension)、生命终点(Extent、Reference Strength、Destruction、Propagation)、取消(Awareness、Direction、Persistence)。

其中 Eagerness 对应常说的 hot/cold:惰性得到协程对象,或急切在当前线程求值并在 await 时调度为任务。Extent 区分任务默认可活到运行时结束,还是只能活到生成它的作用域结束(Swift 与 Python+Trio 选择 Dynamic Extent)。在 Dynamic Extent 下,Swift 在作用域结束时取消任务,Trio 则等待任务完成,从而分别得到 “AC” 与 “ABC” 一类结果。论文还把设计空间落到形式语义与核心演算上,用抽象机轨迹解释分叉。论文链接见站点 /paper/a-design-space-exploration-of-aa/

原文链接:https://cel.cs.brown.edu/blog/design-space-async-await/

gccrs 2026 年 8 月月报:逼近编译 core 与内核

gccrs(GCC 上的替代 Rust 编译器)发布 2026 年 8 月月报。Open Source Security, Inc. 与 Embecosm 继续支持;Pierre-Emmanuel 与 Arthur 因经济原因从 Embecosm 裁员后,合同由 Open Source Security 接手,编译器工作照常推进。

8 月在编译 core 与 Linux 内核两条线上都有进展:完成 Late name resolution 里程碑后进入 Lowering(AST 降糖/校验到 HIR),修完该阶段在编 core 时暴露的问题,并转入类型检查错误。内核侧一边重做 external crate 处理以便内核组件与 core 正确交互,一边补内核依赖的 nightly 特性。仍待处理的特性包括 ExtractIf、泛型参数推断、无符号 is_multiple_of、arbitrary self types / Receiver、#[used](及带参数形式)、CFI 类型编码覆盖、CoercePointee 等。

#[used] 已基本支持;CoercePointee#[cfiencoding] 已开工,并与内核侧 Alice Ryhl、以及 Kees Cook 向 GCC 提交的 CFI 补丁组协调。当月合并 79 个 PR。下一步是完成类型系统调试后进入代码生成,使 gccrs 能编译 core,再分别编译各内核 crate。两人还在准备 9 月 9 日 Montreal RustConf 演讲。

原文链接:https://rust-gcc.github.io/2026/09/08/2026-08-monthly-report.html


From Rust中文社区 Mike

社区学习交流平台订阅:

评论区

写评论

还没有评论

1 共 0 条评论, 1 页