Modélisation des systèmes temps-réel répartis embarqués pour la ...

More documents

Recommendations

Info

Modélisation des systèmes temps-réel répartis embarqués 29 Date_Start := Clock; 30 Addition.Add (myadd, Mesg + 1); 31 elsif Mesg = 200001 then 32 Date_End := Clock; 33 Elapsed_Time := Date_End - Date_Start; 34 Ada.Text_IO.Put_Line 35 ("Elapsed time : " & Duration’Image (Elapsed_Time)); 36 Addition.Add (myadd, 0); 37 else 38 Addition.Add (myadd, Mesg + 1); 39 end if; 40 end Add; 41 42 procedure Set_Target is 43 Ior : String (1 .. 1024); 44 L : Natural; 45 begin 46 Ada.Text_IO.Put ("target ior ="); 47 Ada.Text_IO.Get_Line (Ior, L); 48 CORBA.ORB.String_To_Object 49 (CORBA.To_CORBA_String (Ior (1 .. L)), myadd); 50 end Set_Target; 51 52 end Addition.Impl; Listing VIII.9 – Code source de la méthode pour le passage de messages CORBA La procédure Set_Target permet de spécifier la destination des messages ; elle doit être appelée avant l’exécution du nœud initiateur afin de mettre en place les références entre les deux nœuds de l’application. L’implantation du nœud initiateur est semblable à celle du client CORBA de la première application-témoin ; l’implantation des nœuds applicatifs est semblable à celle du serveur CORBA. VIII-2.3 Résultats Nous effectuons deux séries de mesures, pour 20 000 messages et 200 000 messages. De cette façon, nous pouvons détecter un éventuel délai d’exécution fixe, correspondant à la mise en place des nœuds applicatifs. Nous nous servons d’un PC mono-processeur Athlon 2500+. Les résultats des mesures sont rassemblés dans le tableau VIII.1. communications 20000 200000 PolyORB/AADL 4,3 s 43,5 s PolyORB/CORBA 3,2 s 32,5 s rapport AADL/CORBA +37% +33% PolyORB/CORBA oneway 2,7 s 27,1 s rapport AADL/CORBA oneway +63% +60% TAB. VIII.1 – Comparaison des temps d’exécution des applications AADL et CORBA pour la transmission d’entiers 164 c○ 2007 Thomas Vergnaud
VIII-2.3.1 Analyse quantitative Chapitre VIII – Mise en pratique Nous pouvons observer que l’application AADL est légèrement plus lente – de 30 à 60 % – dans le traitement des communications que les implantations basées sur CORBA. Cette perte de performance s’explique simplement, à partir de l’organisation de la couche d’interface enveloppe/intergiciel que nous avons présentée en section VI-2.1, 102. En effet, les données transportées dans chaque requête sont dans un premier temps extraites puis stockées dans une tampon de mémoire ; dans un deuxième temps elles sont récupérées et envoyées à l’application. Dans le cas de nos mesures, les threads AADL n’ont qu’un seul port d’entrée, correspondant à une seule requête ; la gestion du tampon de mémoire engendre donc un surcoût. En comparaison, les applications-témoin basées sur CORBA transfèrent directement les données ; elles sont donc plus efficaces. Dans la mesure où les applications font des calculs très rapides – des additions – les temps de traitement des données ressortent clairement. Nous avons donc étudié une situation qui est très défavorable pour AADL ; nous pouvons considérer qu’il s’agit du pire cas. Une situation favorable consisterait à associer plusieurs ports d’entrée aux threads AADL ; les tampons de mémoire trouveraient alors leur justification pour synchroniser l’arrivée des différentes données. Une solution basée sur CORBA nécessiterait le développement d’une architecture semblable à celle que nous avons présentée en section VI-2.1, qui s’exécuterait alors au-dessus de la personnalité CORBA de PolyORB. L’application résultante serait alors nécessairement plus lente que l’application AADL, qui s’adresse directement à la couche neutre. Par ailleurs, nous comparons ici une personnalité qui est à l’état de prototype (AADL) à une personnalité développée et optimisée depuis plusieurs années (CORBA). Une optimisation sur le code de la personnalité AADL permettrait naturellement de réduire l’écart de performances. VIII-2.3.2 Analyse qualitative Parallèlement aux mesures de performances, il est intéressant de considérer la facilité de construction des applications, de façon qualitative. L’utilisation d’AADL permet de rassembler tous les éléments relatifs à la topologie de l’application. Le redéploiement ou l’ajout de nœuds s’en trouve grandement facilité. La quantité de code à écrire est également réduite par rapport à une approche CORBA, puisque l’initialisation des nœuds est produite automatiquement ; l’utilisateur doit seulement fournir la description des algorithmes correspondant aux sous-programmes AADL. En contrepartie, la description du déploiement est plus importante puisqu’elle rassemble les interfaces des nœuds applicatifs (de la même façon que pour le listing IDL VIII.5) ainsi que leur structure et les informations de déploiement. Ce surcoût ne se manifeste que lorsque l’application à mettre en place est très simple. Une description précise du déploiement devient de toute façon nécessaire dès que l’architecture atteint une certaine complexité. VIII-3 Évaluation de la transformation en réseaux de Petri L’évaluation des performances de la transformation d’une description AADL en réseau de Petri consiste à considérer le temps d’analyse pour une architecture donnée. Ce temps d’analyse est reflété par le nombre d’états associés au réseau de Petri d’une description architecturale donnée. c○ 2007 Thomas Vergnaud 165
Page 1 and 2:
École doctorale d’informatique,
Page 3:
Telle est la nature de l’esprit h
Page 6 and 7:
To validate this design process, we
Page 8 and 9:
Modélisation des systèmes temps-r
Page 10 and 11:
Page 12 and 13:
Page 14 and 15:
Page 16 and 17:
Page 18 and 19:
Page 20 and 21:
Page 22 and 23:
II-2.2.2 CORBA Modélisation des sy
Page 24 and 25:
II-2.2.3 RMI Modélisation des syst
Page 26 and 27:
Page 28 and 29:
Page 30 and 31:
Page 32 and 33:
II-4.4 Discussion Modélisation des
Page 34 and 35:
II-5.2.2 Connecteurs Modélisation
Page 36 and 37:
18 } Modélisation des systèmes te
Page 38 and 39:
Page 40 and 41:
Page 42 and 43:
Page 44 and 45:
11 end i486.AMD; 12 Modélisation d
Page 46 and 47:
Page 48 and 49:
Page 50 and 51:
Page 52 and 53:
1 system global 2 end global; 3 Mod
Page 54 and 55:
Page 56 and 57:
Page 58 and 59:
Page 60 and 61:
Page 62 and 63:
16 Modélisation des systèmes temp
Page 64 and 65:
Page 66 and 67:
Page 68 and 69:
Page 70 and 71:
Page 72 and 73:
phase 1 phase 2 Modélisation des s
Page 74 and 75:
Page 76 and 77:
Page 78 and 79:
Page 80 and 81:
Page 82 and 83:
Page 84 and 85:
descriptions comportementales Modé
Page 86 and 87:
Page 88 and 89:
Page 90 and 91:
17 end sp.impl; Modélisation des s
Page 92 and 93:
Page 94 and 95:
Page 96 and 97:
Page 98 and 99:
Page 100 and 101:
Page 102 and 103:
13 Modélisation des systèmes temp
Page 104 and 105:
Page 106 and 107:
Page 108 and 109:
Page 110 and 111:
Page 112 and 113:
Page 114 and 115:
Page 116 and 117:
autre nœud Modélisation des syst
Page 118 and 119:
Page 120 and 121:
Page 122 and 123:
Page 124 and 125:
10 features Modélisation des syst
Page 126 and 127: VI-3.4.6 Activation Modélisation d
Page 128 and 129: Modélisation des systèmes temps-r
Page 138 and 139: donnee (a) donnée Modélisation de
Page 144 and 145: 53 end global.impl; Modélisation d
Page 154 and 155: 15 end sspg_b; Modélisation des sy
Page 156 and 157: 1 data donnee 2 end donnee; 3 4 thr
Page 172 and 173: 19 use Partition; 20 Modélisation
Page 174 and 175: 23 begin Modélisation des système
Page 178 and 179: VIII-3.1 Motifs AADL de base Modél
show all

Modélisation des systèmes temps-réel répartis embarqués pour la ...

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?