Le projet GNU a adopté le générateur de machine virtuelle du langage Jitter

La boîte à outils Jitter a été officiellement adoptée par le projet GNU et sera désormais développée sous le nom de GNU Jitter, en utilisant l'infrastructure GNU et conformément aux exigences du projet. Jitter génère des machines virtuelles portables et extrêmement rapides pour des constructions de langages de programmation arbitraires, avec des performances d'exécution de code nettement supérieures à celles des interpréteurs et proches du code compilé natif. Le code source de Jitte est écrit en C et sous licence GPLv3.

Jitter prend en entrée une spécification de haut niveau des instructions prises en charge par la machine virtuelle et produit une implémentation de machine virtuelle prête à l'emploi pour l'exécution des instructions spécifiées. La logique de chaque instruction de la spécification est spécifiée en code C (voir l'exemple de spécification de machine virtuelle pour Lisp). Parmi les fonctionnalités supplémentaires, on trouve la prise en charge des opérations de branchement conditionnel, telles que la vérification des valeurs de balises et la vérification des dépassements, difficiles à implémenter en C et courantes dans les langages de programmation dynamique.

Résultat machine virtuelle La machine virtuelle est écrite en C avec un nombre réduit de lignes d'assembleur. Des paramètres permettent d'activer diverses optimisations et de sélectionner les mécanismes de répartition, simplifiant ainsi le portage de la machine virtuelle sur différentes plateformes. Les architectures d'exécution par registres, par pile et combinée sont prises en charge, de même que la possibilité de mapper les structures de données de la machine virtuelle aux registres matériels du processeur et d'activer le ramasse-miettes. Le code généré inclut une API C simple pour la substitution et l'exécution dynamiques de code dans la machine virtuelle, ainsi qu'un programme pilote permettant d'exécuter séparément du code provenant de fichiers texte dans la machine virtuelle.

Source: opennet.ru