التنفيذ التخميني

التنفيذ الفوري هو شكل من أشكال التنفيذ التخميني حيث يتم تنفيذ كلا جانبي الفرع الشرطي؛ ومع ذلك، لا تُعتمد النتائج إلا إذا كان الشرط صحيحًا. في ظل موارد غير محدودة، من الناحية النظرية، يوفر التنفيذ الفوري (المعروف أيضًا باسم تنفيذ أوراكل ) نفس أداء التنبؤ المثالي بالفروع . أما في ظل موارد محدودة، فينبغي استخدام التنفيذ الفوري بحذر، نظرًا لأن عدد الموارد المطلوبة يزداد بشكل كبير مع كل مستوى من مستويات الفروع التي يتم تنفيذها بشكل فوري. ^{[ 6 ]}

التنفيذ التنبؤي هو شكل من أشكال التنفيذ التخميني، حيث يتم التنبؤ بنتيجة معينة، ويستمر التنفيذ على طول المسار المتوقع حتى معرفة النتيجة الفعلية. إذا كان التنبؤ صحيحًا، يُسمح للتنفيذ المتوقع بالاستمرار؛ أما إذا كان التنبؤ خاطئًا، فيجب إعادة التنفيذ. تشمل الأشكال الشائعة لهذا النوع من التنفيذ مُتنبئات التفرع وتنبؤات تبعية الذاكرة . ويُشار أحيانًا إلى شكل مُعمم منه باسم تنبؤ القيمة. ^{[ 7 ]}

التنفيذ الكسول هو عكس التنفيذ الفوري، ولا يتضمن أي تكهنات. يُعدّ دمج التنفيذ التخميني في تطبيقات لغة البرمجة هاسكل ، وهي لغة كسولة، موضوعًا بحثيًا راهنًا. صُممت لغة إيجر هاسكل ، وهي إحدى مشتقات اللغة، حول فكرة التنفيذ التخميني. في أطروحة دكتوراه نُشرت عام ٢٠٠٣، طُوّرت لغة GHC لدعم نوع من التنفيذ التخميني مع آلية إجهاض للتراجع في حالة اختيار خاطئ، تُسمى التنفيذ التفاؤلي . ^{[ ٩ ]} وقد اعتُبرت هذه الآلية معقدة للغاية. ^{[ ١٠ ]}