Précédent : Techniques de spécialisation de programmes Remonter : Évaluation partielle Suivant : Analyse de programmes impératifs dans
Précédent : Techniques de spécialisation de programmes
Remonter : Évaluation partielle Suivant : Analyse de
programmes impératifs dans
Participants : Gilles Muller, Charles Consel, Nic Volanschi
Dans le cadre d'un projet CNET, nous étudions l'application de la spécialisation aux systèmes d'exploitation. Dans ce domaine, les réseaux de machines hétérogènes, les périphériques à haut débit et les tâches massivement distribuées font naître un besoin pressant d'adaptabilité des systèmes opératoires. Tout en restant adaptable et donc généraux, ces systèmes d'exploitation doivent être performants.
Nous avons appliqué notre approche aux appels de procédure à distance (RPC ) de Chorus [21]. Des gains en performance notables ont ainsi été obtenus.
Nous avons aussi appliqué cette technique d'optimisation au système de gestion de fichiers du système Unix de Hewlett Packard.