Correctness of Speculative Optimizations with Dynamic Deoptimization

• Published in: arXiv.org
• Main Authors: Flückiger, Olivier, Scherer, Gabriel, Ming-Ho, Yee, Goel, Aviral, Ahmed, Amal, Vitek, Jan
• Format: Paper Journal Article
• Language: English
• Published: Ithaca Cornell University Library, arXiv.org 15.11.2017
• Subjects: Computer Science - Programming Languages; Optimization; Representations; Translating

High-performance dynamic language implementations make heavy use of speculative optimizations to achieve speeds close to statically compiled languages. These optimizations are typically performed by a just-in-time compiler that generates code under a set of assumptions about the state of the program...