Les défis de la synthèse de haut niveau : optimiser les constructions de boucles

Cette séance de cours traite des défis associés à la synthèse de haut niveau (HLS) et à l'optimisation des constructions de boucles à l'aide du modèle polyédrique. L'instructeur commence par introduire le modèle polyédrique, qui est essentiel pour réorganiser et optimiser les boucles afin d'améliorer les performances. La séance de cours couvre le concept de pièces de contrôle statiques (SCOP) et la façon dont elles peuvent être transformées pour améliorer la planification et les modèles d'accès à la mémoire. L'instructeur explique l'importance de décrire l'exécution du programme et les accès à la mémoire, en soulignant la nécessité de problèmes d'optimisation formels pour assurer des transformations juridiques. Diverses techniques telles que les transformations d'horaire, le découplage d'accès / exécution et la gestion des latences variables sont explorées. La séance de cours aborde également les limites de HLS dans le traitement des comportements irréguliers et des limites de boucle variables. L'instructeur conclut en soulignant l'importance de l'équilibrage de charge et du parallélisme spatial dans la réalisation de circuits performants, tout en reconnaissant les défis continus de l'automatisation de ces processus dans HLS.