Résumé
|
La reconfiguration
dynamique des FPGA, malgré des caractéristiques
intéressantes,
peine à s’installer dans l’industrie principalement pour deux
raisons. Tout
d’abord, les performances du contrôleur natif
développé par Xilinx sont faibles
et pourront résulter en un rapport entre le temps de
reconfiguration et la
période de la tâche trop important pour une
implémentation dynamique. Ensuite,
le développement d’une application reconfigurable dynamiquement
demande un
effort plus conséquent, notamment concernant l’ordonnancement
des tâches. Il
est en effet impossible d’évaluer une architecture et/ou un
algorithme
d’ordonnancement pour vérifier si l’application respectera bien
ses contraintes
de temps avant la phase d'implémentation.
Cette
thèse s’inscrit dans ce contexte et propose des solutions aux
problématiques
énoncées précédemment. Dans un premier
temps, nous présenterons FaRM, un
contrôleur de reconfiguration dynamique capable d’atteindre les
limites
théoriques de la technologie grâce à un algorithme
de compression efficient et
une architecture optimisée. Ensuite, nous présenterons
RecoSim, un simulateur
d’architectures reconfigurables en SystemC modélisant à
un haut niveau
d’abstraction un tel système. Basé sur un modèle
de coût du temps de reconfiguration
avec FaRM, RecoSim permet notamment le développement et
l’évaluation
d’algorithmes d’ordonnancement, qui sont des éléments
clés des architectures
temps-réel. Finalement, nous montrerons comment ces
premières contributions
sont utilisées au sein de FoRTReSS, un flot d’exploration
d’architectures
intégré avec les outils de développement Xilinx.
Ces travaux ont été
effectués dans le cadre du projet
ANR ARDMAHN.
|