المؤلف
Aktemur, Tankut Barış, Kameyama, Y., Kiselyov, O., Shan, C.-C.
تاريخ النشر
2013
مكان النشر
-
ايه سي ام
الموضوع
الحوسبة عالية الأداء، البرمجة التوليدية، التدريج، توليد التعليمات البرمجية، اللغات الخاصة بالمجال
النوع
وثيقة
اللغة
الإنجليزية
رقمي
نعم
مخطوط
لا
المكتبة
جامعة اوزيجين
معرف أصل المكتبة
978-1-4503-1842-6
رقم السجل
1ec2b565-804b-4d14-b3c0-45a931c99969
موقع المكتبة
علوم الكمبيوتر
التاريخ
2013
ملاحظات
نظرًا لقيود حقوق الطبع والنشر، فإن الوصول إلى النص الكامل لهذه المقالة متاح فقط عبر الاشتراك.
نص عينة
إن جاذبية البرمجة التوليدية هي "التجريد دون الشعور بالذنب": القضاء على المفاضلة المزعجة بين كتابة كود عالي المستوى وتعليمة برمجية عالية الأداء. تعد البرمجة التوليدية أيضًا بالتقاط المعرفة والاستدلالات الخاصة بالمجال بشكل رسمي والتي يستخدمها خبراء الحوسبة عالية الأداء (HPC). وإلى أي مدى وصلنا إلى الوفاء بهذه الوعود؟ ولقياس التقدم الذي أحرزناه، اقترح اجتماع شونان الأخير حول "سد الفجوة بين نظرية لغات البرمجة المرحلية وممارسة الحوسبة عالية الأداء" استخدام مجموعة من المعايير، أطلق عليها اسم "تحدي شونان". تحدي شونان عبارة عن مجموعة من المشكلات الواضحة التي يطرحها خبراء HPC والمجال، والتي تُعرف تطبيقاتها الفعالة ولكن كتابتها وتعديلها كانت شاقة. ويتمثل التحدي في إنشاء تنفيذ فعال مماثل من المواصفات عالية المستوى للمشكلة، وإجراء نفس التحسينات، ولكن تلقائيًا. يجب أن يكون من السهل ضبط التحسينات والمواصفات، مع الحفاظ على الثقة في التعليمات البرمجية التي تم إنشاؤها. نحن نصف مجموعتنا الأولية من المعايير ونقدم ثلاثة حلول لاثنتين من المشاكل. نأمل أن يوضح تحدي شونان الحالة الفنية ويحفز نظرية وتقنية العرض المسرحي تمامًا كما فعل تحدي POPLmark لميكنة النظرية الفوقية. نظرًا لأن كل مشكلة في تحدي شونان هي نواة لتطبيق هام للحوسبة عالية الأداء، فإن كل حل له تطبيق عملي فوري.
DOI
10.1145/2426890.2426917
