The impact of optional type information on jit compilation of dynamically typed languages-Reference-Cited by-同舟云学术

The impact of optional type information on jit compilation of dynamically typed languages

Published:2012-03-18 Issue:2 Volume:47 Page:13-24
ISSN:0362-1340
Container-title:ACM SIGPLAN Notices
language:en
Short-container-title:SIGPLAN Not.

Author:

Chang Mason¹,Mathiske Bernd²,Smith Edwin²,Chaudhuri Avik²,Gal Andreas³,Bebenita Michael⁴,Wimmer Christian⁴,Franz Michael⁴

Affiliation:

1. University of California at Irvine, Irvine, & Adobe Systems, San Jose, CA, USA

2. Adobe Systems, San Jose, CA, USA

3. Mozilla Corporation, Mountain View, CA, USA

4. University of California at Irvine, Irvine, CA, USA

Abstract

Optionally typed languages enable direct performance comparisons between untyped and type annotated source code. We present a comprehensive performance evaluation of two different JIT compilers in the context of ActionScript, a production-quality optionally typed language. One JIT compiler is optimized for quick compilation rather than JIT compiled code performance. The second JIT compiler is a more aggressively optimizing compiler, performing both high-level and low-level optimizations. We evaluate both JIT compilers directly on the same benchmark suite, measuring their performance changes across fully typed, partially typed, and untyped code. Such evaluations are especially relevant to dynamically typed languages such as JavaScript, which are currently evaluating the idea of adding optional type annotations. We demonstrate that low-level optimizations rarely accelerate the program enough to pay back the investment into performing them in an optionally typed language. Our experiments and data demonstrate that high-level optimizations are required to improve performance by any significant amount.

Publisher

Association for Computing Machinery (ACM)

Subject

Computer Graphics and Computer-Aided Design,Software

Link

https://dl.acm.org/doi/pdf/10.1145/2168696.2047853

Reference43 articles.

1. ActionScript 3.0 Overview - Adobe Developer Connection - http://www.adobe.com/devnet/actionscript/articles/actionscript3_overview.html. ActionScript 3.0 Overview - Adobe Developer Connection - http://www.adobe.com/devnet/actionscript/articles/actionscript3_overview.html.

2. dynamic (C# Reference) - http://msdn.microsoft.com/en-us/library/dd264741.aspx#Y669. dynamic (C# Reference) - http://msdn.microsoft.com/en-us/library/dd264741.aspx#Y669.

3. LIR - MDC - https://developer.mozilla.org/en/Nanojit/LIR. LIR - MDC - https://developer.mozilla.org/en/Nanojit/LIR.

4. LLVM Assembly Language Reference Manual - http://llvm.org/docs/LangRef.html. LLVM Assembly Language Reference Manual - http://llvm.org/docs/LangRef.html.

5. NanoJIT - MDC - https://developer.mozilla.org/En/Nanojit. NanoJIT - MDC - https://developer.mozilla.org/En/Nanojit.

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Guided just-in-time specialization;Science of Computer Programming;2020-01

2. Just-in-time value specialization;Computer Languages, Systems & Structures;2014-07

3. How do programmers use optional typing?;Proceedings of the 13th international conference on Modularity;2014-04-22