Specializing a meta-interpreter: JIT compilation of dynsem specifications on the graal VM

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

1 Citation (Scopus)
95 Downloads (Pure)

Abstract

DynSem is a domain-specific language for concise specification of the dynamic semantics of programming languages, aimed at rapid experimentation and evolution of language designs. DynSem specifications can be executed to interpret programs in the language under development. To enable fast turnaround during language development, we have developed a meta-interpreter for DynSem specifications, which requires minimal processing of the specification. In addition to fast development time, we also aim to achieve fast run times for interpreted programs. In this paper we present the design of a meta-interpreter for DynSem and report on experiments with JIT compiling the application of the meta-interpreter on the Graal VM. By interpreting specifications directly, we have minimal compilation overhead. By specializing pattern matches, maintaining call-site dispatch chains and using native control-flow constructs we gain significant run-time performance. We evaluate the performance of the meta-interpreter when applied to the Tiger language specification running a set of common benchmark programs. Specialization enables the Graal VM to JIT compile the meta-interpreter giving speedups of up to factor 15 over running on the standard Oracle Java VM.

Original languageEnglish
Title of host publicationProceedings of the 15th International Conference on Managed Languages and Runtimes, ManLang 2018
Place of PublicationNew Yorj, NY
PublisherAssociation for Computing Machinery (ACM)
Number of pages14
ISBN (Electronic)978-1-4503-6424-9
DOIs
Publication statusPublished - 2018
EventManLang'18: 15th International Conference on Managed Languages and Runtimes - Linz, Austria
Duration: 12 Sep 201813 Sep 2018
Conference number: 15
http://ssw.jku.at/manlang18/?utm_source=researchbib

Conference

ConferenceManLang'18
CountryAustria
CityLinz
Period12/09/1813/09/18
Internet address

Keywords

  • Dynamic semantics
  • Interpretation
  • JIT
  • Run-time optimization

Fingerprint Dive into the research topics of 'Specializing a meta-interpreter: JIT compilation of dynsem specifications on the graal VM'. Together they form a unique fingerprint.

  • Cite this

    Vergu, V., & Visser, E. (2018). Specializing a meta-interpreter: JIT compilation of dynsem specifications on the graal VM. In Proceedings of the 15th International Conference on Managed Languages and Runtimes, ManLang 2018 [16] Association for Computing Machinery (ACM). https://doi.org/10.1145/3237009.3237018