Précédent : Contrats industriels (nationaux, européens et
Remonter : Contrats industriels (nationaux, européens et
Suivant : Approche déclarative à l'adaptation
d'applications
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.