OCamlJIT 2.0 - Faster Objective Caml

Preprint English OPEN
Meurer, Benedikt;
  • Subject: Computer Science - Programming Languages | D.3.3 | D.3.4

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... View more
  • References (25)
    25 references, page 1 of 3

    [1] Advanced Micro Devices, Inc. AMD64 Architecture mer's Manual Volume 1: Application Programming, Nov http://developer.amd.com/documentation/guides/Pages/default.aspx.

    [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] M. Arnold, S. J. Fink, D. Grove, M. Hind, and P. F. Sweeney. A Survey of Adaptive Optimization in Virtual Machines. In Proceedings of the IEEE, 93(2), 2005. Special issue on program generation, optimization, and adaptation, 2004.

    [4] J. Aycock. A Brief History of Just-In-Time. ACM Computing Surveys, 35(2):97-113, 2003.

    [5] J. R. Bell. Threaded code. Communications of the ACM, 16(6):370-372, 1973.

    [6] P. Bonzini et al. GNU Lightning library. http://www.gnu.org/software/lightning/, 2010.

    [7] D. Bornstein. Dalvik VM Internals, http://sites.google.com/site/io/dalvik-vm-internals/.

    [15] M. A. Ertl and D. Gregg. The Behavior of Efficient Virtual Machine Interpreters on Modern Architectures. In Proceedings of the 7th International Euro-Par Conference Manchester on Parallel Processing, Euro-Par '01, pages 403-412, London, UK, 2001. Springer-Verlag.

    [16] M. A. Ertl and D. Gregg. The Structure and Performance of Efficient Interpreters. The Journal of Instruction-Level Parallelism, 5:1-25, Nov 2003.

    [17] M. A. Ertl and C. Pirker. The Structure of a Forth Native Code Compiler. In EuroForth '97 Conference Proceedings, pages 107-116, Oxford, 1997.

  • Related Research Results (2)
  • Similar Research Results (2)
  • Metrics
Share - Bookmark