Interflow: interprocedural flow-sensitive type inference and method duplication

Scala heavily relies on a number of object-oriented abstractions to support its feature-rich collections library. There are known techniques that optimize those abstractions away in just-in-time (JIT) compilers, but applying them in the ahead-of-time (AOT) setting is problematic. Profile-guided optimization (PGO) lets AOT compilers apply some of the same optimizations that JIT compilers employ, but it comes at a high complexity cost. In this paper, we introduce Interflow, an alternative approach towards ahead-of-time optimization of Scala programs which relies on interprocedural flow-sensitive type inference and method duplication. Our evaluation shows that an Interflow-based optimizing compiler built on top of the Scala Native toolchain outperforms existing PGO-based optimizing compilers for Scala. Moreover, we demonstrate that Interflow and PGO can be combined to achieve further improvements. On our benchmarks, with both Interflow and PGO enabled, the Scala Native toolchain approaches the performance of the HotSpot JVM.

Published in:
Proceedings of the 9th ACM SIGPLAN International Symposium on Scala, 61-71
Presented at:
Scala 2018, St. Louis, MO, USA, September 28 - 28, 2018
Sep 28 2018
Other identifiers:

 Record created 2018-11-27, last modified 2020-04-20

Rate this document:

Rate this document:
(Not yet reviewed)