Lisaac
Un article de Wikipédia, l'encyclopédie libre.
| Apparu en | 2000 |
| Auteur | Benoît Sonntag |
| Développeurs | INRIA et LORIA |
| Dernière version | (spécification) 0.2 (Octobre 2004) |
| Paradigmes | prototype, impératif |
| Typage | Fort, statique |
| Influencé par | Self, Eiffel |
| Système d'exploitation | Multi-plate-forme |
| Licences | Compilateur propriétaire et bibliothèque CeCILL |
| Site Web | Isaac projet |
Lisaac est un langage orienté objet à prototype compilé conçu au LORIA par Benoît Sonntag pour sa thèse entre 2000 et 2003 afin d'écrire un nouveau système d'exploitation nommé Isaac.
C'est un système intégralement modulaire, intégralement composé d'objets posés sur le matériel de la machine. Lisaac est ainsi un langage de haut niveau tout aussi conçu pour le développement de pilotes de périphériques.
Sommaire |
[modifier] Présentation générale
Lisaac est inspiré du langage Self pour les concepts d'objets à prototypes, issu de recherches poursuivies dans les années 1990 par Sun Research. Il est aussi inspiré du langage Eiffel, un langage objet à classe, pour les aspects d'ingénierie logicielle et notamment pour la programmation par contrat. Enfin les concepts utiles à la programmation système comme la gestion des interruption ont été rajoutés.
L'objets à prototypes se différencie de l'objet à classe en ce qu'il n'est plus nécessaire de créer une classe, un « moule » de l'objet que l'on instanciera dans le corps du programme. Dans le monde à prototype, ne règnent que des objets. Un objet est vivant dès l'exécution. Un objet ne s'instancie pas, il se clone. Un objet peut posséder plusieurs parents (héritage multiple). Un objet peut dynamiquement changer de parents (héritage dynamique).
Le compilateur Lisaac génère du C ANSI optimisé et est ainsi multi-plateforme.
Le compilateur Lisaac produit du code dont les performances approchent celle du C. Des tests sont en cours à ce sujet, mais on a déjà pu mesurer un lecteur de vidéo MPEG-2 « copié » fidèlement à partir d'un codec écrit en C 1,9 % plus lent que le binaire issu du code C original.
[modifier] Caractéristiques
[modifier] Un langage objet à prototype
Dans ce type de langage, l'objet règne en maître. Un objet est physiquement présent en mémoire, il se clone. L'héritage se situe au niveau des objets, pas des classes.
Un objet héritant d'un autre objet, plusieurs objets peuvent hériter d'un même objet physique. Étant une entité physiquement séparée, il est possible de changer de parent à l'exécution (voir héritage dynamique)
[modifier] Protections
En lisaac, on n'est plus limité par le private, public et protected. Plus exactement le protected est étendu :
On défini une méthode ou propriété publique ou privé en définissant dans Section Public ou Section Private.
Par contre, pour faire du protected, on va faire Section SELF ie. tous les objets héritant de SELF vont pouvoir accéder aux propriétés/méthodes de cette section, ce qui revient à protected.
Mais là où cela devient intéressant est la possibilité de définir Section NUMERIC ou Section ARRAY[STRING].
Dans ces sections, seuls les objets (resp.) NUMERIC et ARRAY[STRING] ainsi que leur descendance auront accès aux méthodes et propriétés définies dans ces section
[modifier] Héritage dynamique
En lisaac, l'héritage peut se définir par une fonction. Imaginons l'objet DECOD_MPEG2 possédant une méthode renvoyant les Bitmap video issu du décodage :
On veut pouvoir lire la vidéo en mode fenetré, en plein écran sur l'écran SVGA ou sur la sortie télé...
on a :
- NAME := DECOD_MPEG2_TO_SCREEN
section INHERIT
- videoparent : OBJECT <-
(
+ result : OBJECT;
typ
.when 1 then { result := WINDOW;}
.when 2 then { result := VIDEO_VGA;}
.when 3 then { result := VIDEO_TVOUT;};
result
)
section PUBLIC
- typ : INTEGER;
- decode_flux <-
(
putimage decode_to_bitmap;
)
[modifier] Redéfinition des opérateurs
On peut redéfinir les opérateurs dans n'importe quels objets vu qu'ils sont des méthodes comme les autres (il faut les mettre entre quote, c'est tout)
Dans l'objet NUMERIC on a
- '+' left 80 other:SELF :SELF <- self - -other;
Si on cree un objet MATRICE, on peut le redéfinir
- '+' left 80 other:SELF :SELF <-
(
+ result : SELF;
result := SELF.create count;
1.to tab.count do {
i : INTEGER;
result.put (item i+other.item i) to i;
};
result
)
On a redéfini le + pour MATRICE
[modifier] Priorités des opérateurs
Comme on peut le voir dans l'exemple précédent, la priorité et l'associativité des opérateurs est programmable. Cela demande de la part du compilateur une étude approfondie afin de fixer l'ordre d'évaluation des expressions.
[modifier] Généricité
On peut définir un objet générique de plusieurs objets : DICTIONARY[CLE,VALEUR]
[modifier] Programmation par contrat
Pour une meilleure fiabilité du code, des mécanismes de programmation par contrat inspirés de la Notation Z ont été ajouté.
Lisaac permet de définir des require, invariants et ensure comme en Eiffel.
[modifier] Facilités système
Lisaac offre deux fonctionnalités systèmes :
- Section MAPPING
- Permet de définir avec précision un masque de bit.
- Permet de décrire des objet représentant une structure fixée par le matériel.
- Permet de créer des prototypes directement associés.
- Permet aussi de créer des tableaux de pixels en étant certain de pouvoir disposer de bonnes performances.
- Le compilateur gère automatiquement les spécificités des objets MAPPING
- Section INTERRUPT
- Permet de définir des interruptions système.
- Le compilateur gère le fait qu'une interruption est une opération spéciale qui doit être insensible au contexte.
[modifier] Performances
De récents benchmarks ont démontré les performances du code produit par le compilateur : un décodeur MPEG1/2 complet, écrit en C a été traduit en lisaac en conservant rigoureusement les même structures algorithmiques.
Les résultats sont encourageants : avec 37% de lignes de code en moins que le source C, Lisaac produit un exécutable 1,9% plus lent que l'exécutable produit à partir du source C. De plus, grâce à la gestion dynamique de la mémoire, le lecteur est plus fiable.
De nouvelles optimisations sont à l'étude afin de réduire cet écart.
Voir aussi suppression de la liaison dynamique
[modifier] Suppression de la liaison dynamique
Les langages objets classiques, jusqu'à SmartEiffel, utilisent des VFTs (de l'anglais Virtual Function Table) pour compiler la liaison dynamique: :
Soient l'objet IMAGE, et ses deux descendants PNG et XCF. Quand on appelle la fonction PNG.affiche_toi() en Java ou PNG->affiche_toi() en C++, on se retrouve en assembleur avec un appel du type :
Call dword ptr [__adresse_de_PNG + index_dans la_VFT_de_la_fonction_affiche_toi()]
L'adresse de PNG (l'objet receveur) pointe sur la base de la VFT, ensuite on ajoute le bon index pour recuperer le champs correspondant à la bonne methode...
Ce qui implique que cela vide le cache du processeur et que l'inlining est bloqué à la compilation.
Le compilateur lisaac optimise la liaison dynamique en analysant finement le type dynamique des objets grâce à un algorithme de prédiction de type. La liaison dynamique supprimée, il devient possible de procéder à des inlining et à des spécialisations de code.
[modifier] Syntaxe et sémantique
La syntaxe est d'abord inspirée de Smalltalk mais aussi d'Eiffel et de Self, la syntaxe des blocs d'instruction est largement inspirée de C.
Lisaac est sémantiquement et syntaxiquement très proche des langage Self et Eiffel. Il reprend aussi quelques éléments syntaxique du C et du Pascal. Comme son grand frère Self, ce langage est minimaliste avec l’absence de construction pour les conditionnelles, les boucles et les itérations : Le compilateur Lisaac ne sait pas ce qu'est une conditionnelle, on implémente celle-ci avec les trois objets Boolean, True, False (True et False héritant de Boolean), dans lesquels les conditionnelles (if ; if/else, etc.) sont définies. Un pattern matching, au sein du compilateur, va reconstruire les séquences afin de les optimiser et de les rendre aussi rapide qu'en C.
L’approche à objet a pu être respectée par l’absence de type de base (comme par exemple le int, nombre entier, en Java) pour laisser place à une encapsulation objet à la manière du langage Eiffel et de ses objets de type expanded.
[modifier] Versions
La numérotation des versions du compilateur Lisaac ne suit pas le schéma classique : chaque numérotation du compilateur suit la spécification qu'il implémente. Les compilateurs disponible en téléchargement sont généralement stables, attendus qu'ils ne sont disponible que lorsqu'ils sont débuggué. C'est une volonté ferme de son auteur.
