De Shannon à Cray – SxC

L'art d'écrire des algorithmes vectorisés est disséminé dans de nombreuses communautés: architecture et système, langages de programmation, codes industriels. Le premier objectif du projet est d'organiser ces
connaissances à l'aide d'outils mathématiques et pratiques. L'objectif final est alors de faciliter l'écriture de programmes SIMD et d'initier la conception de méthodes d'auto-vectorisation pour les traitements en flot. La principale difficulté réside dans la compréhension des interactions entre séquentialité et parallélisme au niveau du bit d'information. La complexité de ciruit, introduite par Shannon à l'aube de l'informatique, offre un cadre puissant à l'étude de cette notion de parallélisme. Ce projet multi-disciplinaire propose d'assembler des méthodes de complexité de circuits liés aux automates et de conception de langages de programmation pour les architectures parallèles. Il tire ses motivations d'applications au traitement des données et à la bio-informatique.

Les résultats du projet seront assemblés dans une chaîne de compilation. Nous
concevrons et développerons un langage dédié que nous appellerons Vectoid.
Il permettra aux programmeurs d'utiliser efficacement et simplement les
instructions SIMD. Vectoid sera compilé vers une Représentation Vectorielle
Intermédiaire qui sera à son tour compilé vers du code de bas niveau de
diverses architectures SIMD. La conception de cette chaîne de compilation se
basera sur l'étude de l'expressivité des circuits vectoriels. Elle sera
également évaluée sur des tâches de traitement de données et de
bio-informatique.