Paul Feautrier
Abstract - Streaming in the Polyhedral Model: CRP et
Syntol
De très nombreux langages de "streaming" ont été proposés ces
dernières années, depuis les réseaux de processus de Kahn (KPN) et les
SDF de Lee et Messerschmidt, jusqu'à OpenStream de Pop et Cohen. Ils
diffèrent essentiellement par leur degré de dynamisme, depuis le plus
rigide, SDF, qui peut être entièrement analysé et vérifié ‡ la
compilation, jusqu'aux KPNs, qui sont usuellement implémentés sous
forme de bibliothèque. Je présenterai un langage intermédiaire, CRP,
qui du fait de sa conformité au modèle polyhédrique, autorise une
analyse statique -- en particulier la détection des interblocages --
au prix d'un pouvoir expressif réduit. Je présenterai l'état
d'avancement du compilateur de CRP, Syntol, et les travaux en cours.
Short bio
Paul Feautrier est un ancien élève de l'Ecole Normale
Supérieure et de la Faculté des Sciences de Paris, où il a reçu le
grade de Docteur ès Sciences en 1968 sur une thèse d'Astrophysique
Théorique. Il a été nommé Professeur à l'Université Pierre et Marie
Curie en 1969. En 1992, il a été nommé à l'Université de Versailles
Saint-Quentin, puis en 2002, à l'Ecole Normale Supèrieure de Lyon. Il
est, depuis 2009, professeur émérite à l'ENSL. Ses centres d'intéret
sont l'architecture des ordinateurs, les systémes d'exploitation, la
parallélisation automatique et l'analyse et l'optimisation de
programmes.