क्या MATLAB पूंछ कॉल अनुकूलन करता है?

Question

मैंने हाल ही में हास्केल सीखा है, और जब संभव हो तो शुद्ध कार्यात्मक शैली को मेरे अन्य कोड पर ले जाने की कोशिश कर रहा हूं। इसका एक महत्वपूर्ण पहलू अपरिवर्तनीय, यानी स्थिरांक के रूप में सभी चरों का इलाज कर रहा है। ऐसा करने के लिए, एक अनिवार्य शैली में लूप का उपयोग करके लागू किए जाने वाले कई कंप्यूटेशंस को रिकर्सन का उपयोग करके निष्पादित किया जाना चाहिए, जो आमतौर पर आवंटन के कारण प्रत्येक फ़ंक्शन कॉल के लिए एक नया स्टैक फ्रेम आवंटित करता है। पूंछ कॉल के विशेष मामले में (जहां एक बुलाए गए फ़ंक्शन का रिटर्न वैल्यू तुरंत कैली के कॉलर पर लौटा दिया जाता है), हालांकि, इस जुर्माना को पूंछ कॉल ऑप्टिमाइज़ेशन नामक प्रक्रिया द्वारा छोड़ा जा सकता है (एक विधि में, यह किया जा सकता है ढेर को ठीक से स्थापित करने के बाद अनिवार्य रूप से एक jmp के साथ एक कॉल को बदलना)। क्या MATLAB डिफ़ॉल्ट रूप से टीसीओ निष्पादित करता है, या क्या इसे बताने का कोई तरीका है?

Answer 1

अगर मैं एक साधारण पूंछ पुनरावर्ती समारोह को परिभाषित:

function tailtest(n) 
    if n==0; feature memstats; return; end 
    tailtest(n-1); 
end 

और इसे कहते इतना है कि यह काफी गहरा recurse होगा:

set(0,'RecursionLimit',10000); 
tailtest(1000); 

तो यह रूप में ढेर फ्रेम हैं अगर नहीं लगती है बहुत सारी मेमोरी खा रही है। हालांकि, अगर मैं इसे बहुत गहरे recurse:

set(0,'RecursionLimit',10000); 
tailtest(5000); 

तो (मेरी मशीन, आज पर) MATLAB बस दुर्घटनाओं: प्रक्रिया unceremoniously मर जाता है।

मुझे नहीं लगता कि यह MATLAB के साथ कोई भी टीसीओ कर रहा है; वह मामला जहां एक फ़ंक्शन पूंछ स्वयं ही कॉल करता है, केवल एक ही स्थान पर, किसी भी तर्क के अलावा कोई स्थानीय चर नहीं होता है, जितना सरल हो सकता है उतना ही सरल होता है।

तो: नहीं, ऐसा प्रतीत होता है कि MATLAB कम से कम डिफ़ॉल्ट रूप से टीसीओ नहीं करता है। मैंने (अब तक) विकल्पों की तलाश नहीं की है जो इसे सक्षम कर सकती हैं। अगर कोई था तो मुझे आश्चर्य होगा।

ऐसे मामलों में जहां हम ढेर को नहीं उड़ाते हैं, रिकर्सन लागत कितनी है? बिल चेथम के जवाब पर मेरी टिप्पणी देखें: ऐसा लगता है कि समय ओवरहेड अनौपचारिक है लेकिन पागल नहीं है।

... सिवाय इसके कि बिल धोथम ने उस टिप्पणी को छोड़ने के बाद अपना जवाब हटा दिया। ठीक। इसलिए, मैंने फाइबोनैकी फ़ंक्शन का एक सरल पुनरावृत्ति कार्यान्वयन किया और एक साधारण पूंछ-पुनरावर्ती व्यक्ति, जो अनिवार्य रूप से दोनों में समान गणना कर रहा था, और उन्हें fib(60) पर दोनों का समय दिया। पुनरावर्ती कार्यान्वयन को पुनरावर्तक से चलाने के लिए लगभग 2.5 गुना अधिक समय लगता है। निस्संदेह रिश्तेदार ओवरहेड उन कार्यों के लिए छोटा होगा जो एक अतिरिक्त से अधिक काम करते हैं और प्रति पुनरावृत्ति प्रति एक घटाव करते हैं।

(मैं भी delnan की भावना से सहमत:। प्रकार कि हास्केल में प्राकृतिक लगता है की अत्यधिक पुनरावर्ती कोड आम तौर पर MATLAB में unidiomatic होने की संभावना है)