Symbolic Parallelization of Nested Loop Programs

• Main Authors: Tanase, Alexandru-Petru (Author, http://id.loc.gov/vocabulary/relators/aut), Hannig, Frank (http://id.loc.gov/vocabulary/relators/aut), Teich, Jürgen (http://id.loc.gov/vocabulary/relators/aut)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2018.
• Edition: 1st ed. 2018.
• Subjects: Electronic circuits.; Microprocessors.; Electronics.; Microelectronics.; Circuits and Systems.; Processor Architectures.; Electronics and Microelectronics, Instrumentation.

This book introduces new compilation techniques, using the polyhedron model for the resource-adaptive parallel execution of loop programs on massively parallel processor arrays. The authors show how to compute optimal symbolic assignments and parallel schedules of loop iterations at compile time, fo...

Table of Contents:

• Introduction
• Fundamentals and Compiler Framework
• Symbolic Parallelization
• Symbolic Multi‐level Parallelization
• On‐demand Fault‐tolerant Loop Processing
• Conclusions.