微软首席技术官详述在英国 Rust 国度的成功、挑战以及对 Rust 的承诺

主要观点:Mark Russinovich 探讨了推动 Rust 采用的因素,介绍了微软产品中 Rust 的使用实例及利用生成式 AI 加速从 C/C++到 Rust 迁移的努力。
关键信息

  • 推荐 Rust 的原动机是对安全漏洞的审查,微软 70%的漏洞源于 C++内存使用不安全。
  • 其他公司和组织也有类似结论,如 Google Project Zero 称 67%的 0 日漏洞是内存腐败漏洞,Mozilla 估计 Firefox 中 74%的安全漏洞可通过用 Rust 编写避免。
  • 微软“安全未来倡议”致力于扩大内存安全语言的使用,向 Rust 基金会捐赠 100 万美元。
  • Rust 在微软产品的多个领域使用,如 Windows 的安全关键软件、Office 的性能关键区域、Azure 相关软件等。
  • 开发者对 Rust 的反馈有正有负,正反馈包括代码编译后工作稳定、减少开发摩擦等,负反馈包括 C++互操作性困难、学习曲线陡等。
  • 微软在加速 C/C++遗留代码到 Rust 的迁移方面采取了一些措施,如使用形式验证技术和探索大型语言模型自动代码翻译。
    重要细节
  • Windows 中 Rust 用于固件开发、内核组件、加密库等。
  • Office 中 Rust 实现的语义搜索算法性能和内存效率更高。
  • Azure 中 Caliptra 的关键固件组件用 Rust 编写并开源,Azure Integrated HSM 的固件和库用 Rust 确保安全。
  • 微软在加速迁移方面的具体工作如编译 C 到安全 Rust 等。
  • 强调 Rust 成熟度和采用度增加,微软全力支持 Rust 且短期内无其他语言可替代。
阅读 9
0 条评论