Icicle: التحديثات المدمرة عبر موناد Tardis و رسم بياني للخياطة
2025-03-20
تُترجم Icicle، وهي لغة استعلامات البث عالية المستوى، إلى لغة C باستخدام أسلوب هيكل المصفوفات. ولضمان النقاء، يقوم المترجم بتضمين عمليات النسخ مبدئيًا قبل طفرات المصفوفة. تُفصّل هذه المشاركة عملية تحسين باستخدام موناد Tardis ورسم بياني للخياطة للقضاء على معظم عمليات النسخ هذه، مما يسمح بالتحديثات المدمرة وتحقيق تخفيض في وقت التشغيل يصل إلى 50٪. يُنشئ الخوارزمية رسمًا بيانيًا مرجعيًا لتتبع مراجع المصفوفة، باستخدام عمليات اجتياز للأمام والخلف مع موناد Tardis لتحديد التحديثات المدمرة الآمنة. يُجمع هذا بذكاء بين مفاهيم البرمجة الوظيفية مع تحسين وقت التجميع، مما يوفر نهجًا جديدًا لتحسين أداء لغة استعلامات البث.
التطوير