Dans cet exposé, je ferai une courte introduction de la vectorisation, une technique qui exploite des instructions matérielles spécifiques, les instructions SIMD, afin d’accélérer le traitement de donnée par le processeur. La vectorisation est le plus souvent réalisée automatiquement par les compilateurs, mais elle devient difficile lorsque le calcul est par nature séquentiel et que le contrôle de flot dépend fortement des données.
Un cas emblématique de programmes peu ou mal vectorisés automatiquement est celui de l’exécution d’automates. Dans cet exposé, je présenterai des méthodologies pour vectoriser les automates, qui s’appuient sur des résultats classique et récent de théorie algébrique des automates ainsi que quelques application concrètes de ces méthodologies.
Localisation
Salle de séminaire 4B125 (bâtiment Copernic)
5 Boulevard Descartes 77420 Champs-sur-Marne