English

OCamlJIT 2.0 - Faster Objective Caml

Programming Languages 2011-09-28 v3
Authors: Benedikt Meurer
View on arXiv ↗ PDF ↗

Abstract

This paper presents the current state of an ongoing research project to improve the performance of the OCaml byte-code interpreter using Just-In-Time native code generation. Our JIT engine OCamlJIT2 currently runs on x86-64 processors, mimicing precisely the behavior of the OCaml virtual machine. Its design and implementation is described, and performance measures are given.

Cite

@article{arxiv.1011.1783,
  title  = {OCamlJIT 2.0 - Faster Objective Caml},
  author = {Benedikt Meurer},
  journal= {arXiv preprint arXiv:1011.1783},
  year   = {2011}
}

Comments

23 pages, 12 figures

Related papers

View all related →
Programming Languages · Computer Science
Just-In-Time compilation of OCaml byte-code
Benedikt Meurer
2011-09-28
Programming Languages · Computer Science
Towards a native toplevel for the OCaml language
Marcell Fischbach, Benedikt Meurer
2011-10-28
Programming Languages · Computer Science
Amalgamating Different JIT Compilations in a Meta-tracing JIT Compiler Framework
Yusuke Izawa, Hidehiko Masuhara
2020-12-01
Programming Languages · Computer Science
An Attempt to Catch Up with JIT Compilers: The False Lead of Optimizing Inline Caches
Aurore Poirier, Erven Rohou, Manuel Serrano
2025-03-03
Programming Languages · Computer Science
Two-level Just-in-Time Compilation with One Interpreter and One Engine
Yusuke Izawa, Hidehiko Masuhara, Carl Friedrich Bolz-Tereick
2022-01-25
Programming Languages · Computer Science
Visualizing The Intermediate Representation of Just-in-Time Compilers
HeuiChan Lim, Stephen Kobourov
2021-07-02
Software Engineering · Computer Science
Understanding and Finding JIT Compiler Performance Bugs
Zijian Yi, Cheng Ding, August Shi, Milos Gligoric
2026-03-09
Programming Languages · Computer Science
Formally Verified Native Code Generation in an Effectful JIT -- or: Turning the CompCert Backend into a Formally Verified JIT Compiler
Aurèle Barrière, Sandrine Blazy, David Pichardie
2022-12-07
Machine Learning · Computer Science
A JIT Compiler for Neural Network Inference
Felix Thielke, Arne Hasselbring
2019-12-23
Performance · Computer Science
Performance comparison between Java and JNI for optimal implementation of computational micro-kernels
Nassim A. Halli, Henri-Pierre Charles, Jean-François Mehaut
2014-12-23
Programming Languages · Computer Science
ShareJIT: JIT Code Cache Sharing across Processes and Its Practical Implementation
Xiaoran Xu, Keith Cooper, Jacob Brock, Yan Zhang +1
2018-10-24
Machine Learning · Computer Science
Hybrid JIT-CUDA Graph Optimization for Low-Latency Large Language Model Inference
Divakar Kumar Yadav, Tian Zhao
2026-04-28
Distributed, Parallel, and Cluster Computing · Computer Science
The OoO VLIW JIT Compiler for GPU Inference
Paras Jain, Xiangxi Mo, Ajay Jain, Alexey Tumanov +2
2019-02-01
Quantum Physics · Physics
OpenQudit: Extensible and Accelerated Numerical Quantum Compilation via a JIT-Compiled DSL
Ed Younis
2025-11-21
Quantum Physics · Physics
Quantum simulation with just-in-time compilation
Stavros Efthymiou, Marco Lazzarin, Andrea Pasquale, Stefano Carrazza
2022-09-28
Programming Languages · Computer Science
Implementation of the Programming Language Dino -- A Case Study in Dynamic Language Performance
Vladimir N. Makarov
2016-04-06
Programming Languages · Computer Science
Visualizing JIT Compiler Graphs
HeuiChan Lim, Stephen Kobourov
2021-08-27
Computational Physics · Physics
Designing quantum chemistry algorithms with just-in-time compilation
Xiaojie Wu, Qiming Sun, Yuanheng Wang
2026-02-24
Programming Languages · Computer Science
Objective Caml for Multicore Architectures
Mathias Bourgoin, Benjamin Canou, Emmanuel Chailloux, Adrien Jonquet +1
2020-06-11
Neural and Evolutionary Computing · Computer Science
Using LLVM-based JIT Compilation in Genetic Programming
Michal Gregor, Juraj Spalek
2017-01-23
Programming Languages · Computer Science
A Lightweight Method for Generating Multi-Tier JIT Compilation Virtual Machine in a Meta-Tracing Compiler Framework
Yusuke Izawa, Hidehiko Masuhara, Carl Friedrich Bolz-Tereick
2025-07-04
Graphics · Computer Science
Dr.Jit: A Just-In-Time Compiler for Differentiable Rendering
Wenzel Jakob, Sébastien Speierer, Nicolas Roussel, Delio Vicini
2026-05-26
Programming Languages · Computer Science
A fast in-place interpreter for WebAssembly
Ben L. Titzer
2022-05-04
Artificial Intelligence · Computer Science
Empowering In-Browser Deep Learning Inference on Edge Devices with Just-in-Time Kernel Optimizations
Fucheng Jia, Shiqi Jiang, Ting Cao, Wei Cui +8
2024-07-09
Machine Learning · Computer Science
Agent JIT Compilation for Latency-Optimizing Web Agent Planning and Scheduling
Caleb Winston, Ron Yifeng Wang, Azalia Mirhoseini, Christos Kozyrakis
2026-05-21
R2 v1 2026-06-21T16:40:29.676Z