Tag Archives: JIT

  • JIT, A Maze of Twisty Little Traces
    2013-06-13 Erlang Central

    Presentations Videos



    You are in a maze of twisty little traces, all alike. Last year at EUC I gave an in-depth tour of how automated source-to-source transformations were used to generate a proof-of-concept JIT compiler from the VM sources. Since then work has progressed to turn the proof-of-concept into a prototype. Turning a proof-of-concept into a prototype is a process with many degrees of freedom, not unlike an old-school adventure game where you start out with minimal knowledge of your surroundings and ...


    Read more


  • Just-in-time in No Time? “Use the Source!”
    2012-05-28 Erlang Central

    Videos



    Every cool VM-based language today seems to have a just-in-time (JIT) compiler. With the availability of a powerful compiler infrastructure in the form of LLVM, Erlang is close to get a just-in-time compiler of its own. Using LLVM together with its C-frontend, Clang, and automated source-to-source transformations it is possible to generate a JIT-capable Erlang VM which automatically stays in sync with the basic VM. This talk will provide a brief overview of different just-in-time compilation ...


    Read more


  • Just-in-time compiler for the Erlang VM
    2012-03-26 Erlang Central

    Videos



    After the success of the Java Hot Spot VM, just-in-time compilers are become more and more popular in more and more languages. Just-in-time compilers attempt to make code run faster by compiling parts of your programs to native code in order to speed up execution time. Just-in-time compilers have been shown to speed up performance by up to a factor of 5 for specific benchmarks and it is about time that the Erlang VM is fitted with one of its own. This talk will give a brief overview of the di ...


    Read more


  • ECC – Fun Writing Compilers
    2011-03-21 Erlang Central

    Videos



    This is the story of ECC. ECC is a compiler toolkit built with the following components: - A C pre-processor and parser - A type checker and program normalizer - A back-end target code generator which generates LLVM-assembler code - A Constraint Solver (Gecode) - LLVM Erlang is used to transform C to LLVM-assembler.  LLVM is used to optimize the code and produce code for common targets. Constraint logic programming techniques and Gecode are used for instruction scheduling and code ...


    Read more