Invasive Computing for Mapping Parallel Programs to Many-Core Architectures

Le livre "Invasive Computing for Mapping Parallel Programs to Many-Core Architectures" offre une introduction complète au concept de calcul invasif. Il aborde les aspects essentiels de la programmation invasive, y compris les constructions linguistiques pertinentes et les principes matériels sous-jacents. Un thème central est l'attribution efficace des applications parallèles de tâches aux futures architectures multi-cœurs, pouvant inclure plus de 1 000 processeurs. Il prend en compte non seulement la correction fonctionnelle, mais aussi des caractéristiques non fonctionnelles telles que les temps d'exécution et les caractéristiques de sécurité. Le livre contient des évaluations expérimentales approfondies qui examinent les avantages du calcul invasif et de l'attribution hybride des applications, afin de fournir des garanties sur des propriétés non fonctionnelles telles que le timing, la consommation d'énergie et la sécurité. Les techniques présentées sont expliquées étape par étape et soutenues par des exemples et des illustrations.