6. Implantation
Le langage CAML peut être utilisé à travers deux types de compilateurs. Le premier produit un bytecode qui est ensuite évalué. Le second produit du code natif pour différents processeurs. Le second est plus rapide que le premier d’un ordre de grandeur et permet d’atteindre des performances comparables à celles des compilateurs C sur des exemples comparables. Le premier est utilisé en particulier dans l’environnement interactif fourni avec le langage et c’est le seul qui soit fourni dans la version CAML LIGHT. Dans les deux types de compilateurs, l’implantation de la gestion mémoire est particulièrement efficace et pénalise peu l’exécution. On pourra consulter
[4]
pour une description des techniques utilisées.
Le modèle d’exécution choisi
Cet article est réservé aux abonnés
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ?
Se connecter
Lecture en cours
Implantation