To: seminaire@pauillac.inria.fr
From: Francois.Pottier@inria.fr
Subject: SEM - INRIA : Cristal - 08/10/04 - Paris - FR

           Vous pouvez vous abonner à nos annonces de séminaires
             http://pauillac.inria.fr/seminaires/subscribe.html

                             S E M I N A I R E
       ___      .                       
      /    ___   __  /_  _   /             /| /|  _   __ __ _       _ 
     /    /   / /_  /   __| /    -----    / |/ | / \ /_ /  / \ | / __|
    |___ /   / __/ |_  |_/ |_            /     | |_/__/ |_ |_/ |/ |_/
                                                
                          I N R I A - Rocquencourt
                          Amphi Turing, bâtiment 1

                         Vendredi 8 octobre, 10h30

                            --------------------
                            Basile Starynkevitch
                            --------------------


          =======================================================
          Ocamljit - un traducteur Just In Time du bytecode Ocaml
          =======================================================


Cet exposé présente un traducteur incrémental (Just In Time) du code octet
Ocaml en du code machine (sur x86 & PowerPC) qui mime aussi fidèlement que
possible l'interprète habituel de bytecode ocamlrun.

On donnera d'abord les motivations pour ce travail, la façon dont Ocamljit
suit le comportement de l'interprète habituel, et l'organisation du code
généré. On utilise la bibliothèque GNU Lightning par P.Bonzini (améliorant CCG
de I. Piumart) pour générer rapidement du code machine.

On évoquera ensuite les petites modifications introduites dans Ocaml pour
supporter Ocamljit, et on suggérera d'autres modifications.

On présentera les accélérations obtenues sur x86 et sur PowerPC.

Enfin, on discutera des formes intermédiaires, plus aptes à la génération de
code machine que les bytecodes usuels.