Vx يُدخل الذاكرة غير المتجانسة والطوبولوجيا في نظام الأنواع

موقع الذاكرة جزء من النوع

Vx يتعامل مع الحوسبة غير المتجانسة كمسألة على مستوى اللغة ولا يترك التوزيع على المسرعات لruntime مبهم. الموتر المرتبط بذاكرة النطاق العالي في NPU له نوع مختلف عن نفس الموتر في DRAM المضيف، والنقل بين هذه المواقع يتطلب نقلًا صريحًا. في ذاكرة Apple الموحدة يُترجم هذا النقل تقريبًا إلى لا شيء، لكن المصدر يشير إلى أن محلية البيانات يجب التحقق منها دون تحليل ثنائي.

يتحقق المترجم من الوصول غير الصحيح من المضيف إلى مؤشرات الجهاز، والقيم المرتبطة بـ NPU الواردة في تعابير المضيف، والتوزيعات التي تتجاوز مجموعاتها العاملة مساحة الذاكرة الهدف. تشمل القواعد الأخرى المخازن المؤقتة المقروءة حتى رؤية النقل غير المتزامن، وأخطاء الاستخدام بعد النقل، والنقل بين مساحات الذاكرة دون مسار معلن، والتفريق في المناطق دون أداة تفاضل محددة. يعالج مثبت SMT عقود رؤية النقل غير المتزامن.

ملفات الآلة تحدد حدود الأجهزة

بدلاً من تضمين نموذج التكلفة بشكل ثابت، يقرأ Vx ملف الآلة الذي يصف التسلسل الهرمي للذاكرة والعلاقات البينية لقطعة معينة. يستخدم المترجم هذه المعلومات للسماح بالتوزيعات أو رفضها. تحويلات الوحدات تستخدم أعدادًا صحيحة دقيقة: بادئات SI عشرية، وبادئات IEC ثنائية، مما يحافظ على الفرق بين مقادير مثل GB وGiB.

يتضمن المستودع ملفات آلة لـ H100 وH200 وB200 وA100 وMI300X وApple M4 ولعدة عقد GPU. تشير الملفات إلى مصادرها وتستخرج أرقامًا تبقى غير مؤكدة.

واجهة أمامية متوازية وعدة واجهات خلفية

في الواجهة الأمامية الموجهة ببيانات Vx، يُمثَّل كل رمز ونوع اسمي ومتغير أحادي الشكل بمعرّف مسطح 256-بت. نظام الأنواع الاسمية يحرر وحدات boxing الإلزامية للأنواع الاسمية والأنواع التكرارية من بعضها البعض، مما يتيح لخط أنابيب الترجمة إطلاق محرك الاستعلام على النوى دون تنافس على القفل. الترجمة تمر عبر مصفوفات مسطحة وليست أشجارًا مفحوصة بالمؤشرات.

تؤكد مجموعات الاختبار أن الترتيبات التسلسلية والمتوازية تُصدر MLIR متطابقًا على مستوى البايت في مختلف تكوينات الخيوط، على مقياس المعيار المرجعي. يمتد هذا الضمان إلى مخرجات الواجهة الأمامية؛ أما المعالجة المتبقية فتعود إلى LLVM. تشمل الواجهات الخلفية معالجات x86-64 وarm64، ووحدات NVIDIA GPU، وApple AMX وANE، ومناطق بعيدة تُدار ببيان موزع. يمكن للمصنعين توسيع Vx بإضافات MLIR pass بدلًا من ترقيع المترجم.

صُمم للأحمال الثابتة والحساسة للإنتاجية

Vx مصمم للبرمجيات التي يجب أن تكون صحيحة وسريعة على أنواع مختلفة من السيليكون. يعترف المشروع بأن تصميمه ahead-of-time والموجه بالبيانات والمقسم ثابتًا إلى مناطق أقل ملاءمة لأحمال العمل التي تغير المعمارية وتتحقق من أشكال الموترات وتمتد ديناميكيًا بينما هذه القرارات لا تزال متغيرة. تشمل خيارات تثبيته macOS على Apple Silicon وLinux x86_64، بينما تغطي الأدلة المصاحبة اللغة والطوبولوجيات وتوزيع الذاكرة وملفات الآلة.