沒(méi)人能徹底搞懂Linux內(nèi)核的3500萬(wàn)行代碼！Linus談未來(lái)演進(jìn)：掌控“大局”、別指望Rust能修復(fù)所有Bug、486時(shí)代該結(jié)束了

整理 | 屠敏

出品 | CSDN（ID：CSDNnews）

“我完全不反對(duì) Rust，但我也希望降低大家對(duì)它的期待，不要認(rèn)為 Rust 能夠像魔法一樣修復(fù)所有 Bug。”

近日，Linux、Git 之父 Linus Torvalds 現(xiàn)身印度孟買(mǎi)，在與 Verizon 開(kāi)源項(xiàng)目辦公室負(fù)責(zé)人 Dirk Hohndel 展開(kāi)最新一輪圍爐式深度對(duì)話時(shí)如是說(shuō)道。這場(chǎng)對(duì)話伴隨 Linux 7.1 新版本發(fā)布，此次他同樣摒棄了正式演講、以自由問(wèn)答形式拆解開(kāi)源內(nèi)核數(shù)十年運(yùn)轉(zhuǎn)邏輯。

在 3500 萬(wàn)行龐大內(nèi)核代碼的維護(hù)壓力下，Linus 再次強(qiáng)調(diào)自己早已不再是一線寫(xiě)核心代碼的程序員，日常工作核心是把控“大局”，關(guān)注 Linux 的整體架構(gòu)。

同時(shí)他進(jìn)一步解釋了 Linux 最新版本中眾人關(guān)注的熱點(diǎn)話題：淘汰 486S 處理器、內(nèi)核中兩套 NTFS 實(shí)現(xiàn)的并行競(jìng)爭(zhēng)、Rust 語(yǔ)言定位邊界，也直面道出 AI 給內(nèi)核社區(qū)帶來(lái)的雙面沖擊 ——LLM 能挖出埋藏多年的隱蔽 Bug，卻只會(huì)產(chǎn)出缺乏全局思考的 “創(chuàng)可貼式補(bǔ)丁”，至今仍缺失成熟工程思維。

他還明確收緊內(nèi)核合并窗口規(guī)則，要求內(nèi)核維護(hù)者不要扎堆在版本合并窗口的最后期限提交修復(fù)補(bǔ)丁；坦言維護(hù)大型開(kāi)源項(xiàng)目最大壓力從來(lái)不是代碼沖突，而是復(fù)雜的人際溝通。

整場(chǎng)對(duì)話跳出技術(shù)表層，Linus 從三十余年開(kāi)源實(shí)操視角，聊透穩(wěn)定迭代、語(yǔ)言取舍、工具邊界、社區(qū)治理等底層問(wèn)題，還原 Linux 內(nèi)核當(dāng)下真實(shí)的開(kāi)發(fā)現(xiàn)狀。

視頻地址：https://www.youtube.com/watch?v=YKkEe-PxW10

Linux 7.1 新版發(fā)布！

Dirk Hohndel：很高興能來(lái)到這里。回到孟買(mǎi)非常令人興奮，我大概有 21 年沒(méi)來(lái)過(guò)這里了。我們非常享受這里宜人的天氣。之前有人告訴我會(huì)是 120 華氏度且大雨傾盆，所以現(xiàn)在的天氣看起來(lái)真的很不錯(cuò)。我們也享用了這里的美食，非常棒。我是 Dirk Hohndel，從事開(kāi)源開(kāi)發(fā)的時(shí)間可能比在座大多數(shù)人的年紀(jì)都要長(zhǎng)。而這位是……

Linus Torvalds：我是 Linus。請(qǐng)先別鼓掌，因?yàn)槲覙O其討厭公開(kāi)演講。之所以采用這種“圍爐談話”的形式，是因?yàn)檫@樣我就不需要提前準(zhǔn)備和思考我要說(shuō)什么，而是由別人準(zhǔn)備好問(wèn)題來(lái)問(wèn)我，我甚至不知道問(wèn)題是什么。希望這能讓對(duì)話更自然流暢，也讓我沒(méi)那么討厭這種公開(kāi)場(chǎng)合。

Dirk Hohndel：這是一個(gè)非常有說(shuō)服力的開(kāi)場(chǎng)。你在倫敦希思羅機(jī)場(chǎng)時(shí)發(fā)布了 Linux 7.1，這一版有哪些亮點(diǎn)？

Linus Torvalds：其實(shí)我常說(shuō)，我們已經(jīng)很久沒(méi)有傳統(tǒng)意義上的“亮點(diǎn)”了。對(duì)我來(lái)說(shuō)，真正的亮點(diǎn)在于，Linux 一直在穩(wěn)定地向前發(fā)展。過(guò)去 20 多年里，我們一直堅(jiān)持同樣的方式。

自 2005 年起，我們轉(zhuǎn)向了使用 Git 的新開(kāi)發(fā)模式并采用新的發(fā)布周期，整個(gè)開(kāi)發(fā)流程一直運(yùn)行得非常可靠。這也意味著，我們不再發(fā)布那種擁有“重大、華麗新功能”的版本，事實(shí)上，我甚至在刻意避免這種模式。我們追求的是持續(xù)的增量改進(jìn)，以及穩(wěn)步推進(jìn)的發(fā)展節(jié)奏。

最近，這件事變得稍微困難了一些，因?yàn)?AI 發(fā)現(xiàn)了一些有趣的 Bug，給社區(qū)成員帶來(lái)了不小的壓力。但總體而言，我們依然保持著每 9 到 10 周發(fā)布一個(gè)新版本的節(jié)奏，確保系統(tǒng)始終穩(wěn)定演進(jìn)，而不是時(shí)不時(shí)給社區(qū)帶來(lái)意外的“驚喜”。

Dirk Hohndel：但我們還是看到了一些有趣的新東西，比如更新后的 NTFS 子系統(tǒng)。

Linus Torvalds：我們?cè)?NTFS 上有一段很奇特的歷史。Linux 有幾十種不同的文件系統(tǒng)，多到數(shù)不清。

多年來(lái)，NTFS 一直是個(gè)“問(wèn)題兒童”，有時(shí)候很難找到人來(lái)維護(hù)它?，F(xiàn)在突然出現(xiàn)了兩個(gè)不同的團(tuán)隊(duì)在維護(hù)兩個(gè)不同版本的 NTFS，而且它們都能正常工作。我目前的態(tài)度就是讓他們競(jìng)爭(zhēng)，看看哪一個(gè)能勝出，或者可能兩個(gè)都會(huì)長(zhǎng)期存在。

37 年后 Linux 停止支持 Intel 486 處理器

Dirk Hohndel：這確實(shí)是比較令人興奮的事情之一。另一件被廣泛討論的事則帶點(diǎn)傷感：對(duì) 的支持消失了。

Linus Torvalds：我想說(shuō)，是時(shí)候放手了。在技術(shù)問(wèn)題上，我并不是一個(gè)感性的人。我始終認(rèn)為，只要還有用戶，就應(yīng)該繼續(xù)維持對(duì)硬件的支持；但與此同時(shí)，到了某個(gè)階段，維護(hù)舊硬件的成本終究會(huì)變成一種沉重的負(fù)擔(dān)。這不僅體現(xiàn)在修復(fù) Bug 上，更多體現(xiàn)在為新功能提供兼容支持上。

我們終于要移除浮點(diǎn)模擬代碼了。不過(guò)，這不是針對(duì) 486，而是針對(duì)更早一代的硬件。從即將發(fā)布的 7.2 版本開(kāi)始，我們將不再支持那些在 x86 架構(gòu)上沒(méi)有硬件浮點(diǎn)運(yùn)算單元（FPU）的機(jī)器。我想，最后一款這樣的硬件大概是 30 年前發(fā)布的 486SX。

Dirk Hohndel：486SX，沒(méi)錯(cuò)。那是 1993 年左右的事情了。

Linus Torvalds：是的，距今已有 30 多年。我們以前一直支持那個(gè)硬件基礎(chǔ)。雖然它不需要太多維護(hù)工作，但在你每次進(jìn)行更改時(shí)，它依然是需要額外關(guān)注的對(duì)象。

因此，我們現(xiàn)在正更積極地嘗試放棄對(duì)那些除了在博物館外、實(shí)際上已經(jīng)沒(méi)人在用的硬件支持。

Dirk Hohndel：沒(méi)錯(cuò)，最近好像還處理了業(yè)余無(wú)線電數(shù)據(jù)包層、ISDN、ATM 等老舊且無(wú)人維護(hù)的代碼。

Linus Torvalds：是的，我們正在嘗試清理源代碼庫(kù)。這屬于持續(xù)改進(jìn)的一部分，目的是確保代碼是可維護(hù)的。Linux 的代碼庫(kù)非常龐大，維護(hù)起來(lái)絕非易事，但至少我們不應(yīng)該讓它變得比必要的更難。

Linus：不要總是趕在合并窗口前再提交修復(fù)

Dirk Hohndel：在飛往孟買(mǎi)的飛機(jī)上時(shí)，合并窗口開(kāi)啟了，你坐在飛機(jī)座位上就開(kāi)始處理合并請(qǐng)求了。

最近幾個(gè)內(nèi)核版本中，我們看到后期 RC（發(fā)布候選版）的數(shù)量明顯增加。那么，這種趨勢(shì)在合并窗口階段是否也存在？比如，規(guī)模更大的合并請(qǐng)求是否會(huì)更早地集中涌入？

Linus Torvalds：合并窗口的代碼量確實(shí)略有增加，但沒(méi)那么多。

我認(rèn)為，現(xiàn)在出現(xiàn)這種情況，除了 AI 幫助發(fā)現(xiàn)了更多問(wèn)題這一顯而易見(jiàn)的原因之外，還有一點(diǎn)是：這些問(wèn)題一旦被發(fā)現(xiàn)，我們有時(shí)會(huì)選擇非常激進(jìn)地立即修復(fù)，而不是把修復(fù)留到下一版本繼續(xù)開(kāi)發(fā)。

不過(guò)，這其中也有一部分原因在于我自己。過(guò)去，我可能太愿意接受那些并非絕對(duì)必要的修復(fù)補(bǔ)丁了。所以上一個(gè)版本中，我告訴大家：“冷靜一點(diǎn)。如果不是特別重要的修復(fù)，就把它排到下一版本，不要總是在最后一刻給我發(fā)修復(fù)補(bǔ)丁?！?/p>

希望在座的軟件開(kāi)發(fā)者都能理解這一點(diǎn)：修復(fù)補(bǔ)丁當(dāng)然是為了解決問(wèn)題，但它本身也可能帶來(lái)新的問(wèn)題。因此，每到發(fā)布窗口后期，我們都要權(quán)衡一個(gè)問(wèn)題：這個(gè)修復(fù)雖然能解決現(xiàn)有問(wèn)題，但它是否值得冒著引入新 Bug 的風(fēng)險(xiǎn)，在這個(gè)階段合入？

因此，我現(xiàn)在開(kāi)始收緊這方面的做法，因?yàn)橛行┤艘呀?jīng)習(xí)慣在發(fā)布窗口臨近結(jié)束時(shí)才提交修復(fù)。對(duì)于 Linux 內(nèi)核來(lái)說(shuō)，這其實(shí)沒(méi)有太大必要。我們的發(fā)布節(jié)奏本來(lái)就很快，一個(gè)版本周期大約只有九周，因此把修復(fù)推遲到下一版本，通常并不是一件大事。

如果一個(gè)修復(fù)并不是為了解決特別嚴(yán)重的問(wèn)題，而且我們對(duì)它仍有一些顧慮，那么即使它確實(shí)是一個(gè)修復(fù)，也完全可以推遲幾周，在下一版本中再合入。之前連續(xù)幾個(gè)版本規(guī)模都太大了，我擔(dān)心我們正在朝著錯(cuò)誤的方向發(fā)展，所以現(xiàn)在正努力把節(jié)奏重新調(diào)整回來(lái)。

Dirk Hohndel：經(jīng)過(guò)兩天的 PR 合并，有什么讓你印象深刻的事情嗎？

Linus Torvalds：沒(méi)有。我會(huì)盡量避免在旅行期間開(kāi)啟合并窗口，因?yàn)槟峭ǔＪ俏易蠲β档臅r(shí)候。

在兩周的合并窗口期內(nèi)，我大概需要完成 200 次合并，這是一個(gè)比較粗略的數(shù)字。這意味著，我不希望自己只是進(jìn)行“盲目合并”。雖然我非常信任那些長(zhǎng)期與我合作的核心開(kāi)發(fā)者，其中一些人甚至已經(jīng)和我共事了三十年，但我仍然認(rèn)為，我的職責(zé)不僅僅是把代碼合并進(jìn)來(lái)，還需要從更宏觀的角度理解整個(gè)過(guò)程中發(fā)生了什么。

同時(shí)，這并不是一個(gè)特別有壓力的時(shí)期。我們有一套非常有序的發(fā)布流程，新代碼雖然會(huì)帶來(lái)技術(shù)問(wèn)題，但這些問(wèn)題本身并不會(huì)讓我感到困擾，因?yàn)樗鼈兌际强梢越鉀Q的。

我會(huì)經(jīng)歷兩周高強(qiáng)度的合并工作，當(dāng)然，我希望這不是在飛機(jī)上完成。但即使如此，這也并不會(huì)真正帶來(lái)壓力。真正讓我感到壓力的，往往是偶爾出現(xiàn)的“人際關(guān)系”問(wèn)題。要知道，代碼很容易修復(fù)，但人的性格和相處問(wèn)題并不總是那么容易解決。這也是為什么在合并窗口期間，真正困難的地方往往并不只是處理技術(shù)細(xì)節(jié)，而是需要同時(shí)面對(duì)各種人與人之間的問(wèn)題。

“Linux 內(nèi)核有 3500 萬(wàn)行代碼，沒(méi)有人能夠真正理解全部代碼”

Dirk Hohndel：你剛才提到，你希望更多了解進(jìn)入內(nèi)核的代碼?？紤]到你需要在兩周內(nèi)處理大約 200 個(gè) PR，你實(shí)際上還有多少時(shí)間去閱讀代碼、理解代碼背后的意圖，或者了解它涉及的具體領(lǐng)域？

Linus Torvalds：說(shuō)實(shí)話，我現(xiàn)在幾乎不再閱讀代碼了。我不是傳統(tǒng)意義上的程序員，而是一名開(kāi)發(fā)主導(dǎo)者。當(dāng)然，我知道如何編程，也依然會(huì)為了興趣寫(xiě)代碼，但那些業(yè)余項(xiàng)目并不是 Linux 內(nèi)核，而只是一些我享受其中過(guò)程的小玩意。

我更多依賴的是“信任”。我認(rèn)為，開(kāi)源項(xiàng)目本質(zhì)上都建立在信任之上——我們彼此了解，已經(jīng)共同工作了很多年，甚至幾十年。我合并的那 200 個(gè)拉取請(qǐng)求，來(lái)自于那些我長(zhǎng)期合作并且信任的人。

我并不認(rèn)為自己需要完全理解每一行代碼。畢竟，面對(duì)一個(gè)擁有 3500 萬(wàn)行代碼的項(xiàng)目，沒(méi)有任何人能夠真正理解全部代碼。

在處理一個(gè)拉取請(qǐng)求時(shí)，我真正想了解的是“大局”。這也是為什么我要求提交者必須提供非常詳細(xì)的說(shuō)明。我會(huì)認(rèn)真閱讀這些說(shuō)明，了解發(fā)生了什么，以及為什么要做這些改變。

這樣做的意義在于，未來(lái)如果出現(xiàn)問(wèn)題，我能夠回憶起當(dāng)時(shí)的背景。即使我從未親自查看過(guò)那部分代碼，遇到問(wèn)題時(shí)也能馬上想到：“我知道這件事是怎么回事，也知道應(yīng)該從哪里開(kāi)始排查。”這就是我現(xiàn)在工作的層面。

事實(shí)上，到目前為止，我已經(jīng)幾十年沒(méi)有真正編寫(xiě)所謂的“核心代碼”了。

Dirk Hohndel：但你還是會(huì)寫(xiě)一些小東西……

Linus Torvalds：我當(dāng)然還會(huì)寫(xiě)代碼。比如，我可能會(huì)給別人發(fā)送補(bǔ)丁，或者提出一個(gè)可能的修復(fù)方案：“嘿，也許可以這樣處理?！?/p>

但我會(huì)明確說(shuō)明，這只是一個(gè)建議，沒(méi)有經(jīng)過(guò)完整測(cè)試。它可能只是我剛剛編譯過(guò)，甚至偶爾運(yùn)行過(guò)的東西。

我希望真正負(fù)責(zé)這一部分代碼的維護(hù)者，能夠基于這個(gè)思路進(jìn)一步完善，并提交最終的修復(fù)方案。所以現(xiàn)在，我親自提交代碼的情況已經(jīng)非常少了。偶爾會(huì)發(fā)生，但確實(shí)非常罕見(jiàn)。

Dirk Hohndel：你說(shuō)自己不再看代碼，這一點(diǎn)很有意思。因?yàn)閷?duì)于維護(hù)者來(lái)說(shuō)，想獲得你全部注意力，一個(gè)有效的方法就是提交一個(gè)會(huì)導(dǎo)致構(gòu)建失敗的拉取請(qǐng)求。那時(shí)候，你一定會(huì)認(rèn)真檢查代碼，而且還會(huì)“非常仁慈、非常體諒”地對(duì)待他們。

Linus Torvalds：我正在努力改進(jìn)這一點(diǎn)。

其實(shí)，我并不是完全不看代碼。比如，在合并過(guò)程中遇到代碼沖突時(shí)，我就會(huì)查看相關(guān)代碼。這種情況很常見(jiàn)，也沒(méi)有什么問(wèn)題。

有些人覺(jué)得解決沖突很困難，但多年來(lái)我處理過(guò)太多沖突了，甚至閉著眼睛都能完成這類工作。我并不擔(dān)心這一點(diǎn)。

不過(guò)，沖突往往意味著兩個(gè)不同團(tuán)隊(duì)同時(shí)修改了同一部分代碼。這時(shí)候，我會(huì)仔細(xì)看看雙方到底做了什么，而很多問(wèn)題恰恰會(huì)在這個(gè)階段暴露出來(lái)。有時(shí)，問(wèn)題的根源在于兩個(gè)團(tuán)隊(duì)實(shí)際上有著不同的目標(biāo)。

另外，如果一個(gè)拉取請(qǐng)求的說(shuō)明寫(xiě)得不夠清楚，我也會(huì)去查看代碼。有時(shí)候，看完代碼后，我會(huì)明白：“哦，原來(lái)他們想做的是這個(gè)?！?/p>

但也有一些情況，即使看完代碼，我仍然覺(jué)得這個(gè)改動(dòng)不合理，那么我就會(huì)拒絕它。

所以，雖然我已經(jīng)不是傳統(tǒng)意義上的程序員，但我仍然擁有足夠深厚的技術(shù)背景，能夠在需要查看代碼時(shí)做出判斷。

“不要認(rèn)為 Rust 能夠像魔法一樣修復(fù)所有 Bug”

Dirk Hohndel：我們剛才提到，這種開(kāi)發(fā)模式的轉(zhuǎn)變發(fā)生在 20 年前，其中一個(gè)重要原因就是 Git 的誕生。如今，Git 仍然是你處理所有工作的主要工具嗎？你還會(huì)使用其他工具嗎？或者有沒(méi)有什么工具是你希望擁有的？

Linus Torvalds：對(duì)我個(gè)人來(lái)說(shuō)，Git 和電子郵件基本就是我使用的全部工具。我會(huì)用 Google 查詢資料。我相信在座的一些人可能天生就能記住整個(gè)行業(yè)里的各種三字母縮寫(xiě)，但我做不到。人們經(jīng)常會(huì)在提交說(shuō)明中提到一些我并不熟悉的領(lǐng)域，使用各種縮寫(xiě)和專業(yè)術(shù)語(yǔ)，讓我完全摸不著頭腦。這時(shí)候，我就會(huì)去 Google 搜索。所以，從這個(gè)意義上來(lái)說(shuō)，Google 也是我的工具。

但絕大多數(shù)時(shí)候，我做的事情就是閱讀郵件，以及使用 Git 進(jìn)行代碼合并。這就是我工作的核心工具。

不過(guò)，我想強(qiáng)調(diào)一點(diǎn)：我是一個(gè)特殊案例。大多數(shù)其他維護(hù)者使用的工具要豐富得多，很多人現(xiàn)在也開(kāi)始使用 AI 工具來(lái)輔助補(bǔ)丁檢查。

但既然我說(shuō)自己的工作是在更高層級(jí)上進(jìn)行，那么我面對(duì)的核心對(duì)象其實(shí)是“人”，而不是工具。這也是為什么我一直強(qiáng)調(diào)“信任”。

我信任的是開(kāi)發(fā)者本人，以及他們做出的判斷。這種信任往往已經(jīng)建立了幾十年。開(kāi)發(fā)者可能會(huì)從一家企業(yè)跳槽到另一家企業(yè)，但我并不關(guān)心他們使用什么郵箱，也不關(guān)心他們現(xiàn)在效力于哪家公司。我信任的是這個(gè)人本身，以及他長(zhǎng)期以來(lái)展現(xiàn)出的判斷能力。

我認(rèn)為，很多開(kāi)源項(xiàng)目都是以這種方式運(yùn)轉(zhuǎn)的。而且在開(kāi)源社區(qū)中，這一點(diǎn)比公司內(nèi)部更加明顯——在公司里，你可能因?yàn)槟硞€(gè)人是同事而信任他；但在開(kāi)源社區(qū)，你信任一個(gè)人，是因?yàn)槟銈円呀?jīng)長(zhǎng)期合作，并且共同經(jīng)歷了很多事情。

Dirk Hohndel：Git 當(dāng)然也是你發(fā)起的另一個(gè)重要項(xiàng)目。這個(gè)月，Git 決定引入 Rust。雖然目前 Rust 仍然是可選項(xiàng)，但默認(rèn)配置已經(jīng)開(kāi)啟，而在未來(lái)的 Git 3 中，Rust 將成為必需項(xiàng)。你認(rèn)為這種趨勢(shì)會(huì)在更多領(lǐng)域出現(xiàn)嗎？比如 Linux 內(nèi)核目前也已經(jīng)正式將 Rust 作為支持的編程語(yǔ)言之一。

Linus Torvalds：我不確定 Rust 是否會(huì)接管整個(gè)世界。我認(rèn)為 Rust 確實(shí)很有趣，但也許因?yàn)槲业膫€(gè)人經(jīng)歷，我仍然覺(jué)得 C 語(yǔ)言是一種更簡(jiǎn)單、更直接的工具。

其實(shí)，我個(gè)人更感興趣的是那些幫助驗(yàn)證 C 代碼的工具。我們已經(jīng)擁有多年的靜態(tài)分析工具，但我更喜歡近年來(lái)出現(xiàn)的自動(dòng)化補(bǔ)丁驗(yàn)證工具。這些工具正在真正創(chuàng)造價(jià)值。它們并不能提供 Rust 那樣的安全保障，但它們能夠讓更多“眼睛”去檢查代碼，幫助發(fā)現(xiàn)開(kāi)發(fā)者在傳統(tǒng) C 語(yǔ)言開(kāi)發(fā)中經(jīng)常犯的錯(cuò)誤。

所以，我對(duì)正在出現(xiàn)的這一類工具非常興奮。現(xiàn)在我們已經(jīng)有了像 Sashiko 這樣的自動(dòng)化測(cè)試工具，以及針對(duì)補(bǔ)丁的自動(dòng)化郵件檢查流程。

Dirk Hohndel：我總覺(jué)得，C 語(yǔ)言就像一把“電鋸”，而 Rust 更像是一臺(tái)帶有精密控制系統(tǒng)的 CNC 數(shù)控機(jī)床。有些人更習(xí)慣使用電鋸……

Linus Torvalds：我更像是那種“簡(jiǎn)單粗暴”的人。我依然喜歡 C 語(yǔ)言那種原始而直接的力量，我不認(rèn)為這一點(diǎn)會(huì)改變。

回到 Git 的話題，Git 的目標(biāo)之一從來(lái)不是 C 語(yǔ)言本身。C 只是一個(gè)實(shí)現(xiàn)選擇，因?yàn)樗俏乙恢笔褂玫恼Z(yǔ)言。我希望 Git 擁有幾個(gè)非常高層的概念，能夠解釋整個(gè)架構(gòu)。

你可以從 Git 的早期歷史中看到這一點(diǎn)，我們不僅有 C 語(yǔ)言版本，還有實(shí)際上在很多公司后臺(tái)運(yùn)行的 Java 版本。在服務(wù)器環(huán)境中，擁有 Java 版本的 Git 通常非常方便。Git 現(xiàn)在開(kāi)始支持 Rust 也不像 Rust 進(jìn)入內(nèi)核那樣是一個(gè)巨大的變化，因?yàn)?Git 本來(lái)就已經(jīng)支持多種不同的語(yǔ)言實(shí)現(xiàn)了。

Dirk Hohndel：這很有意思，因?yàn)?Rust 正在被推廣到越來(lái)越多的領(lǐng)域。我們已經(jīng)看到了一些早期案例：開(kāi)發(fā)者使用 LLM 將現(xiàn)有工具重寫(xiě)并遷移到 Rust。但與此同時(shí)，也出現(xiàn)了一些相當(dāng)嚴(yán)重的問(wèn)題，比如 Ubuntu 23.10 的自動(dòng)更新故障。

Linus Torvalds：公平地說(shuō)，Rust 確實(shí)能夠避免一些在 C 語(yǔ)言中很容易犯的低級(jí)錯(cuò)誤，但它并不能解決邏輯錯(cuò)誤。它不會(huì)替你思考。

如果你的代碼邏輯本身有問(wèn)題，那么無(wú)論使用什么編程語(yǔ)言，最終結(jié)果都會(huì)是錯(cuò)誤的。

我完全不反對(duì) Rust，但我也希望降低大家對(duì)它的期待，不要認(rèn)為 Rust 能夠像魔法一樣修復(fù)所有 Bug。它只能解決某些特定類型的問(wèn)題，讓一些錯(cuò)誤更難發(fā)生，但你依然可能犯大量邏輯錯(cuò)誤。

事實(shí)上，最近 Linux 內(nèi)核中一些影響較大的 Bug，恰恰都是邏輯錯(cuò)誤，而不是內(nèi)存安全問(wèn)題，也不是由于某些復(fù)雜的語(yǔ)言特性導(dǎo)致的，而是單純的編程邏輯出了問(wèn)題。

遺憾的是，即使是在維護(hù)良好的子系統(tǒng)中，甚至是在那些理論上應(yīng)該非常安全的內(nèi)核核心部分，也依然可能發(fā)生這種情況。所以，不要期待某種編程語(yǔ)言能夠自動(dòng)幫你解決所有 Bug。

Dirk Hohndel：在向 Rust 過(guò)渡的過(guò)程中，像 Linux 內(nèi)核或者 Git 這樣的項(xiàng)目，都需要面對(duì) C 代碼和 Rust 代碼之間的交互問(wèn)題。Rust 提供的安全保證只存在于純 Rust 代碼中，一旦涉及 C 代碼調(diào)用，這些保證就會(huì)消失。

Linus Torvalds：客觀地說(shuō)，大多數(shù) Rust 與 C 代碼的交互，實(shí)際上都是在和內(nèi)核核心部分的 C 代碼打交道。而內(nèi)核核心代碼的質(zhì)量，通常要高于外圍代碼。

這并不是因?yàn)榫帉?xiě)核心代碼的人更聰明，或者能力一定更強(qiáng)，而是因?yàn)楹诵拇a會(huì)在各種環(huán)境中經(jīng)歷極其充分的測(cè)試。畢竟，它是內(nèi)核的基礎(chǔ)部分，無(wú)論運(yùn)行什么場(chǎng)景，都會(huì)涉及內(nèi)存管理、核心調(diào)度器等組件，因此這些代碼會(huì)在 Linux 支持的幾乎所有平臺(tái)上不斷接受實(shí)際運(yùn)行檢驗(yàn)。

相比之下，具體的硬件驅(qū)動(dòng)程序則不同。一個(gè)驅(qū)動(dòng)只有在對(duì)應(yīng)硬件存在并被使用時(shí)，才有機(jī)會(huì)得到充分測(cè)試。

所以，Linux 內(nèi)核中的代碼質(zhì)量實(shí)際上存在差異，有些部分非常成熟穩(wěn)定，有些部分則沒(méi)有經(jīng)過(guò)同等程度的驗(yàn)證。我認(rèn)為，Rust 目前主要交互的，往往正是那些最穩(wěn)定、開(kāi)發(fā)最完善的部分。

Dirk Hohndel：顯然，內(nèi)核本身其實(shí)也存在這樣的差異：有些代碼經(jīng)過(guò)了大量測(cè)試，而一些實(shí)驗(yàn)性代碼可能并沒(méi)有得到同等程度的驗(yàn)證。

此外，還有一些歷史更久的代碼，由于對(duì)應(yīng)的硬件已經(jīng)不再常見(jiàn)，甚至已經(jīng)不存在，因此也很少有人繼續(xù)使用和測(cè)試。比如，我不知道現(xiàn)在還有多少人在自己的 S390 機(jī)器上運(yùn)行 Linux，但我不認(rèn)為 Linux 是大型機(jī)領(lǐng)域的主流操作系統(tǒng)。

所以，我認(rèn)為，經(jīng)過(guò)最多測(cè)試、最多審查，也最值得信任的代碼，往往是所有人都會(huì)依賴的核心代碼。

Linus Torvalds：是的。核心代碼通常也會(huì)獲得最多關(guān)注。即使你是一名驅(qū)動(dòng)開(kāi)發(fā)者，通常也需要理解核心代碼以及相關(guān)接口的工作方式；但反過(guò)來(lái)，維護(hù)核心 VFS（虛擬文件系統(tǒng)）層的人，可能永遠(yuǎn)都不需要查看某個(gè)具體硬件驅(qū)動(dòng)的實(shí)現(xiàn)。

這也是為什么，我通常建議希望參與內(nèi)核開(kāi)發(fā)的新開(kāi)發(fā)者可以從驅(qū)動(dòng)程序入手，因?yàn)槟抢镉写罅繉W(xué)習(xí)和實(shí)踐的機(jī)會(huì)。不過(guò)，同時(shí)也要提醒大家，Linux 內(nèi)核是一個(gè)極其龐大的項(xiàng)目，并不是一個(gè)容易上手的領(lǐng)域。我們對(duì)新開(kāi)發(fā)者以及整個(gè)開(kāi)發(fā)流程都有非常嚴(yán)格的規(guī)范和要求。

AI 仍然缺少一些“工程品位”

Dirk Hohndel：我們要記錄一下，我們的對(duì)話已經(jīng)進(jìn)行了 26 分鐘，竟然還沒(méi)有聊到 AI 和 LLM。我想，這可能是本次大會(huì)中少有的、直到這么久之后才提及 AI 的討論。

不過(guò)，我們確實(shí)應(yīng)該談?wù)勥@個(gè)話題。你之前在明尼阿波利斯也提到過(guò)，大語(yǔ)言模型本質(zhì)上只是一個(gè)工具，它可能帶來(lái)大約 10 倍的效率提升。這個(gè)說(shuō)法被很多人反復(fù)引用。

Linus Torvalds：我需要先澄清一下，“10 倍”并不是經(jīng)過(guò)科學(xué)計(jì)算得出的結(jié)果。那只是我當(dāng)時(shí)隨口舉的一個(gè)數(shù)字。

Dirk Hohndel：那么，你認(rèn)為大語(yǔ)言模型目前能夠?yàn)?Linux 內(nèi)核社區(qū)帶來(lái)多少真正的價(jià)值？

Linus Torvalds：目前來(lái)看，我希望它創(chuàng)造的生產(chǎn)力能夠超過(guò)它消耗的精力。

在今年年初之前，我們看到的更多是大語(yǔ)言模型生成的垃圾代碼，而不是有實(shí)際價(jià)值的代碼。即使到了現(xiàn)在，它仍然會(huì)消耗開(kāi)發(fā)者大量資源。

比如，你可能會(huì)收到一些看起來(lái)非常合理的 Bug 報(bào)告，但最終發(fā)現(xiàn)它們只是 AI 產(chǎn)生的“幻覺(jué)”。開(kāi)發(fā)者需要花費(fèi)大量時(shí)間去驗(yàn)證這些報(bào)告，最后卻發(fā)現(xiàn)它們并不真實(shí)。這實(shí)際上造成了巨大的資源浪費(fèi)。

不過(guò)，過(guò)去幾個(gè)月里情況確實(shí)有所改善，我們開(kāi)始收到一些質(zhì)量非常高的 Bug 報(bào)告。但這些高質(zhì)量報(bào)告通常并不是單靠 LLM 產(chǎn)生的，而是需要一個(gè)“中間人”——也就是人類開(kāi)發(fā)者參與其中。

我們也一直在強(qiáng)調(diào)這一點(diǎn)：如果你使用 LLM 發(fā)現(xiàn)了一個(gè) Bug，僅僅讓模型生成一份報(bào)告，然后直接提交給我們是不夠的。

我們希望看到建議性的補(bǔ)丁，也希望看到運(yùn)行 LLM 的那個(gè)人參與后續(xù)溝通，幫助我們討論和判斷這個(gè)問(wèn)題。因?yàn)橛行┣闆r下，修復(fù)可能只是簡(jiǎn)單的一行代碼修改；但更多時(shí)候，情況會(huì)變成：“我們之前沒(méi)有考慮到這個(gè)問(wèn)題，需要重新組織部分代碼，才能真正解決它?！?/p>

這時(shí)候，就需要最初提交報(bào)告的人繼續(xù)參與。當(dāng)開(kāi)發(fā)者提出：“這是我們的修復(fù)方案，你的 LLM 對(duì)此有什么看法？”時(shí)，需要有人在中間幫助溝通。

Dirk Hohndel：你剛才提到的，其實(shí)揭示了一個(gè)很多人容易混淆的區(qū)別。

LLM 在發(fā)現(xiàn) Bug 方面已經(jīng)變得非常強(qiáng)大。作為一種“攻擊工具”或者“找問(wèn)題工具”，它們的能力提升非常明顯，尤其是在過(guò)去半年里。

但另一方面，在編寫(xiě)符合 Linux 內(nèi)核標(biāo)準(zhǔn)的高質(zhì)量、穩(wěn)定代碼方面，我仍然認(rèn)為 LLM 更擅長(zhǎng)的是“從零到 Demo”。它可以非?？焖俚貛椭阕龀鲆粋€(gè)演示版本，但從 Demo 到真正可投入生產(chǎn)的代碼，我并不認(rèn)為 LLM 一定能夠帶來(lái)同樣程度的效率提升。這也是我之前提到生產(chǎn)力提升時(shí)想強(qiáng)調(diào)的區(qū)別。

Linus Torvalds：沒(méi)錯(cuò)。我自己會(huì)在一些“玩具項(xiàng)目”中使用 LLM，而且我非常享受這個(gè)過(guò)程。我把它看作一種原型開(kāi)發(fā)工具。

比如，我可能會(huì)想：“我想嘗試實(shí)現(xiàn)某個(gè)功能，但如果讓我親自為這個(gè)小項(xiàng)目從頭寫(xiě)一堆不確定是否可行的代碼，成本太高了?！边@時(shí)候，我會(huì)讓 LLM 幫我完成初步實(shí)現(xiàn)。

當(dāng)然，這些代碼通常不能直接用于生產(chǎn)環(huán)境，但它非常適合探索新的想法。我希望這也是目前大多數(shù)人使用 LLM 的方式。

我也同意，AI 生成的 Bug 報(bào)告有時(shí)確實(shí)會(huì)附帶補(bǔ)丁。在簡(jiǎn)單情況下，這些補(bǔ)丁可能完全有效。但很多時(shí)候，它們更像是一種“盲目的創(chuàng)可貼”。它們可能解決了眼前的問(wèn)題，卻沒(méi)有修復(fù)底層邏輯錯(cuò)誤。結(jié)果只是讓 Bug 換了一種形式存在，未來(lái)可能在另一個(gè)地方再次暴露。

這類問(wèn)題，仍然需要那些長(zhǎng)期維護(hù)代碼、真正理解系統(tǒng)整體結(jié)構(gòu)的開(kāi)發(fā)者來(lái)解決。根據(jù)我的經(jīng)驗(yàn)，目前 LLM 還沒(méi)有達(dá)到這個(gè)水平。

未來(lái)也許會(huì)改變。也許有一天，你可以通過(guò)提示詞告訴模型：“請(qǐng)從整體角度理解這個(gè)問(wèn)題，請(qǐng)嘗試徹底修復(fù)它，請(qǐng)展現(xiàn)出一些工程品位。”但至少現(xiàn)在，AI 仍然缺少這種“品位”。

Dirk Hohndel：我認(rèn)為，反復(fù)調(diào)整提示詞確實(shí)能夠提升結(jié)果質(zhì)量。但至少目前，它們?nèi)匀粺o(wú)法取代經(jīng)驗(yàn)豐富的架構(gòu)師所具備的系統(tǒng)級(jí)理解能力。

Linus Torvalds：是的，你依然需要一個(gè)能夠理解整體架構(gòu)的人。我出于好奇想問(wèn)一下，在座各位看起來(lái)大約有一半是軟件工程師，你們當(dāng)中每天使用 LLM 的有多少人？（現(xiàn)場(chǎng)觀眾舉手）哇，人數(shù)非常多。這完全不令人意外，我只是想確認(rèn)一下。

Dirk Hohndel：顯然，AI 已經(jīng)有很多非常好的應(yīng)用場(chǎng)景。我們剛才談到了 Bug 報(bào)告質(zhì)量的變化，以及它們?nèi)绾螏椭鷥?nèi)核發(fā)現(xiàn)一些長(zhǎng)期存在的問(wèn)題。

Linus Torvalds：有些發(fā)現(xiàn)甚至讓人感到震驚——當(dāng)然，是一種有些痛苦的震驚。不要誤解，處理 Bug 從來(lái)都不是一件令人開(kāi)心的事情。尤其當(dāng) Bug 涉及安全問(wèn)題，并且?guī)滋旌蟮巧峡萍济襟w頭條時(shí)，那種感覺(jué)非常糟糕。

但我絕不會(huì)因此“遷怒于發(fā)現(xiàn)問(wèn)題的人”。恰恰相反，我認(rèn)為 LLM 幫助我們發(fā)現(xiàn) Bug 是一件非常好的事情。

即使這些 Bug 讓我們感到尷尬，即使它們可能已經(jīng)存在了幾十年，最終能夠找到并修復(fù)它們，仍然是一件好事。我們會(huì)因此變得更強(qiáng)大。

過(guò)去幾個(gè)月確實(shí)有些艱難，因?yàn)?LLM 發(fā)現(xiàn)了一系列相關(guān)問(wèn)題。但這其實(shí)并不奇怪：一個(gè)人通過(guò) AI 找到了一個(gè) Bug，另一個(gè)人可能會(huì)繼續(xù)問(wèn) AI：“類似的位置是不是也存在問(wèn)題？”

于是，我們可能會(huì)在幾周內(nèi)看到三四個(gè)高度相關(guān)的 Bug 接連成為新聞焦點(diǎn)。

Dirk Hohndel：以這個(gè)話題結(jié)束似乎有點(diǎn)沉重，那我們換一個(gè)輕松的話題，聊聊 AI 的另一個(gè)有趣用途。聽(tīng)說(shuō)你會(huì)在旅行時(shí)使用 AI，把“哥斯拉”加入發(fā)給家人的照片里？

Linus Torvalds：沒(méi)錯(cuò)，我自己也會(huì)在一些小項(xiàng)目中使用 AI。每次去新的地方旅行——這次是我第一次來(lái)到印度——我都會(huì)給孩子們發(fā)送當(dāng)?shù)氐恼掌?。出于某種奇怪的原因，哥斯拉似乎總是會(huì)跟著我，并出現(xiàn)在這些照片里。

所以，AI 既有很多嚴(yán)肅的用途，也有很多純粹為了娛樂(lè)的玩法。

Dirk Hohndel：我想“哥斯拉”是一個(gè)非常完美的收尾話題。非常感謝各位的聆聽(tīng)，感謝大家到來(lái)。

2026 奇點(diǎn)智能產(chǎn)品大會(huì)全日程正式發(fā)布!

7月17-18日，北京金隅喜來(lái)登大酒店，40+位來(lái)自字節(jié)、百度、阿里、騰訊、宇樹(shù)、360、京東、螞蟻、科大訊飛等一線產(chǎn)品技術(shù)領(lǐng)袖，圍繞 Agent 智能體、企業(yè)級(jí) AI、AI Coding、具身智能、AI 原生組織等 12 大專題，全鏈路拆解AI原生落地閉環(huán)。