Machines virtuelles fonctionnelles (suite) Compilation ML Java - Cours de Compilation Avancée

Machines virtuelles fonctionnelles (suite)Compilation ML! JavaCours de A vancée (MI190)Benjamin CanouUniversité Pierre et Maire CurieAnnée 2010/2011 – Semaine 3. . . . . .Machines virtuellesfonctionnelles (suite). . . . . .La ZAM : machine fonctionnelle stricteSchéma dérivé de la machine de Krivine :I Le co rps d’une instruction commence pa r GRAB ,I comme les fonctions ont plusieurs a rguments, le co deressemble en fait à : [GRAB; n ;...;RETURN]argsI les a rguments sont passés sur la pile pa r les instructionsAPPLY{1,2,3} + compteur extra_argsI GRAB applique la fonction (évaluation stricte) si elle trouve lesa rguments nécessaires, sinon, elle crée une fermeture.. . . . . .La ZAM : application généraleComment s’exécute le p rogramme suivant ?# open Printf;;# let separe sep =let rec aux i str =if i < String.length str then (printf "%c%c" str.[i] sep ;aux (i + 1) str)inaux 0;;val separe : char -> string -> unit = # separe ',';;- : string -> unit = # separe ',' "toto";;t,o,t,o,- : unit = ()Grâce à CLOSURE , APPLY , GRAB et RETURN. . . . . .La ZAM : CLOSUREInstruct(CLOSURE): {int nvars = *pc++;int i;if (nvars > 0) *--sp = accu;Alloc_small(accu, 1 + nvars, Closure_tag);Code_val(accu) = pc + *pc;pc++;for (i = 0; i < nvars; i++) Field(accu, i + 1) = sp [i];sp += nvars;Next;}. . . . . .La ZAM : APPL YInstruct(APPLY2): {value arg1 = sp[0]; arg2 = sp[1];sp -= 3;sp[0] = arg1;sp[1] = arg2;sp[2] = (value)pc;sp[3] = ...