RM新时代网站-首页

0
  • 聊天消息
  • 系統(tǒng)消息
  • 評論與回復
登錄后你可以
  • 下載海量資料
  • 學習在線課程
  • 觀看技術視頻
  • 寫文章/發(fā)帖/加入社區(qū)
會員中心
創(chuàng)作中心

完善資料讓更多小伙伴認識你,還能領取20積分哦,立即完善>

3天內(nèi)不再提示

Linux 內(nèi)核對Rust的支持可能涉及到的三個方面

如意 ? 來源:開源中國 ? 作者:xplanet ? 2020-09-04 10:36 ? 次閱讀

從去年九月,Linux 內(nèi)核維護者 Greg 表示愿意接受用 Rust 開發(fā) Linux 驅動,到今年七月,Linus Torvalds 回應稱可以默認啟用 Rust 支持,Linux 開發(fā)者并非只是說說而已。

在八月底舉辦的 2020 Linux Plumbers 大會上,關于 Linux 內(nèi)核上游對 Rust 的開放程度成為了最熱門的討論話題。Rust 語言團隊的聯(lián)合負責人 Thomas 和 Gaynor,以及 Linux 內(nèi)核開發(fā)者 Josh Triplett 等人參與了這場討論,并向大家展示了截至目前的一些研究成果、想法,還有遇到的問題。

他們強調(diào),并不打算將已有的內(nèi)核改寫成 Rust,而只專注于可以用 Rust 編寫的新代碼。具體來講,與會者集中討論了 Linux 內(nèi)核對 Rust 的支持可能涉及到的三個方面:內(nèi)核中現(xiàn)有的 API、架構支持,和 ABI 與內(nèi)核的兼容性問題。

綁定到現(xiàn)有的 C API

目前來看,Rust 能夠生成可以鏈接到內(nèi)核的代碼還不夠。它還需要一種方法來訪問 Linux 內(nèi)核中使用的大量 API,這些 API 目前都在 C 頭文件中定義。

Linux 內(nèi)核開發(fā)者指出,Rust 與 C 具有良好的互操作性;此外,bindgen 工具能夠解析 C 頭文件以生成適當?shù)?Rust 聲明,因此 Rust 不需要從 C 復制重復的定義,這也提供了一種跨語言類型檢查的措施。

從表面上看,這些特性使 Rust 具備了與現(xiàn)有 C API 集成的良好條件,但實際上實施起來還存在一些挑戰(zhàn)。例如,Linux 大量使用了預處理器宏和內(nèi)聯(lián)函數(shù),bindgen 和 Rust 的外函數(shù)接口不容易支持它們。

有關 API 綁定的第二個問題是:需要手動封裝多少 C API 才能呈現(xiàn)慣用的 Rust 接口?

Thomas 和 Gaynor 展示了一個 linux-kernel-module-rust 項目,可在其中看到內(nèi)核模式的 Rust 代碼示例。在這個項目中,指向用戶空間的指針被封裝到 UserSlicePtr 類型中。這樣的封裝生成的代碼對現(xiàn)有 Rust 開發(fā)者而言更加熟悉,并使 Rust 的類型系統(tǒng)和借用檢查器提供最大程度的安全性。但是,必須針對每個 API 進行設計和開發(fā),用 C 和 Rust 編寫的模塊也會創(chuàng)建不同的 API。這無疑加重了工作的繁瑣度。

John Baublitz 也給出了一個演示模塊,它更直接地綁定了內(nèi)核的用戶訪問功能,綁定多由 bindgen 自動生成。然而,Rust 開發(fā)者對這些代碼可能會不太習慣,并且這種方式可能需要放棄 Rust 的許多安全保證。

最后,會議達成了共識:對于某些最常見和關鍵的 API,編寫 Rust 封裝器是有意義的,但是手動封裝每個內(nèi)核 API 不可行。Thomas 還提到谷歌正致力于自動生成 C++ 代碼的慣用綁定,并考慮內(nèi)核是否可以做類似的事情。

架構支持

對架構的支持是討論的另一個重點。與會者表示,在 Rust 中實現(xiàn) Linux 驅動是可以接受的,但無論如何不能把它放在更晦澀難懂的架構上。

在這方面,現(xiàn)階段唯一成熟的 Rust 實現(xiàn)是 rustc 編譯器,該編譯器通過 LLVM 發(fā)出代碼。Linux 內(nèi)核支持多種架構,其中一些沒有可用的 LLVM 后端,另一些存在 LLVM 后端,卻尚不受 rustc 支持。

Triplett 認為,先將 Rust 添加到 Linux 內(nèi)核中,反過來會有助于增加對更多架構的 Rust 支持。就像 Rust 軟件被引入 Debian 后,吸引了更多不同架構的愛好者協(xié)助改進 Rust 支持一樣,他寄希望于為 Linux 內(nèi)核添加 Rust 支持也獲得類似的效果。

ABI 與內(nèi)核的兼容性

Gaynor 問到了有關 ABI 兼容性的建議。當前 Rust 是通過 LLVM 編譯的,而 Linux 內(nèi)核通常使用 GCC 構建,因此將 Rust 代碼鏈接到內(nèi)核可能意味著混合 GCC 和 LLVM 發(fā)出的代碼。

參與討論者擔心 LLVM 與 GCC 可能會有 ABI 兼容的問題,于是提出一個設想,即 Linux 內(nèi)核社區(qū)是否可以將 Rust 支持僅限于使用 Clang 構建的內(nèi)核,以確保兼容性。

Linux 內(nèi)核維護者 Greg 指出,當前的內(nèi)核規(guī)則是,僅當內(nèi)核中的所有目標文件使用相同的編譯器并使用相同的標志構建時,才能保證兼容性。不過,他仍然對將 LLVM 構建的 Rust 對象鏈接到 GCC 構建的內(nèi)核表示滿意,因為只要配置適當,并通過測試即可。他認為不需要任何預先的限制,直到真正有實際問題產(chǎn)生。

另一位內(nèi)核開發(fā)者 Triplett 也強調(diào),GCC 和 Rust 之間的調(diào)用是常規(guī)且普遍的,不必擔心兼容性。因此目前看來,二者的兼容性問題目前不會成為將 Rust 引入 Linux 內(nèi)核的阻礙。

這場會議上的討論大致到此,暫時沒有后續(xù)消息。隨著越來越多的人對此抱有期待和熱情,正如 LWN.net 所說,或許待一個具體的 Rust 內(nèi)核驅動用例出現(xiàn)時,所有的爭議和決策都將變得更加清晰。
責編AJX

聲明:本文內(nèi)容及配圖由入駐作者撰寫或者入駐合作網(wǎng)站授權轉載。文章觀點僅代表作者本人,不代表電子發(fā)燒友網(wǎng)立場。文章及其配圖僅供工程師學習之用,如有內(nèi)容侵權或者其他違規(guī)問題,請聯(lián)系本站處理。 舉報投訴
  • Linux
    +關注

    關注

    87

    文章

    11292

    瀏覽量

    209323
  • API
    API
    +關注

    關注

    2

    文章

    1499

    瀏覽量

    61961
  • Rust
    +關注

    關注

    1

    文章

    228

    瀏覽量

    6601
收藏 人收藏

    評論

    相關推薦

    Linux應用編程的基本概念

    Linux應用編程涉及到Linux環(huán)境下開發(fā)和運行應用程序的一系列概念。以下是一些涵蓋Linux應用編程的基本概念。
    的頭像 發(fā)表于 10-24 17:19 ?222次閱讀

    機械振動的三個基本要素

    機械振動是物體或質點在其平衡位置附近進行的往復運動。在物理學中,機械振動是一種非常普遍的現(xiàn)象,它涉及到許多不同的物理過程和應用。機械振動的三個基本要素是:振幅、周期和頻率。 1. 振幅
    的頭像 發(fā)表于 09-26 14:55 ?753次閱讀

    如何用Rust編寫一ChatGPT桌面應用(保姆級教程)

    官方網(wǎng)站 并遵循說明來安裝。 安裝 Rust 插件:打開 IntelliJ IDEA,然后轉到 "File" > "Settings" (Windows/Linux) 或
    的頭像 發(fā)表于 09-25 11:19 ?342次閱讀
    如何用<b class='flag-5'>Rust</b>編寫一<b class='flag-5'>個</b>ChatGPT桌面應用(保姆級教程)

    對稱相電壓的特點是哪三個方面

    對稱相電壓是電力系統(tǒng)中常見的一種電壓形式,它具有三個相位,每個相位之間的相位差為120度。對稱相電壓在工業(yè)生產(chǎn)和日常生活中有著廣泛的應用,如電動機、變壓器、發(fā)電機等。本文將從三個
    的頭像 發(fā)表于 08-12 18:18 ?1187次閱讀

    未來嵌入式系統(tǒng)的黃金搭檔 MCX N947遇上Rust

    ? Rust 介紹 Rust 是一門注重安全的語言,相比于 C/C++/ASM 有著更高級的抽象能力、編譯器帶來的安全特性與廣泛友好的社區(qū)支持Linux 與 Windows
    的頭像 發(fā)表于 07-25 09:14 ?1345次閱讀
    未來嵌入式系統(tǒng)的黃金搭檔 MCX N947遇上<b class='flag-5'>Rust</b>

    模擬信號的數(shù)字化過程包括三個步驟

    模擬信號的數(shù)字化是現(xiàn)代通信和信息處理的基礎,它涉及到將連續(xù)的模擬信號轉換為離散的數(shù)字信號,以便于計算機和其他數(shù)字設備進行處理和存儲。這個過程包括三個主要步驟:采樣、量化和編碼。下面我們將討論這三個
    的頭像 發(fā)表于 07-11 15:20 ?1996次閱讀

    建立神經(jīng)網(wǎng)絡模型的三個步驟

    建立神經(jīng)網(wǎng)絡模型是一復雜的過程,涉及到多個步驟和細節(jié)。以下是對建立神經(jīng)網(wǎng)絡模型的三個主要步驟的介紹: 第一步:數(shù)據(jù)準備 1.1 數(shù)據(jù)收集 數(shù)據(jù)是神經(jīng)網(wǎng)絡的基礎。首先,你需要收集足夠的數(shù)據(jù)來訓練
    的頭像 發(fā)表于 07-02 11:20 ?877次閱讀

    微波測量的三個基本參量是什么

    微波測量是電子工程領域中的一重要分支,它涉及到對微波信號的頻率、幅度、相位等參數(shù)的測量。在微波測量中,有三個基本參量:頻率、幅度和相位。這三個參量是微波信號的基本特征,對于微波系統(tǒng)的
    的頭像 發(fā)表于 05-28 14:46 ?1324次閱讀

    Linux 6.10集成RISC-V更新,支持Rust編程語言

    本次補丁升級中,Linux內(nèi)核進一步擴展了對應于RISC-V架構的Rust編程語言支持。在此之前,Rust已可應用在x86_64、龍芯Loo
    的頭像 發(fā)表于 05-23 17:16 ?946次閱讀

    Zed Code編輯器新增Linux支持

    據(jù)悉,Zed代碼編輯器是基于Rust語言開發(fā)的macOS軟件,近期其研發(fā)團隊宣布已成功實現(xiàn)Linux平臺兼容。據(jù)悉,今年年初Zed首次發(fā)布時并未提供Linux支持
    的頭像 發(fā)表于 05-10 10:31 ?563次閱讀

    微軟發(fā)布Linux內(nèi)核Rust模塊優(yōu)化補丁

    在此之前,Linux 內(nèi)核中要想實現(xiàn)模塊初始化,必須先創(chuàng)建一實例,再將其移至特定內(nèi)存空間。然而,經(jīng)過新補丁調(diào)整后,各模塊可直接在預設定好的內(nèi)存地址上完成初始化工作。
    的頭像 發(fā)表于 04-02 15:11 ?458次閱讀

    電能質量包括哪三個方面 電能質量監(jiān)測裝置作用是什么

    包括以下三個方面: 電壓質量:電壓穩(wěn)定性是評價電能質量的重要指標之一。供電系統(tǒng)中的電壓波形應該接近正弦波,且其幅值、頻率和相位應該穩(wěn)定。電壓的波動、閃變、諧波扭曲等問題可能會對電力設備的正常運行、電動機的轉速
    的頭像 發(fā)表于 02-02 15:01 ?2922次閱讀

    求助,請問一結構體如何全部定義 __attribute__ 區(qū)域?

    請問一結構體如何全部定義 __attribute__ 區(qū)域? 例如我這里涉及到一些高速計算的緩存,計劃將緩存數(shù)據(jù)存儲 __attribute__ 區(qū)域。
    發(fā)表于 01-16 07:29

    rk3399移植Linux內(nèi)核

    RK3399是一款由中國廠商瑞芯微推出的高性能處理器芯片,被廣泛用于嵌入式系統(tǒng)開發(fā)。在進行應用程序開發(fā)之前,我們需要將Linux內(nèi)核移植RK3399上,以支持硬件的驅動和功能。本文將
    的頭像 發(fā)表于 01-08 09:56 ?1123次閱讀

    Linux內(nèi)核內(nèi)存管理架構解析

    內(nèi)存管理子系統(tǒng)可能linux內(nèi)核中最為復雜的一子系統(tǒng),其支持的功能需求眾多,如頁面映射、頁面分配、頁面回收、頁面交換、冷熱頁面、緊急頁面
    的頭像 發(fā)表于 01-04 09:24 ?653次閱讀
    <b class='flag-5'>Linux</b><b class='flag-5'>內(nèi)核</b>內(nèi)存管理架構解析
    RM新时代网站-首页