Write a Blog >>
CC 2017
Sun 5 - Mon 6 February 2017 Austin, Texas, United States
Sun 5 Feb 2017 13:55 - 14:20 at 404 - Compilers

A multi-tier virtual machine (VM) deoptimizes and transfers last-tier execution to the first-tier execution when a speculative optimization is invalidated. The first-tier target of deoptimization is either an interpreter or code compiled by a baseline compiler. Because such a first-tier execution uses a fixed stack frame layout, this complicates all VM components that need to walk the stack. We propose to use the optimizing compiler also to compile deoptimization target code, i.e., the non-speculative first-tier code where execution continues after a deoptimization. Deoptimization entry points are described with the same scope descriptors used to describe the origin of the deoptimization, i.e., deoptimization is a two-way matching of two scope descriptors describing the same abstract frame at the same virtual program counter. We evaluate this deoptimization approach in a high-performance JavaScript VM. It strictly uses a one-compiler approach, i.e., all frames on the stack originate from the same compiler.

Sun 5 Feb
Times are displayed in time zone: (GMT-06:00) Saskatchewan, Central America change

13:30 - 15:10: CompilersResearch Papers at 404
13:30 - 13:55
Talk
Research Papers
Arjun SureshOhio State University, USA, Erven RohouInria, France, André SeznecInria, France
DOI
13:55 - 14:20
Talk
Research Papers
Christian Wimmer, Vojin JovanovicOracle Labs, Erik EcksteinOracle Labs, USA, Thomas WuerthingerOracle Labs
DOI
14:20 - 14:45
Talk
Research Papers
Nikita PopovTU Berlin, Germany, Biagio CosenzaTU Berlin, Germany, Ben JuurlinkTU Berlin, Germany, Dmitry StogovZend Technologies, Russia
DOI
14:45 - 15:10
Talk
Research Papers
Richard TownsendColumbia University, USA, Martha A. KimColumbia University, Stephen Edwards
DOI