Contributions à la conception de systèmes à hautes performances, programmables et sûrs: principes, interfaces, algorithmes et outils

• Main Author: Cohen, Albert
• Language: ENG
• Published: Université Paris Sud - Paris XI 2007
• Subjects: [INFO:INFO_NI] Computer Science/Networking and Telecommunication; [INFO:INFO_SE] Computer Science/Software Engineering; automatic parallelization; polyhedral compilation; parallel programming; data-flow synchronous languages; iterative optimization
• Online Access: http://tel.archives-ouvertes.fr/tel-00550830; http://tel.archives-ouvertes.fr/docs/00/55/08/30/PDF/hdr.pdf

La loi de Moore sur semi-conducteurs approche de sa fin. L'evolution de l'architecture de von Neumann à travers les 40 ans d'histoire du microprocesseur a conduit à des circuits d'une insoutenable complexité, à un très faible rendement de calcul par transistor, et une forte consommation énergetique. D'autre-part, le monde du calcul parallèle ne supporte pas la comparaison avec les niveaux de portabilité, d'accessibilité, de productivité et de fiabilité de l'ingénérie du logiciel séquentiel. Ce dangereux fossé se traduit par des défis passionnants pour la recherche en compilation et en langages de programmation pour le calcul à hautes performances, généraliste ou embarqué. Cette thèse motive notre piste pour relever ces défis, introduit nos principales directions de travail, et établit des perspectives de recherche.