क्या कार्यान्वयन-परिभाषित व्यवहार सी ++ में रनों के बीच संगत होना आवश्यक है?

Question

क्या मानक-अनुरूप सी ++ कार्यान्वयन मानक में कार्यान्वयन-परिभाषित करने के लिए कुछ व्यवहार को लागू करने की अनुमति है, इस तरह से एक ही इनपुट डेटा के साथ एक बार संकलित एक ही संकलित के विभिन्न रनों के बीच अलग है?

उदाहरण के लिए, "यह सप्ताहांत पर व्यवहार है और अन्यथा" और ऐसे कथन के अनुसार व्यवहार को लागू करने के लिए एक कार्यान्वयन की अनुमति है?

Answer 1

कार्यान्वयन परिभाषित व्यवहार का मतलब

Unspeci फाई एड व्यवहार जहां प्रत्येक कार्यान्वयन दस्तावेजों कैसे पसंद किया जाता है

यह संकलक लेखकों के लिए अनिवार्य एक विशेष प्रोग्रामिंग के व्यवहार दस्तावेज़ के लिए है एक विशेष कार्यान्वयन के लिए निर्माण।

..... इस तरह से यह एक ही इनपुट डेटा के साथ एक बार संकलित एक ही संकलित के विभिन्न रनों के बीच अलग है?

नोप्स!

उदाहरण के लिए, "यह सप्ताहांत पर व्यवहार है और अन्यथा" और ऐसे कथन के अनुसार व्यवहार को लागू करने के लिए एक कार्यान्वयन की अनुमति है?

मुझे यकीन है कि नहीं हूँ, लेकिन मुझे लगता है कि इस सवाल का जवाब कोई है।

Answer 2

rand(3)<stdlib.h> में सी ++ के भीतर से कॉल किया जा सकता है, यह सुनिश्चित नहीं है कि "मानक सी ++" में सी पुस्तकालय कितना शामिल है, लेकिन निश्चित रूप से यादृच्छिक संख्या उत्पन्न करने के लिए कुछ मानकों-अनुरूप तंत्र हैं।

<time.h> में वर्तमान समय देता है; सी ++ के साथ एक ही कहानी और सी पुस्तकालय में कॉलिंग।

Answer 3

बेशक, अगर कार्यान्वयन दस्तावेज वास्तव में व्यवहार अलग-अलग रनों के साथ बदलते हैं, तो यह ठीक है। ध्यान दें कि कार्यान्वयन से परिभाषित व्यवहार सार मशीन के मापदंडों का हिस्सा है:

इस अंतर्राष्ट्रीय मानक में अर्थ विवरण एक पैरामिट्रीकृत nondeterministic सार मशीन परिभाषित करते हैं।

अमूर्त मशीन के कुछ पहलुओं और संचालन को इस अंतर्राष्ट्रीय मानक में कार्यान्वयन-परिभाषित (उदाहरण के लिए, आकार (int)) के रूप में वर्णित किया गया है। ये सार मशीन के पैरामीटर का गठन करते हैं। प्रत्येक कार्यान्वयन में इन विशेषताओं में अपनी विशेषताओं और व्यवहार का वर्णन करने वाले दस्तावेज शामिल होंगे। इस तरह के दस्तावेज उस सारणी मशीन के उदाहरण को परिभाषित करेंगे जो उस कार्यान्वयन से संबंधित है (जिसे नीचे '' इसी उदाहरण 'के रूप में जाना जाता है)।

यह संकलक के एक ही भाग में व्यवहार को बदलने की अनुमति नहीं देता है।लेकिन कंपाइलर के विभिन्न रनों के बीच, संकलक परिभाषित परिभाषा के अनुसार, विभिन्न कार्यान्वयन परिभाषित मानों से अलग एक अलग संबंधित सार मशीन का उपयोग कर सकता है। कमांड लाइन पैरामीटर जैसे -Wall (जो डायग्नोस्टिक संदेशों के कार्यान्वयन-निर्धारित सेट को बदलता है) इसका सबसे आम उदाहरण हैं। यह दस्तावेज़ीकरण आवश्यकताओं के अलावा अनिर्दिष्ट व्यवहार में एक अंतर है। अनिर्दिष्ट व्यवहार बहुत कम प्रतिबंधक है:

कुछ अन्य पहलुओं और अमूर्त मशीन के संचालन अनिर्दिष्ट के रूप में इस अंतर्राष्ट्रीय मानक में वर्णित हैं (उदाहरण के लिए, एक समारोह के लिए तर्क के मूल्यांकन के आदेश)। जहां संभव हो, यह अंतर्राष्ट्रीय मानक स्वीकार्य व्यवहार के एक सेट को परिभाषित करता है। ये अमूर्त मशीन के nondeterministic पहलुओं को परिभाषित करते हैं। सार मशीन का एक उदाहरण इस प्रकार किसी दिए गए प्रोग्राम और एक दिए गए इनपुट के लिए एक से अधिक संभव निष्पादन अनुक्रम हो सकता है।

Answer 4

आईआईआरसी, सिस्टम() मौजूद होना आवश्यक है, लेकिन कार्यान्वयन परिभाषित व्यवहार दिया गया है। सिस्टम की तरह कुछ ("ls | grep foo") स्वाभाविक रूप से अलग-अलग प्रभाव डालता है कि आपका सिस्टम एलएस नामक कुछ निष्पादित कर सकता है या नहीं, जो रनों के बीच भिन्न हो सकता है। और, यहां तक ​​कि एक सामान्य सामान्य यूनिक्स मशीन पर जहां ls और grep आप अपेक्षा करते हैं और बाहर नहीं ले जाते हैं, परिणाम अभी भी नाम में foo के साथ फ़ाइल के अस्तित्व पर निर्भर करेगा, जिसे निश्चित रूप से अलग करने की अनुमति होगी समय, और जहां से प्रोग्राम निष्पादित किया जाता है, आदि। यह केवल इस बात पर निर्भर करता है कि आप "एक ही इनपुट डेटा" की रेखा को आकर्षित करते हैं। यदि मशीन पूरी तरह से समान स्थिति में है तो आप समान व्यवहार की उम्मीद कर सकते हैं, लेकिन कोई भी दो रनों में वास्तव में एक समानांतर स्थिति में मशीन शामिल नहीं होगी। (यहां तक ​​कि अन्यथा पूरी तरह से समान मशीनों में सीपीयू का तापमान कुछ थ्रॉटलिंग व्यवहार में पड़ सकता है, जो कुछ रेस हालत के विजेता को बदल देता है, जो आपके प्रोग्राम के विभिन्न व्यवहार में स्पष्ट रूप से परिणाम देता है।)

Answer 5

एक उदाहरण मैं सोच सकता हूं यदि कार्यक्रम संख्याओं के लिए बड़े या छोटे एंडियन प्रतिनिधित्व का उपयोग करता है। मेरा मानना ​​है कि यह निश्चित रूप से कार्यान्वयन परिभाषित व्यवहार के रूप में गिना जाएगा।

कुछ चिप्स पर, उदाहरण के लिए कुछ एआरएम चिप्स रन टाइम पर मोड स्विच करना संभव है ताकि आप एक कंपाइलर चाहें जो एक प्रोग्राम उत्पन्न कर सके जो किसी भी मोड में चलाएगा जिसका अर्थ है कि आपके पास कार्यान्वयन परिभाषित व्यवहार है जो संभावित रूप से अलग हो सकता है बाहरी सेटिंग्स के आधार पर प्रत्येक रन पर।

इसी प्रकार मुझे लगता है कि आप एक कंपाइलर लिख सकते हैं जिसने एक ही प्रोग्राम के 32 विज्ञापन 64 बिट को संकलित किया - और जिस मोड को निष्पादित किया गया वह रन टाइम पर निर्धारित किया जा सकता है। दोबारा, प्रलेखन को यह कहना होगा कि इस पर निर्भर करता है कि इट्स 32 बिट या 64 बिट थे।

ईमानदार होने के लिए मैं इन चीजों में से किसी एक को नहीं देख सकता हूं, लेकिन वे दोनों जो आप पूछ रहे थे उसके बारे में अस्पष्ट रूप से व्यावहारिक उदाहरण हैं और मैं नहीं देख सकता कि वे मानक के तहत लंबे समय तक कानूनी क्यों नहीं होंगे क्योंकि दस्तावेज़ ने सिस्टम निर्भर व्यवहार की प्रकृति को सही तरीके से दस्तावेज किया था।

Answer 6

गारंटी है कि संकलक ने दस्तावेज किया है। संकलन समय पर कंप्यूटर के विभिन्न कंपाइलर झंडे या विभिन्न राज्य प्रभावित हो सकते हैं कि संकलक/अनुकूलक आपके प्रोग्राम को कैसे संसाधित करता है और इसका परिणाम परिणाम पर पड़ सकता है। कंपाइलर झंडे के साथ सबसे बड़ा प्रभाव पड़ता है (उसी कंपाइलर का उपयोग 64 बिट वातावरण में 32 और 64 बिट प्रोग्राम उत्पन्न करने के लिए किया जा सकता है, दो रन संरेखण आवश्यकताओं में भिन्नता हो सकती है)।

आप उम्मीद कर सकते हैं कि ज्यादातर मामलों में कार्यान्वयन कार्यान्वयन के व्यवहार और प्रोग्राम जो यह कंपाइलर/लिंकर पैरामीटर के दिए गए सेट के लिए उत्पन्न करता है, के बारे में कुछ बुनियादी गारंटी प्रदान करेगा। यहां तक ​​कि यदि सिस्टम का भार प्रभावित कर सकता है कि आपके प्रोग्राम पर ऑप्टिमाइज़र कितना काम कर सकता है - कुछ अनुकूलक कुछ सीमित समय आवंटित किए जाएंगे - जो अपेक्षित व्यवहार को नहीं बदलना चाहिए।

ध्यान दें कि जब कोई गारंटी नहीं है, तो एक कंपाइलर का विपणन करना मुश्किल होगा जो सितारों के सापेक्ष चंद्रमा की स्थिति के रूप में असंबंधित मानकों के आधार पर विभिन्न व्यवहारों के साथ कोड उत्पन्न करता है।