Python貓注： 在今年 5 月的 Python 語言峰會上，Guido van Rossum 作了一場《Making CPython Faster》的分享（材料在此），宣告他加入了激動人心的“香農計劃”，旨在 4 年內提升 Python 性能至 5 倍，近日，Guido 上了一檔英文播客節目（時長 30 分鐘），談論了他正在做的與高性能相關的作業，解答了幾個問題，播客作者整理了一份內容紀要，本文是對該紀要的翻譯，注：文末有音頻及文稿下載
作者：Software at Scale
譯者：豌豆花下貓@Python貓
原文：https://www.softwareatscale.dev/p/software-at-scale-34-faster-python
1、為什么你會對研究 Python 的性能感興趣？
Guido：在某種意義上，它對我來說是一個相對舒服的話題，因為這意味著與 Python 的核心打交道，而我對這方面還算熟悉，當我在微軟作業時，我曾短暫地關注過 Azure，但我意識到我在谷歌或 Dropbox 時就不喜歡這類作業，然后我關注了機器學習，但這需要花很多時間來做一些與 Python 無關的事情，甚至它與 Python 相關的部分就很少，
2、Mark Shannon 關于 Python 性能的那些想法有何不同，怎么能說服你去實作它們的呢？
Guido：我喜歡他思考問題的方式，大多數其它聚焦于 Python 性能的方法，如 PyPy 和 Cinder，并不適用于所有的使用場景，因為它們不能向后兼容擴展模塊，Mark 具有 CPython 開發者的視角和經驗，并且有一種可行的方法來維持向后兼容性，這是最難解決的問題，Python 的位元組碼解釋器經常要在小版本之間（例如 3.8→3.9）進行修改，原因有很多，比如新的操作碼，所以修改它是一種相對安全的方案，
3、你能給我們解釋一下 Python 解釋器的分層執行的概念么？
Guido：當執行一個程式時，你不知道它會在運行了幾分之一毫秒后崩潰，還是會持續運行三周時間，因為對于同一份代碼，在第一種情況下，它可能觸發了一個 bug，如果運行程式需要三周時間，也許提前半小時優化所有待運行的代碼是有意義的，
但很明顯，特別是在像 Python 這樣的動態語言中，我們盡可能多地做，而不要求用戶告訴我們他們到底需要怎么做，你只是想盡快開始執行代碼，所以，如果有一個小腳本，或者一個大程式，它碰巧執行失敗了或者因為某些原因提前退出了，你就不用花費時間去優化全部的代碼了，
所以，我們要做的就是保持位元組碼編譯器的簡單化，以便能盡快地開始執行代碼，如果有某些函式被多次執行，那么我們就稱其為 hot 函式，“hot”存在多種定義，在某些情況下，如果一個函式被呼叫超過一次，或者超過兩次，或者超過 10 次，那么它被定義成一個熱門函式，而在其它保守的情況下，你可能說“只有被呼叫 1000 次才算 hot”，
然后，當引數的型別是某些特定型別時，專門化的自適應編譯器（PEP-659 Specializing Adaptive Compiler）會嘗試用更快的位元組碼來替換某些位元組碼，一個簡單的假想的例子是 Python 中的加號運算子，它可以令很多物件相加，比如整數、字串、串列，甚至元組，但是，你不能將整數與字串相加，
因此，優化的方法就是提供一個單獨的“兩個整數相加”的位元組碼，它是一個對用戶隱藏的第二層位元組碼，（“優化”通常被稱為加速 quickening，但一般在我們的語境中，我們稱之為專門化 specializing），這個操作碼假設它的兩個引數都是真正的 Python 整型物件，直接讀取這些物件的值，并在機器暫存器中將這些值相加，最后將結果推回堆疊，
兩個整數相加的操作仍然需要對引數進行型別檢查，因此，它不是完全不受約束的，但這種型別檢查相比于完全泛化的面向物件的加號操作，前者在實作上要快得多，
最后，有可能一個函式被整型引數呼叫了數百萬次，然后突然一小段代碼用浮點型引數呼叫它，或者出現更糟的情況，此時，解釋器會直接執行原始的位元組碼，這是一個重要的部分，讓你始終能得到完整的 Python 語意，
Python貓注：“香農計劃”的最終目標是將解釋器的執行程序分層，并對不同層做出定制的優化，詳情請查閱 Github 專案的介紹（https://github.com/markshannon/faster-cpython/blob/master/tiers.md），
4、通常你會在談 JIT（Just-In-Time）編譯器時聽到這些技術，但官方 Python 現在還沒有實作，
Guido：即時編譯的方案有一大堆我們想要避免的情感包袱，比如，我們不清楚到底編譯什么，以及什么時候編譯，在程式開始執行之前，解釋器將源代碼編譯成位元組碼，然后，再將位元組碼轉換為專門的位元組碼，這意味著，所有的事情都在運行時的某個時刻發生，那么，哪個部分是所謂的即時（Just-In-Time）呢？
另外，人們通常認為 JIT 會自動地使所有代碼變得更好，不幸的是，你通常無法真正地預測代碼的性能，由于有現代的 CPU 和它們神奇的分支預測，我們已經擁有了足夠的性能，例如，我們以一種本認為能夠明顯減少記憶體訪問次數的方式，撰寫了一份代碼，但是，當對它進行基準測驗時，我們發現它的運行速度與舊的未優化代碼一樣快，因為 CPU 在沒有我們任何幫助的情況下，計算出了優化的訪問模式，我希望我知道現代 CPU 在分支預測和行內快取方面做了什么，因為這就像是魔法一般，
完整內容
以上就是播客節目紀要的翻譯，更多完整的對話內容，以及對話音頻，我已保存好了，你如果感興趣的話，請在 Python貓 公眾號里發送數字“1030”，即可獲取下載鏈接，
轉載請註明出處，本文鏈接：https://www.uj5u.com/houduan/343001.html
標籤：Python