प्रोग्रामिङ भाषा Rust 1.75 र unikernel Hermit 0.6.7 को रिलीज

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

रस्टको मेमोरी ह्यान्डलिंग विधिहरूले विकासकर्तालाई पोइन्टर्स हेरफेर गर्दा त्रुटिहरूबाट बचाउँछ र निम्न-स्तरको मेमोरी ह्यान्डलिङका कारण उत्पन्न हुने समस्याहरूबाट जोगाउँछ, जस्तै मेमोरी क्षेत्रलाई खाली गरिसकेपछि पहुँच गर्ने, नल पोइन्टहरू, बफर ओभररन्स, इत्यादि। पुस्तकालयहरू वितरण गर्न, निर्माणहरू प्रदान गर्न र निर्भरताहरू व्यवस्थापन गर्न, परियोजनाले कार्गो प्याकेज प्रबन्धक विकास गर्दछ। crates.io रिपोजिटरी होस्टिंग लाइब्रेरीहरूको लागि समर्थित छ।

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

मुख्य आविष्कारहरू:

• निजी विशेषताहरूमा "async fn" र "-> impl Trait" सङ्केत प्रयोग गर्ने क्षमता थपियो। उदाहरण को लागी, "-> impl Trait" को प्रयोग गरेर तपाईले एक विशेषता विधि लेख्न सक्नुहुन्छ जसले पुनरावृत्ति फर्काउँछ: विशेषता कन्टेनर { fn वस्तुहरू(&self) -> impl Iterator; } MyContainer का लागि impl कन्टेनर { fn वस्तुहरू(&self) -> impl Iterator { self.items.iter().cloned() } }

  तपाईले "async fn" प्रयोग गरेर विशेषताहरू पनि सिर्जना गर्न सक्नुहुन्छ: विशेषता HttpService { async fn fetch(&self, url: Url) -> HtmlBody; // मा विस्तार गरिनेछ: // fn fetch(&self, url: Url) -> impl Future; }

• सूचकहरूको सापेक्ष बाइट अफसेटहरू गणना गर्न API थपियो। बेयर पोइन्टर्स ("*const T" र "*mut T") सँग काम गर्दा, सूचकमा अफसेट थप्न अपरेसनहरू आवश्यक हुन सक्छ। पहिले, यसका लागि "::add(1)" जस्तो निर्माण प्रयोग गर्न सम्भव थियो, "size_of::()" को आकारसँग सम्बन्धित बाइटहरूको संख्या थप्दै। नयाँ API ले यो कार्यलाई सरल बनाउँछ र पहिले "*const u8" वा "*mut u8" मा प्रकारहरू कास्ट नगरी बाइट अफसेटहरू हेरफेर गर्न सम्भव बनाउँछ।
  • सूचक::byte_add
  • सूचक::byte_offset
  • सूचक::byte_offset_from
  • सूचक::byte_sub
  • सूचक:: wrapping_byte_add
  • सूचक:: wrapping_byte_offset
  • सूचक:: wrapping_byte_sub
• rustc कम्पाइलरको कार्यसम्पादन बढाउन निरन्तर काम। BOLT अनुकूलक थपियो, जुन पोस्ट-लिङ्क चरणमा चल्छ र पूर्व-तयार कार्यान्वयन प्रोफाइलबाट जानकारी प्रयोग गर्दछ। BOLT को प्रयोगले तपाईंलाई प्रोसेसर क्यासको थप प्रभावकारी प्रयोगको लागि librustc_driver.so लाइब्रेरी कोडको लेआउट परिवर्तन गरेर लगभग 2% सम्म कम्पाइलर कार्यान्वयनको गति बढाउन अनुमति दिन्छ।

  LLVM मा अनुकूलन को गुणस्तर सुधार गर्न "-Ccodegen-units=1" विकल्प संग rustc कम्पाइलर निर्माण समावेश। प्रदर्शन गरिएका परीक्षणहरूले "-Ccodegen-units=1" निर्माणको मामलामा लगभग 1.5% द्वारा प्रदर्शनमा वृद्धि देखाउँदछ। थपिएका अप्टिमाइजेसनहरू x86_64-unknown-linux-gnu प्लेटफर्मको लागि मात्र पूर्वनिर्धारित रूपमा सक्षम हुन्छन्।

  पहिले उल्लेख गरिएका अप्टिमाइजेसनहरू रस्टमा लेखिएका एन्ड्रोइड प्लेटफर्म कम्पोनेन्टहरूको निर्माण समय कम गर्न Google द्वारा परीक्षण गरिएको थियो। एन्ड्रोइड निर्माण गर्दा "-C codegen-units=1" को प्रयोगले हामीलाई टूलकिटको आकार 5.5% ले घटाउन र 1.8% ले यसको कार्यसम्पादन बढाउन अनुमति दियो, जबकि टूलकिटको निर्माण समय लगभग दोब्बर भयो।

  लिङ्क-समय फोहोर संकलन ("--gc-sections") सक्षम गर्नाले 1.9% सम्म प्रदर्शन लाभ ल्यायो, लिङ्क-टाइम अप्टिमाइजेसन (LTO) लाई 7.7% सम्म, र प्रोफाइल-आधारित अप्टिमाइजेसन (PGO) लाई 19.8% सम्म ल्यायो। फाइनलमा, BOLT उपयोगिता प्रयोग गरेर अनुकूलनहरू लागू गरियो, जसले यसलाई 24.7% मा निर्माण गति बढाउन सम्भव बनायो, तर टुलकिटको आकार 10.9% ले बढ्यो।

  

• एपीआई को एक नयाँ भाग स्थिर को श्रेणी मा सारियो, विधिहरु र विशेषताहरु को कार्यान्वयन सहित स्थिर गरिएको छ:
  • परमाणु*::from_ptr
  • फाइलटाइम्स
  • FileTimesExt
  • फाइल::set_modified
  • फाइल::सेट_टाइम्स
  • IpAddr::to_canonical
  • Ipv6Addr::to_canonical
  • विकल्प:: as_slice
  • विकल्प:: as_mut_slice
  • सूचक::byte_add
  • सूचक::byte_offset
  • सूचक::byte_offset_from
  • सूचक::byte_sub
  • सूचक:: wrapping_byte_add
  • सूचक:: wrapping_byte_offset
  • सूचक:: wrapping_byte_sub
• "const" विशेषता, जसले स्थिरताको सट्टा कुनै पनि सन्दर्भमा प्रयोग गर्ने सम्भावना निर्धारण गर्दछ, प्रकार्यहरूमा प्रयोग गरिन्छ:
  • Ipv6Addr::to_ipv4_mapped
  • सायदUninit::assume_init_read
  • हुनसक्छUninit::zeroed
  • mem:: भेदभावपूर्ण
  • mem::zeroed
• समर्थनको तेस्रो स्तर csky-unknown-linux-gnuabiv2hf, i586-unknown-netbsd र mipsel-unknown-netbsd प्लेटफर्महरूको लागि लागू गरिएको छ। तेस्रो तहमा आधारभूत समर्थन समावेश छ, तर स्वचालित परीक्षण बिना, आधिकारिक निर्माणहरू प्रकाशित गर्ने, वा कोड निर्माण गर्न सकिन्छ कि भनेर जाँच नगरी।

थप रूपमा, हामी हर्मिट प्रोजेक्टको नयाँ संस्करणलाई नोट गर्न सक्छौं, जसले रस्ट भाषामा लेखिएको विशेष कर्नेल (युनिकर्नेल) विकास गर्दछ, अतिरिक्त तहहरू बिना हाइपरभाइजर वा बेयर हार्डवेयरको शीर्षमा चल्न सक्ने आत्म-निहित अनुप्रयोगहरू निर्माण गर्न उपकरणहरू प्रदान गर्दछ। र अपरेटिङ सिस्टम बिना। जब निर्मित हुन्छ, एप्लिकेसन स्थिर रूपमा पुस्तकालयसँग जोडिएको हुन्छ, जसले OS कर्नेल र प्रणाली पुस्तकालयहरूमा बाँधिएको बिना, सबै आवश्यक कार्यक्षमताहरू स्वतन्त्र रूपमा लागू गर्दछ। परियोजना कोड Apache 2.0 र MIT लाइसेन्स अन्तर्गत वितरण गरिएको छ। Rust, Go, Fortran, C र C++ मा लेखिएका अनुप्रयोगहरूको स्ट्यान्ड-अलोन कार्यान्वयनको लागि एसेम्बली समर्थित छ। परियोजनाले आफ्नै बुटलोडर पनि विकास गरिरहेको छ जसले तपाईंलाई QEMU र KVM प्रयोग गरेर हर्मिट सुरु गर्न अनुमति दिन्छ।

स्रोत: opennet.ru