| Scheduling and Automatic Parallelization 2000 Edition Contributor(s): Darte, Alain (Author), Robert, Yves (Author), Vivien, Frederic (Author) |
|
 |
ISBN: 0817641491 ISBN-13: 9780817641498 Publisher: Birkhauser OUR PRICE: $104.49 Product Type: Hardcover - Other Formats Published: March 2000 Annotation: This is a state-of-the-art reference addressing the study of compiler transformations for parallel aspects of sophisticated scheduling problems. The presentation is self-contained and complete with detailed code for algorithms, proofs and selected exercise sets. The book is essential reading for professionals and students in computer science and software engineering who are working on automatic parallelization techniques, program transformations, and optimization criteria. |
| Additional Information |
| BISAC Categories: - Computers | Programming - Parallel - Computers | Software Development & Engineering - General - Computers | Networking - General |
| Dewey: 004.35 |
| LCCN: 99046585 |
| Physical Information: 0.71" H x 7.19" W x 10.28" (1.43 lbs) 264 pages |
| Descriptions, Reviews, Etc. |
| Publisher Description: Readership This book is devoted to the study of compiler transformations that are needed to expose the parallelism hiddenin a program. This book is notan introductory book to parallel processing, nor is it an introductory book to parallelizing compilers. Weassume thatreaders are familiar withthebooks High Performance Compilers for Parallel Computingby Wolfe 121] and Super- compilers for Parallel and Vector Computers by Zima and Chapman 125], and that they want to know more about scheduling transformations. In this book we describe both task graph scheduling and loop nest scheduling. Taskgraphschedulingaims atexecuting tasks linked by prece- dence constraints; it is a run-time activity. Loop nest scheduling aims at ex- ecutingstatementinstances linked bydata dependences;it is a compile-time activity. We are mostly interested in loop nestscheduling, butwe also deal with task graph scheduling for two main reasons: (i) Beautiful algorithms and heuristics have been reported in the literature recently; and (ii) Several graphscheduling, like list scheduling, are the basis techniques used in task ofthe loop transformations implemented in loop nest scheduling. As for loop nest scheduling our goal is to capture in a single place the fantastic developments of the last decade or so. Dozens of loop trans- formations have been introduced (loop interchange, skewing, fusion, dis- tribution, etc.) before a unifying theory emerged. The theory builds upon the pioneering papers of Karp, Miller, and Winograd 65] and of Lam- port 75], and it relies on sophisticated mathematical tools (unimodular transformations, parametric integer linear programming, Hermite decom- position, Smithdecomposition, etc.). |