微軟在 Github 上發(fā)布了代碼，使開(kāi)發(fā)人員能夠用 Rust 編寫(xiě) Windows 驅(qū)動(dòng)程序，這是為操作系統(tǒng)實(shí)現(xiàn)內(nèi)存安全編程的關(guān)鍵一步。Azure 首席技術(shù)官馬克-魯西諾維奇（Mark Russinovich）在 X 上發(fā)布了該鏈接，并附有評(píng)論："努力實(shí)現(xiàn)用 Rust 開(kāi)發(fā) Windows 驅(qū)動(dòng)程序"。
這項(xiàng)工作可以追溯到很多年前。2019 年 7 月，微軟研究院發(fā)帖稱，它希望"在漏洞發(fā)生之前消除一整類漏洞"，提出了內(nèi)存安全語(yǔ)言的理由，并表示"滿足這些要求的最有前途的較新系統(tǒng)編程語(yǔ)言之一是最初由 Mozilla 發(fā)明的 Rust 編程語(yǔ)言"。
該公司推崇 Rust，不僅因?yàn)樗膬?nèi)存安全，還因?yàn)樗臄?shù)據(jù)競(jìng)賽安全--確保"兩個(gè)或多個(gè)線程不會(huì)不同步地訪問(wèn)一段內(nèi)存"。
2022 年，Russinovich 宣布："現(xiàn)在是時(shí)候停止用 C/C++ 啟動(dòng)任何新項(xiàng)目了，在需要使用非 GC 語(yǔ)言的情況下使用 Rust。為了安全性和可靠性起見(jiàn)，業(yè)界應(yīng)該宣布這些語(yǔ)言已被淘汰。"C# 和 Java 等 GC 或垃圾回收語(yǔ)言適用于商業(yè)應(yīng)用，但不適合底層系統(tǒng)代碼。
雖然 Windows主要是用 C 和 C++ 編寫(xiě)的。"由于各種技術(shù)和歷史原因，現(xiàn)在大部分用戶模式代碼都是用C++編寫(xiě)的，但大部分內(nèi)核代碼還是用C語(yǔ)言編寫(xiě)的。"2018年，長(zhǎng)期從事軟件開(kāi)發(fā)的微軟軟件工程師陳偉明（Raymond Chen）說(shuō)，雖然此后出現(xiàn)了Windows 11，但在開(kāi)發(fā)新版本時(shí)，操作系統(tǒng)并沒(méi)有重寫(xiě)。硬件制造商為使其設(shè)備能在 Windows 中運(yùn)行而使用的 Windows 驅(qū)動(dòng)程序工具包，仍然是一個(gè) C/C++ 工具包。
根據(jù)基于 Rust 的新驅(qū)動(dòng)程序工具包的發(fā)布說(shuō)明，其目的是同時(shí)支持 WDM（Windows 驅(qū)動(dòng)程序模型）和 WDF（Windows 驅(qū)動(dòng)程序框架）驅(qū)動(dòng)程序。WDM 驅(qū)動(dòng)程序級(jí)別較低，與操作系統(tǒng)緊密相連，而 WDF 驅(qū)動(dòng)程序則通過(guò)框架庫(kù)與系統(tǒng)交互。初始資源庫(kù)的重點(diǎn)是 WDK。
說(shuō)明還補(bǔ)充說(shuō)："該項(xiàng)目仍處于早期開(kāi)發(fā)階段，尚不建議用于商業(yè)用途。微軟鼓勵(lì)進(jìn)行試驗(yàn)和反饋，并指出開(kāi)發(fā)人員可以到資源庫(kù)中的 GitHub 討論區(qū)尋求反饋。"
一個(gè)早期問(wèn)題是如何處理異常。一位開(kāi)發(fā)者說(shuō)："對(duì)于 Windows 內(nèi)核（以及整個(gè)操作系統(tǒng)）來(lái)說(shuō)，結(jié)構(gòu)化異常處理是 Windows 開(kāi)發(fā)不可或缺的一部分，也是讓 Rust 成為 Windows 內(nèi)核開(kāi)發(fā)現(xiàn)實(shí)的真正障礙。Rust 沒(méi)有異常，它更傾向于使用結(jié)果變量報(bào)告可恢復(fù)的錯(cuò)誤，而在無(wú)法恢復(fù)的錯(cuò)誤中，它會(huì)以崩潰失敗的方式退出。在內(nèi)核代碼中，這種崩潰是不可取的，因?yàn)樗鼤?huì)導(dǎo)致系統(tǒng)整體崩潰。"
開(kāi)發(fā)者約翰尼-肖（Johnny Shaw）引用了 Linux Torvalds 在 Linux 內(nèi)核（也采用了 Rust）中的一段話："因?yàn)閮?nèi)核代碼不同于隨機(jī)的用戶空間系統(tǒng)工具。內(nèi)存耗盡絕對(duì)不能導(dǎo)致中止。 它只需要導(dǎo)致錯(cuò)誤返回"。托瓦爾茲認(rèn)為這是一個(gè)"根本性問(wèn)題"。
微軟新版本庫(kù)中的早期代碼包括以下注釋：
// FIXME: Should this trigger Bugcheck via KeBugCheckEx?
這個(gè)問(wèn)題說(shuō)明，在底層 Windows 代碼中引入 Rust 并不僅僅是為 WDK API 添加 Rust 語(yǔ)言綁定那么簡(jiǎn)單。不過(guò)，最初的反應(yīng)總體上是積極的。內(nèi)存安全問(wèn)題在 Windows 的安全性和穩(wěn)定性問(wèn)題中占了很大比例，因此采用 Rust 是一個(gè)可行的解決方案。
IT之家 9 月 27 日消息，微軟 Azure 首席技術(shù)官 Mark Russinovich 日前在 X 平臺(tái)發(fā)文，公開(kāi)微軟最近宣布“擴(kuò)大采用 Rust 語(yǔ)言的成果”，微軟同時(shí)還在 GitHub 中發(fā)布了一系列開(kāi)發(fā)工具包，讓開(kāi)發(fā)者可以使用 Rust 語(yǔ)言來(lái)編寫(xiě) Windows 驅(qū)動(dòng)程序。