Projet : COMPOSE

previous up next contents
Précédent : Contrats industriels (nationaux, européens et Remonter : Contrats industriels (nationaux, européens et Suivant : Approche déclarative à l'adaptation d'applications


   
Adaptation dynamique de programmes systèmes par spécialisation incrémentale ; contrat CNET-CTI ref 195C148

 



Participants : Charles Consel, Gilles Muller.

Le but de cette action est l'optimisation du système de communication inter-processus (IPC) du micro-noyau Chorus. Nous étudions une approche incrémentale permettant de spécialiser l'IPC au fur et à mesure de la disponibilité des invariants lors de la compilation et lors de l'exécution. Par conséquent, cette approche implique de gérer au sein du code exécutable plusieurs versions spécialisées de l'IPC et d'activer/désactiver celles-ci en fonction des évolutions du contexte d'exécution.

Il est à noter que Chorus a déjà été largement optimisé au moyen de techniques manuelles. En conséquence, les opportunités de spécialisation restantes relèvent soit d'invariants valides lors de l'exécution, soit d'invariants valides à la compilation mais inexploitables sans outil automatique. En associant la spécialisation à la compilation et la spécialisation à l'exécution, nous avons obtenu un gain de performance de 1,5 sur un IPC local.


previous up next contents
Précédent : Contrats industriels (nationaux, européens et Remonter : Contrats industriels (nationaux, européens et Suivant : Approche déclarative à l'adaptation d'applications