Invasive Computing for Mapping Parallel Programs to Many-Core Architectures

Il libro "Invasive Computing for Mapping Parallel Programs to Many-Core Architectures" offre un'introduzione completa al concetto di calcolo invasivo. Tratta gli aspetti essenziali della programmazione invasiva, inclusi i costrutti linguistici rilevanti e i principi hardware sottostanti. Un tema centrale è l'assegnazione efficiente delle applicazioni a parallelismo di compiti a future architetture multi-core, che possono includere oltre 1.000 processori. In questo contesto, vengono considerate non solo la correttezza funzionale, ma anche proprietà non funzionali come i tempi di esecuzione e le caratteristiche di sicurezza. Il libro contiene ampie valutazioni sperimentali che esplorano i vantaggi del calcolo invasivo e dell'assegnazione ibrida delle applicazioni, al fine di fornire garanzie per proprietà non funzionali come il timing, il consumo energetico e la sicurezza. Le tecniche presentate vengono spiegate passo dopo passo e supportate da esempi e illustrazioni.