微软推进Rust在『Windows』中的应用,内存安全与互操作性成关键优势(rust doc)

9 月 3 日消息,自 2023 年以来,微软就一直在逐步加强 Rust 在 『Windows』 系统中的应用。

目前,『Windows』 内核已能在引入 Rust 代码的情况下启动。此外,微软近期又在推动驱动开发向 Rust 语言过渡。

今年 7 月,微软披露了 Surface 团队在这一方向上的工作进展,推出了开源项目 windows-drivers-rs,旨在为 Rust 驱动开发提供平台支持。在此基础上,微软今日公布了更多细节。

据介绍,为简化 Rust 驱动的开发流程,微软在 windows-drivers-rs 中引入了新的 cargo-wdk crate

这一 Cargo 扩展可自动生成包含预配置链接、构建步骤和依赖项的空白驱动项目,并可调用 WDK 工具(如 InfVerif),类似于在 Visual Studio 中使用 C 语言构建驱动的方式。

Rust 相较于 C 等传统语言,具备内存安全特性,可有效减少与内存相关的安全漏洞;同时,Rust 与 C / C++ 在驱动代码层面具有良好的互操作性,降低了迁移门槛。

微软表示,其长期目标是在 Cargo 环境中为 Rust 开发者提供与 Visual Studio 相同的构建工具和配置选项。中期计划包括自动安装 WDK、支持 NT_TARGET_VERSION、全面支持 ARM64 等。

目前,windows-drivers-rs 已能支持部分类型的驱动开发,但仍需使用较多的 unsafe 代码。

微软指出,『Windows』 Driver Framework (WDF) 团队正与 Rust 专家合作,为内核模式驱动(KMD)和用户模式驱动(UMD)设计更安全的抽象层。对于微软来说,抽象层本质是实现用户模式(最低权限)到内核模式(最高权限)的安全转换机制。同时,微软其他团队也在开发适用于核心内核及第三方驱动的安全结构体和 API,其中部分已随 『Windows』 内核发布。

微软还承诺,会在未来几个月内公布更多驱动开发的最佳实践,其中包括利用 CodeQL进行静态分析。今年 7 月,微软已更新了 『Windows』 11 25H2 版本的第三方驱动静态分析指南,详情可见 此前报道。

特别声明:[微软推进Rust在『Windows』中的应用,内存安全与互操作性成关键优势(rust doc)] 该文观点仅代表作者本人,今日霍州系信息发布平台,霍州网仅提供信息存储空间服务。

猜你喜欢

山东四胞胎“冰清玉洁”:勇闯『娱乐圈』️出道失败,如今成酒吧擦边女

当年选秀舞台上,“冰清玉洁”四个字本是她们最闪亮的标签,却在一夜之间,因为大姐申冰的第三者传闻,变成了全网嘲讽的梗。四姐妹将整个童年抵押给了舞台,舞台回馈给她们的,却是一个残酷的真理:观众缘是门玄学,而道德…

山东四胞胎“冰清玉洁”:勇闯『娱乐圈』️出道失败,如今成酒吧擦边女

人物类网络投票评选是怎么制作的?一步步教会您(网络人物评选活动app网页投票微信投票群选举人工)

今天手把手教你用超简单的方式,0成本、0代码、0经验,轻松做出一场专业又吸睛的人物类网络投票评选活动!就是那种朋友圈一发就爆🔥、家长老师同事都疯狂转发、选手票数蹭蹭涨的线上投票活动~而且操作真的巨简单,连我…

人物类网络投票评选是怎么制作的?一步步教会您(网络人物评选活动app网页投票微信投票群选举人工)

『郭德纲』带妻儿澳洲度假,郭汾阳扎耳洞面相凶狠,身材比爸妈还胖(『郭德纲』澳洲豪宅)

2015年郭汾阳出生后,王慧的精力逐渐转移,与郭麒麟之间似乎也生出了一丝难以言说的距离。他甚至“有家不愿常回”,『郭德纲』多次在节目中喊话儿子回家,言语间透出几分老父亲的落寞与心酸。 『郭德纲』没有在幼子郭汾阳身上…

『郭德纲』带妻儿澳洲度假,郭汾阳扎耳洞面相凶狠,身材比爸妈还胖(『郭德纲』澳洲豪宅)

智能柜的技术选择:5G 还是 WIFI,HTTP 还是 MQTT?(智能柜的技术要求)

然而,HTTP 该协议也有其局限性,特别是在使用物联网设备时: 高延迟:每一次数据传输都需要建立连接和关闭连接,延迟很大。 协议挑选:HTTP 特别是当需要将数据上传到医院系统、医疗云平台进行数据存储和分…

智能柜的技术选择:5G 还是 WIFI,HTTP 还是 MQTT?(智能柜的技术要求)

2027年布达佩斯游泳世锦赛场馆确定(布达佩斯技术)

今日霍州布达佩斯12月16日电(记者 周欣)世界泳联与2027年世界游泳锦标赛组委会16日联合宣布,本届赛事的主要比赛场馆为MVM穹顶体育馆和多瑙河体育馆。图为2023年正在举行一场手球比赛的MVM穹顶体育馆2027年游泳世锦赛将于6月26日

2027年布达佩斯游泳世锦赛场馆确定(布达佩斯技术)