"रस्ट सिस्टम प्रोग्रामिंगको भविष्य हो, सी नयाँ एसेम्बलर हो" - इंटेलका एक अग्रणी इन्जिनियरहरूको भाषण

भर्खरको ओपन सोर्स टेक्नोलोजी समी (OSTS) मा जोश ट्रिपलेटइन्टेलका एक वरिष्ठ इन्जिनियरले भने कि उनको कम्पनीले निकट भविष्यमा प्रणाली र निम्न-स्तरको विकासमा प्रभुत्व जमाउने C भाषाको साथ "समानता" मा पुग्न रस्टमा चासो राखेको छ। उनको भाषणमा "Intel and Rust: The Future of Systems Programming" शीर्षक अन्तर्गत उनले सिस्टम प्रोग्रामिङको इतिहास, कसरी C पूर्वनिर्धारित प्रणाली प्रोग्रामिङ भाषा बन्यो, रस्टका के-कस्ता सुविधाहरूले यसलाई C भन्दा माथि उठाउँछन्, र यसले कसरी पूर्ण रूपमा गर्न सक्छ भन्ने विषयमा पनि कुरा गरे। प्रोग्रामिङको यस क्षेत्रमा C प्रतिस्थापन गर्नुहोस्।

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

ट्रिपलेट आफैले प्रणाली प्रोग्रामिङलाई "अनुप्रयोग नभएको कुनै पनि कुरा" भनेर परिभाषित गर्दछ। यसमा BIOS, फर्मवेयर, बुटलोडरहरू र अपरेटिङ सिस्टम कर्नेलहरू, विभिन्न प्रकारका इम्बेडेड निम्न-स्तर कोड, र भर्चुअल मेसिन कार्यान्वयनहरू जस्ता चीजहरू समावेश छन्। चाखलाग्दो कुरा के छ भने, Triplett विश्वास गर्दछ कि वेब ब्राउजर पनि प्रणाली सफ्टवेयर हो, किनकि ब्राउजर धेरै पहिले "केवल एक कार्यक्रम" भन्दा बढि भएको छ, एक स्ट्यान्डअलोन "वेबसाइटहरू र वेब अनुप्रयोगहरूको लागि प्लेटफर्म" बन्न पुगेको छ।

विगतमा, BIOS, बुटलोडरहरू र फर्मवेयर सहित अधिकांश प्रणाली कार्यक्रमहरू, एसेम्बली भाषामा लेखिन्थ्यो। 1960 को दशकमा, प्रयोगहरूले उच्च-स्तर भाषाहरूको लागि हार्डवेयर समर्थन प्रदान गर्न थाले, जसले PL/S, BLISS, BCPL, र ALGOL 68 जस्ता भाषाहरूको सिर्जना गर्न अग्रसर भयो।

त्यसपछि, 1970 मा, डेनिस रिचीले युनिक्स अपरेटिङ सिस्टमको लागि सी प्रोग्रामिङ भाषा सिर्जना गरे। बी प्रोग्रामिङ भाषामा सिर्जना गरिएको, जसमा टाइपिङ समर्थन पनि थिएन, सी शक्तिशाली उच्च-स्तर प्रकार्यहरूले भरिएको थियो जुन अपरेटिङ सिस्टम र ड्राइभरहरू लेख्नका लागि सबैभन्दा उपयुक्त थियो। UNIX का धेरै कम्पोनेन्टहरू, यसको कर्नेल सहित, अन्ततः C मा पुन: लेखिएको थियो। पछि, ओरेकल डाटाबेस, धेरै जसो विन्डोज स्रोत कोड, र लिनक्स अपरेटिङ सिस्टम सहित अन्य धेरै प्रणाली प्रोग्रामहरू पनि C मा लेखिएका थिए।

C ले यस दिशामा ठूलो सहयोग प्राप्त गरेको छ। तर वास्तवमा के विकासकर्ताहरूले यसमा स्विच गरे? Triplett विश्वास गर्दछ कि विकासकर्ताहरूलाई एक प्रोग्रामिङ भाषाबाट अर्कोमा स्विच गर्न उत्प्रेरित गर्न, पछिल्लोले पहिले पुरानो सुविधाहरू नगुमाई नयाँ सुविधाहरू प्रदान गर्नुपर्छ।

पहिले, भाषाले "उचित प्रभावशाली" नयाँ सुविधाहरू प्रदान गर्नुपर्छ। "उनी कुनै राम्रो हुन सक्दैन। सङ्क्रमणका लागि लाग्ने प्रयास र इन्जिनियरिङ् समयको औचित्य पुष्टि गर्न यो उल्लेखनीय रूपमा राम्रो हुनुपर्छ, ”उनी बताउँछन्। विधानसभा भाषाको तुलनामा, C सँग प्रस्ताव गर्न धेरै चीजहरू थिए। यसले केही हदसम्म प्रकार-सुरक्षित व्यवहारलाई समर्थन गर्‍यो, उच्च-स्तर निर्माणहरूसँग राम्रो पोर्टेबिलिटी र प्रदर्शन प्रदान गर्‍यो, र समग्रमा धेरै पढ्न योग्य कोड उत्पन्न गर्‍यो।

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

ट्रिपलेटको विश्वास छ कि C अब धेरै वर्ष पहिलेको विधानसभा भाषा बन्न थालेको छ। "सी नयाँ एसेम्बलर हो," उनले घोषणा गरे। अब विकासकर्ताहरूले नयाँ उच्च-स्तरको भाषा खोजिरहेका छन् जसले C मा जम्मा भएका समस्याहरू मात्र समाधान गर्दैन जुन अब समाधान गर्न सकिँदैन, तर रोमाञ्चक नयाँ सुविधाहरू पनि प्रदान गर्दछ। यस्तो भाषा विकासकर्ताहरूलाई यसमा स्विच गर्नको लागि पर्याप्त बाध्यकारी हुनुपर्छ, सुरक्षित हुनुपर्छ, स्वचालित मेमोरी व्यवस्थापन प्रदान गर्नुहोस्, र अधिक।

"सी भन्दा राम्रो हुन चाहने कुनै पनि भाषाले बफर ओभरफ्लो सुरक्षा भन्दा धेरै प्रस्ताव गर्नुपर्छ यदि यो साँच्चै बाध्यकारी विकल्प हुन चाहन्छ। विकासकर्ताहरू उपयोगिता र कार्यसम्पादनमा रुचि राख्छन्, कोड लेख्ने जुन आत्म-व्याख्यात्मक छ र कम लाइनहरूमा बढी काम गर्दछ। सुरक्षाका समस्याहरू पनि सम्बोधन गर्न आवश्यक छ। प्रयोग र प्रदर्शन को सजिलो हात मा जान्छ। तपाईले केहि प्राप्त गर्नको लागि जति कम कोड लेख्नुपर्छ, तपाईले कुनै गल्ती गर्ने कम मौका पाउनुहुन्छ, सुरक्षा सम्बन्धी वा होइन, "ट्रिप्लेट बताउँछन्।

रस्ट र सी को तुलना

2006 मा, मोजिला कर्मचारी ग्रेडन होरेले रस्टलाई व्यक्तिगत परियोजनाको रूपमा लेख्न थाले। र 2009 मा, मोजिलाले आफ्नै आवश्यकताहरूको लागि रस्टको विकासलाई प्रायोजित गर्न थाल्यो, र भाषाको थप विकास गर्न टोलीलाई पनि विस्तार गर्यो।

मोजिलाले नयाँ भाषामा चासो राख्नुको एउटा कारण यो हो कि फायरफक्स C++ कोडको ४ मिलियन लाइनहरूमा लेखिएको थियो र यसमा केही महत्वपूर्ण कमजोरीहरू थिए। रस्टलाई सुरक्षा र सहमतिलाई ध्यानमा राखेर निर्माण गरिएको थियो, यसले ब्राउजरको आर्किटेक्चरलाई पूर्ण रूपमा पुन: डिजाइन गर्न क्वान्टम परियोजनाको भागको रूपमा फायरफक्सका धेरै कम्पोनेन्टहरू पुन: लेख्नको लागि एक आदर्श विकल्प बनाउँदछ। मोजिलाले सर्वो विकास गर्न रस्ट प्रयोग गरिरहेको छ, HTML रेन्डरिङ इन्जिन जसले अन्ततः हालको फायरफक्स रेन्डरिङ इन्जिनलाई प्रतिस्थापन गर्नेछ। माइक्रोसफ्ट, गुगल, फेसबुक, अमेजन, ड्रपबक्स, फास्टली, शेफ, बैदु र अन्य धेरै लगायत धेरै अन्य कम्पनीहरूले आफ्ना परियोजनाहरूको लागि रस्ट प्रयोग गर्न थालेका छन्।

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

नेटिभ रनटाइमको कमीलाई पनि रस्टको सकारात्मक विशेषता मान्न सकिन्छ। Triplett विश्वास गर्दछ कि यो चल्ने भाषाहरू प्रणाली प्रोग्रामिङ उपकरणको रूपमा प्रयोग गर्न गाह्रो छ। उहाँले बताउनुभएझैं: "तपाईंले कुनै पनि कोड कल गर्न सक्नु अघि यो रनटाइम प्रारम्भ गर्नुपर्छ, तपाईंले यो रनटाइम कार्यहरू कल गर्न प्रयोग गर्नुपर्छ, र रनटाइमले अप्रत्याशित समयमा तपाईंको पछाडि अतिरिक्त कोड चलाउन सक्छ।"

रस्टले सुरक्षित समानान्तर प्रोग्रामिङ प्रदान गर्न पनि प्रयास गर्छ। समान सुविधाहरू जसले यसलाई मेमोरी सुरक्षित बनाउँदछ, कुन थ्रेडको स्वामित्वमा कुन वस्तुको स्वामित्व छ र कुन वस्तुहरू थ्रेडहरू बीचमा पास गर्न सकिन्छ र कुनलाई लक चाहिन्छ भन्ने कुराहरूको ट्र्याक राख्छ।

यी सबै सुविधाहरूले विकासकर्ताहरूलाई प्रणाली प्रोग्रामिङको लागि नयाँ उपकरणको रूपमा छनौट गर्न रस्टलाई पर्याप्त बाध्यकारी बनाउँदछ। यद्यपि, समानान्तर कम्प्युटिङको सन्दर्भमा, रस्ट अझै सी भन्दा अलि पछाडि छ।

Triplett ले एक विशेष कार्य समूह सिर्जना गर्न चाहन्छ जुन Rust मा आवश्यक सुविधाहरू परिचय गर्नमा केन्द्रित हुनेछ ताकि यसले प्रणाली प्रोग्रामिङको क्षेत्रमा C लाई पूर्ण रूपमा बराबर, पार गर्न र प्रतिस्थापन गर्न सक्छ। IN Reddit मा थ्रेडआफ्नो भाषणमा समर्पित, उनले भने कि "FFI/C समता समूह निर्माणको प्रक्रियामा छ र अझै काम सुरु गरेको छैन," अहिलेको लागि उहाँ कुनै पनि प्रश्नको जवाफ दिन तयार हुनुहुन्छ, र भविष्यमा उहाँले निश्चित रूपमा तत्काल योजनाहरू प्रकाशित गर्नेछन्। सबै सरोकारवाला पक्षहरूको लागि उनको पहलको एक भागको रूपमा रस्टको विकासको लागि।

यो मान्न सकिन्छ कि FFI/C प्यारिटी समूहले सबै भन्दा पहिले रस्टमा बहु-थ्रेडिङ समर्थन सुधार गर्न, BFLOAT16 को लागि समर्थन प्रस्तुत गर्ने, नयाँ Intel Xeon स्केलेबल प्रोसेसरहरूमा देखा परेको फ्लोटिंग पोइन्ट ढाँचा, साथै स्थिर विधानसभामा ध्यान केन्द्रित गर्नेछ। कोड प्रविष्टिहरू।

स्रोत: 3dnews.ru