Showing 1–2 of 2 results for author: Ječmen, J

Deoptless: Speculation with Dispatched On-Stack Replacement and Specialized Continuations

Authors: Olivier Flückiger, Jan Ječmen, Sebastián Krynski, Jan Vitek

Abstract: Just-in-time compilation provides significant performance improvements for programs written in dynamic languages. These benefits come from the ability of the compiler to speculate about likely cases and generate optimized code for these. Unavoidably, speculations sometimes fail and the optimizations must be reverted. In some pathological cases, this can leave the program stuck with suboptimal code… ▽ More Just-in-time compilation provides significant performance improvements for programs written in dynamic languages. These benefits come from the ability of the compiler to speculate about likely cases and generate optimized code for these. Unavoidably, speculations sometimes fail and the optimizations must be reverted. In some pathological cases, this can leave the program stuck with suboptimal code. In this paper we propose deoptless, a technique that replaces deoptimization points with dispatched specialized continuations. The goal of deoptless is to take a step towards providing users with a more transparent performance model in which mysterious slowdowns are less frequent and grave. △ Less

Submitted 5 April, 2022; v1 submitted 4 March, 2022; originally announced March 2022.

Journal ref: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI 2022)

R Melts Brains -- An IR for First-Class Environments and Lazy Effectful Arguments

Authors: Olivier Flückiger, Guido Chari, Jan Ječmen, Ming-Ho Yee, Jakob Hain, Jan Vitek

Abstract: The R programming language combines a number of features considered hard to analyze and implement efficiently: dynamic typing, reflection, lazy evaluation, vectorized primitive types, first-class closures, and extensive use of native code. Additionally, variable scopes are reified at runtime as first-class environments. The combination of these features renders most static program analysis techniq… ▽ More The R programming language combines a number of features considered hard to analyze and implement efficiently: dynamic typing, reflection, lazy evaluation, vectorized primitive types, first-class closures, and extensive use of native code. Additionally, variable scopes are reified at runtime as first-class environments. The combination of these features renders most static program analysis techniques impractical, and thus, compiler optimizations based on them ineffective. We present our work on PIR, an intermediate representation with explicit support for first-class environments and effectful lazy evaluation. We describe two dataflow analyses on PIR: the first enables reasoning about variables and their environments, and the second infers where arguments are evaluated. Leveraging their results, we show how to elide environment creation and inline functions. △ Less

Submitted 5 September, 2019; v1 submitted 11 July, 2019; originally announced July 2019.

Journal ref: Proceedings of the 15th ACM SIGPLAN International Symposium on Dynamic Languages (DLS 2019)