publication . Preprint . 2010

Just-In-Time compilation of OCaml byte-code

Meurer, Benedikt;
Open Access English
  • Published: 29 Nov 2010
This paper presents various improvements that were applied to OCamlJIT2, a Just-In-Time compiler for the OCaml byte-code virtual machine. OCamlJIT2 currently runs on various Unix-like systems with x86 or x86-64 processors. The improvements, including the new x86 port, are described in detail, and performance measures are given, including a direct comparison of OCamlJIT2 to OCamlJIT.
free text keywords: Computer Science - Programming Languages, Computer Science - Performance, D.3.3, D.3.4
Download from

[2] A. V. Aho, M. S. Lam, R. Sethi, and J. D. Ullman. Compilers: Principles, Techniques, and Tools. Addison Wesley, 2nd edition, August 2006.

[3] T. M. Austin and G. S. Sohi. Zero-cycle loads: microarchitecture support for reducing load latency. In Proceedings of the 28th annual international symposium on Microarchitecture, MICRO 28, pages 82-92, Los Alamitos, CA, USA, 1995. IEEE Computer Society Press.

[4] P. Bonzini et al. GNU Lightning library., 2010.

[5] D. Bornstein. Dalvik VM Internals,

[7] W. Coleda, J. Gay, P. Michaud, A. Randa, et al., 2010.

[11] X. Leroy, D. Doligez, A. Frisch, J. Garrigue, D. Remy, J. Vouillon, et al. The OCAML language (version 3.12.0)., 2010.

[12] X. Leroy et al. The Caml, 2002.

[15] B. Meurer. OCamlJIT 2.0 - Faster Objective Caml. Computing Research Repository (CoRR), arXiv:1011.1783, Nov 2010.

[16] D. Remy. Using, Understanding, and Unraveling the OCaml Language From Theory to Practice and Vice Versa. In G. Barthe et al., editors, Applied Semantics, volume 2395 of Lecture Notes in Computer Science, pages 413-537, Berlin, 2002. SpringerVerlag.

[17] The Santa Cruz Operation, Santa Cruz, California, USA. SYSTEM V APPLICATION BINARY INTERFACE Intel386 Architecture Processor Supplement, 4th edition, March 1997.

[18] B. Starynkevitch. OCAMLJIT a faster Just-In-Time Ocaml Implementation, 2004.

[19] W. Taha, C. Calcagno, X. Leroy, E. Pizzi, E. Pasalic, J. L. Eckhardt, R. Kaiabachev, O. Kiselyov, et al. MetaOCaml - A compiled, type-safe, multi-stage programming language, 2006.

Powered by OpenAIRE Open Research Graph
Any information missing or wrong?Report an Issue