Detail publikace

Comparing Rapid Type Analysis with Points-To Analysis in GraalVM Native Image

JOVANOVIC Vojin, KOZÁK David, STANCU Codrut, VOJNAR Tomáš a WIMMER Christian. Comparing Rapid Type Analysis with Points-To Analysis in GraalVM Native Image. In: Proceedings of the 20th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes. New York: Association for Computing Machinery, 2023, s. 129-142. ISBN 979-8-4007-0380-5.
Název česky
Porovnání rapid type analýzy a points-to analýzy v GraalVM Native Image
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Jovanovic Vojin (Oracle)
Kozák David, Ing. (UITS FIT VUT)
Stancu Codrut (Oracle)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
Wimmer Christian (Oracle)
Klíčová slova

překladač, ahead-of-time kompilace, statická analýza, optimalizace, Java, GraalVM

Abstrakt

Interprocedurální analýza je základní technika, která umožňuje pokročilé optimalizace kompilátoru. Důležitým příkladem takové metody je points-to analýza používaná ahead-of-time (AOT) kompilátory k identifikaci programových prvků (tříd, metod, atributů) používaných alespoň na jedné programové cestě. GraalVM Native Image využívá points-to analýzu k optimalizaci Java aplikací, což je časově náročný krok překladu. V práci zkoumáme, jak moc lze zlepšit dobu analýzy nahrazením points-to analýzy za rapid type analýzu (RTA), která počítá dosažitelné prvky rychleji, ale má menší přesnost. Navrhujeme několik rozšíření předchozích přístupů k RTA: vytvoření paralelní, inkrementální analýzy podporující heap snapshoting. Představujeme rozsáhlé experimentální vyhodnocení použití RTA místo points-to, ve kterém nám RTA umožnila zkrátit dobu analýzy pro Spring Petclinic (oblíbená demo aplikace Spring frameworku) o 64 % a celkovou dobu překladu o 35 % za cenu zvýšení velikosti binárního souboru kvůli nepřesnosti o 15 %.

Rok
2023
Strany
129-142
Sborník
Proceedings of the 20th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes
Konference
Managed Programming Languages & Runtimes, Cascais, PT
ISBN
979-8-4007-0380-5
Vydavatel
Association for Computing Machinery
Místo
New York, US
DOI
10.1145/3617651.3622980
EID Scopus
2-s2.0-85178376702
BibTeX 
@INPROCEEDINGS{FITPUB13102,
   author = "Vojin Jovanovic and David Koz\'{a}k and Codrut Stancu and Tom\'{a}\v{s} Vojnar and Christian Wimmer",
   title = "Comparing Rapid Type Analysis with Points-To Analysis in GraalVM Native Image",
   pages = "129--142",
   booktitle = "Proceedings of the 20th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes",
   year = 2023,
   location = "New York, US",
   publisher = "Association for Computing Machinery",
   ISBN = "979-8-4007-0380-5",
   doi = "10.1145/3617651.3622980",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/13102"
}
Nahoru