अपवाद सुरक्षा: Difference between revisions
From Vigyanwiki
(Created page with "{{Short description|State of code working correctly when exceptions are thrown}} अपवाद सुरक्षा अपवाद फेंके जाने पर स...") |
No edit summary |
||
| Line 1: | Line 1: | ||
{{Short description|State of code working correctly when exceptions are thrown}} | {{Short description|State of code working correctly when exceptions are thrown}} | ||
अपवाद सुरक्षा अपवाद फेंके जाने पर सही | '''अपवाद सुरक्षा''' कोड की वह स्थिति है जो अपवाद फेंके जाने पर सही प्रकार से कार्य करती है।<ref>{{cite web |last1=Crichton|first1=Alex |title=Rust RFC: Stabilize catch_panic |url=https://github.com/rust-lang/rfcs/blob/master/text/1236-stabilize-catch-panic.md#background-what-is-exception-safety |publisher=The Rust Programming Language |access-date=26 May 2022 |date=24 July 2015|quote=Code is exception safe if it works correctly even when the functions it calls into throw exceptions.}}</ref> चूँकि अपवाद सुरक्षा सुनिश्चित करने में सहायता के लिए [[सी ++]] मानक पुस्तकालय डेवलपर्स ने अपवाद सुरक्षा स्तरों का सेट तैयार किया जाता है, अतः अपवादों के संबंध में डेटा संरचना के संचालन के व्यवहार की संविदात्मक गारंटी पुस्तकालय और कार्यान्वयनकर्ता ग्राहक इन गारंटियों का उपयोग तब कर सकते हैं जब अपवाद हैंडलिंग शुद्धता के बारे में तर्क करते हैं। जिससे अपवाद सुरक्षा स्तर अन्य भाषाओं और त्रुटि प्रबंधन तंत्रों पर समान रूप से प्रयुक्त होते हैं।<ref>{{cite web |last1=Lau |first1=Ron |title=Exception safety in JS world |url=https://medium.com/@ronlauhk01/exception-safety-in-js-world-7f1e980c409b |website=Medium |language=en |date=10 November 2020}}</ref> | ||
== इतिहास == | == इतिहास == | ||
जैसा कि डेविड अब्राहम (कंप्यूटर प्रोग्रामर) लिखते हैं | जैसा कि डेविड अब्राहम (कंप्यूटर प्रोग्रामर) लिखते हैं कि सी ++ के अपवाद होने से पूर्व किसी ने भी 'त्रुटि-सुरक्षा' की बात नहीं की थी।<ref name="esg"/> सन् 1994 में ही यह शब्द आईएसओ / आईईसी जेटीसी1/एससी 22|जेटीसी1/एससी22/डब्लूजी21, सी++ मानक समिति में प्रकाशनों के विषय के रूप में प्रकट हुआ था।<ref>{{cite web |last1=Colvin |first1=Gregory |title=Exception Safe Exceptions |url=http://www.open-std.org/jtc1/sc22/wg21/docs/papers/1994/N0553.pdf |website=C++ Standards Committee Papers |access-date=17 December 2021 |date=1994}}</ref> अतः सी ++ मानक पुस्तकालय के लिए अपवाद सुरक्षा को प्रथम बार इब्राहीम द्वारा [[मानक टेम्पलेट लाइब्रेरी]] के लिए औपचारिक रूप से औपचारिक सुरक्षा / मजबूत सुरक्षा भेद स्थापित किया गया था।<ref>{{cite web |last1=Abrahams |first1=David |title=STLport: Exception Handling |url=http://www.stlport.org/doc/exception_safety.html |website=www.stlport.org |access-date=17 December 2021}}</ref> इसके पश्चात् प्रस्ताव में आधुनिक बुनियादी / मजबूत / नोथ्रो गारंटियों तक बढ़ाया गया था।<ref>{{cite web |last1=Abrahams |first1=Dave |last2=Colvin |first2=Greg |title=Making the C++ Standard Library Exception Safe |url=http://www.open-std.org/jtc1/sc22/wg21/docs/papers/1997/N1086.pdf |publisher=C++ Standards Committee Papers |access-date=17 December 2021}}</ref> | ||
== पृष्ठभूमि == | == पृष्ठभूमि == | ||
अपवाद गैर-स्थानीय नियंत्रण प्रवाह का | समान्यतः अपवाद गैर-स्थानीय नियंत्रण प्रवाह का रूप प्रदान करते हैं, जिसमें अपवाद फ़ंक्शन से बुलबुला हो सकता है। यह बुलबुलाहत परिवर्तनशील डेटा संरचना के अपरिवर्तनशीलताओं को निम्नानुसार नष्ट करके अपवाद सुरक्षा बग का कारण बन सकती है। <ref name=Rust_catch>{{cite web |last1=Crichton|first1=Alex |title=रस्ट RFC: कैच_पैनिक को स्थिर करें|url=https://github.com/rust-lang/rfcs/blob/master/text/1236-stabilize-catch-panic.md#background-what-is-exception-safety |publisher=The Rust Programming Language |access-date=26 May 2022 |date=24 July 2015}}</रेफरी> | ||
# एक परिवर्तनशील डेटा संरचना पर एक ऑपरेशन का एक चरण डेटा को संशोधित करता है और एक अपरिवर्तनीय को तोड़ता है। | # एक परिवर्तनशील डेटा संरचना पर एक ऑपरेशन का एक चरण डेटा को संशोधित करता है और एक अपरिवर्तनीय को तोड़ता है। | ||
| Line 24: | Line 20: | ||
[[सी ++ मानक पुस्तकालय]] अपवाद सुरक्षा के कई स्तर प्रदान करता है (सुरक्षा के घटते क्रम में):<ref name="Stroustrup"/># नो-थ्रो गारंटी, जिसे विफलता पारदर्शिता के रूप में भी जाना जाता है: असाधारण स्थितियों में भी संचालन सफल होने और सभी आवश्यकताओं को पूरा करने की गारंटी है। यदि कोई अपवाद होता है, तो इसे आंतरिक रूप से नियंत्रित किया जाएगा और ग्राहकों द्वारा इसका अवलोकन नहीं किया जाएगा। | [[सी ++ मानक पुस्तकालय]] अपवाद सुरक्षा के कई स्तर प्रदान करता है (सुरक्षा के घटते क्रम में):<ref name="Stroustrup"/># नो-थ्रो गारंटी, जिसे विफलता पारदर्शिता के रूप में भी जाना जाता है: असाधारण स्थितियों में भी संचालन सफल होने और सभी आवश्यकताओं को पूरा करने की गारंटी है। यदि कोई अपवाद होता है, तो इसे आंतरिक रूप से नियंत्रित किया जाएगा और ग्राहकों द्वारा इसका अवलोकन नहीं किया जाएगा। | ||
# मजबूत अपवाद सुरक्षा, जिसे कमिट या रोलबैक शब्दार्थ के रूप में भी जाना जाता है: संचालन विफल हो सकता है, लेकिन विफल संचालन की गारंटी है कि मूल मूल्यों को बरकरार रखते हुए कोई दुष्प्रभाव नहीं होगा।<ref>{{cite web |last1=Austern |first1=Matt |title=Standard Library Exception Policy|publisher=C++ Standards Committee Papers|date=30 May 1997|url=https://www.open-std.org/jtc1/sc22/wg21/docs/papers/1997/N1077.asc |access-date=26 May 2022}}</ref> | # मजबूत अपवाद सुरक्षा, जिसे कमिट या रोलबैक शब्दार्थ के रूप में भी जाना जाता है: संचालन विफल हो सकता है, लेकिन विफल संचालन की गारंटी है कि मूल मूल्यों को बरकरार रखते हुए कोई दुष्प्रभाव नहीं होगा।<ref>{{cite web |last1=Austern |first1=Matt |title=Standard Library Exception Policy|publisher=C++ Standards Committee Papers|date=30 May 1997|url=https://www.open-std.org/jtc1/sc22/wg21/docs/papers/1997/N1077.asc |access-date=26 May 2022}}</ref> | ||
# मूल अपवाद सुरक्षा: विफल संचालन के आंशिक निष्पादन के परिणामस्वरूप दुष्प्रभाव हो सकते हैं, | # मूल अपवाद सुरक्षा: विफल संचालन के आंशिक निष्पादन के परिणामस्वरूप दुष्प्रभाव हो सकते हैं, किन्तु सभी [[अपरिवर्तनीय (कंप्यूटर विज्ञान)]] संरक्षित रहते हैं। चूँकि किसी भी संग्रहीत डेटा में मान्य मान उपस्थित होंगे जो मूल मानों से भिन्न हो सकते हैं। अतः संसाधन लीक ([[स्मृति रिसाव]] सहित) को सामान्यतः अपरिवर्तनीय बताते हुए अस्वीकार कर दिया जाता है कि सभी संसाधनों की गणना और प्रबंधन किया जाता है। | ||
# कोई अपवाद नहीं सुरक्षा: कोई गारंटी नहीं दी जाती है। | # कोई अपवाद नहीं सुरक्षा: कोई गारंटी नहीं दी जाती है। | ||
सामान्यतः, मजबूत कोड लिखने के लिए कम से कम बुनियादी अपवाद सुरक्षा की आवश्यकता होती है। जिससे सुरक्षा के उच्च स्तर को प्राप्त करने में कभी-कभी कठिनाई हो सकती है और अतिरिक्त प्रतिलिपि के कारण ऊपर हो सकता है। चूँकि अपवाद सुरक्षा के लिए प्रमुख तंत्र <code>अंत में</code> खंड, या इसी प्रकार के [[अपवाद हैंडलिंग सिंटैक्स]] है जो यह सुनिश्चित करते हैं कि अपवादों सहित ब्लॉक से बाहर निकलने पर निश्चित कोड हमेशा चलाया जाता है। अतः कई भाषाओं ने ऐसे निर्माण किए हैं जो इसे सरल बनाते हैं, विशेष रूप से [[निपटान पैटर्न]] का उपयोग करते हुए, जिसे <code>उपयोगी</code>, <code>साथ</code>, या <code>प्रयास</code>-संसाधनों के साथ नाम दिया गया है। | |||
== उदाहरण == | == उदाहरण == | ||
स्मार्ट वेक्टर प्रकार पर विचार करें, जैसे C++'s {{Cpp|std::vector}} या जावा का {{Cpp|ArrayList}}. जब कोई वस्तु {{Cpp|x}} वेक्टर में जोड़ा जाता है {{Cpp|v}}, वेक्टर को वास्तव में जोड़ना चाहिए {{Cpp|x}} वस्तुओं की आंतरिक सूची में और गिनती फ़ील्ड को अपडेट करें जो बताती है कि कितनी वस्तुएं हैं {{Cpp|v}}. यदि उपस्तिथा क्षमता पर्याप्त नहीं है तो इसे नई मेमोरी आवंटित करने की भी आवश्यकता हो सकती है। | |||
अपवाद सुरक्षा विकल्प: | अपवाद सुरक्षा विकल्प: | ||
नो-थ्रो गारंटी: यह सुनिश्चित करके कार्यान्वित किया जाता है कि स्मृति आवंटन कभी विफल नहीं होता है, या इसे परिभाषित करके {{Cpp|insert}} आवंटन विफलता पर फ़ंक्शन का व्यवहार (उदाहरण के लिए, फ़ंक्शन द्वारा | नो-थ्रो गारंटी: यह सुनिश्चित करके कार्यान्वित किया जाता है कि स्मृति आवंटन कभी विफल नहीं होता है, या इसे परिभाषित करके {{Cpp|insert}} आवंटन विफलता पर फ़ंक्शन का व्यवहार (उदाहरण के लिए, फ़ंक्शन द्वारा बूलियन परिणाम लौटाने से संकेत मिलता है कि सम्मिलन हुआ है या नहीं)। | ||
;मजबूत अपवाद सुरक्षा: किसी भी आवश्यक आवंटन को पहले करके कार्यान्वित किया जाता है, और फिर कोई त्रुटि नहीं होने पर बफ़र्स की अदला-बदली की जाती है ( :wikibooks:More C++ Idioms/Copy-and-swap|copy-and-swap मुहावरा)। इस | ;मजबूत अपवाद सुरक्षा: किसी भी आवश्यक आवंटन को पहले करके कार्यान्वित किया जाता है, और फिर कोई त्रुटि नहीं होने पर बफ़र्स की अदला-बदली की जाती है ( :wikibooks:More C++ Idioms/Copy-and-swap|copy-and-swap मुहावरा)। इस स्थिति में, या तो का सम्मिलन {{Cpp|x}} में {{Cpp|v}} सफल होता है, या {{Cpp|v}} आवंटन विफल होने के बावजूद अपरिवर्तित रहता है। | ||
;बुनियादी अपवाद सुरक्षा: यह सुनिश्चित करके कार्यान्वित किया जाता है कि गणना फ़ील्ड के अंतिम आकार को प्रतिबिंबित करने की गारंटी है {{Cpp|v}}. उदाहरण के लिए, यदि कोई त्रुटि सामने आती है, तो {{Cpp|insert}} समारोह पूरी तरह से हटा सकता है {{Cpp|v}} और इसकी गिनती फ़ील्ड को शून्य पर रीसेट करें। विफल होने पर, कोई संसाधन लीक नहीं होते हैं, | ;बुनियादी अपवाद सुरक्षा: यह सुनिश्चित करके कार्यान्वित किया जाता है कि गणना फ़ील्ड के अंतिम आकार को प्रतिबिंबित करने की गारंटी है {{Cpp|v}}. उदाहरण के लिए, यदि कोई त्रुटि सामने आती है, तो {{Cpp|insert}} समारोह पूरी तरह से हटा सकता है {{Cpp|v}} और इसकी गिनती फ़ील्ड को शून्य पर रीसेट करें। विफल होने पर, कोई संसाधन लीक नहीं होते हैं, किन्तु {{Cpp|v}}का पुराना मान संरक्षित नहीं है। | ||
;कोई अपवाद सुरक्षा नहीं: | ;कोई अपवाद सुरक्षा नहीं: सम्मिलन विफलता से दूषित सामग्री हो सकती है {{Cpp|v}}, गिनती फ़ील्ड में गलत मान या संसाधन रिसाव। | ||
== संदर्भ == | == संदर्भ == | ||
Revision as of 19:46, 24 February 2023
अपवाद सुरक्षा कोड की वह स्थिति है जो अपवाद फेंके जाने पर सही प्रकार से कार्य करती है।[1] चूँकि अपवाद सुरक्षा सुनिश्चित करने में सहायता के लिए सी ++ मानक पुस्तकालय डेवलपर्स ने अपवाद सुरक्षा स्तरों का सेट तैयार किया जाता है, अतः अपवादों के संबंध में डेटा संरचना के संचालन के व्यवहार की संविदात्मक गारंटी पुस्तकालय और कार्यान्वयनकर्ता ग्राहक इन गारंटियों का उपयोग तब कर सकते हैं जब अपवाद हैंडलिंग शुद्धता के बारे में तर्क करते हैं। जिससे अपवाद सुरक्षा स्तर अन्य भाषाओं और त्रुटि प्रबंधन तंत्रों पर समान रूप से प्रयुक्त होते हैं।[2]
इतिहास
जैसा कि डेविड अब्राहम (कंप्यूटर प्रोग्रामर) लिखते हैं कि सी ++ के अपवाद होने से पूर्व किसी ने भी 'त्रुटि-सुरक्षा' की बात नहीं की थी।[3] सन् 1994 में ही यह शब्द आईएसओ / आईईसी जेटीसी1/एससी 22|जेटीसी1/एससी22/डब्लूजी21, सी++ मानक समिति में प्रकाशनों के विषय के रूप में प्रकट हुआ था।[4] अतः सी ++ मानक पुस्तकालय के लिए अपवाद सुरक्षा को प्रथम बार इब्राहीम द्वारा मानक टेम्पलेट लाइब्रेरी के लिए औपचारिक रूप से औपचारिक सुरक्षा / मजबूत सुरक्षा भेद स्थापित किया गया था।[5] इसके पश्चात् प्रस्ताव में आधुनिक बुनियादी / मजबूत / नोथ्रो गारंटियों तक बढ़ाया गया था।[6]
पृष्ठभूमि
समान्यतः अपवाद गैर-स्थानीय नियंत्रण प्रवाह का रूप प्रदान करते हैं, जिसमें अपवाद फ़ंक्शन से बुलबुला हो सकता है। यह बुलबुलाहत परिवर्तनशील डेटा संरचना के अपरिवर्तनशीलताओं को निम्नानुसार नष्ट करके अपवाद सुरक्षा बग का कारण बन सकती है। Cite error: Closing </ref> missing for <ref> tag
- मूल अपवाद सुरक्षा: विफल संचालन के आंशिक निष्पादन के परिणामस्वरूप दुष्प्रभाव हो सकते हैं, किन्तु सभी अपरिवर्तनीय (कंप्यूटर विज्ञान) संरक्षित रहते हैं। चूँकि किसी भी संग्रहीत डेटा में मान्य मान उपस्थित होंगे जो मूल मानों से भिन्न हो सकते हैं। अतः संसाधन लीक (स्मृति रिसाव सहित) को सामान्यतः अपरिवर्तनीय बताते हुए अस्वीकार कर दिया जाता है कि सभी संसाधनों की गणना और प्रबंधन किया जाता है।
- कोई अपवाद नहीं सुरक्षा: कोई गारंटी नहीं दी जाती है।
सामान्यतः, मजबूत कोड लिखने के लिए कम से कम बुनियादी अपवाद सुरक्षा की आवश्यकता होती है। जिससे सुरक्षा के उच्च स्तर को प्राप्त करने में कभी-कभी कठिनाई हो सकती है और अतिरिक्त प्रतिलिपि के कारण ऊपर हो सकता है। चूँकि अपवाद सुरक्षा के लिए प्रमुख तंत्र अंत में खंड, या इसी प्रकार के अपवाद हैंडलिंग सिंटैक्स है जो यह सुनिश्चित करते हैं कि अपवादों सहित ब्लॉक से बाहर निकलने पर निश्चित कोड हमेशा चलाया जाता है। अतः कई भाषाओं ने ऐसे निर्माण किए हैं जो इसे सरल बनाते हैं, विशेष रूप से निपटान पैटर्न का उपयोग करते हुए, जिसे उपयोगी, साथ, या प्रयास-संसाधनों के साथ नाम दिया गया है।
उदाहरण
स्मार्ट वेक्टर प्रकार पर विचार करें, जैसे C++'s std::vector या जावा का ArrayList. जब कोई वस्तु x वेक्टर में जोड़ा जाता है v, वेक्टर को वास्तव में जोड़ना चाहिए x वस्तुओं की आंतरिक सूची में और गिनती फ़ील्ड को अपडेट करें जो बताती है कि कितनी वस्तुएं हैं v. यदि उपस्तिथा क्षमता पर्याप्त नहीं है तो इसे नई मेमोरी आवंटित करने की भी आवश्यकता हो सकती है।
अपवाद सुरक्षा विकल्प:
नो-थ्रो गारंटी: यह सुनिश्चित करके कार्यान्वित किया जाता है कि स्मृति आवंटन कभी विफल नहीं होता है, या इसे परिभाषित करके insert आवंटन विफलता पर फ़ंक्शन का व्यवहार (उदाहरण के लिए, फ़ंक्शन द्वारा बूलियन परिणाम लौटाने से संकेत मिलता है कि सम्मिलन हुआ है या नहीं)।
- मजबूत अपवाद सुरक्षा
- किसी भी आवश्यक आवंटन को पहले करके कार्यान्वित किया जाता है, और फिर कोई त्रुटि नहीं होने पर बफ़र्स की अदला-बदली की जाती है ( :wikibooks:More C++ Idioms/Copy-and-swap|copy-and-swap मुहावरा)। इस स्थिति में, या तो का सम्मिलन
xमेंvसफल होता है, याvआवंटन विफल होने के बावजूद अपरिवर्तित रहता है। - बुनियादी अपवाद सुरक्षा
- यह सुनिश्चित करके कार्यान्वित किया जाता है कि गणना फ़ील्ड के अंतिम आकार को प्रतिबिंबित करने की गारंटी है
v. उदाहरण के लिए, यदि कोई त्रुटि सामने आती है, तोinsertसमारोह पूरी तरह से हटा सकता हैvऔर इसकी गिनती फ़ील्ड को शून्य पर रीसेट करें। विफल होने पर, कोई संसाधन लीक नहीं होते हैं, किन्तुvका पुराना मान संरक्षित नहीं है। - कोई अपवाद सुरक्षा नहीं
- सम्मिलन विफलता से दूषित सामग्री हो सकती है
v, गिनती फ़ील्ड में गलत मान या संसाधन रिसाव।
संदर्भ
- ↑ Crichton, Alex (24 July 2015). "Rust RFC: Stabilize catch_panic". The Rust Programming Language. Retrieved 26 May 2022.
Code is exception safe if it works correctly even when the functions it calls into throw exceptions.
- ↑ Lau, Ron (10 November 2020). "Exception safety in JS world". Medium (in English).
- ↑ Dave Abrahams (2000). Exception-Safety in Generic Components. Generic Programming. Lecture Notes in Computer Science. Vol. 1766. Springer. pp. 69–79. doi:10.1007/3-540-39953-4_6. ISBN 978-3-540-41090-4. Retrieved 2008-08-29.
- ↑ Colvin, Gregory (1994). "Exception Safe Exceptions" (PDF). C++ Standards Committee Papers. Retrieved 17 December 2021.
- ↑ Abrahams, David. "STLport: Exception Handling". www.stlport.org. Retrieved 17 December 2021.
- ↑ Abrahams, Dave; Colvin, Greg. "Making the C++ Standard Library Exception Safe" (PDF). C++ Standards Committee Papers. Retrieved 17 December 2021.
Cite error: <ref> tag with name "Stroustrup" defined in <references> is not used in prior text.
बाहरी संबंध
- Herb Sutter: Exceptional C++: 47 Engineering Puzzles, Programming Problems, and Solutions, 2000
- Jon Kalb: Exception-Safe Coding in C++, with C++Now! 2012 presentations on exception safety.
- Related discussion on Stackoverflow: C++: do you (really) write exception safe code
