PRM prmc. Un langage de programmation et un compilateur

Dimension: px

Commencer à balayer dès la page:

Download "PRM prmc. Un langage de programmation et un compilateur"

Charles Côté
il y a 7 ans
Total affichages :

1 PRM, prmc Un langage de programmation et un compilateur LIRMM Informatique Doctiss 06 Journée des doctorants de l I2S 13 avril 2006

2 1 Introduction 2 Le langage PRM Programmation, Raffinement, Modules 3 séparée et globale Le compilateur prmc Performances 4

3 Problématique principale Problème de communication? Bonjour! ? Deux côtés du développement de logiciels Humain langages de programmation PRM Machine compilation prmc

4 Langage de programmation Le langage PRM Programmation, Raffinement, Modules Définition large Un système de codage permettant d écrire un programme Plus de 8000 langages de programmation! Plus précisément Syntaxe Vocabulaire + Grammaire Sémantique Abstractions exprimables + Signification Code source Le texte d un programme rédigé dans un langage de programmation

5 Exemple de code source Le langage PRM Programmation, Raffinement, Modules Factorielle en PRM print("nombre : ") let n := gets.to i let r := 1 while n > 1 do r := r * n n := n - 1 end print(n, "! = ", r)

6 L homme et la machine Le langage PRM Programmation, Raffinement, Modules Langage de programmation = Interface Mode de pensée humain Langage de programmation Mode de fonctionnement de la machine Idée programmation code source compilation Exécution Développeur (Humain) Ordinateur (Machine)

7 Le langage PRM Programmation, Raffinement, Modules Un bon langage de programmation Qualités d ingénierie des logiciels Facilite l écriture de programmes de qualité Conformité, Fiabilité, Efficacité, etc. Maintenabilité, Réutilisabilité, etc. Qualités intuitives de représentation Proche du mode de pensée humain Le programmeur s exprime facilement Non corrompu par l implémentation

8 Le langage PRM Programmation, Raffinement, Modules Historique Simula 1967, Smalltalk 1973 C , Eiffel 1985 Ruby 1993, Java 1995, C# 2001 Paradigme actuellement dominant Bon paradigme Qualités d ingénierie des logiciels Qualités intuitives de représentation

9 Le paradigme objet Le langage PRM Programmation, Raffinement, Modules 4 notions originales Objet Abstraction unique qui encapsule données + traitements Classe Regroupe les objets + factorise les propriétés communes Envoi de message L objet décide de son comportement Héritage Une classe hérite les propriétés des classes qu elle spécialise

10 Le langage PRM Introduction Le langage PRM Programmation, Raffinement, Modules Caractéristiques principales Langage à objets Statiquement typé (comme C++ ou Java) Aucune concession à l implémentation Concepts et syntaxe Concepts Simples, cohérents et intuitifs Syntaxe Claire, Rigoureuse et concise Facile à apprendre Agréable à utiliser

11 Le langage PRM Programmation, Raffinement, Modules Comparaison des langages à objets Quelques caractéristiques PRM C++ Eiffel Java Ruby Héritage multiple Oui Oui Oui Non Non Tout est objet Oui Non Oui Non Oui Itérateurs automatiques Oui Non Non Oui Oui Généricité bornée Oui Non Oui Oui Typage covariant Oui Non Oui Non

12 Modules Introduction Le langage PRM Programmation, Raffinement, Modules Besoin de modularité Un programme est un système complexe (OO.org > lignes de code) Diviser pour régner Modularité Un programme est décomposé en modules Un module contient des classes Un module correspond à une préoccupation Un module dépend d autres modules Un module importe les classes des modules dont il dépend

13 Raffinement de classe Le langage PRM Programmation, Raffinement, Modules Besoin Modification de classes sans toucher au code source Code partagé ou indisponible Variations d un programme Principe Un module peut raffiner les classes importées Idée de définition incrémentale L ordre des raffinements est déduit de l ordre des modules

14 séparée et globale Le compilateur prmc Performances 1 Introduction 2 Le langage PRM Programmation, Raffinement, Modules 3 séparée et globale Le compilateur prmc Performances 4

15 Introduction séparée et globale Le compilateur prmc Performances Définitions Compiler Traduire le code source d un programme vers le langage machine Exécutable Forme résultante d un programme après compilation Compilateur Programme qui prend en donnée un source et produit un exécutable efficace Plusieurs traductions possibles Langage proche de la machine facile à compiler

16 séparée (1) séparée et globale Le compilateur prmc Performances Besoin La compilation est un processus complexe (OO.org 8h) Diviser pour régner Principe code source code source source du programme compilation compilation code binaire code binaire édition de liens code binaire exécutable Module compilé indépendamment de l utilisation finale Exécutable construit en liant les modules compilés

17 séparée (2) séparée et globale Le compilateur prmc Performances Avantages Petite modification de source petite recompilation Module compilé une fois même si celui-ci est partagé Un module compilé est distribuable

18 globale séparée et globale Le compilateur prmc Performances Idée Profiter de la connaissance globale d un programme pour le compiler efficacement Compiler un programme d un coup Produire du code machine spécifique et efficace Inconvénients N a pas les avantages de la compilation séparée Utilisation marginale dans l industrie

19 Le compilateur prmc séparée et globale Le compilateur prmc Performances Problématique Respecter l approche modulaire de PRM Être efficace malgré les abstractions de haut niveau Solution Intégrer des techniques d implémentation globales dans un schéma de compilation séparée

20 séparée et globale Le compilateur prmc Performances Techniques globales en compilation séparée (1) Principe Appliquer les techniques globales dès que la totalité du programme est connu c-à-d à l édition de liens code source code source source du programme compilation compilation code binaire code binaire édition de liens code binaire exécutable

21 séparée et globale Le compilateur prmc Performances Techniques globales en compilation séparée (2) Problème Le code source n est plus disponible Les modules sont déjà compilés Solution (aperçu) Lors de la compilation de chaque module : Ajouter de méta-informations Prévoir des trous dans le code binaire

22 Performances Introduction séparée et globale Le compilateur prmc Performances Comparaison de trois compilateurs Temps (s) g++ smarteiffel prmc Nombre de réponses potentielles par envoi de message

23 Introduction Work in progress PRM et prmc encore en développement Une version stable pour cet été? Perspectives Langage Traits supplémentaires : multi-méthodes, contrats... Bibliothèque Base de données, cgi, interface graphique... Compilateur Plus de techniques globales...

24 Questions? privat/prm

Documents pareils

Anne Tasso. Java. Le livre de. premier langage. 10 e édition. Avec 109 exercices corrigés. Groupe Eyrolles, 2000-2015, ISBN : 978-2-212-14154-2

Anne Tasso. Java. Le livre de. premier langage. 10 e édition. Avec 109 exercices corrigés. Groupe Eyrolles, 2000-2015, ISBN : 978-2-212-14154-2 Anne Tasso Java Le livre de premier langage 10 e édition Avec 109 exercices corrigés Groupe Eyrolles, 2000-2015, ISBN : 978-2-212-14154-2 Table des matières Avant-propos Organisation de l ouvrage..............................