اقتراح قانوني

إن مصطلح "إغراق الكود" ، المعروف أيضًا باسم "نقل الكود الكسول "، هو مصطلح يشير إلى تقنية تقلل من التعليمات المهدرة عن طريق نقل التعليمات إلى الفروع التي يتم استخدامها فيها: ^{[ 1 ]} إذا تم تنفيذ عملية ما قبل فرع، وكان مسار واحد فقط من مسارات الفرع يستخدم نتيجة تلك العملية، فإن إغراق الكود يستلزم نقل تلك العملية إلى الفرع الذي سيتم استخدامها فيه.

تُعد هذه التقنية شكلاً من أشكال إزالة التعليمات البرمجية الميتة بمعنى أنها تزيل التعليمات البرمجية عندما يتم تجاهل نتائجها أو عدم استخدامها، ولكن على عكس إزالة التعليمات البرمجية الميتة، يمكنها إزالة التعليمات غير الضرورية حتى لو كان هناك استخدام محتمل لنتائج تلك التعليمات في مسار تنفيذ التعليمات البرمجية.

تحليل الكود هو مصطلح يُطلق على تقنية لتحسين حجم الكود، حيث يتم دمج التبعيات المشتركة في الفروع ضمن الفرع الأعلى منها. ^{[ 2 ]} وكما يُحلل تحليل الأعداد الصحيحة العدد إلى أصغر أشكاله الممكنة (كعوامل)، فإن تحليل الكود يُحوّل الكود إلى أصغر شكل ممكن، وذلك بدمج "العوامل" المشتركة حتى لا يتبقى أي تكرار.

تُشير مصطلحات مثل نقل التعليمات البرمجية على مستوى النظام ، ونقل التعليمات البرمجية على المستوى المحلي ، وجدولة التعليمات البرمجية ، وجدولة التعليمات ، ورفع/خفض التعليمات البرمجية، إلى تقنية يتم فيها إعادة ترتيب (أو "جدولة") التعليمات لتحسين كفاءة التنفيذ داخل وحدة المعالجة المركزية. ^{[ 3 ] [ 4 ]} تستطيع وحدات المعالجة المركزية الحديثة جدولة خمس تعليمات أو أكثر في كل دورة ساعة. مع ذلك، لا تستطيع وحدة المعالجة المركزية جدولة تعليمة تعتمد على بيانات من تعليمة قيد التنفيذ (أو لم تُنفذ بعد). تقوم المترجمات بدمج التبعيات بطريقة تزيد من عدد التعليمات التي يمكن لوحدة المعالجة المركزية معالجتها في أي وقت. ^{[ 5 ]}

في معمارية إنتل إيتانيوم المتوقفة عن العمل ، يقوم المترجم برفع تعليمة التنبؤ بالتفرع (BRP) يدويًا فوق التفرعات لتمكين وحدة المعالجة المركزية من تنفيذ التفرع فورًا. تعتمد إيتانيوم على جدولة إضافية للتعليمات البرمجية من وحدة المعالجة المركزية لزيادة كفاءة المعالج إلى أقصى حد. ^{[ 6 ]}

يحتوي LLVM على آلية تمرير مُغلقة في صيغة التعيين الثابت الفردي. لن يقوم LLVM 15.0 بإغلاق عملية إذا كان أي من مسارات التعليمات البرمجية الخاصة به يتضمن تعليمة تخزين، أو إذا كان من المحتمل أن يُصدر خطأً. ^{[ 7 ]} بالإضافة إلى ذلك، لن يقوم LLVM بإغلاق تعليمة داخل حلقة تكرارية.

تُطبّق مجموعة مُترجمات جنو (GCU) خاصية نقل الشيفرة البرمجية تحت مُسمّى "تحليل الشيفرة"، بهدف تقليل حجم البرنامج المُترجم. ^{[ 8 ]} يقوم مُترجم جنو بنقل أي شيفرة تصاعديًا أو تنازليًا إذا لم تُبطل أي تبعيات موجودة أو تُضيف تبعيات جديدة. ^{[ 9 ]}

يستخدم LuaJIT تقنية "تخزين الذاكرة المؤقتة" (Allocation sinking) لتقليل الوقت الذي يقضيه الكود المُترجم في تخصيص وجمع الكائنات المؤقتة داخل حلقة تكرارية. ^{[ 10 ]} تنقل هذه التقنية عمليات التخصيص إلى مسارات تنفيذية حيث يمكن للكائن المُخصص أن يخرج من الكود قيد التنفيذ، مما يستدعي تخصيصه في الذاكرة الديناميكية. تُملأ جميع عمليات التخصيص المُزالة ببيانات مُعاد توجيهها من التحميل إلى التخزين. ^{[ 11 ]}