< 返回版块

【Rust日报】2025-09-05 Asterinas OS 在 USENIX ATC'25 和 SOSP'25 顶会上发表 3 篇学术论文

苦瓜小仔发表于 2025-08-25 10:55

Tags：日报

Asterinas：发布 v0.16.0

Asterinas：一款兼容 Linux ABI、基于 Rust 的框架内核操作系统，拥有小巧且完善的 TCB。

我们向 Asterinas 社区的成员表示热烈祝贺，他们关于 Asterinas 的开创性研究论文最近被顶级学术会议接受：

USENIX ATC'25：Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB
USENIX ATC'25：Converos: Practical Model Checking for Verifying Rust OS Kernel Concurrency
SOSP'25：CortenMM: Efficient Memory Management with Strong Correctness Guarantees

Asterinas 0.16.0 发布，新增对 LoongArch 架构支持，扩展 Linux ABI 兼容性，新增 9 个系统调用。

功能增强包括 UNIX 套接字支持文件描述符传递和 SOCK_SEQPACKET 类型，部分支持 NETLINK_KOBJECT_UEVENT 类型的 netlink 套接字，初步实现 CgroupFS。

测试基础设施升级，集成 Linux Test Project 的系统调用测试，并采用 Nix 构建 initramfs。

此外，Asterinas 成功在联想笔记本上启动并运行贪吃蛇游戏。

阅读：https://asterinas.github.io/2025/08/04/announcing-asterinas-0.16.0.html

访谈《微软的 Rust 之路及 Rust 基金会的领导角色》

Nell Shamrell-Harrington 是微软的首席软件工程师，也是 Rust 基金会董事会主席。
她在微软的日常工作涉及 Azure Core 的多个方面，包括 Linux 虚拟机的配置、上游 Linux 社区的贡献，以及内存安全特别兴趣小组（SIG）的领导工作。
微软在多个领域采用 Rust，包括 Azure 的多个项目（如 Azure Boost、Hyper-V 和 HyperLite）、UEFI 固件模块以及 Windows 和 Office 的部分组件。
Rust 的采用主要集中在云服务领域，因为它提供了内存安全和性能优势。
Nell 讨论了 Rust 在大型组织中的采用情况，指出开发者一旦克服了初始的学习曲线，就会喜欢上 Rust。
她还提到了 Rust 基金会的角色，包括促进不同公司与 Rust 项目之间的合作，以及正在进行的培训和认证计划。
微软的文化在过去十年中发生了积极的变化，从“无所不知”的文化转变为“学习一切”的文化，这促进了对开源的拥抱。
Nell 为那些希望在微软从事 Rust 开发工作的人提供了建议，包括在微软的职业网站上搜索 Rust 相关职位，以及在 LinkedIn 上关注微软的 Rust 开发者。
微软目前实行的是混合工作模式，员工可以远程工作最多 50% 的时间。
Nell 还提到了微软的面试流程，强调了核心能力的重要性，以及微软在面试中使用的技术平台，允许候选人使用实际的编译器进行代码编写。
最后，Nell 鼓励人们参与 Rust 项目和基金会的活动，并期待在 RustConf 2025 上见到更多人。