Étude deCaml-Gmp auniveau desproblèmes dela gestionmémoirePhilippe WangIntroduction Étude de Caml-Gmp au niveau desGMPObjective Caml problèmes de la gestion mémoireCaml-GMP (akaMLGMP)Le problème...SolutionstentéesIndiquer les tailles Philippe Wangdes objets alloués auGCEffets decaml_(alloc|free)_-dependent_-memory?Conclusion 2 décembre 2006Typage et Polymorphisme - Université Pierre et Marie Curie - 2006/2007Étude de « The GNU Multiple Precision ArithmeticCaml-Gmp auniveau desproblèmes de Library, the fastest bignum library on thela gestionmémoire planet! »Philippe WangIntroductionGMPObjective CamlCaml-GMP (akaMLGMP)Le problème...SolutionstentéesIndiquer les taillesdes objets alloués auGC • free library (GNU LGPL)Effets decaml_(alloc|free)_-dependent_-memory? • arbitrary precision arithmeticConclusion • operating on signed integers, rational numbers, andfloating point numbers• limits : available memory in the machine GMP runs on• first release : 1991• most recent release : 2006-05-04 (v 4.2.1)Étude de Projects that rely on GMPCaml-Gmp auniveau desproblèmes dela gestionmémoireA few examples :Philippe Wang• MPFR, an add-on library for floating-point arithmetic.IntroductionGMP • PARI/GP, a software package for computer-aided number theory.Objective CamlCaml-GMP (akaMLGMP) • NTL, a number theory library.Le problème... • lsh is a project to develop a free (GPLed) implementation of theSolutionstentées Secure Shell ...