How Profilers Can Help Navigate Type Migration
How Profilers Can Help Navigate Type Migration
复制标题
探查器如何帮助引导类型迁移
DOI：
10.1145/3622817
复制
发表时间：
2023
影响因子：
--
通讯作者：
Dimoulas, Christos
中科院分区：
文献类型：
--
作者：
Greenman, Ben;Felleisen, Matthias;Dimoulas, Christos
合理的迁移类型化设想了一种安全、平滑的重构，将非类型化的代码基重构为类型化的代码基。然而，通过运行时检查来加强安全性的成本通常非常高，因此很可能会发生性能退化。附加类型通常可以恢复性能，但是由于迁移类型化网格的指数级大小，选择正确的组件进行类型化是困难的。不过，原则上，迁移可以由现成的分析工具指导。为了检验这一假设，本文遵循理性程序员的方法，并通过17种策略将分析器输出转化为可操作的下一步，报告了数万个性能调试场景的实验结果。最有效的策略是使用深类型来消除类型化和非类型化组件之间代价最高的界限;如果在此过程中沿着两次性能下降是可以容忍的，则此策略在50%以上的场景中成功。
Sound migratory typing envisions a safe and smooth refactoring of untyped code bases to typed ones. However, the cost of enforcing safety with run-time checks is often prohibitively high, thus performance regressions are a likely occurrence. Additional types can often recover performance, but choosing the right components to type is difficult because of the exponential size of the migratory typing lattice. In principal though, migration could be guided by off-the-shelf profiling tools. To examine this hypothesis, this paper follows the rational programmer method and reports on the results of an experiment on tens of thousands of performance-debugging scenarios via seventeen strategies for turning profiler output into an actionable next step. The most effective strategy is the use of deep types to eliminate the most costly boundaries between typed and untyped components; this strategy succeeds in more than 50% of scenarios if two performance degradations are tolerable along the way.
登录
查看更多内容
渐进打字：新视角
影响因子：
--
作者：
Castagna, Giuseppe;Lanvin, Victor;Petrucciani, Tommaso;Siek, Jeremy G.
通讯作者：
Siek, Jeremy G.
渐变类型的完整监听器
影响因子：
--
作者：
Greenman, Ben;Felleisen, Matthias;Dimoulas, Christos
通讯作者：
Dimoulas, Christos
演员和成本：协调渐进打字的安全性和性能
影响因子：
--
作者：
Campora, John Peter;Chen, Sheng;Walkingshaw, Eric
通讯作者：
Walkingshaw, Eric
TypeScript 的具体类型
影响因子：
--
作者：
G. Richards;Francesco Zappa Nardelli;J. Vitek
通讯作者：
J. Vitek
特定功能的分析
影响因子：
1.3
作者：
Leif Andersen;Vincent St;J. Vitek;M. Felleisen
通讯作者：
M. Felleisen