A3D: Agentic AI flow for autonomous Accelerator Design
تقدم الورقة البحثية A3D، وهو إطار عمل للذكاء الاصطناعي الوكيل الذي ينسق ذاتياً تحليل عبء العمل، وإعادة هيكلة الكود، وتوليد البنية الدقيقة لإنتاج تصميمات مسرعات عتادية شاملة للتطبيقات العلمية المعقدة دون تدخل بشري.
البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل
تخيل أن لديك وصفة معقدة للغاية وغير منظمة لوجبة فاخرة (برنامج علمي حاسوبي). تريد بناء جهاز مطبخ مخصص لهذا الغرض (مسرع أجهزة - hardware accelerator) ليتمكن من طهي هذا الطبق تحديداً بسرعة أكبر بـ 1,000 مرة وبطاقة أقل من الموقد العادي.
المشكلة؟ بناء هذا الجهاز المخصص يشبه محاولة بناء محرك سيارة فيراري وأنت معصوب العينين. يتطلب الأمر شيفاً ماهراً، وفي الوقت نفسه يكون ميكانيكياً بارعاً، ومهندساً كهربائياً، وساحراً في لغة محددة وصعبة جداً تسمى "تصميم الأجهزة" (Hardware Design). معظم الذين يكتبون الوصفات (العلماء) لا يمتلكون هذه المهارات، لذا يلتزمون باستخدام المواقد القياسية (الحواسيب عامة الأغراض)، وهي بطيئة وغير موفرة للطاقة لهذه المهام المحددة.
إليك A3D: فريق "الروبوت الشيف الخارق".
يقدم البحث نظام A3D، وهو نظام جديد يستخدم فريقاً من "الوكلاء" الذكيين (برمجيات ذكية تعمل كأفراد) للقيام بالمهمة بأكملها، من تصميم هذا الجهاز المخصص للمطبخ، من البداية إلى النهاية، دون أن يحتاج إنسان للتدخل.
إليك كيف يعمل A3D، مقسماً إلى ثلاث مراحل بسيطة:
المرحلة الأولى: عمل المحقق (التحليل)
قبل بناء أي شيء، يجب أن تعرف بالضبط ما الذي ستبنيه.
- المشكلة: البرامج العلمية ضخمة، وتتكون من آلاف الأسطر من الكود. العثور على الجزء المحدد الذي يبطئ كل شيء (عنق الزجاجة) يشبه البحث عن إبرة واحدة في كومة من الإبر.
- حل A3D: يرسل A3D فريقاً من المحققين.
- وكيل يقرأ الوصفة كاملة لفهم القصة.
- وكيل آخر يقوم بتشغيل الوصفة في مطبخ تجريبي لتوقيت كل خطوة ومعرفة أين يهدر الشيف وقته بالضبط.
- وكيل ثالث يستخدم عدسة مكبرة (التحليل الساكن - static analysis) لتتبع بدقة كل المكونات والأدوات التي تعتمد عليها تلك الخطوة البطيئة.
- النتيجة: يحددون بدقة "الخطوة البطيئة" ويرسمون خريطة لكل التبعيات، مما يضمن معرفة ما يجب إصلاحه بالضبط.
المرحلة الثانية: عملية الترميم (التحضير)
الآن بعد أن وجدوا الخطوة البطيئة، عليهم تحضيرها للآلة المخصصة.
- المشكلة: الكود الأصلي مكتوب بلغة مرنة وغير منظمة (C++ أو CUDA) لا يفهمها باني الآلات المخصصة (أدوات HLS). الأمر يشبه محاولة إعطاء مخطط مكتوب بالهيروغليفية القديمة لروبوت بناء حديث. قد يستخدم الكود "ذاكرة ديناميكية" (مثل الإمساك بصندوق مجهول الحجم) أو مؤشرات (pointers) معقدة، وهو ما يكرهه الروبوت.
- حل A3D: ينتقل فريق الترميم للعمل.
- مهندس اللقطات (Snapshot Engineer): يلتقط "صورة" للبيانات الداخلة والخارجة من الخطوة البطيئة حتى لا يفقد "نكهة" الوصفة.
- مطور الهيكل (Harness Developer): يبني مطبخاً تجريبياً معزلاً وصغيراً للتأكد من أن عملية الترميم لن تفسد المذاق.
- مُجهز الـ HLS: هذا هو العامل القوي في الفريق. يعيد كتابة الكود غير المنظم إلى تنسيق نظيف وصارم يفهمه باني الآلات. يستبدل الأدوات المعقدة بأخرى بسيطة، ويحول "الصناديق مجهولة الحجم" إلى صناديق ذات أحجام ثابتة، ويستبدل الدوال الرياضية المعقدة بأخرى تعرفها الآلة.
- المُدقق (Verifier): مفتش صارم يفحص عملية الترميم. إذا لم يكن الكود مثالياً، يعيده إلى المرمم لإصلاحه. يستمرون في هذه الحلقة حتى يصبح الكود جاهزاً بنسبة 100%.
المرحلة الثالثة: البناء والتحسين (التخليق - Synthesis)
الآن أصبح الكود جاهزاً ليتحول إلى أجهزة (Hardware).
- المشكلة: هناك ملايين الطرق لبناء الآلة. يمكنك جعلها فائقة السرعة ولكن ضخمة، أو صغيرة ولكن بطيئة. كيف تجد التوازن المثالي؟
- حل A3D:
- مستكشف الأرقام (Numerics Explorer): يجرب "أحجام" مختلفة للأرقام المستخدمة في الحسابات. ربما لا تحتاج إلى دقة 64 بت لكل شيء؛ ربما 20 بت تكفي؟ هذا يوفر المساحة والطاقة.
- المُخليق (Synthesizer): يأخذ الكود المنظف ويطلب من باني الآلات التجاري (Catapult HLS) إنشاء تصميم الأجهزة الفعلي.
- معدد فضاء التصميم (Design Space Enumerator): هذا هو المخطط الرئيسي. يقوم بتشغيل آلاف عمليات المحاكاة، ويجرب كل التوليفات الممكنة من إعدادات السرعة والحجم. إنه يشبه اختبار كل نسب تروس ممكنة لسيارة.
- النتيجة: ينتج قائمة من التصاميم "المثالية من نوع باريتو" (Pareto-optimal). وهي أفضل المقايضات الممكنة: "هذا هو النسخة الأسرع"، "هذا هو النسخة الأصغر"، و"هذا هو التوازن الأفضل".
لماذا يعد هذا أمراً مهماً؟
الأدوات الذكية السابقة كانت تستطيع فقط المساعدة في أجزاء صغيرة من هذه العملية، مثل إصلاح خطأ مطبعي في الكود أو اقتراح إعداد واحد. كانت تفترض أن البشر قد قاموا بالفعل بالعمل الصعب المتمثل في إيجاد المشكلة وتنظيف الكود.
A3D هو الأول الذي يقوم بالوظيفة بأكملها. لقد أخذ برامج علمية حقيقية وضخمة (مثل محاكاة الجزيئات أو الكيمياء الكمومية) وحولها، دون أي مساعدة بشرية، إلى تصميمات أجهزة مخصصة.
"الخلطة السرية" (لماذا ينجح الأمر فعلياً)
وجد البحث أن A3D يعمل فقط بسبب ثلاث حيل محددة:
- التخصص: بدلاً من محاولة ذكاء اصطناعي واحد القيام بكل شيء (مما يؤدي إلى الأخطاء)، يستخدمون فريقاً من المتخصصين، حيث يقوم كل منهم بوظيفة واحدة بإتقان.
- الأدوات بدلاً من التخمين: عندما يحتاج الذكاء الاصطناዊ لتغيير الكود، فإنه لا يكتفي بـ "تخمين" النص الجديد. بل يستخدم أدوات رياضية دقيقة (مثل مدقق هيكل الكود) لإجراء تغييرات مضمونة الصحة.
- "محامي الشيطان": في كل مرة ينهي فيها متخصص مهمة ما، يحاول وكيل "المُدقق" كسرها. إذا وجد المُدقق خللاً، يتعين على المتخصص إصلاحه. تستمر هذه الحلقة حتى يصبح العمل محصناً تماماً.
الخلاصة
يظهر البحث أن A3D يمكنه أخذ كود علمي معقد (مثل LAMMPS لديناميكا الجزيئات أو QMCPACK للكيمياء الكمومية) وتصميم مسرعات أجهزة مخصصة تلقائياً. في إحدى الاختبارات، نجح حتى في أخذ كود مكتوب لبطاقة رسومات (GPU) وأعاد تصميمه بنجاح كمسرع أجهزة مخصص، مما أثبت قدرته على التعامل حتى مع أكثر السيناريوهات تعقيداً.
باختاً، A3D هو فريق مستقل تماماً من الوكلاء الأذكياء يعمل كجسر، يحول المشكلات البرمجية المعقدة إلى حلول أجهزة مخصصة عالية السرعة، دون الحاجة إلى مهندس بشري ليوجهه.
غارق في أبحاث مجالك؟
تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.