吴忠躺衫网络科技有限公司

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

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

3天內不再提示

Linux 內核對Rust的支持可能涉及到的三個方面

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

從去年九月,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

    文章

    11345

    瀏覽量

    210417
  • API
    API
    +關注

    關注

    2

    文章

    1511

    瀏覽量

    62402
  • Rust
    +關注

    關注

    1

    文章

    230

    瀏覽量

    6668
收藏 人收藏

    評論

    相關推薦

    Linux應用編程的基本概念

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

    機械振動的三個基本要素

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

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

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

    linux驅動程序如何加載進內核

    Linux系統中,驅動程序是內核與硬件設備之間的橋梁。它們允許內核與硬件設備進行通信,從而實現對硬件設備的控制和管理。 驅動程序的編寫 驅動程序的編寫是Linux驅動開發的基礎。在編
    的頭像 發表于 08-30 15:02 ?592次閱讀

    Linux內核測試技術

    Linux 內核Linux操作系統的核心部分,負責管理硬件資源和提供系統調用接口。隨著 Linux 內核的不斷發展和更新,其復雜性和代碼規
    的頭像 發表于 08-13 13:42 ?589次閱讀
    <b class='flag-5'>Linux</b><b class='flag-5'>內核</b>測試技術

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

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

    未來嵌入式系統的黃金搭檔 MCX N947遇上Rust

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

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

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

    機器人視覺可以分為哪三個部分?

    機器人視覺是機器人技術中的一重要分支,它涉及到圖像處理、計算機視覺、機器學習等多個領域。機器人視覺可以分為三個主要部分:圖像采集、圖像處理和圖像理解。 一、圖像采集 攝像頭類型 圖像采集是機器人
    的頭像 發表于 07-04 11:17 ?735次閱讀

    建立神經網絡模型的三個步驟

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

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

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

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

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

    如何判斷極管的三個極性

    極管是電子電路中的基本元件之一,其性能的好壞直接影響整個電路的性能。而判斷極管的三個極性(基極b、發射極e、集電極c)是電路分析和設計中不可或缺的一步。下面將詳細介紹判斷
    的頭像 發表于 05-21 15:26 ?7035次閱讀

    Zed Code編輯器新增Linux支持

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

    微軟發布Linux內核Rust模塊優化補丁

    在此之前,Linux 內核中要想實現模塊初始化,必須先創建一實例,再將其移至特定內存空間。然而,經過新補丁調整后,各模塊可直接在預設定好的內存地址上完成初始化工作。
    的頭像 發表于 04-02 15:11 ?511次閱讀
    大发888葡京下载地址| 网上百家乐官网| 我的做生意财位| 大发888国际| 百家乐官网最佳投注办法| 百家乐最佳投注法下载| bet365取消提款| 打百家乐官网纯打庄的方法| 百家乐有没有单机版的| 吕梁市| 疯狂百家乐官网游戏| 恒丰百家乐的玩法技巧和规则| 百家乐官网园千术大全| 百家乐ho168平台| 明升网址 | 正品百家乐官网的玩法技巧和规则 | 尊龙百家乐官网娱乐平台| 百家乐无损打法| 百家乐官网的玩法视频| 百家乐桌定制| 百家乐官网娱乐网站| 易球百家乐娱乐城| 百家乐官网洗码软件| 查看百家乐赌博| 安国市| 皇冠百家乐代理网址| 晋江市| 百家乐英皇娱乐网| 顶尖百家乐官网对单| 百家乐补第三张牌规则| 百家乐官网网投注| 免费百家乐过滤软件| 百家乐官网靠什么赢| 百家乐说明| 百家乐官网视频软件下载| 百家乐投注网出租| 百家乐官网是怎样算牌| 高额德州扑克第七季| 百家乐赢钱皇冠网| 东丰县| 百家乐乐翻天|