Objectifs : générateur de programmes pour des réseaux de Petri P/T

Transcription

1 Présentation du Projet «écriture d'un générateur de code» Objectifs : générateur de programmes pour des réseaux de Petri P/T Stratégie hybride => partition déjà effectuée Processus (avec états et actions + instanciation) Places de communications Identification des synchronisations En sortie, différents langages de programmation C, Ada, C++, Java, ocaml Travail par groupes Le générateur avec MetaScribe Proposer différentes politiques d'implémentation Supporter tous les objets de génération L'exécutif Affichage d'une trace associée à chaque transition Documentation + kit de distribution propre Travail en équipe 6 étudiants/équipe

2 Rappel, suggestion pour l'architecture du prototype 3 Gest. Ressources Exécutif Gest. Prototype Gest. synchronisations Gest. processus Se poser les bonnes questions Interpréter cette architecture Identifier les politiques Identifier les bon gabarits pour le parallélisme Minimiser l'overhead... Attention: jeu de tests minimal fourni Minimal = pas celui que j'appliquerai au final... Meta-modèle du formalisme 4 Automates communicants Inspirés d'un réseau de Petri après analyse du partitionnement place de communications Nom + nb jetons processus BELONG Nom + instances COMM_ARC Value transitions locales places d'états transitions Nom Nom Nomsync ARC ARC

3 Source MSF (1) anlzed-pn-main.msf main_file formalism ('ANLZED_PN'); // Les entites d'un RdP partitionne entity_list PROCESS : node, STT_PLACE : node, COMM_PLACE : node, LOC_TRANS : node, SYNC_TRANS : node, BELONG ARC COMM_ARC : link, : link, : link; // Les attributs globaux d'un RdP partitionne 5 // Les operateurs pour decrire les instances. construction_list (INSTANCE_LIST, ONE_INSTANCE); // Les Fichiers annexes file_list file ('anlzed-pn-node.msf'), file ('anlzed-pn-link.msf'); global_attributes end Source MSF (.1) anlzed-pn-node.msf annex_file node (PROCESS) is! attribute expression : INSTANCES; with BELONG direction non_oriented, end PROCESS; node (STT_PLACE) is with BELONG direction non_oriented, maximum 1; 6 node (COMM_PLACE) is attribute integer : NB_IN_TOKENS; with COMM_ARC with COMM_ARC end COMM_PLACE; node (LOC_TRANS) is with BELONG direction non_oriented, maximum 1; maximum 1; maximum 1;

4 Source MSF (.) anlzed-pn-node.msf 7 with COMM_ARC with COMM_ARC end LOC_TRANS; node (SYNC_TRANS) is with BELONG direction non_oriented, end SYNC_TRANS; Source MSF (3) anlzed-pn-link.msf annex_file link (BELONG) is none end BELONG; link (ARC) is none end ARC; link (COMM_ARC) is attribute integer : VALUE; end COMM_ARC; 8

5 Exemple de source MSM (1) 9 main_file formalism ( 'ANLZED_PN' ) ; P1_takes P_takes // Attributs globaux where (attribute NAME => 'duo_mutex') ; P1out P1in 1 Pin Pout // Places de communications P1_release P_release node 'cp1' is COMM_PLACE where (attribute NAME => 'mutex', attribute NB_IN_TOKENS => 1); // Premier processus P1 P node 'proc1' is PROCESS where (attribute NAME => 'processus_1', attribute INSTANCES => sy_node (INSTANCE_LIST: sy_node (ONE_INSTANCE: sy_leaf ('P1out')), sy_node (ONE_INSTANCE: sy_leaf ('P1out')) Exemple de source MSM () 10 node 'p1p1' is STT_PLACE where (attribute NAME => 'P1out'); P1_takes P_takes node 'p1p' is STT_PLACE where (attribute NAME => 'P1in'); P1out P1in 1 Pin Pout node 'p1t1' is LOC_TRANS where (attribute NAME => 'P1_Takes'); node 'p1t' is LOC_TRANS where (attribute NAME => 'P1_release'); P1_release P_release link 'p1bl1' is BELONG! relate together STT_PLACE:'p1p1', STT_PLACE:'p1p',!! LOC_TRANS:'p1t1', LOC_TRANS:'p1t', PROCESS:'proc1'; link 'p1l1' is ARC! relate STT_PLACE:'p1p1' to LOC_TRANS:'p1t1'; link 'p1l' is ARC! relate STT_PLACE:'p1p' to LOC_TRANS:'p1t';

6 Exemple de source MSM (3) 11 link 'p1l4' is ARC! relate LOC_TRANS:'p1t1' to STT_PLACE:'p1p'; link 'commp1l1' is COMM_ARC! relate LOC_TRANS:'p1t1' to COMM_PLACE:'cp1'; P1out P1in P1_takes 1 P_takes Pin Pout link 'commp1l' is COMM_ARC! relate LOC_TRANS:'p1t' to COMM_PLACE:'cp1'; P1_release P_release // Second processus node 'proc' is PROCESS where (attribute NAME => 'processus_', attribute INSTANCES => sy_node (INSTANCE_LIST: sy_node (ONE_INSTANCE: sy_leaf ('Pout')), sy_node (ONE_INSTANCE: sy_leaf ('Pout')) )); node 'pp1' is STT_PLACE where (attribute NAME => 'Pout'); Exemple de source MSM (4) 1 node 'pt1' is LOC_TRANS where (attribute NAME => 'P_Takes'); P1_takes P_takes node 'pt' is LOC_TRANS where (attribute NAME => 'P_release'); P1out P1in 1 Pin Pout link 'pbl1' is BELONG! relate together STT_PLACE:'pp1', STT_PLACE:'pp',!! LOC_TRANS:'pt1', LOC_TRANS:'pt', PROCESS:'proc'; P1_release P_release link 'pl1' is ARC! relate STT_PLACE:'pp1' to LOC_TRANS:'pt1'; link 'pl' is ARC! relate STT_PLACE:'pp' to LOC_TRANS:'pt'; link 'pl3' is ARC! relate LOC_TRANS:'pt' to STT_PLACE:'pp1'; link 'commpl1' is COMM_ARC! relate LOC_TRANS:'pt1' to COMM_PLACE:'cp1'; link 'commpl' is COMM_ARC! relate LOC_TRANS:'pt' to COMM_PLACE:'cp1'; link 'pl4' is ARC

7 Autre exemple (jeu de test) 13 P1_T1 P_T1 P1_1 P1_ P_ P_1 sync P1 P sync Quelques conseils 14 Prise en main de MetaScribe = TME CAR Bien respecter les contraintes du sujet La distribution Attention dans les modifications du makefile, je ne dois pas me poser de questions sur la manière de produire le générateur de code Documentation: comment intégrer de nouveaux jeux de tests... Jeux de tests Je suis prêt à mettre en ligne ceux que vous me ferez parvenir... Documentation: Comment identifier et paramétrer les politiques Produire plusieurs générateurs...! Nom du programme : generator_to_language (par defaut)! Autres noms possibles: generator_to_language_<politique>! Modifier le Makefile pourproduire tooutes les politiques possibles et les documenter Date de remise 5 Décembre 006

8 Langages & équipes... Ada 15 C OCAML Java C++ Faites vos équipes ou alors je procède à un tirage au sort autoritaire ;-)