新發布的補丁將在Linux核心中引入Rust安全標準
雖然Rust 被視為一種記憶體安全、健壯的程式語言,但Rust 中的”不安全”關鍵字可用於不安全程式碼,從而為該語言賦予”不安全的超能力”。由於在Linux 核心等低階程式中使用Rust 有時會導致需要使用”不安全”的Rust,因此有人提出了在核心中修訂此類程式碼的文件標準。
本諾-洛辛(Benno Lossin)提出了一套補丁,用於在內核中引入Rust 安全標準。 Lossin 解釋了Rust 安全標準的努力:
核心中”不安全”的Rust 程式碼必須有安全文件。這是為了確保”不安全”代碼的正確性,因此非常重要。然而,目前還沒有編寫安全文件的標準方法。這就導致了混亂,因為作者很難找到正確的方法來表達他們想要表達的意圖。
為了緩解此問題並提高安全文件的質量,本修補程式系列介紹了編寫安全文件的標準方法。
由於為每種可能的要求創建標準是一項艱鉅的任務,因此本系列的起點很低。我希望能引起更多的討論,以便為核心找到最佳的安全文件形式”。
本《Rust 安全標準》最初由概述、各種程式碼範例、安全要求、理由和其他項目組成,今後還將進一步擴展。
有興趣進一步了解內核Rust 安全標準的人,可以查看這些RFC 補丁和暫定文件全文。