Allocation removal by partial evaluation in a tracing JIT
Carl Friedrich Bolz, Antonio Cuni, Maciej FijaBkowski, Michaël Leuschel, Samuele Pedroni, Armin Rigo · 2011
The performance of many dynamic language implementations suffers from high allocation rates and runtime type checks. This makes dynamic languages less applicable to purely algorithmic problems, despite their growing popularity. In this paper we present a simple compiler optimization based on online partial evaluation to remove object allocations and runtime type checks in the context of a tracing JIT. We evaluate the optimization using a Python VM and find that it gives good results for all our (real-life) benchmarks.