Springer Invasive Computing for Mapping Parallel Programs to Many-Core Architectures (Computer Architecture and Design Methodologies)

This book provides an overview of and essential insights on invasive computing. Pursuing a comprehensive approach, it addresses proper concepts, invasive language constructs, and the principles of invasive hardware. The main focus is on the important topic of how to map task-parallel applications to future multi-core architectures including 1,000 or more processor units. A special focus today is the question of how applications can be mapped onto such architectures while not only taking into account functional correctness, but also non-functional execution properties such as execution times and security properties.  The book provides extensive experimental evaluations, investigating the benefits of applying invasive computing and hybrid application mapping to give guarantees on non-functional properties such as timing, energy, and security. The techniques in this book are presented in a step-by-step manner, supported by examples and figures. All proposed ideas for providing guarantees on performance, energy consumption, and security are enabled by using the concept of invasive computing and the exclusive usage of resources. From the Back Cover This book provides an overview of and essential insights on invasive computing. Pursuing a comprehensive approach, it addresses proper concepts, invasive language constructs, and the principles of invasive hardware. The main focus is on the important topic of how to map task-parallel applications to future multi-core architectures including 1,000 or more processor units. A special focus today is the question of how applications can be mapped onto such architectures while not only taking into account functional correctness, but also non-functional execution properties such as execution times and security properties.  The book provides extensive experimental evaluations, investigating the benefits of applying invasive computing and hybrid application mapping to give guarantees on non-functional properties such as timing, energy, and security. The techniques in this book are presented in a step-by-step manner, supported by examples and figures. All proposed ideas for providing guarantees on performance, energy consumption, and security are enabled by using the concept of invasive computing and the exclusive usage of resources. About the Author Andreas Weichslgartner is currently working as a software developer at Audi Electronic Ventures GmbH. Before, he had been a researcher at the Department of Computer Science, Friedrich-Alexander University Erlangen-Nürnberg (FAU), Germany, from 2010 to 2017. He received his diploma degree (Dipl.-Ing.) in Information and Communication Technology  and his Ph.D. (Dr.-Ing.) in  Computer Science from the FAU, Germany, in 2010 and 2017, respectively. His research interests include network on chip, many-core architectures, security, machine learning, and design automation.   Stefan Wildermann is a postdoctoral researcher at the Department of Hardware/Software Co-Design at Friedrich-Alexander University Erlangen-Nürnberg (FAU), Germany. He received his Diploma and Doctorate degrees in Computer Science from the FAU in 2006 and 2012. Since 2012, Stefan has been a research assistant, lecturer, and group leader at the FAU’s Department of Hardware/Software Co-Design.   Michael Glaß is a Professor at the Institute of Embedded Systems/Real-Time Systems, Ulm University, Germany. From 2011 to 2016, he was an assistant professor and head of the System-level Design Automation group at the Department of Hardware/Software Co-Design, Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), Germany. He received his Diploma degree and Doctorate degree in Computer Science from the FAU, Germany, in 2006 and 2011, respectively. Michael’s main research interests are dependability engineering for embedded systems and system-level design automation, with a particular focus on formal analysis and design space