C ++ Russia Piter 2019 रिपोर्ट की समीक्षा

एक संयुक्त ITMO और JetBrains मास्टर कार्यक्रम में, हम उन छात्रों से पूछते हैं जिन्हें सम्मेलन में रिपोर्ट की समीक्षा के साथ रिपोर्ट लिखने के लिए भेजा जाता है।
हम C ++ Russia Piter 2019 सम्मेलन के बारे में इनमें से एक रिपोर्ट प्रकाशित करते हैं। लेखक एक दूसरे वर्ष के छात्र अर्योम खोरोशेव है।



नवंबर की शुरुआत में, मैंने cpp-russia-piter सम्मेलन में भाग लिया, नीचे मैं उन रिपोर्टों के बारे में बात करूंगा जो मुझे याद हैं।

रोमन रुसिएव: सी ++ अपवाद संकलनकर्ता के चश्मे के माध्यम से अपवाद

एक दिलचस्प रिपोर्ट जिसमें एलएलवीएम के उदाहरण पर वक्ता ने आधुनिक सी ++ में शून्य लागत अपवादों के बारे में बात की।

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

(रिपोर्ट स्लाइड्स)

मैक्सिम खिजिन्स्की: एक्टर और हैंडलर के लिए कम्फर्ट-क्लास हाउसिंग

स्पीकर ने समानांतर प्रोग्रामिंग से जुड़ी कई समस्याओं से छुटकारा पाने का लक्ष्य निर्धारित किया है:

• साझा डेटा
• संदर्भ स्विचिंग,
• सिंक्रनाइज़ करना,
• अल्पकालिक आवश्यकताओं के लिए मक्खी पर प्रवाह का लगातार निर्माण।

नतीजतन, स्पीकर ने अपने कार्यक्रम को घटकों में तोड़ने का सुझाव दिया, जिसका जीवनकाल कार्यक्रम के जीवनकाल के बराबर होगा, और घटकों को "अपार्टमेंट" में रखा जाएगा, जिनमें से संख्या थ्रेड्स की संख्या के बराबर होनी चाहिए। स्वयं घटक, परिणामस्वरूप, एकल-थ्रेडेड होते हैं, और घटकों के बीच संचार संदेश गुजरने के माध्यम से होना चाहिए। मैं मानता हूं कि यह समस्या को हल करता है, लेकिन हमारे कार्यक्रम के सभी अनुकूलन की कीमत पर, हमें इसे संकलन के समय करना चाहिए। कम से कम, संकलन के समय "अपार्टमेंट" के बीच घटकों को समान रूप से वितरित करना आवश्यक है, जो सिस्टम को लोड के आधार पर पुन: संतुलन से रोकता है। नतीजतन, मेरी राय में, समाधान स्वयं पर्याप्त लचीला नहीं दिखता है।

(रिपोर्ट स्लाइड्स)

निकोले बेलोबोरोडोव: अत्यधिक लोड किए गए नेटवर्क अनुप्रयोगों में स्लैब-आवंटनकर्ताओं का उपयोग

नाम अपने लिए बोलता है। स्पीकर ने बताया कि कैसे उन्होंने स्लैब एलोकेटर का उपयोग करके सिस्टम के प्रदर्शन को काफी बढ़ाया। स्लैब आवंटनकर्ता कई संस्थाओं पर काम करता है:

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

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

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

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

(रिपोर्ट स्लाइड्स)

एंटोन पोलुखिन: सी ++ टैक्सी ट्रिक्स

एंटोन पोलुखिन की रिपोर्ट हमेशा दिलचस्प होती है, और जो समाधान वे पेश करते हैं, वे अच्छे लगते हैं। इस बार, एंटोन ने दिखाया कि कैसे गतिशील आवंटन के मामले में पिंपल पैटर्न में सुधार किया जा सकता है। ऐसा करने के लिए, आपको ऑब्जेक्ट में ही कार्यान्वयन ऑब्जेक्ट के लिए रिपॉजिटरी रखने की आवश्यकता है। आपको याद दिला दूं कि क्लासिक पिंपल पैटर्न इस प्रकार है:

// Foo.h struct Foo { Foo(); private: struct Foo_impl; //forward declaration std::unique_ptr<Foo_impl> impl; }; // Foo.cpp //implementation struct Foo::Foo_impl { }; 

हम गतिशील आवंटन से छुटकारा चाहते हैं, इसके लिए हम फू वस्तु में सीधे अग्रिम में एक जगह तैयार करेंगे:

 // Foo.h struct Foo { Foo(); private: struct Foo_impl; //forward declaration std::aligned_storage_t<sizeof(Foo_impl), alignof(Foo_impl)> impl; }; // Foo.cpp //implementation struct Foo::Foo_impl { } 

यह विधि काम नहीं करेगी, क्योंकि हमारे पास Foo.h में Foo_impl के प्रकार के बारे में पूरी जानकारी नहीं है और एक संकलन त्रुटि प्राप्त होगी। एकमात्र समाधान जो रहता है, वह अग्रिम में भंडारण के आकार का अनुमान लगाना है।

 // Foo.h struct Foo { Foo(); private: struct Foo_impl; //forward declaration constexpr std::size_t kImplSize = 32; constexpr std::size_t kImplAlign = 8; std::aligned_storage_t<kImplSize, kImplAlign> impl; }; // Foo.cpp //implementation struct Foo::Foo_impl { } 

लेकिन आपको एक जांच जोड़ने की आवश्यकता है कि आकार अभी भी सही है। यह आवश्यक है, क्योंकि ऑब्जेक्ट को अनुचित बफर में रखने का प्रयास यूबी है।

 // Foo.h struct Foo { Foo(); ~Foo(); private: constexpr std::size_t kImplSize = 32; constexpr std::size_t kImplAlign = 8; struct Foo_impl; //forward declaration std::aligned_storage_t<kImplSize, kImplAlign> impl; }; // Foo.cpp //implementation struct Foo::Foo_impl { } struct Foo::~Foo() { static_assert(kImplSize==sizeof(Foo_impl),"Size and sizeof(T) mismatch"); static_assert(kImplAlign==alignof(kImplAlign),"Alignment and alignof(T) mismatch"); // call destructor of Foo_impl } 

हम cpp फ़ाइल में एक चेक करते हैं, और अगर कुछ गलत तरीके से इंगित किया जाता है, तो हम एक संकलन त्रुटि के साथ समाप्त होते हैं, और संरचना के सही आकार को प्रिंट करते हैं ताकि प्रोग्रामर दूसरे प्रयास से अनुमान लगा सके।

एंटोन ने दिखाया कि विभिन्न प्रकार के प्रारूपों में अपनी क्रमबद्ध पुस्तकालय को सुविधाजनक कैसे बनाया जाए, बस एडीएल सुविधा को न भूलें: यदि फ़ंक्शन तर्कों के लिए टेम्पलेट पैरामीटर हैं, तो फ़ंक्शन इन तर्कों के पैरामीटर नाम स्थान में खोजा जाएगा।

(रिपोर्ट स्लाइड्स)

एरिक नीब्लर: सी ++ में एसिंक्स के लिए एक एकीकृत अमूर्त

एक दिलचस्प रिपोर्ट, जो मौजूदा भाषा मानक में अतुल्यकालिक अमूर्त की समस्याओं पर चर्चा करती है: क्यों भविष्य और वादा धीमा है, और क्या हम इन ओवरहेड्स से बचने के लिए पुस्तकालय को इस तरह से डिजाइन कर सकते हैं। लगता है कि फेसबुक डेवलपर्स के पास एक अच्छा समाधान है https://github.com/facebookexperimental/libunifex

(रिपोर्ट स्लाइड्स)

दिमित्री कोज़ेवनिकोव और एंड्री डेविडोव: मॉड्यूल पर दो रिपोर्ट

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

(रिपोर्ट की स्लाइड्स: 1 , 2 )

निष्कर्ष

पिछला सम्मेलन भाषा की प्रसिद्ध विशेषताओं का उपयोग करने के दिलचस्प उदाहरणों से प्रसन्न था। बड़ी संख्या में रिपोर्ट निम्न मानक से चिप्स के बारे में थीं - सी ++ 20। यह, निश्चित रूप से, सभी C ++ डेवलपर्स के लिए बहुत उपयोगी है।