從去年九月,Linux 內核維護者 Greg 表示愿意接受用 Rust 開發 Linux 驅動,到今年七月,Linus Torvalds 回應稱可以默認啟用 Rust 支持,Linux 開發者并非只是說說而已。
在八月底舉辦的 2020 Linux Plumbers 大會上,關于 Linux 內核上游對 Rust 的開放程度成為了最熱門的討論話題。Rust 語言團隊的聯合負責人 Thomas 和 Gaynor,以及 Linux 內核開發者 Josh Triplett 等人參與了這場討論,并向大家展示了截至目前的一些研究成果、想法,還有遇到的問題。
他們強調,并不打算將已有的內核改寫成 Rust,而只專注于可以用 Rust 編寫的新代碼。具體來講,與會者集中討論了 Linux 內核對 Rust 的支持可能涉及到的三個方面:內核中現有的 API、架構支持,和 ABI 與內核的兼容性問題。
綁定到現有的 C API
目前來看,Rust 能夠生成可以鏈接到內核的代碼還不夠。它還需要一種方法來訪問 Linux 內核中使用的大量 API,這些 API 目前都在 C 頭文件中定義。
Linux 內核開發者指出,Rust 與 C 具有良好的互操作性;此外,bindgen 工具能夠解析 C 頭文件以生成適當的 Rust 聲明,因此 Rust 不需要從 C 復制重復的定義,這也提供了一種跨語言類型檢查的措施。
從表面上看,這些特性使 Rust 具備了與現有 C API 集成的良好條件,但實際上實施起來還存在一些挑戰。例如,Linux 大量使用了預處理器宏和內聯函數,bindgen 和 Rust 的外函數接口不容易支持它們。
有關 API 綁定的第二個問題是:需要手動封裝多少 C API 才能呈現慣用的 Rust 接口?
Thomas 和 Gaynor 展示了一個 linux-kernel-module-rust 項目,可在其中看到內核模式的 Rust 代碼示例。在這個項目中,指向用戶空間的指針被封裝到 UserSlicePtr 類型中。這樣的封裝生成的代碼對現有 Rust 開發者而言更加熟悉,并使 Rust 的類型系統和借用檢查器提供最大程度的安全性。但是,必須針對每個 API 進行設計和開發,用 C 和 Rust 編寫的模塊也會創建不同的 API。這無疑加重了工作的繁瑣度。
John Baublitz 也給出了一個演示模塊,它更直接地綁定了內核的用戶訪問功能,綁定多由 bindgen 自動生成。然而,Rust 開發者對這些代碼可能會不太習慣,并且這種方式可能需要放棄 Rust 的許多安全保證。
最后,會議達成了共識:對于某些最常見和關鍵的 API,編寫 Rust 封裝器是有意義的,但是手動封裝每個內核 API 不可行。Thomas 還提到谷歌正致力于自動生成 C++ 代碼的慣用綁定,并考慮內核是否可以做類似的事情。
架構支持
對架構的支持是討論的另一個重點。與會者表示,在 Rust 中實現 Linux 驅動是可以接受的,但無論如何不能把它放在更晦澀難懂的架構上。
在這方面,現階段唯一成熟的 Rust 實現是 rustc 編譯器,該編譯器通過 LLVM 發出代碼。Linux 內核支持多種架構,其中一些沒有可用的 LLVM 后端,另一些存在 LLVM 后端,卻尚不受 rustc 支持。
Triplett 認為,先將 Rust 添加到 Linux 內核中,反過來會有助于增加對更多架構的 Rust 支持。就像 Rust 軟件被引入 Debian 后,吸引了更多不同架構的愛好者協助改進 Rust 支持一樣,他寄希望于為 Linux 內核添加 Rust 支持也獲得類似的效果。
ABI 與內核的兼容性
Gaynor 問到了有關 ABI 兼容性的建議。當前 Rust 是通過 LLVM 編譯的,而 Linux 內核通常使用 GCC 構建,因此將 Rust 代碼鏈接到內核可能意味著混合 GCC 和 LLVM 發出的代碼。
參與討論者擔心 LLVM 與 GCC 可能會有 ABI 兼容的問題,于是提出一個設想,即 Linux 內核社區是否可以將 Rust 支持僅限于使用 Clang 構建的內核,以確保兼容性。
Linux 內核維護者 Greg 指出,當前的內核規則是,僅當內核中的所有目標文件使用相同的編譯器并使用相同的標志構建時,才能保證兼容性。不過,他仍然對將 LLVM 構建的 Rust 對象鏈接到 GCC 構建的內核表示滿意,因為只要配置適當,并通過測試即可。他認為不需要任何預先的限制,直到真正有實際問題產生。
另一位內核開發者 Triplett 也強調,GCC 和 Rust 之間的調用是常規且普遍的,不必擔心兼容性。因此目前看來,二者的兼容性問題目前不會成為將 Rust 引入 Linux 內核的阻礙。
這場會議上的討論大致到此,暫時沒有后續消息。隨著越來越多的人對此抱有期待和熱情,正如 LWN.net 所說,或許待一個具體的 Rust 內核驅動用例出現時,所有的爭議和決策都將變得更加清晰。
責編AJX
-
Linux
+關注
關注
87文章
11231瀏覽量
208937 -
API
+關注
關注
2文章
1487瀏覽量
61821 -
Rust
+關注
關注
1文章
228瀏覽量
6572
發布評論請先 登錄
相關推薦
評論