La réponse courte est: vous avez raison, vous avez toujours besoin d'un autre interprète écrit en X ou d'un compilateur de Y vers une autre langue pour laquelle vous avez déjà un interprète. Les interprètes s'exécutent, les compilateurs ne traduisent que d'une langue à une autre, à un moment donné de votre système, il doit y avoir un interprète… même si ce n'est que le CPU.
Peu importe le nombre de nouveaux interprètes que vous écrivez dans la langue Y , vous devrez toujours utiliser le premier interprète écrit en X pour interpréter les interprètes suivants. Cela semble être un problème simplement en raison de la nature des interprètes.
Correct. Ce que vous pouvez faire est d' écrire un compilateur de Y à X (ou une autre langue pour laquelle vous avez un interprète), et vous pouvez même le faire en Y . Ensuite, vous pouvez exécuter votre compilateur Y écrit en Y sur l' interpréteur Y écrit en X (ou sur l' interpréteur Y écrit en Y en cours d'exécution sur l' interpréteur Y écrit en X , ou sur l' interpréteur Y écrit en Y en cours d'exécution sur l' interpréteur Y écrit en Y courant sur le Yinterprète écrit en X , ou… à l'infini) pour compiler votre interprète Y écrit en Y vers X , afin de pouvoir ensuite l'exécuter sur un interpréteur X. De cette façon, vous vous êtes débarrassé de votre interprète Y écrit en X , mais maintenant vous avez besoin de l' interprète X (nous savons que nous en avons déjà un, cependant, car sinon nous ne pourrions pas exécuter l' interprète X écrit en Y ), et vous a dû d'abord écrire un compilateur Y- to- X .
Cependant , d'un autre côté, l'article de Wikipedia sur les interprètes parle en fait d'interprètes auto-hébergés. Voici un petit extrait qui est pertinent:
Un auto-interprète est un interpréteur de langage de programmation écrit dans un langage de programmation qui peut s'interpréter lui-même; un exemple est un interpréteur BASIC écrit en BASIC. Les auto-interprètes sont liés aux compilateurs auto-hébergeurs.
S'il n'existe aucun compilateur pour le langage à interpréter, la création d'un auto-interprète nécessite l'implémentation du langage dans un langage hôte (qui peut être un autre langage de programmation ou assembleur). En ayant un premier interprète comme celui-ci, le système est démarré et de nouvelles versions de l'interpréteur peuvent être développées dans la langue elle-même
Cependant, je ne sais toujours pas exactement comment cela serait fait. Il semble que, quoi qu'il arrive, vous serez toujours obligé d'utiliser la première version de votre interprète écrite dans la langue hôte.
Correct. Notez que l'article Wikipedia dit explicitement que vous avez besoin d'une deuxième implémentation de votre langue, et il ne dit pas que vous pouvez vous débarrasser de la première.
Maintenant, l'article mentionné ci-dessus renvoie à un autre article dans lequel Wikipedia donne quelques exemples d'interprètes supposés auto-hébergés. Cependant, à y regarder de plus près, il semble que la principale partie "interprétative" de bon nombre de ces interprètes auto-hébergés (en particulier certains des plus courants tels que PyPy ou Rubinius) soit en réalité écrite dans d'autres langages tels que C ++ ou C.
Encore une fois, c'est exact. Ce sont vraiment de mauvais exemples. Prenez Rubinius, par exemple. Oui, c'est vrai que la partie Ruby de Rubinius est auto-hébergée, mais c'est un compilateur, pas un interprète: il compile en code source Ruby en bytecode Rubinius. La partie interpréteur OTOH n'est pas auto-hébergée: elle interprète le bytecode Rubinius, mais elle est écrite en C ++. Donc, appeler Rubinius un "interprète auto-hébergé" est faux: la partie auto-hébergée n'est pas un interprète , et la partie interprète n'est pas auto-hébergée .
PyPy est similaire, mais encore plus incorrect: il n'est même pas écrit en Python en premier lieu, il est écrit en RPython, qui est un langage différent. Il est syntaxiquement similaire à Python, sémantiquement un "sous-ensemble étendu", mais il s'agit en fait d'un langage de type statique à peu près au même niveau d'abstraction que Java, et son implémentation est un compilateur avec plusieurs backends qui compile RPython en code source C, ECMAScript code source, code d'octet CIL, code d'octet JVM ou code source Python.
Alors, ce que je décris ci-dessus est-il possible? Un interprète auto-hôte peut-il être indépendant de son hôte d'origine? Si oui, comment cela se ferait-il exactement?
Non, pas tout seul. Vous devrez soit conserver l'interpréteur d'origine, soit écrire un compilateur et compiler votre auto-interprète.
Il existe des machines virtuelles méta-circulaires, telles que Klein (écrit en Self ) et Maxine (écrit en Java). Notez, cependant, qu'ici la définition de "méta-circulaire" est encore différente: ces VMs ne sont pas écrites dans le langage qu'elles exécutent: Klein exécute Self bytecode mais est écrit en Self, Maxine exécute JVM bytecode mais est écrit en Java. Cependant, le code source Self / Java de la machine virtuelle est en fait compilé en bytecode Self / JVM puis exécuté par la machine virtuelle, donc au moment où la machine virtuelle est exécutée, elle est dans le langage qu'elle exécute. Phew.
Notez également que cela est différent des machines virtuelles telles que SqueakVM et Jikes RVM . Jikes est écrit en Java et SqueakVM est écrit en Slang (un sous-ensemble syntaxique et sémantique typé de Smalltalk à peu près au même niveau d'abstraction qu'un assembleur de haut niveau), et les deux sont compilés statiquement en code natif avant d'être exécutés. Ils ne courent pas à l'intérieur d'eux-mêmes. Vous pouvez cependant les exécuter par -dessus eux-mêmes (ou par-dessus une autre VM / JVM Smalltalk). Mais ce n'est pas "méta-circulaire" dans ce sens.
Maxine et Klein, OTOH fontcourir à l'intérieur d'eux-mêmes; ils exécutent leur propre bytecode en utilisant leur propre implémentation. C'est vraiment époustouflant! Il permet des opportunités d'optimisation intéressantes, par exemple, puisque la machine virtuelle s'exécute avec le programme utilisateur, elle peut incorporer les appels du programme utilisateur à la machine virtuelle et vice versa, par exemple, appeler le garbage collector ou l'allocateur de mémoire peut être intégré à l'utilisateur et les rappels réfléchis dans le code utilisateur peuvent être intégrés dans la machine virtuelle. En outre, toutes les astuces d'optimisation intelligentes que les machines virtuelles modernes font, où elles regardent le programme d'exécution et l'optimisent en fonction de la charge de travail et des données réelles, la machine virtuelle peut appliquer ces mêmes astuces à elle-même pendant l'exécution du programme utilisateur pendant que le programme utilisateur exécute la charge de travail spécifique. En d'autres termes, la VM s'est hautement spécialisée pour celaprogramme particulier exécutant cette charge de travail particulière.
Cependant, remarquez que j'ai contourné l'utilisation du mot "interprète" ci-dessus et que j'ai toujours utilisé "exécuter"? Eh bien, ces machines virtuelles ne sont pas construites autour d'interprètes, elles sont construites autour de compilateurs (JIT). Un interprète a été ajouté à Maxine plus tard, mais vous avez toujours besoin du compilateur: vous devez exécuter la machine virtuelle une fois sur une autre machine virtuelle (par exemple, Oracle HotSpot dans le cas de Maxine), afin que la machine virtuelle puisse (JIT) se compiler elle-même. Dans le cas de Maxine, il compilera JIT sa propre phase de démarrage, puis sérialisera ce code natif compilé sur une image de VM d'amorçage et collera un chargeur de démarrage très simple devant (le seul composant de la machine virtuelle écrit en C, bien que ce soit juste pour plus de commodité). , cela pourrait aussi être en Java). Vous pouvez maintenant utiliser Maxine pour s'exécuter.