微软解释为什么Rust是系统编程的最佳选择
上周,MSRC(微軟安全響應中心)透露出擁抱 Rust?的打算,隨后他們將這個話題擴展為一個系列,進一步闡述了使用安全的系統編程語言的的必要性,以及選擇 Rust 的原因。
在該系列最新一篇文章中,MSRC 團隊首席云開發倡導者 Ryan Levick 解釋了為什么他們認為 Rust 編程語言目前是業界采用的最佳選擇,不僅僅是因為它能夠以內存安全的方式編寫系統級程序。
“首先,已經有很多出色的內存安全語言在微軟內外廣泛使用,包括 .NET 語言(像是 C# 或 F#)和其他語言(例如 Swift、Go 和 Python)。我們鼓勵目前使用 C 或 C++ 的人將其中任意一種語言納入考慮。不過現在談論的是對安全的系統編程語言的需求,此類工作負載需要 C、C++ 和 Rust 能夠提供的速度和可預測的性能。通過垃圾回收實現內存安全的語言不是系統編程的理想選擇,因為它們的運行時間會導致不可預測的性能和不必要的成本。”
性能和控制
Levick 指出,最好先考慮一下無法從 C 和 C++ 放棄的東西——性能和控制,就能更清楚地明白 Rust 為什么是一個好的選擇。像 C 和 C++ 一樣,Rust 有一個最小的可選“運行時(runtime)”。Rust 的標準庫同樣依賴于 libc,但標準庫也是可選的,因此在沒有操作系統的平臺上運行也是可能的。
仍然像 C 和 C++ 一樣,Rust 為程序員在何時分配內存以及分配內存的多少上提供了精細的控制,使程序員能夠非常清楚地知道程序每次運行時的確切執行方式。在原始速度、控制和可預測性方面,這對于性能來說意味著什么?那就是,“Rust、C 和 C++ 可以用類似的術語來思考”。
安全
Rust 與 C 和 C++ 的區別在于其強大的安全保障,某種程度上來說 Rust 完全是內存安全(memory safe)的。正如之前那篇文章提到的,微軟大約 70% 的安全問題是內存安全問題。如果這些軟件用 Rust 編寫,那么這 70% 的安全問題很可能就不存在。
在系統編程中,有時程序員必須執行無法靜態驗證為安全的操作。Rust 為程序員提供了將這些操作封裝在安全抽象中的工具,這意味著曾經降級為代碼注釋或約定的東西可以由 Rust 編譯器靜態強制執行。
不僅僅是性能與安全
Rust 最初引起 MSRC 的興趣正是由于上述性能與安全方面的特性。但它的的魅力不止于此,已經有其他微軟團隊開始采用 Rust,主要出于以下原因:
根據微軟內部調查,采用它的最主要原因是“精密性”(correctness)——“if it compiles, then it works”。
Rust 靜態地強制執行程序的許多屬性,已經遠超內存安全性,還包括空指針安全性和數據爭用安全性(即沒有來自兩個或多個線程的一塊內存的不同步訪問)。
Rust 的豐富類型系統使編寫富有表現力的程序成為可能。?具有相關數據的枚舉和強大的 trait 系統等概念進一步強化了 Rust 的目標,即盡可能使程序無錯誤。
Rust 現有的社區對該語言有很大益處。雖然 Rust 仍然是一種年輕語言,但它擁有一個健康的生態系統,既能夠促進開源社區發展強大,又能夠支持生產用戶。
Levick 表示有足夠的理由相信 Rust 會有一個光明的未來,“雖然現在大規模采用 Rust 還為時過早,但早期采用 Rust 通常是非常積極且正面的”。他們相信 Rust 在編寫安全的系統軟件時會改變游戲規則。Rust 提供編寫底層系統所需的性能和控制,同時使軟件開發人員能夠編寫更健壯、安全的程序。
不過,MSRC 在研究 Rust 時發現了一些問題,其中包括如何規范 Rust 的“不安全”(unsafe)超集的使用,缺乏與 C++ 的一流互操作性,以及與現有 Microsoft 工具的互操作性。
這確實對微軟采用 Rust 提出了挑戰,但 MSRC 還是滿懷期待:“我們對這些可能性感到興奮。 雖然還有許多關于 Rust 如何適應整個 Microsoft 工程的問題需要弄清楚,但我們鼓勵其他人一同加入,認真考慮這門語言,以滿足他們的系統編程需求。”
開源中國征稿啦!
開源中國 www.oschina.net 是目前備受關注、具有強大影響力的開源技術社區,擁有超過 400 萬的開源技術精英。我們傳播開源的理念,推廣開源項目,為 IT 開發者提供一個發現、使用、并交流開源技術的平臺。
現在我們開始對外征稿啦!如果你有優秀的技術文章想要分享,熱點的行業資訊需要報道等等,歡迎聯系開源中國進行投稿。投稿詳情及聯系方式請參見:我要投稿
推薦閱讀Oracle Linux 8.0 發布
最權威編程語言排行榜發布6月更新,TS首進前十
微軟擁抱 Rust,以作為 C 和 C++ 的安全替代方案
GitHub Trending 被國人霸榜,國外開發者不滿
這款數據庫將企業版功能100%開源還不收費,why?
總結
以上是生活随笔為你收集整理的微软解释为什么Rust是系统编程的最佳选择的全部內容,希望文章能夠幫你解決所遇到的問題。
- 上一篇: 基于Masstransit实现Event
- 下一篇: 树莓派 + Windows IoT Co