Type stability in Julia: avoiding performance pathologies in JIT compilation
Type stability in Julia: avoiding performance pathologies in JIT compilation
复制标题
Julia 中的类型稳定性：避免 JIT 编译中的性能问题
DOI：
10.1145/3485527
复制
发表时间：
2021
影响因子：
--
通讯作者：
Vitek, Jan
中科院分区：
文献类型：
--
作者：
Pelenitsyn, Artem;Belyakova, Julia;Chung, Benjamin;Tate, Ross;Vitek, Jan
作为一种科学的编程语言，Julia追求性能，但也提供了高水平的生产力特性。为了避免性能问题，Julia用户应该遵守一种支持所谓类型稳定性的编码原则。非正式地说，如果输出的类型只取决于输入的类型，而不是它们的值，那么函数就是类型稳定的。本文给出了类型稳定性的形式化定义和类型接地性的一个更强的性质，说明了接地性可以实现编译器的优化，并证明了编译器的正确性。我们还执行语料库分析，以揭示这些与类型相关的属性在实践中是如何表现的。
As a scientific programming language, Julia strives for performance but also provides high-level productivity features. To avoid performance pathologies, Julia users are expected to adhere to a coding discipline that enables so-called type stability. Informally, a function is type stable if the type of the output depends only on the types of the inputs, not their values. This paper provides a formal definition of type stability as well as a stronger property of type groundedness, shows that groundedness enables compiler optimizations, and proves the compiler correct. We also perform a corpus analysis to uncover how these type-related properties manifest in practice.
登录
查看更多内容
影响因子：
--
作者：
Edd Barrett;Carl Friedrich Bolz-Tereick;Rebecca Killick;S. Mount;L. Tratt
通讯作者：
Edd Barrett;Carl Friedrich Bolz-Tereick;Rebecca Killick;S. Mount;L. Tratt
动态语言基于跟踪的即时类型专业化
影响因子：
19
作者：
A. Gal;Brendan Eich;Mike Shaver;David Anderson;David Mandelin;M. Haghighat;Blake Kaplan;Graydon Hoare;B. Zbarsky;Jason Orendorff;J. Ruderman;Edwin W. Smith;Rick Reitmaier;Michael Bebenita;Mason Chang;M. Franz
通讯作者：
M. Franz
通过运行时类型反馈优化动态分派的调用
DOI：
10.1145/178243.178478
发表时间：
1994
期刊：
SocioEconomic Challenges
影响因子：
--
作者：
Urs Hölzle;D. Ungar
通讯作者：
D. Ungar
影响因子：
--
作者：
Aurèle Barrière;Sandrine Blazy;Aurèle Barrière;Sandrine Blazy;O. Flückiger;David Pichardie
通讯作者：
Aurèle Barrière;Sandrine Blazy;Aurèle Barrière;Sandrine Blazy;O. Flückiger;David Pichardie
使用精确的运行时类型推断，通过代码专业化高效即时执行动态类型语言
DOI：
--
发表时间：
2007
期刊：
影响因子：
--
作者：
Mason Chang;Michael Bebenita;Alexander Yermolovich;A. Gal;M. Franz
通讯作者：
M. Franz