Parrot (machine virtuelle)
Parrot est une machine virtuelle à base de registres développée par la communauté Perl. Parrot sera la cible de l'interpréteur de Perl 6 en cours de spécification.
La plupart des autres machines virtuelles sont à base de piles. Les développeurs de Parrot considèrent comme un
avantage la ressemblance avec l'architecture des processeurs actuels. Cela permettra d'utiliser la littérature sur ce sujet pour le développement de la machine virtuelle Parrot. Parrot est aussi destiné à supporter d'autres langages dynamiques tels que
Ruby, Python, Tcl ou JavaScript.

Conformément à la tradition de cette communauté, Parrot est un logiciel libre distribué sous licence artistique et sur de nombreuses plates-formes logicielles, parmi lesquelles GNU/Linux.

Historique 

Le projet a commencé comme un poisson d'avril. Simon Cozens a annoncé que Larry Wall et Guido van Rossum (les auteurs respectifs de Perl et de Python) unifiaient leurs efforts pour créer Parrot un langage synthèse de Perl et de Python. Ce nom fut ensuite adopté pour un projet au but similaire. Déjà, des petits langages sont supportés par Parrot et permettent de tester ses capacités.

Il est probable que Parrot vient du sketch Dead Parrot des Monty Python (comme le langage).

Techniques 
Parrot utilise des techniques éprouvées mais peu répandues en dehors du monde Lisp telles que le COW (ou copy-on-write), les continuations. Le copy-on-write, c’est-à-dire copie sur écriture, permet de partager la mémoire d'objets différents tant qu'ils gardent la même valeur.

Extensibilité 
Parrot est conçu pour être extensible et pour être la cible de divers langages. On peut inclure l'interpréteur Parrot dans du code C. On peut appeler du code C de l'interpréteur. On pourra étendre dynamiquement les opérateurs. Parrot supportera l'objet.

Parrot Polymorphic Containers 
Parrot supporte dynamiquement et de manière efficace de nouveaux types grâce aux PMC (Parrot Polymorphic Containers). Lorsqu'on crée un type nouveau que l'on veut implémenter en C, on implémente les méthodes nécessaire pour ce type supportées par l'interface PMC. Certaines méthodes ont un nom et interface prédéfini. Elles sont accessibles rapidement car
le PMC se comporte alors comme une vtable à la C++. Mais un PMC peut avoir des méthodes qui lui sont propres et définir des
attributs. Chaque instance d'un PMC contiendra lesdits attributs.
Il ne faut pas confondre les PMC avec le support objet de plus haut niveau dont l'implémentation sera spécifique à tel ou tel langage  utilisant Parrot mais qui utilisera des PMC prédéfinis par Parrot ou chargés dynamiquement.

Assembleurs 
Parrot comprend actuellement deux assembleurs : PASM (Parrot ASseMbly - Assembleur Parrot) et PIR (Parrot Intermediate Representation - Représentation Intermédiaire Parrot). Ces assembleurs sont partiellement orientés objet pour permettre de supporter nativement un nombre indéfini de types.
Historiquement, le premier assembleur sur Parrot, PASM, est destiné à terme à devenir une représentation lisible du format binaire PBC (Parrot Bytecode).
PIR, un macro assembleur, est l'assembleur de choix.

PIR est de plus haut niveau que PASM car il expose la fiction d'un nombre illimité de registres soulageant le programmeur qui n'a plus à associer manuellement variables et registres. Les registres peuvent être de type entier, numérique, chaîne de caractères ou PMC.

Exemples 
Opérations arithmétiques :
 set I1, 10
 inc I1        # I1 is now 11
 inc I1, 2     # I1 is now 13
 set N1, 42.0
 dec N1        # N1 is now 41.0
 dec N1, 2.0   # N1 is now 39.0
 print I1
 print ", "
 print N1
 print "\
 "
 end

Chaîne de compilation 
Parrot supporte une chaîne de compilation assez complète. La classe HLLCompiler pilote cette compilation. Le programmeur peut définir les passes de la compilation.  Une passe peut être appelée plusieurs fois de manière consécutive.

Passes typiques de compilations 
Patrick Michaud a écrit un moteur d'analyse syntaxique appelé PGE (Parrot/Perl Grammar Engine) qui implante l'essentiel des règles Perl 6 telles que spécifiées dans le synopsis 6. PGE génère typiquement un arbre syntaxique en format PAST (Parrot Abstract Syntax Tree). Cet arbre sera typiquement  transformé par TGE (Tree Grammar Engine), outil de manipulation d'arbre. Finalement du code PIR sera émis.

Articles connexes

Notes et références

Liens externes 
  Site officiel
  Code source

Langage de programmation
Machine virtuelle
Perl
Logiciel sous licence libre