Allocation removal by partial evaluation in a tracing JIT

Authors:
Carl Friedrich Bolz;Antonio Cuni;Maciej FijaBkowski;Michael Leuschel;Samuele Pedroni;Armin Rigo
Affiliations:
Heinrich-Heine-Universität, Düsseldorf, Germany;Heinrich-Heine-Universität, Düsseldorf, Germany;merlinux GmbH, Hildesheim, Germany;Heinrich-Heine-Universität, Düsseldorf, Germany;Open End, Göteborg, Sweden;Heinrich-Heine-Universität, Düsseldorf, Germany
Venue:
Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation
Year:
2011

Citing 21
Cited 11

An efficient implementation of SELF a dynamically-typed object-oriented language based on prototypes

OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
Deforestation: transforming programs to eliminate trees

Proceedings of the Second European Symposium on Programming
Higher order escape analysis: optimizing stack allocation in functional program implementations

Proceedings of the third European symposium on programming on ESOP '90
Partial evaluation in logic programming

Journal of Logic Programming
Escape analysis on lists

PLDI '92 Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation
Constructor specialization

PEPM '93 Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
A short cut to deforestation

FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture
Dynamic typing: syntax and proof theory

ESOP'92 Selected papers of the symposium on Fourth European symposium on programming
Escape analysis for Java

Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Dynamo: a transparent dynamic optimization system

PLDI '00 Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation
Escape analysis for JavaTM: Theory and practice

ACM Transactions on Programming Languages and Systems (TOPLAS)
Representation-based just-in-time specialization and the psyco prototype for python

Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
HotpathVM: an effective JIT compiler for resource-constrained devices

Proceedings of the 2nd international conference on Virtual execution environments
PyPy's approach to virtual machine construction

Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications
Statistically rigorous java performance evaluation

Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
RPython: a step towards reconciling dynamically and statically typed OO languages

Proceedings of the 2007 symposium on Dynamic languages
Back to the Future in One Week -- Implementing a Smalltalk VM in PyPy

Self-Sustaining Systems
Trace-based just-in-time type specialization for dynamic languages

Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation
Tracing the meta-level: PyPy's tracing JIT compiler

Proceedings of the 4th workshop on the Implementation, Compilation, Optimization of Object-Oriented Languages and Programming Systems
Towards a jitting VM for prolog execution

Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming
SPUR: a trace-based JIT compiler for CIL

Proceedings of the ACM international conference on Object oriented programming systems languages and applications

Reducing trace selection footprint for large-scale Java applications without performance loss

Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications
Runtime feedback in a meta-tracing JIT for efficient dynamic languages

Proceedings of the 6th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems
Loop-aware optimizations in PyPy's tracing JIT

Proceedings of the 8th symposium on Dynamic languages
On the benefits and pitfalls of extending a statically typed language JIT compiler for dynamic scripting languages

Proceedings of the ACM international conference on Object oriented programming systems languages and applications
The efficient handling of guards in the design of RPython's tracing JIT

Proceedings of the sixth ACM workshop on Virtual machines and intermediate languages
Challenges for a trace-based just-in-time compiler for haskell

IFL'11 Proceedings of the 23rd international conference on Implementation and Application of Functional Languages
Early partial evaluation in a JIT-compiled, retargetable instruction set simulator generated from a high-level architecture description

Proceedings of the 50th Annual Design Automation Conference
Storage strategies for collections in dynamically typed languages

Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications
One VM to rule them all

Proceedings of the 2013 ACM international symposium on New ideas, new paradigms, and reflections on programming & software
Tracing compilation by abstract interpretation

Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Unipycation: a case study in cross-language tracing

Proceedings of the 7th ACM workshop on Virtual machines and intermediate languages

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.