Séminaire Cambium, Inria Paris
                                 Amphi Lions
                         Vendredi 27 septembre, 10h30

                               Gabriel Scherer
                                 Inria Paris

                 Pattern-matching on mutable values: danger!

The OCaml pattern-matching compiler is unsound: it generates incorrect
code in the obscure corner case where we match on a value with mutable
fields, and those fields are mutated during pattern-matching -- from
when clauses, allocation callbacks, or an access race in concurrent
execution.

We recall the overall compilation strategy of the OCaml compiler, and
explain how to weaken its optimization information to remain correct
on mutable data.

            Vous pouvez vous abonner à nos annonces de séminaires:
                     http://cambium.inria.fr/seminar.html

             Nos séminaires sont accessibles en ligne en direct
                            via le lien ci-dessus.