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.

Publié dans:
Proceedings of the 9th ACM SIGPLAN International Symposium on Scala, 61-71
Présenté à:
Scala 2018, St. Louis, MO, USA, September 28 - 28, 2018
Sep 28 2018
Autres identifiants:

 Notice créée le 2018-11-27, modifiée le 2019-06-16

Évaluer ce document:

Rate this document:
(Pas encore évalué)