Model Releases/·5 min read·OraCore Editors

Linux 7.0 上線:Rust 與 AI 找蟲

Linux 7.0 加入正式 Rust 支援,擴充 ARM、RISC-V 等 CPU 工作,Linus Torvalds 也提到 AI 工具正在幫忙找出核心漏洞。

Share LinkedIn
Linux 7.0 上線:Rust 與 AI 找蟲

Linux 7.0 上線了。這次不是版本號很帥而已。重點是正式加入 Rust 支援,還補了 ARM、RISC-V、Loongson、SPARC、DEC Alpha 的工作。

更有意思的是,Linus Torvalds 直接提到 AI 工具可能會繼續找出核心漏洞。講白了,Linux 核心這種超大專案,現在連找蟲方式都在變。

這版很像老派工程師的作風。沒有煙火,只有一堆小修小補。可是這些小變化,會影響伺服器、虛擬化、儲存系統,還有整個開源社群怎麼看待 AI。

Linux 7.0 不是大改版,但訊號很明確

Torvalds 一向不愛把版本號講得像慶典。對他來說,7.0 比較像是長期 6.x 系列跑完後的正常換頁。這種做法很 Linux,也很實際。

Linux 7.0 上線:Rust 與 AI 找蟲

這次真正吸睛的,不是版本號,而是他對 AI 找蟲的說法。最後一週主要是「lots of small fixes」。這句話很平常,但搭上 AI 可能持續挖出 corner cases,就變得很有意思。

我覺得這代表維護流程已經變了。以前是人肉看 code、跑測試、等回報。現在是模型先掃一輪,再把可疑點丟給人確認。流程沒變少,反而更吵,但訊號也更密。

  • 版本:Linux 7.0
  • 最後一週:大量小修補
  • Torvalds 對 AI:可能還會繼續找出 corner cases
  • 版本策略:延續 x.19 後再切主版本,避免混亂

Rust 正式進核心,這件事很務實

Rust 進 Linux 核心,不是因為大家突然愛上新語言。原因很簡單,記憶體安全問題一直在炸。C 語言很強,但在核心層級,出一次錯就可能是整台機器一起陪葬。

Linux 7.0 把 Rust 從實驗狀態拉進正式支援。意思不是整個 kernel 要重寫。意思是,未來某些新模組可以合法用 Rust 寫,而且維護者不用再把它當旁門左道。

這對開發者很實際。你多了一條可走的路。對使用者來說,短期看不出來,但長期可能少掉一批記憶體誤用造成的 bug。這種改善很悶,但很值錢。

“The last week of the release continued the same ‘lots of small fixes’ trend, but it all really does seem pretty benign, so I've tagged the final 7.0 and pushed it out.” — Linus Torvalds

AI 找蟲,現在不是嘴砲了

AI 這部分最值得聊。LWN 和核心社群最近都在討論,AI 產生的 bug report 已經從吵雜,慢慢變成有用。這不是說模型會寫核心,而是它很會掃出可疑路徑。

Linux 7.0 上線:Rust 與 AI 找蟲

Torvalds 的副手 Greg Kroah-Hartman 也說過,AI 已經變成真的有用的 bug spotter。這句話很重。因為 kernel 維護者最怕的不是沒報告,是一堆不能重現、不能定位、不能驗證的垃圾訊息。

所以重點不是「AI 會不會取代工程師」。重點是 AI 能不能把報告寫得夠像樣,讓人一看就知道哪裡有問題。能做到這點,它就不是玩具,是工具。

  • Greg Kroah-Hartman 認為 AI 已成為有用的 bug spotter
  • 核心文件已更新,讓 AI 也能照規則送安全回報
  • 維護者收到的有效回報變多
  • Torvalds 預期 AI 還會繼續挖出更多 corner cases

這版還有很多硬體味道

如果你只看 Rust 和 AI,很容易忽略其他更新。但對實際部署的人來說,硬體支援才是每天會碰到的東西。Linux 7.0 在 ARM、RISC-V、Loongson 上都有進展,這對伺服器和嵌入式環境都重要。

另外,AMD EPYC 5 的 KVM 支援也更完整。這對虛擬化環境很有感。你如果跑雲端主機、CI 平台、容器節點,這類更新通常不會上新聞,但會進到你的成本表。

儲存部分也有看點。XFS 加入 self-healing 行為,這對大規模資料環境很實用。XFS 本來就常出現在企業儲存和高吞吐場景,現在更偏向「出事時別整個掛掉」的路線。

  • ARM、RISC-V、Loongson 持續加強
  • AMD EPYC 5 的 KVM 支援更完整
  • XFS 加入 self-healing 行為
  • SPARC 與 DEC Alpha 也有新程式碼

競品怎麼看,Linux 的做法很老派

如果拿 Linux 跟其他大型開源專案比,差異很明顯。像 FreeBSD 在核心設計上更保守,OpenBSD 則更偏安全優先。Linux 的路線比較像是:先把新東西納進來,再慢慢收斂。

Rust 也是這樣。不是一次全面轉向,而是先在局部模組落地。這種節奏很符合大型核心專案的現實。你不能一口氣改掉幾千萬行 code,除非你想把整個社群搞瘋。

AI 這件事也一樣。Linux 沒有把它包裝成神奇解法,而是直接訂規則、調文件、看哪些報告真的有料。這種態度很土,但有效。

  • Linux:逐步吸收 Rust 與 AI 工具
  • FreeBSD:核心設計較保守
  • OpenBSD:更偏安全優先
  • Linux 的優勢:社群大,能快速驗證新流程

這其實是 Linux 的成熟姿勢

講白了,Linux 7.0 沒有在炫技。它在做的是成熟專案最難的事:接受新工具,但不亂來。Rust 進來了,AI 也進來了,可是規則還是很硬。

這對系統軟體圈很重要。現在很多團隊都在看 AI 怎麼進開發流程,但真正難的不是接 API,而是怎麼把產出的東西變成可維護、可驗證、可追蹤的資料。

Linux 這次給的答案很直接:先把報告品質拉高,再談規模。這種務實感,才是它能撐這麼久的原因。

接下來會怎樣

我猜下一輪核心更新,AI 相關文件還會再補。Rust 也會先出現在更多隔離模組,而不是整包擴散。這樣比較慢,但比較不會翻車。

如果你是做基礎建設、雲端、儲存或 kernel 周邊開發的人,現在很值得開始看 AI-assisted report 的流程。你不是在追風口。你是在看未來幾年的維護習慣怎麼改。

問題只有一個:你的團隊,準備好把模型產出的訊號,當成正式工程資料來處理了嗎?