編譯 | 核子可樂、Tina

這周，Python 3.14 正式發(fā)布，把懸念了多年的“去 GIL（全局解釋器鎖）”寫進(jìn)官方發(fā)行版。

此次更新并非只是一項(xiàng)開關(guān)，而是一整套能力同步上線：自由線程支持、并發(fā)解釋器、改進(jìn)的調(diào)試器支持，以及一個(gè)可選的新解釋器路徑，官方預(yù)估在默認(rèn)單線程構(gòu)建不變的前提下還能帶來約 3%～5% 的性能提升。

Python 中的自由線程功能可禁用全局解釋器鎖（GIL），目前已在 PEP 703 中得到完整實(shí)現(xiàn)。它還配套了一個(gè)自適應(yīng)解釋器思路，源自 Mark Shannon 領(lǐng)銜的 Faster CPython 項(xiàng)目（盡管微軟已在今年 5 月停止官方支持，相關(guān)成果已沉淀進(jìn)實(shí)現(xiàn)）。

長期以來，GIL 既像安全網(wǎng)也像減速帶：通過“同一時(shí)刻僅允許運(yùn)行一個(gè) Python 線程”來保障內(nèi)存安全、避免許多棘手的并發(fā) Bug，卻也限制了 CPU 密集型多線程程序?qū)Χ嗪说睦?，除非借助繁瑣的變通方案。如今?.14 提供的自由線程（no-GIL）構(gòu)建移除了這道柵欄，使多線程能夠真正并行，重計(jì)算場景下的性能收益尤為明顯。當(dāng)然，權(quán)衡也必須看見——單線程速度通常會(huì)略有回落，內(nèi)存占用大約增加 10%。這意味著開發(fā)者擁有了更清晰的選擇權(quán)：需要穩(wěn)妥與兼容時(shí)沿用帶 GIL 的默認(rèn)構(gòu)建，需要極致并行時(shí)切換到 no-GIL 構(gòu)建。

發(fā)布之后，許多開發(fā)人員報(bào)告說與過去的版本相比，速度明顯提高。

開發(fā)者 Jeffrey Emanuel 寫道，“Python 3.14 終于真的發(fā)布了。終于移除了 GIL，這意味著多線程代碼會(huì)快得多，不用再忍受多進(jìn)程的腦損傷和各種臨時(shí)變通。uv 已經(jīng)完全支持，這太令人印象深刻了。”在他看來，這是一個(gè)“革命性、差異極大”的版本。

起初，他以為自己的項(xiàng)目（依賴 PyTorch／pyarrow／cvxpy 等）還會(huì)被困在“GIL 地獄”。轉(zhuǎn)念一想，不如交給 codex／GPT-5：自動(dòng)檢索博客與 issue，必要時(shí) vendor 部分庫，用 C++／Rust 從 nightly 源碼構(gòu)建替代輪子。經(jīng)過數(shù)小時(shí)多輪迭代，最終全部跑通。與“大模型之前”的年代相比，此類升級(jí)既耗時(shí)又高風(fēng)險(xiǎn)；而現(xiàn)在，“我們正在生活在未來”。

Andrej Karpathy 也在 X 上點(diǎn)贊這個(gè)貼文，就像是一記注腳：這一次，Python 的并發(fā)故事真的開始加速了。

無獨(dú)有偶，在發(fā)布后的一次專訪中，Guido van Rossum 卻給大家潑下“冷靜水”：他直言去除 GIL 的重要性被高估，主要服務(wù)于超大規(guī)模并發(fā)場景，同時(shí)抬高了 CPython 的貢獻(xiàn)與維護(hù)復(fù)雜度；AI 炒作太過了，“歸根結(jié)底還是軟件”，他并不迷信“AI 驅(qū)動(dòng)的未來”，更強(qiáng)調(diào)代碼必須可讀、可審；工程常識(shí)優(yōu)先于熱點(diǎn)——并發(fā)模型并不易掌握，很多人在并行化后反而變慢，與其逐熱，不如把生態(tài)兼容、可維護(hù)性與長期演進(jìn)放在更優(yōu)先的位置。

以下是 Guido van Rossum 訪談的翻譯：

Python 之父怎么看？

問 1：《Python 之禪》強(qiáng)調(diào)簡潔性和可讀性。隨著 AI 與機(jī)器學(xué)習(xí)系統(tǒng)日益復(fù)雜，您認(rèn)為這些核心原則是否比以往任何時(shí)候都更加重要，或者說應(yīng)當(dāng)在這個(gè)新時(shí)代重新評(píng)估這些原則的意義？

Guido van Rossum: 代碼仍然離不開人類的閱讀和審查，否則我們可能會(huì)完全失去對(duì)自身生存的控制力。而且看起來，Python 等秉承“人文主義”哲學(xué)的語言也適合用來編寫模型——畢竟大語言模型擅長的就是處理人類語言結(jié)構(gòu)，而編程語言終究也是為人類設(shè)計(jì)了。因此只要經(jīng)過相應(yīng)訓(xùn)練，大模型將很擅長閱讀和輸出這類語言。另外，大部分大模型都接受過良好的 Python 語言能力訓(xùn)練。

問 2：在最初締造 Python 的時(shí)候，您有沒有想過它會(huì)成為科學(xué)計(jì)算與 AI 領(lǐng)域的主導(dǎo)性語言？您認(rèn)為它在這些領(lǐng)域的意外成功是由哪些因素促成的？

Guido van Rossum: 我完全沒想到過！我不是個(gè)很有野心的人，現(xiàn)在回想起來成功的關(guān)鍵因素可以說有兩個(gè)。首先，作為一種語言，Python 既易于理解、且功能極其強(qiáng)大。正如 Bruce Eckel 所說，“它特別貼合人類的腦回路”。第二個(gè)因素則是，我在設(shè)計(jì) Python 時(shí)會(huì)考慮如何讓它跟操作系統(tǒng)服務(wù)和第三方庫良好集成。這樣它的功能將更多樣也更加可擴(kuò)展，例如允許 NumPy 之類的主流庫獨(dú)立于 Python 本體之外進(jìn)行開發(fā)。

問 3：近期關(guān)于全書解釋器鎖（GIL）可選化的研究以及對(duì) AI 性能的普遍需求成為熱點(diǎn)。那您會(huì)如何看待 Python 并行性與并發(fā)性的未來？這兩點(diǎn)對(duì) Python 語言的長遠(yuǎn)發(fā)展又意味著什么？

Guido van Rossum: 老實(shí)說，我覺得移除 GIL 這事的影響被過度夸大了。這既滿足了我們最大用戶（例如 Meta）的需求，同時(shí)也給 CPython 代碼庫的潛在貢獻(xiàn)者招了點(diǎn)麻煩（新代碼更容易引入并發(fā)性 bug）。我們經(jīng)常聽到有人說，他們在嘗試了代碼并行化之后速度反而變慢了——這讓我認(rèn)為大眾對(duì)于 Python 編程模型的理解仍有進(jìn)步的空間。再有，我擔(dān)心 Python 會(huì)變得過于企業(yè)化，因?yàn)榇笃髽I(yè)客戶只會(huì)為他們需要的新功能付費(fèi)。這里澄清一下，企業(yè)客戶雖然不會(huì)花錢讓我們替他們實(shí)現(xiàn)功能，但會(huì)提供開發(fā)人員參與貢獻(xiàn)，所以其實(shí)是一回事。

問 4：您在 Python 引入類型提示中是位關(guān)鍵倡導(dǎo)者。那您如何看待靜態(tài)類型在 Python 中的演進(jìn)？您認(rèn)為它在構(gòu)建我們?nèi)缃袷煜さ拇笠?guī)模關(guān)鍵任務(wù)型 AI 應(yīng)用中扮演著怎樣的角色？

Guido van Rossum: 我沒聽說過有哪些大規(guī)模關(guān)鍵任務(wù)型 AI 應(yīng)用，我只知道有很多大規(guī)模關(guān)鍵任務(wù)型非 AI 應(yīng)用。對(duì)于這類應(yīng)用程序來講，類型提示非常非常重要，也是其他工具對(duì)代碼庫進(jìn)行有效處理的前提。我認(rèn)為類型提示的應(yīng)用閾值大概是一萬行代碼——低于這個(gè)閾值，類型提示的價(jià)值就會(huì)降低，因?yàn)殚_發(fā)者自己就能記住其中大部分代碼，傳統(tǒng)動(dòng)態(tài)測試也基本應(yīng)付得來。而一旦代碼量達(dá)到上萬行，缺少了類型提示幾乎沒辦法保證代碼質(zhì)量。當(dāng)然，我不會(huì)強(qiáng)迫語言初學(xué)者使用類型提示。

問 5：從 Python2 到 3 的過渡應(yīng)該是語言發(fā)展史上意義最重大，同時(shí)又充滿挑戰(zhàn)的篇章。這段經(jīng)歷帶來了哪些重要的經(jīng)驗(yàn)教訓(xùn)，在新范式已經(jīng)出現(xiàn)的現(xiàn)實(shí)條件下，這些經(jīng)驗(yàn)教訓(xùn)又將如何指導(dǎo) Python 未來的發(fā)展態(tài)勢？

Guido van Rossum: 我不覺得這里需要專門強(qiáng)調(diào)范式的變化，畢竟范式轉(zhuǎn)換其實(shí)就意味著過往的經(jīng)驗(yàn)已經(jīng)無法幫助我們理解新的現(xiàn)實(shí)。但要說最關(guān)鍵的經(jīng)驗(yàn)教訓(xùn)，那就是對(duì)于任何未來的版本更新，哪怕只是從 3.x 到 3.x+1，我們都必須始終考慮如何在不改變舊應(yīng)用形態(tài)的前提下實(shí)現(xiàn)支持。總而言之，遷移方法必須經(jīng)過慎重考慮，特別是大多數(shù)庫都必須同時(shí)支持多個(gè)版本（我們在 2.0 到 3.0 的升級(jí)過程中對(duì)此體會(huì)不深，也沒有制定出好的解決方案）。

問 6：Python 的簡潔性是其備受贊譽(yù)的特性之一。隨著新的、更強(qiáng)大的 AI 庫引入更多抽象層和復(fù)雜性，您認(rèn)為社區(qū)該如何更好地保持 Python 語言的易用性，防止它給初學(xué)者帶來更高的準(zhǔn)入門檻？

Guido van Rossum: 到目前為止，我使用的 AI 庫都不算特別強(qiáng)大或者復(fù)雜——它們只是讓人們能跟遠(yuǎn)端實(shí)際提供 AI 服務(wù)的設(shè)施進(jìn)行通信。相比之下，很多互聯(lián)網(wǎng)協(xié)議反而更復(fù)雜，而且也沒什么本質(zhì)上的區(qū)別。要說差異，那就是 AI 提供商的節(jié)奏太快了，有時(shí)候每幾周就變更一次 API，提供的說明文檔也是質(zhì)量低下、內(nèi)容混亂?？傊覀儠?huì)繼續(xù)遵循長久以來的實(shí)踐思路——用庫和 API 構(gòu)建這個(gè)世界。

Python 經(jīng)歷過計(jì)算領(lǐng)域的一系列劇烈變革，卻仍然屹立不倒，所以我對(duì)這個(gè)問題并不太擔(dān)心。早在 90 年代初互聯(lián)網(wǎng)幾乎不存在的階段，那時(shí)微軟還通過軟盤和光盤分發(fā)軟件；我們還經(jīng)歷了互聯(lián)網(wǎng)和萬維網(wǎng)的發(fā)展，從集中式計(jì)算到個(gè)人電腦，再到瀏覽器端軟件以及硬件的巨大改進(jìn)，Python 都平穩(wěn)走過來了。

問 7：鑒于現(xiàn)代 AI 開發(fā)的獨(dú)特需求（從數(shù)據(jù)處理到模型訓(xùn)練），如果您現(xiàn)在可以在 Python 內(nèi)核中添加一項(xiàng)主要功能或者進(jìn)行一項(xiàng)變更，您會(huì)怎么做？為什么？

Guido van Rossum: 我什么都想不出來。我還是覺得現(xiàn)在 AI 炒作太甚了，它的本質(zhì)仍然是種軟件。在我自己的 AI 使用體驗(yàn)中，確實(shí)會(huì)借助一些小型庫來發(fā)揮它的技術(shù)能力，也就是利用 AI 的優(yōu)勢以傳統(tǒng)方式高效處理數(shù)據(jù)庫操作。我們也有一部分代碼是由所謂“智能體”編寫的，但我們不會(huì)使用氛圍編程。我們在架構(gòu)和 API 設(shè)計(jì)方面一直保持高度自主可控。

問 8：像 Mojo 和 Julia 這樣的新興語言專門為高性能 AI 場景開發(fā)而成。您如何看待這種新興的競爭態(tài)勢？Python 要如何繼續(xù)保持自身領(lǐng)先地位，并且在未來十年的技術(shù)進(jìn)步中始終維持自身優(yōu)勢？

Guido van Rossum: Mojo 強(qiáng)調(diào)成為高性能 AI 的實(shí)現(xiàn)“內(nèi)核”，這要求對(duì)計(jì)算機(jī)進(jìn)行非常嚴(yán)格的分類優(yōu)化。所以它既不可能取代 Python 的生態(tài)地位，也并不打算這么做。我印象中 Julis 好像跟高性能 AI 關(guān)系不大——它更多面向高性能數(shù)值計(jì)算，就是說既能服務(wù)于 AI，也能服務(wù)于其他具有苛刻要求的應(yīng)用領(lǐng)域。

問 9：您的角色已經(jīng)從終身仁慈獨(dú)裁者（BDFL）演變?yōu)槲④浗艹龉こ處?。這種角色轉(zhuǎn)變對(duì)您在 Python 開發(fā)、社區(qū)治理以及更廣泛的企業(yè)生態(tài)系統(tǒng)中的定位產(chǎn)生了怎樣的影響？

Guido van Rossum: 這肯定代表著地位的下降。我一直擔(dān)任 BDFL，直到 Python 的所有治理職責(zé)不再由一個(gè)人承擔(dān)，這其實(shí)就標(biāo)志著我已經(jīng)退休了。而之后選擇微軟，是因?yàn)槲乙庾R(shí)到自己仍然想要繼續(xù)編程。在供職于谷歌和 Dropbox 之后，告別了鮑爾默時(shí)代的微軟似乎確實(shí)是個(gè)體驗(yàn)更多編程樂趣的好地方。

問 10：回顧您與 Python 合作的精彩歷程，展望 AI 驅(qū)動(dòng)的未來，您希望 Python 能夠在歷史上留下怎樣的一筆？從個(gè)人角度來講，您如何看待未來幾年編程這個(gè)概念的變化？

Guido van Rossum: 我絕不向往一個(gè)由 AI 驅(qū)動(dòng)的未來。我擔(dān)心的并不是 AI 會(huì)毀滅整個(gè)人類族群，只是我看到過太多缺乏倫理道德之人，往往用極低的代價(jià)就對(duì)全社會(huì)造成了巨大破壞。如今這股炒作弊端的根源就在社交媒體——AI 只是又一次重大的計(jì)算機(jī)范式轉(zhuǎn)變，它確實(shí)會(huì)顛覆社會(huì)，但并沒有真正影響軟件的本質(zhì)。

我希望 Python 的傳承能夠始終體現(xiàn)其草根精神和全球協(xié)作精神，始終依托于平等和尊重，而非權(quán)力和金錢。希望 Python 始終為“平凡人”賦能，幫助他們編寫出靈感中的項(xiàng)目。

https://www.odbms.org/blog/2025/10/beyond-the-ai-hype-guido-van-rossum-on-pythons-philosophy-simplicity-and-the-future-of-programming/

聲明：本文為 InfoQ 翻譯整理，不代表平臺(tái)觀點(diǎn)，未經(jīng)許可禁止轉(zhuǎn)載。

阿里云、字節(jié)、小紅書技術(shù)專家同臺(tái)，深度對(duì)話 AI 時(shí)代可觀測性的“智”變與“智”控之道。掃碼預(yù)約直播。