کتاب الکترونیکی

تجزیه و تحلیل نمادین برای کامپایلرهای موازی

Symbolic analysis for parallelizing compilers

دانلود کتاب Symbolic analysis for parallelizing compilers (به فارسی: تجزیه و تحلیل نمادین برای کامپایلرهای موازی) نوشته شده توسط «Mohammad R. Haghighat»

اطلاعات کتاب تجزیه و تحلیل نمادین برای کامپایلرهای موازی

موضوع اصلی: برنامه نویسی: کامپایلر

نوع: کتاب الکترونیکی

ناشر: Kluwer Academic

نویسنده: Mohammad R. Haghighat

زبان: English

فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)

سال انتشار: 1995

تعداد صفحه: 150

حجم کتاب: 1 مگابایت

کد کتاب: 9780792396239 , 0792396235

نوبت چاپ: 1

توضیحات کتاب تجزیه و تحلیل نمادین برای کامپایلرهای موازی

در آنالیز نمادین برای کامپایلرهای موازی، نویسنده نمایش عالی از اثربخشی تحلیل نمادین در مقابله با مسائل مهم بهینه‌سازی را ارائه می‌دهد، که برخی از آنها موازی‌سازی حلقه را مهار می‌کنند. چارچوبی که حقیقت ارائه می کند در تحلیل متغیرهای القایی و پیچیده، کاهش قدرت، حذف کد مرده و انتشار ثابت نمادین بسیار موفق بوده است. این رویکرد را می توان برای هر مشکل تبدیل یا بهینه سازی برنامه ای که از ویژگی ها و محدوده های مقدار نام برنامه استفاده می کند، اعمال کرد. تجزیه و تحلیل نمادین را می توان در هر سیستم تبدیلی یا مسئله بهینه سازی که بر اطلاعات زمان کامپایل در مورد متغیرهای برنامه متکی است استفاده کرد. اگر نگوییم تمام تکنیک‌های بهینه‌سازی و موازی‌سازی، این اکثریت را پوشش می‌دهد. این کتاب یک مورد قانع‌کننده برای پتانسیل تجزیه و تحلیل نمادین ارائه می‌کند، و آن را برای اولین بار – و با نتایج قابل توجه – در تعدادی از مسائل بهینه‌سازی کلاسیک به کار می‌برد: زمان‌بندی حلقه، زمان‌بندی استاتیک یا تجزیه و تحلیل اندازه، و تجزیه و تحلیل وابستگی. این نشان می‌دهد که چگونه تحلیل نمادین می‌تواند این مشکلات را سریع‌تر و دقیق‌تر از تکنیک‌های ترکیبی موجود حل کند.

In Symbolic Analysis for Parallelizing Compilers the author presents an excellent demonstration of the effectiveness of symbolic analysis in tackling important optimization problems, some of which inhibit loop parallelization. The framework that Haghighat presents has proved extremely successful in induction and wraparound variable analysis, strength reduction, dead code elimination and symbolic constant propagation. The approach can be applied to any program transformation or optimization problem that uses properties and value ranges of program names. Symbolic analysis can be used on any transformational system or optimization problem that relies on compile-time information about program variables. This covers the majority of, if not all optimization and parallelization techniques. The book makes a compelling case for the potential of symbolic analysis, applying it for the first time — and with remarkable results — to a number of classical optimization problems: loop scheduling, static timing or size analysis, and dependence analysis. It demonstrates how symbolic analysis can solve these problems faster and more accurately than existing hybrid techniques.

دانلود کتاب «تجزیه و تحلیل نمادین برای کامپایلرهای موازی»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
برچسب ها
مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
کتابخانه دیجیتال بَلیان