Symbolic Parallelization of Nested Loop Programs

این کتاب با استفاده از مدل چند وجهی برای اجرای موازی برنامه‌های حلقه بر روی آرایه‌های پردازشگر موازی، تکنیک‌های جدید کامپایل را معرفی می‌کند. نویسندگان نشان می‌دهند که چگونه می‌توان تخصیص نمادین بهینه و زمان‌بندی‌های موازی تکرارهای حلقه را در زمان کامپایل محاسبه کرد، برای مواردی که تعداد هسته‌های موجود فقط در زمان اجرا مشخص می‌شود. رویکرد موازی سازی نمادین کامپایل/ زمان اجرا که نویسندگان توصیف می کنند، به طور قابل توجهی سربار زمان اجرا را در مقایسه با کامپایل پویا یا به موقع کاهش می دهد. رویکرد جدید پردازش حلقه تحمل‌پذیر خطا که در این کتاب توضیح داده شده است، از لانه‌های حلقه برای اجرای موازی در برابر خطاهای نرم محافظت می‌کند.

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, for cases where the number of available cores becomes known only at runtime. The compile/runtime symbolic parallelization approach the authors describe reduces significantly the runtime overhead, compared to dynamic or just‐in-time compilation. The new, on‐demand fault‐tolerant loop processing approach described in this book protects loop nests for parallel execution against soft errors.