C++標準委員會放棄了創(chuàng)建嚴格安全子集的詳細提案,盡管對內(nèi)存安全的擔憂持續(xù)存在。提案共同作者Sean Baxter表示,安全與保障工作組投票優(yōu)先考慮配置文件而非安全C++。該提案原本旨在讓C++開發(fā)者獲得Rust的內(nèi)存安全性,無需學(xué)習(xí)新語言。委員會成員對此決定存在分歧,Baxter認為配置文件方案無法實現(xiàn)目標。這一爭議可能促使開發(fā)者轉(zhuǎn)向Rust或Google的Carbon等其他語言。
Linux內(nèi)核開發(fā)面臨動蕩時期,Rust語言引入引發(fā)摩擦,多名核心開發(fā)者相繼離職。文章介紹了三個有趣的替代方案:Managarm是基于微內(nèi)核的操作系統(tǒng),支持運行Linux軟件;Asterinas采用Rust語言開發(fā),使用新型framekernel架構(gòu)實現(xiàn)內(nèi)核隔離;Xous同樣基于Rust和微內(nèi)核設(shè)計,已有實際硬件產(chǎn)品Precursor發(fā)布。這些項目證明了除Linux之外,還有許多令人興奮的操作系統(tǒng)研發(fā)工作正在進行。
Rust 在 Linux 內(nèi)核中的應(yīng)用正在穩(wěn)步推進,預(yù)計將在短期內(nèi)帶來顯著收益。盡管 Rust 與以 C 語言為主的代碼庫整合仍存在挑戰(zhàn),但多個子系統(tǒng)已開始采用 Rust 編寫驅(qū)動程序。業(yè)界預(yù)計未來 12-18 個月內(nèi),首個 Rust 驅(qū)動程序?qū)⒈缓喜⒌街骶內(nèi)核中,這將提升 Linux 系統(tǒng)的安全性。然而,Rust 和 C 語言社區(qū)之間的分歧仍需進一步協(xié)調(diào)。