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

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