使用 Rust 編寫 FreeBSD 內(nèi)核模塊

目前主流的操作系統(tǒng)內(nèi)核都是用 C/C++ 編寫的，這些語(yǔ)言在避免常見(jiàn)的安全問(wèn)題方面捉襟見(jiàn)肘。Rust 等現(xiàn)代語(yǔ)言默認(rèn)提供更好的安全保證，并防止許多常見(jiàn)的內(nèi)存安全漏洞。

在這篇文章中，我們將簡(jiǎn)要介紹 Rust 為實(shí)現(xiàn)這一安全目標(biāo)所做的努力，并為 FreeBSD 構(gòu)建一個(gè)基本的Hello World概念驗(yàn)證內(nèi)核模塊。

模式匹配兼容性策略

當(dāng)使用枚舉定義不同類型的數(shù)據(jù)時(shí)會(huì)非常方便，但是作為庫(kù)的作者需要考慮的更多一點(diǎn)，比如 enum 字段拓展后的兼容性問(wèn)題。假設(shè)開(kāi)始的定義為：

Non-exhaustive enums

Translating typical Error inheritance

Enums with an “open-ended” variant

學(xué)習(xí)使用 Rust 迭代器和組合子

Rust 的迭代器搭配組合器非常有趣，可以讓你的代碼更簡(jiǎn)潔、更實(shí)用。這篇文檔側(cè)重于如何借助迭代器使您的代碼更易于閱讀或重構(gòu)。 ReadMore:https://kerkour.com/rust-combinators

審核編輯：劉清