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