Parrot

Un article de Wikipédia, l'encyclopédie libre.

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 du monde Perl, Parrot tourne sur de nombreuses plate-formes logicielles dont UNIX, Mac OS X et Windows.

Sommaire

1 Historique
2 Techniques
3 Extensibilité
4 Parrot Magic Cookies
5 Assembleurs
6 Exemples
7 Chaîne de compilation
- 7.1 Passes typiques de compilations
8 Voir aussi
- 8.1 Articles connexes
- 8.2 Liens externes

[modifier] 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à de petits langages sont supportés par Parrot et permettent de tester ses capacités.

[modifier] Techniques

Parrot utilise des techniques éprouvées mais peu répandues en dehors du monde Lisp telles que le COW, 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.

[modifier] 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.

[modifier] Parrot Magic Cookies

Parrot supporte dynamiquement et de manière efficace de nouveaux types grâce aux PMC (Parrot Magic Cookies). Lorsqu'on crée un type nouveau que l'on veut implémenter en C, on implémente les méthodes supportées par l'interface PMC nécessaire pour ce type. 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.

[modifier] Assembleurs

Parrot comprend actuellement deux macro-assembleurs : PASM et PIR. Ces assembleurs sont partiellement orientés objet pour permettre de supporter nativement un nombre indéfini de types.

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.

[modifier] 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

[modifier] Chaîne de compilation

Parrot supportera 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.

[modifier] 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.

[modifier] Voir aussi

[modifier] Articles connexes

Perl 6 : le langage pour lequel Parrot est développé.
PGE : le moteur d'analyse de grammaire de Parrot.
Pugs, une implantation de Perl 6 en Haskell.
The Perl Foundation : La fondation en charge de la promotion et du développement de Perl.