संकलक में त्रुटि? यह संभावना नहीं है, लेकिन ...

एक बार जब मुझे यह कहना पसंद आया, "क्या आपको लगता है कि त्रुटि संकलक में है?" अपने कोड को बेहतर तरीके से जांचें! ” वास्तव में, मेरे व्यवहार में यह तब हुआ - जब ऐसा प्रतीत होता है, त्रुटि के सभी उचित कारणों को छोड़ दिया गया था और यह सोचा था कि इस बार सिस्टम में कहीं न कहीं गड़बड़ थी, अचानक उसके कोड में कुछ हास्यास्पद प्रतिबंधात्मक त्रुटि हुई सभी पिछली विषमताओं को तुरंत समझाते हुए।

लेकिन कभी-कभी कंपाइलर दोषी भी हो सकता है।


TMS570 नियंत्रक पर परियोजना (जिनमें से प्रमुख विशेषताओं में से एक ने पसंद को प्रभावित किया था, एक फ्लोटिंग-पॉइंट मॉड्यूल की उपस्थिति थी)। सुरक्षा-महत्वपूर्ण प्रणालियों के लिए नियंत्रक का उद्देश्य, जैसा कि यह था, एक मौका नहीं छोड़ता है कि कोई भी गंभीर समस्या नियंत्रक के साथ हो सकती है। कम से कम मैं वास्तव में उस पर विश्वास करना चाहता हूं।

परियोजना में एक बहुत, बहुत ही जटिल एल्गोरिथ्म है जिसमें कई फ्लोटिंग-पॉइंट गणनाओं की आवश्यकता होती है। जो निश्चित रूप से, कार्यान्वयन के पहले प्रयास से काम करने से इनकार करता है। अब तक कोई आश्चर्य नहीं, सामान्य विकास और डिबगिंग प्रक्रिया।

लेकिन फिर अजीब चीजें शुरू होती हैं। जहां, किसी भी तरह से, संगणना मान 1 से अधिक नहीं हो सकता है, "अंतहीन परिणाम" की त्रुटि अचानक उत्पन्न होती है। उसी समय, उस क्षण को पकड़ने का प्रयास करता है जब ऐसा होता है सफलता नहीं मिलती है।

अंतिम निम्नलिखित था: टुकड़ा

if (x > 1) { printf(“%f”, x); } 

प्रपत्र का प्रिंट मान 0.0043, अर्थात एक से बहुत कम ...

और यहाँ सोचा कि "शायद संकलक इस समय को दोष देना है," फिर से सक्रिय। और इस दिशा में कुछ खुदाई के बाद, समस्या को संदेह, पुष्टि और सफलतापूर्वक हल किया गया था।

बात यह थी कि संकलक ने सभी फ्लोटिंग-पॉइंट रजिस्टरों को सहेजे बिना बीच में आई / ओ कोड को गलत तरीके से उत्पन्न किया! परिणामस्वरूप, जैसे ही कुछ फ्लोटिंग-पॉइंट गणनाओं के निष्पादन के दौरान एक व्यवधान उत्पन्न हुआ, जिसके अंदर फ्लोटिंग-पॉइंट गणनाएँ भी की गईं (और यह वास्तव में हुआ!), सिस्टम ने अप्रत्याशित तरीके से व्यवहार करना शुरू कर दिया जैसे कि ऊपर वर्णित एक। और व्यवधान के लिए I / O कोड को मैन्युअल रूप से सही करने के बाद, समस्या का सफलतापूर्वक हल हो गया और अब प्रकट नहीं हुआ।

पुनश्च। और जब आप जानते हैं कि वास्तव में समस्या कहां है, तो आप आसानी से पा सकते हैं कि यह पहले पता था। दुर्भाग्य से, इसके बारे में जानकारी केवल टेक्सास इंस्टीट्यूट्स फोरम में मौजूद थी, और मानक प्रलेखन में या ज्ञात समस्याओं के बीच कहीं भी वर्णित नहीं किया गया था।

ZZY। ठीक है, यहां तक ​​कि सुरक्षा महत्वपूर्ण प्रणालियों के लिए नियंत्रक का इरादा उपयोग, जैसा कि यह निकला, यह गारंटी नहीं देता है कि इसमें सब कुछ कहा गया है के रूप में काम करेगा ...