Raft算法：保障分布式系統共識的穩健之道
1. 什么是Raft算法？Raft 是英文”Reliable、Replicated、Redundant、And Fault-Tolerant”（“可靠、可復制、可冗余、可容錯”）的首字母縮寫。Raft算法是一種用于在分布式系統
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 版本的第三方驅動靜態分析指南，詳情可見此前報道。
相關閱讀：
《打造更安全 PC 環境，微軟鼓勵開發者用 Rust 編寫 Win11 驅動程序》
本文鏈接：http://www.yifxia.cn/showinfo-119-180027-0.html微軟進一步推進 Rust 在 Windows 中的應用，內存安全與 C C++ 互操作性成核心優勢
聲明：本網頁內容旨在傳播知識，若有侵權等問題請及時與本網聯系，我們將在第一時間刪除處理。郵件：2376512515@qq.com
Copyright ? 2016-2023 天津谷騏科技有限公司 版權所有 sitemap.xml
違法及侵權請聯系：2376512515@qq.com 津ICP備18001702號
津公網安備 12010102000574號