🥇रस्ट कंपाइलर के साथ जीसीसी फ्रंटएंड में बॉरो चेकर लागू किया गया

जीसीसीआरएस फ्रंटएंड में रस्ट भाषा समर्थन को बेहतर बनाने वाले पैच की एक श्रृंखला को जीसीसी 15 शाखा में शामिल करने का प्रस्ताव दिया गया है। सबसे उल्लेखनीय परिवर्तन बॉरो चेकर के लिए समर्थन है, जो पोलोनियस घटक पर आधारित है, जिसे रस्ट कोर टीम द्वारा बॉरो चेकर की अगली पीढ़ी के रूप में विकसित किया जा रहा है।

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

जीसीसी के लिए तैयार समाधान की सीमाएँ हैं:

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

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

स्रोत: opennet.ru