PEP-659

概要

動的言語用の仮想マシンが優れた性能を発揮するためには、実行されるプログラムの型や値に合わせて実行するコードを特殊化する必要がある。この特殊化は、しばしば「JIT」コンパイラと関連しているが、マシン・コード生成がなくても有益である。

特殊化適応型インタープリターとは、現在操作している型や値に推測的に特殊化し、それらの型や値の変化に適応するものである。

特殊化によって性能が向上し、適応によってプログラムの使用パターンが変化したときにインタプリタが迅速に変更できるようになるため、間違った特殊化による追加作業を抑えることができます。

このPEPでは、積極的にコードを特化させるが、その領域は非常に小さく、特化ミスに迅速かつ低コストで適応できる、特化適応型インタプリタを使用することを提案する。

特殊化適応インタプリタを CPython に追加することで、大幅な性能向上が期待できます。それはベンチマークと、まだ起こっていない仕事に大きく依存するので、意味のある数字を出すのは難しい。広範な実験では、50%までのスピードアップが示唆されています。仮に25%しかスピードアップしなかったとしても、価値のある機能強化です。