To: seminaire-gallium-moscova@inria.fr
From: Francois.Pottier@inria.fr
Subject: SEM - INRIA : Gallium - 01/12/08 - Paris - FR

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

                             S E M I N A I R E
       __                                  
      / _`  _   /  /  o                       /| /|   __  __  __ __    _  _
     /   ) __) /  /  / /  / /\/|    -----    / |/ |  /  )(_  /  /  ) ) ) __)
    (___/ (_/ (_ (_ / (__/ /   |            /     | (__/ __)(_ (__/ (_/ (_/
                                                
                          I N R I A - Rocquencourt
                         Amphi Turing du bâtiment 1

                          Lundi 1 décembre, 10h30

                               --------------
                               Damien Doligez
                               --------------

                                   INRIA

                ============================================
                Pointeurs faibles et hash-consing dans OCaml
                ============================================

Les pointeurs faibles sont une feature relativement recente l'OCaml,
mais ils ont eu de gros problemes de performance, qui sont passes
bizarrement inapercus pendant plusieurs annees. Apres avoir decrit
les problemes poses par le hash-consing en OCaml, et en particulier
les interactions avec le GC incremental d'OCaml, j'exposerai les
solutions retenues pour OCaml 3.10.2 et je poserai quelques
questions aux theoriciens presents dans la salle.