Guided just-in-time specialization

被引:1
|
作者
Lima, Caio [1 ]
Cezar, Junio [1 ]
Leobas, Guilherme Vieira [1 ]
Rohou, Erven [2 ]
Quintao Pereira, Fernando Magno [1 ]
机构
[1] Ave Antonio Carlos 6627, Belo Horizonte, MG, Brazil
[2] Univ Rennes, Inria, CNRS, IRISA, Rennes, France
关键词
Code specialization; Just-in-time compilation; Program annotation; Performance; !text type='Java']Java[!/text]Script; !text type='JAVA']JAVA[!/text]SCRIPT; SEMANTICS; LANGUAGE;
D O I
10.1016/j.scico.2019.102318
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
JavaScript's portability across a vast ecosystem of browsers makes it today a core building block of the web. Yet, building efficient systems in JavaScript is still challenging. Because this language is so dynamic, JavaScript programs provide little information that just-in-time compilers can use to carry out safe optimizations. Motivated by this observation, we propose to guide the JIT compiler in the task of code specialization. To this end, we have augmented the language with an annotation that indicates which function call sites are likely to benefit from specialization. To support the automatic annotation of programs, we have introduced a novel static analysis that identifies profitable specialization points. We have implemented our ideas in JavaScriptCore, the built-in JavaScript engine for WebKit. The addition of guided specialization to this engine required us to change it in several non-trivial ways, which we describe in this paper. Such changes let us observe speedups of up to 1.7x on programs present in synthetic benchmarks. (C) 2019 Elsevier B.V. All rights reserved.
引用
收藏
页数:17
相关论文
共 50 条
  • [31] TOWARDS JUST-IN-TIME
    HOBSON, J
    [J]. JOURNAL OF THE SOCIETY OF DYERS AND COLOURISTS, 1991, 107 (09): : 305 - 307
  • [32] COMPUTERS AND JUST-IN-TIME
    MOONEY, T
    [J]. PLATING AND SURFACE FINISHING, 1992, 79 (06): : 60 - 61
  • [33] JUST-IN-TIME PRODUCTION
    JAMROG, MR
    [J]. HARVARD BUSINESS REVIEW, 1987, 65 (01) : 156 - &
  • [34] JUST-IN-TIME FOR A CHANGE
    PENNUCCI, NJ
    [J]. QUALITY PROGRESS, 1987, 20 (11) : 67 - 68
  • [35] Just-in-Time Teaching
    Clark, Kevin R.
    [J]. RADIOLOGIC TECHNOLOGY, 2016, 87 (04) : 465 - 467
  • [36] Just-in-Time to Just-in-Case
    Ramesh, Nagesh
    Dickerson, Teresa
    [J]. IEEE Engineering Management Review, 2022, 50 (02): : 17 - 18
  • [37] JITfuzz: Coverage-guided Fuzzing for JVM Just-in-Time Compilers
    Wu, Mingyuan
    Lu, Minghai
    Cui, Heming
    Chen, Junjie
    Zhang, Yuqun
    Zhang, Lingming
    [J]. 2023 IEEE/ACM 45TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ICSE, 2023, : 56 - 68
  • [38] GUIDED JUST-IN-TIME TRANSCODING FOR CLOUD-BASED VIDEO PLATFORMS
    Rusert, Thomas
    Andersson, Kenneth
    Yu, Ruoyang
    Nordgren, Harald
    [J]. 2016 IEEE INTERNATIONAL CONFERENCE ON IMAGE PROCESSING (ICIP), 2016, : 1489 - 1493
  • [39] Delivering just-in-time performance: applying just-in-time logic to rail and intermodal operations
    Foyer, P
    Mortimer, PN
    [J]. DEVELOPING AND GROWING THE BUSINESS - FREIGHT: INTERNATIONAL RAILTECH CONGRESS '98, 1998, 1998 (18): : 35 - 41
  • [40] HAVING A HARD TIME WITH JUST-IN-TIME
    HUTCHINS, D
    [J]. FORTUNE, 1986, 113 (12) : 64 - 66