Prestations de codage n° 2 pour l’amélioration d'un compilateur optimiseur pour le Centre Inria de l'université de Lille

2026-11-03

La consultation concerne un besoin du Centre Inria de l'université de Lille. Les candidats sont invités à prendre connaissance de la lettre de consultation précisant le besoin et les conditions de la mise en concurrence. Une deuxième consultation pour des prestations de codage est publiée au même moment que la présente consultation. Le besoin consiste en des prestations de codage, aux objets multiples. Ce projet doit développer l’intégration de la chaine de compilation Druid comme compilateur optimiseur du bytecode Pharo. Cette intégration considèrera l’extraction des informations d’exécution pour l’optimisation à la volée, la définition des bytecodes optimisées, l’implémentation des optimisations spécifiques au langage, et la désoptimisation pour le déboggage. Les principaux objectifs du projet sont les suivants : − implémenter un système de profilage optionnel pour obtenir des informations d’exécution tel que des compteurs sur des méthodes ou des clôtures lexicales ; − implémenter des heuristiques d’optimisation qui prendront ces informations pour guider l’optimisation ; − développer un système de désoptimisation du code optimisé, incluant le traçage des effets des optimisations ; − réviser le langage bytecode existant pour obtenir plus d’opportunités d’optimisation.

France

2026-10-30