Using Procedure Cloning for Performance Optimization of Compiled Dynamic Languages
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F22%3A10447325" target="_blank" >RIV/00216208:11320/22:10447325 - isvavai.cz</a>
Result on the web
<a href="https://doi.org/10.5220/0011272300003266" target="_blank" >https://doi.org/10.5220/0011272300003266</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.5220/0011272300003266" target="_blank" >10.5220/0011272300003266</a>
Alternative languages
Result language
angličtina
Original language name
Using Procedure Cloning for Performance Optimization of Compiled Dynamic Languages
Original language description
Compilation of dynamic programming languages into strongly typed platforms such as .NET and JVM has proven useful in enhancing the security and interoperability of the resulting programs, as well as in enabling their source-less distribution. In order to produce the best intermediate code possible, dynamic language compilers can employ advanced interprocedural type analysis and perform various optimizing transformations. However, these efforts are often limited due to the ambiguity of types in these languages and the need to preserve soundness. In this paper, we improve the performance of global functions by adapting the technique of procedure cloning, focusing on different parameter types those specialized clones can be called with. We devise several heuristics to identify the most promising specializations and call them from their respective call sites. Our technique was implemented into PeachPie, a compiler of PHP to .NET, and evaluated on standard benchmarks distributed with PHP.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
—
OECD FORD branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Result continuities
Project
<a href="/en/project/GA20-07487S" target="_blank" >GA20-07487S: Scalable Techniques for Analysis of Complex Properties of Computer Systems</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2022
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Proceedings of the 17th International Conference on Software Technologies
ISBN
978-989-758-588-3
ISSN
2184-2833
e-ISSN
—
Number of pages
12
Pages from-to
175-186
Publisher name
SciTePress, Science and Technology Publications, Lda
Place of publication
Neuveden
Event location
Lisabon
Event date
Jul 11, 2022
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—