Runtime feedback in a meta-tracing JIT for efficient dynamic languages

Authors:
Carl Friedrich Bolz;Antonio Cuni;Maciej Fijałkowski;Michael Leuschel;Samuele Pedroni;Armin Rigo
Affiliations:
Heinrich-Heine-Universität Düsseldorf, STUPS Group, Germany;Heinrich-Heine-Universität Düsseldorf, STUPS Group, Germany and Open End, Göteborg, Sweden;merlinux GmbH, Hildesheim, Germany;Heinrich-Heine-Universität Düsseldorf, STUPS Group, Germany;Open End, Göteborg, Sweden;Heinrich-Heine-Universität Düsseldorf, STUPS Group, Germany
Venue:
Proceedings of the 6th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems
Year:
2011

Citing 21
Cited 8

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
Partial evaluation and automatic program generation

Partial evaluation and automatic program generation
Optimizing dynamically-dispatched calls with run-time type feedback

PLDI '94 Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation
Dynamo: a transparent dynamic optimization system

PLDI '00 Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation
DyC: an expressive annotation-directed dynamic compiler for C

Theoretical Computer Science - Partial evaluation and semantics-based program manipulation
Partial Evaluation of Computation Process—AnApproach to a Compiler-Compiler

Higher-Order and Symbolic Computation
Efficient implementation of the smalltalk-80 system

POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Dynamic native optimization of interpreters

Proceedings of the 2003 workshop on Interpreters, virtual machines and emulators
Semantics of object-oriented languages

Semantics of object-oriented languages
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
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
Optimization of dynamic languages using hierarchical layering of virtual machines

DLS '09 Proceedings of the 5th symposium on Dynamic languages
Bytecodes meet combinators: invokedynamic on the JVM

Proceedings of the Third Workshop on Virtual Machines and Intermediate Languages
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
Allocation removal by partial evaluation in a tracing JIT

Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation

Adding dynamically-typed language support to a statically-typed language compiler: performance evaluation, analysis, and tradeoffs

VEE '12 Proceedings of the 8th ACM SIGPLAN/SIGOPS conference on Virtual Execution Environments
Loop-aware optimizations in PyPy's tracing JIT

Proceedings of the 8th symposium on Dynamic languages
Self-optimizing AST interpreters

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
Improved type specialization for dynamic scripting languages

Proceedings of the 9th symposium on Dynamic languages
One VM to rule them all

Proceedings of the 2013 ACM international symposium on New ideas, new paradigms, and reflections on programming & software
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

Meta-tracing JIT compilers can be applied to a variety of different languages without explicitly encoding language semantics into the compiler. So far, they lacked a way to give the language implementor control over runtime feedback. This restricted their performance. In this paper we describe the mechanisms in PyPy's meta-tracing JIT that can be used to control runtime feedback in language-specific ways. These mechanisms are flexible enough to express classical VM techniques such as maps and runtime type feedback.