Actions industrielles

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

Participants : Charles Consel , Gilles Muller , Nic Volanschi

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.

En raison de la variété des techniques de spécialisation employées, ce projet est moteur dans la conception de nos techniques et outils. Par exemple, le code de l'IPC représente un jeu de test privilégié pour la conception et la validation des analyses de Tempo.

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. Nos premières mesures montrent un gain de 25% sur un IPC local optimisé par spécialisation à la compilation.

Approche déclarative à l'adaptation d'applications de télécommunication ; contrat Alcatel ref 197 A 936 000 MC 012

Participants : Gilles Muller , Charles Consel , Philippe Boinot , Rémi Douence

Cette action de recherche s'effectue dans le cadre du projet Reutel 2000 entre Alcatel et l'Inria. Notre participation vise à développer une approche déclarative permettant de spécifier les différentes étapes du processus d'adaptation et de spécialisation d'une application de télécommunication. Dans ce cadre, il est également prévu de développer une version de Tempo permettant de spécialiser le langage C++.

Génération automatique de services réseaux intelligents ; contrat CNET-CTI ref 196C198

Participants : Charles Consel , Renaud Marlet , Scott Thibault , Ronan Gaugne

Cette action de recherche vise à développer une approche permettant la conception de services réseaux intelligents génériques. Leur instanciation sera obtenue par spécialisation en fonction de certains paramètres représentant le contexte d'utilisation d'un service donné. Ce travail est financé par un contrat CNET (1996-1999) dans le cadre d'une consultation thématique lancée en 1995.

Optimisation de programmes Java pour systèmes embarqués ; contrat Bull

Participants : Charles Consel , Gilles Muller , Ulrik Pagh Schultz

Le but de cette action est l'optimisation de programmes Java pour des systèmes embarqués possédant des ressources très limitées. L'implémentation de tels systèmes requiert un compromis entre flexibilité, performance et occupation mémoire. Les nouvelles techniques d'optimisation que nous développerons tiendront compte de toutes ces contraintes.

Précédent : Résultats nouveaux Remonter : Avant-projet COMPOSE, Conception de programmes Suivant : Actions régionales, nationales et internationales