റസ്റ്റ് 1.74 പ്രോഗ്രാമിംഗ് ഭാഷയുടെ പ്രകാശനം. RustVMM ഓഡിറ്റ്. റസ്റ്റിൽ ബൈൻഡർ റീറൈറ്റിംഗ്

മോസില്ല പ്രോജക്റ്റ് സ്ഥാപിച്ചതും എന്നാൽ ഇപ്പോൾ സ്വതന്ത്ര ലാഭേച്ഛയില്ലാത്ത സംഘടനയായ റസ്റ്റ് ഫൗണ്ടേഷന്റെ കീഴിൽ വികസിപ്പിച്ചതുമായ റസ്റ്റ് 1.74 പൊതു-ഉദ്ദേശ്യ പ്രോഗ്രാമിംഗ് ഭാഷയുടെ പ്രകാശനം പ്രസിദ്ധീകരിച്ചു. ഭാഷ മെമ്മറി സുരക്ഷയിൽ ശ്രദ്ധ കേന്ദ്രീകരിക്കുകയും ഗാർബേജ് കളക്ടറിന്റെയും റൺടൈമിന്റെയും ഉപയോഗം ഒഴിവാക്കിക്കൊണ്ട് ഉയർന്ന ജോലി സമാന്തരത കൈവരിക്കുന്നതിനുള്ള മാർഗങ്ങൾ നൽകുകയും ചെയ്യുന്നു (റൺടൈം അടിസ്ഥാന ലൈബ്രറിയുടെ അടിസ്ഥാന സമാരംഭവും പരിപാലനവും ആയി ചുരുക്കിയിരിക്കുന്നു).

റസ്റ്റിന്റെ മെമ്മറി ഹാൻഡ്‌ലിംഗ് രീതികൾ പോയിന്ററുകൾ കൈകാര്യം ചെയ്യുമ്പോഴുള്ള പിശകുകളിൽ നിന്ന് ഡെവലപ്പറെ രക്ഷിക്കുകയും ലോ-ലെവൽ മെമ്മറി ഹാൻഡ്‌ലിംഗ് കാരണം ഉണ്ടാകുന്ന പ്രശ്‌നങ്ങളിൽ നിന്ന് സംരക്ഷിക്കുകയും ചെയ്യുന്നു, അതായത് മെമ്മറി ഏരിയ സ്വതന്ത്രമാക്കിയതിന് ശേഷം ആക്‌സസ് ചെയ്യുക, നൾ പോയിന്ററുകൾ ഒഴിവാക്കുക, ബഫർ ഓവർറൺ മുതലായവ. ലൈബ്രറികൾ വിതരണം ചെയ്യുന്നതിനും ബിൽഡുകൾ നൽകുന്നതിനും ഡിപൻഡൻസികൾ കൈകാര്യം ചെയ്യുന്നതിനും, പ്രോജക്റ്റ് കാർഗോ പാക്കേജ് മാനേജർ വികസിപ്പിക്കുന്നു. ലൈബ്രറികൾ ഹോസ്റ്റുചെയ്യുന്നതിന് crates.io റിപ്പോസിറ്ററി പിന്തുണയ്ക്കുന്നു.

റഫറൻസ് പരിശോധന, ഒബ്‌ജക്റ്റ് ഉടമസ്ഥതയുടെ ട്രാക്ക് സൂക്ഷിക്കൽ, ഒബ്‌ജക്റ്റ് ലൈഫ് ടൈം (സ്കോപ്പുകൾ) ട്രാക്ക് ചെയ്യൽ, കോഡ് എക്‌സിക്യൂഷൻ സമയത്ത് മെമ്മറി ആക്‌സസിന്റെ കൃത്യത വിലയിരുത്തൽ എന്നിവയിലൂടെ കംപൈൽ സമയത്ത് റസ്റ്റിൽ മെമ്മറി സുരക്ഷ നൽകുന്നു. റസ്റ്റ് പൂർണ്ണസംഖ്യ ഓവർഫ്ലോയ്‌ക്കെതിരെ സംരക്ഷണം നൽകുന്നു, ഉപയോഗിക്കുന്നതിന് മുമ്പ് വേരിയബിൾ മൂല്യങ്ങൾ നിർബന്ധമായും ആരംഭിക്കേണ്ടതുണ്ട്, സ്റ്റാൻഡേർഡ് ലൈബ്രറിയിൽ പിശകുകൾ നന്നായി കൈകാര്യം ചെയ്യുന്നു, സ്ഥിരസ്ഥിതിയായി മാറ്റമില്ലാത്ത റഫറൻസുകളുടെയും വേരിയബിളുകളുടെയും ആശയം പ്രയോഗിക്കുന്നു, ലോജിക്കൽ പിശകുകൾ കുറയ്ക്കുന്നതിന് ശക്തമായ സ്റ്റാറ്റിക് ടൈപ്പിംഗ് വാഗ്ദാനം ചെയ്യുന്നു.

പ്രധാന കണ്ടുപിടുത്തങ്ങൾ:

• പാക്കേജ് മാനേജർ മാനിഫെസ്‌റ്റ് ഉപയോഗിച്ച് Cargo.toml ഫയൽ വഴി ലിന്റ് ചെക്കുകൾ കോൺഫിഗർ ചെയ്യാനുള്ള കഴിവ് ചേർത്തു. പ്രതികരണ നില (നിരോധിക്കുക, നിരസിക്കുക, മുന്നറിയിപ്പ് നൽകുക, അനുവദിക്കുക) പോലുള്ള ലിന്റ് ക്രമീകരണങ്ങൾ നിർവചിക്കുന്നതിന്, "[lints]", "[workspace.lints]" എന്നീ പുതിയ വിഭാഗങ്ങൾ നിർദ്ദേശിക്കപ്പെടുന്നു, ഒരു തീരുമാനം എടുക്കുമ്പോൾ അവയിലെ മാറ്റങ്ങൾ കണക്കിലെടുക്കുന്നു. പുനർനിർമ്മാണം. ഉദാഹരണത്തിന്, "#![forbid(unsafe_code)]", "#![deny(clippy) കൂട്ടിച്ചേർക്കുമ്പോഴോ കൂട്ടിച്ചേർക്കുമ്പോഴോ "-F", "-D", "-W", "-A" ഫ്ലാഗുകൾ വ്യക്തമാക്കുന്നതിന് പകരം :” കോഡിലേക്കുള്ള ആട്രിബ്യൂട്ടുകൾ) :enum_glob_use)]" ഇപ്പോൾ കാർഗോ മാനിഫെസ്റ്റിൽ ഉപയോഗിക്കാം: [lints.rust] unsafe_code = "forbid" [lints.clippy] enum_glob_use = "deny"
• ഒരു റിപ്പോസിറ്ററിയിലേക്ക് കണക്ട് ചെയ്യുമ്പോൾ ക്രേറ്റ് പാക്കേജ് മാനേജർ ഇപ്പോൾ ആധികാരികത ഉറപ്പാക്കൽ പിന്തുണയ്ക്കുന്നു. ക്രെഡൻഷ്യൽ സ്റ്റോറുകളിൽ ആധികാരികത ഉറപ്പാക്കൽ പാരാമീറ്ററുകൾ സൂക്ഷിക്കുന്നതിനുള്ള പിന്തുണ ഇപ്പോൾ അടിസ്ഥാന പാക്കേജിൽ ഉൾപ്പെടുത്തിയിട്ടുണ്ട്. Linux (ലിബ്‌സീക്രട്ടിനെ അടിസ്ഥാനമാക്കി), macOS (കീചെയിൻ) കൂടാതെ Windows (Windows ക്രെഡൻഷ്യൽ മാനേജർ), എന്നാൽ സിസ്റ്റം തുടക്കം മുതൽ മോഡുലാർ ആയി രൂപകൽപ്പന ചെയ്‌തിരിക്കുന്നതിനാൽ ടോക്കണുകൾ സംഭരിക്കുന്നതിനും സൃഷ്ടിക്കുന്നതിനുമായി വിവിധ ദാതാക്കളുമായി പ്രവർത്തിക്കാൻ അനുവദിക്കുന്നു; ഉദാഹരണത്തിന്, 1പാസ്‌വേഡ് പാസ്‌വേഡ് മാനേജർ ഉപയോഗിക്കുന്നതിന് ഒരു പ്ലഗിൻ തയ്യാറാക്കിയിട്ടുണ്ട്. പാക്കേജ് പ്രസിദ്ധീകരണങ്ങൾ സ്ഥിരീകരിക്കുന്നതിന് മാത്രമല്ല, ഏത് പ്രവർത്തനങ്ങൾക്കും റിപ്പോസിറ്ററിക്ക് പ്രാമാണീകരണം അഭ്യർത്ഥിക്കാൻ കഴിയും. ~/.cargo/config.toml [registry] global-credential-providers = ["cargo:token", "cargo:libsecret"]
• റിട്ടേൺ ടൈപ്പ് പ്രൊജക്ഷനുകൾക്കുള്ള പിന്തുണ (impl_trait_projections) സുസ്ഥിരമാക്കി, "async fn", "->impl Trait" തുടങ്ങിയ റിട്ടേൺ തരങ്ങളിൽ Self, T::Assoc എന്നിവയെ പരാമർശിക്കാൻ അനുവദിക്കുന്നു. struct റാപ്പർ<'a, T>(&'a T); // `Self` എന്ന് പരാമർശിക്കുന്ന അതാര്യമായ റിട്ടേൺ തരങ്ങൾ: impl Wrapper<'_, ()> { async fn async_fn() -> Self { /* … */} fn impl_trait() -> impl Iterator { /* … */ } } സ്വഭാവഗുണം <'a> { type Assoc; fn new() -> Self ::Assoc; } impl Trait<'_> എന്നതിന് () { ടൈപ്പ് Assoc = (); fn new() {} } // ഒരു അനുബന്ധ തരം പരാമർശിക്കുന്ന അതാര്യമായ റിട്ടേൺ തരങ്ങൾ: impl<'a, T: Trait<'a>> Wrapper<'a, T> { async fn mk_assoc() -> T::Assoc { /* … */} fn a_few_assocs() -> impl Iterator { /* … */}}
• API-യുടെ ഒരു പുതിയ ഭാഗം സ്ഥിരതയുള്ള വിഭാഗത്തിലേക്ക് നീക്കി, സ്വഭാവസവിശേഷതകളുടെ രീതികളും നടപ്പിലാക്കലുകളും സുസ്ഥിരമാക്കിയിരിക്കുന്നു:
• കോൺസ്റ്റന്റുകൾക്ക് പകരം ഏത് സന്ദർഭത്തിലും ഉപയോഗിക്കാനുള്ള സാധ്യത നിർണ്ണയിക്കുന്ന "const" ആട്രിബ്യൂട്ട് ഫംഗ്ഷനുകളിൽ ഉപയോഗിക്കുന്നു:
  • core::mem::transmute_copy
  • str::is_ascii
  • [u8]::is_ascii
  • core::num::പൂരിതമാകുന്നു
  • std::process:: Stdio എന്നതിനായി impl
  • std::process:: Stdio എന്നതിനായി impl
  • impl from std::process::Child{Stdin, Stdout, Stderr}
  • impl from std::process::Child{Stdin, Stdout, Stderr}
  • std::ffi::OsString::from_encoded_bytes_unchecked
  • std::ffi::OsString::into_encoded_bytes
  • std::ffi::OsStr::from_encoded_bytes_unchecked
  • std::ffi::OsStr::as_encoded_bytes
  • std::io::പിശക്:: മറ്റുള്ളവ
  • impl TryFrom u16-ന്
  • impl നിന്ന്<&[T; N]> Vec
  • impl നിന്ന്<&mut [T; N]> Vec
  • impl നിന്ന്<[T; ആർക്ക്<[T]> എന്നതിനായി N]>
  • impl നിന്ന്<[T; Rc<[T]>-ന് N]>
• കംപൈലർ, ടൂൾചെയിൻ, സ്റ്റാൻഡേർഡ് ലൈബ്രറി, ജനറേറ്റഡ് ആപ്ലിക്കേഷൻ എക്സിക്യൂട്ടബിളുകൾ എന്നിവ ആപ്പിൾ പ്ലാറ്റ്‌ഫോമുകൾക്കായുള്ള ആവശ്യകതകൾ വർദ്ധിപ്പിച്ചിരിക്കുന്നു, കുറഞ്ഞത് പതിപ്പുകളെങ്കിലും ആവശ്യമാണ്. macOS 2016 ൽ പുറത്തിറങ്ങിയ 10.12 സിയറ, iOS 10, tvOS 10.
• i686-pc-windows-gnullvm പ്ലാറ്റ്‌ഫോമിനായി മൂന്നാം തലത്തിലുള്ള പിന്തുണ നടപ്പിലാക്കി. മൂന്നാമത്തെ ലെവലിൽ അടിസ്ഥാന പിന്തുണ ഉൾപ്പെടുന്നു, എന്നാൽ സ്വയമേവയുള്ള പരിശോധനയോ ഔദ്യോഗിക ബിൽഡുകൾ പ്രസിദ്ധീകരിക്കുകയോ കോഡ് നിർമ്മിക്കാനാകുമോ എന്ന് പരിശോധിക്കുകയോ ചെയ്യാതെ.
• loongarch64-unknown-none ടാർഗെറ്റ് പ്ലാറ്റ്‌ഫോമിനുള്ള പിന്തുണയുടെ രണ്ടാം തലം നടപ്പിലാക്കി. രണ്ടാമത്തെ ലെവൽ പിന്തുണയിൽ ഒരു അസംബ്ലി ഗ്യാരണ്ടി ഉൾപ്പെടുന്നു.

കൂടാതെ, റസ്റ്റ് ഭാഷയുമായി ബന്ധപ്പെട്ട രണ്ട് സംഭവങ്ങൾ ശ്രദ്ധിക്കാവുന്നതാണ്:

• ഓപ്പൺ സോഴ്‌സ് പ്രോജക്റ്റുകളുടെ സുരക്ഷ ശക്തിപ്പെടുത്തുന്നതിനായി സൃഷ്ടിച്ച ഓപ്പൺ സോഴ്‌സ് ടെക്‌നോളജി ഇംപ്രൂവ്‌മെന്റ് ഫണ്ട് (OSTIF), ടാസ്‌ക്-നിർദ്ദിഷ്ട ഹൈപ്പർവൈസറുകളും മോണിറ്ററുകളും സൃഷ്ടിക്കുന്നതിനുള്ള ഘടകങ്ങൾ നൽകുന്ന RustVMM പ്രോജക്റ്റിന്റെ ഓഡിറ്റിന്റെ ഫലങ്ങൾ പ്രസിദ്ധീകരിച്ചു. വെർച്വൽ മെഷീനുകൾ (VMM). ഇന്റൽ, അലിബാബ, ആമസോൺ, ഗൂഗിൾ, ലിനാരോ, റെഡ് ഹാറ്റ് തുടങ്ങിയ കമ്പനികൾ പദ്ധതിയുടെ വികസനത്തിൽ പങ്കെടുക്കുന്നു. ഇന്റൽ ക്ലൗഡ് ഹൈപ്പർവൈസറും ഡ്രാഗൺബോൾ ഹൈപ്പർവൈസറുകളും RustVMM-ൽ വികസിപ്പിച്ചെടുത്തതാണ്. കോഡ്ബേസിന്റെ ഉയർന്ന നിലവാരവും ആർക്കിടെക്ചറിലും നടപ്പിലാക്കലിലും സുരക്ഷ വർദ്ധിപ്പിക്കുന്ന സാങ്കേതിക വിദ്യകളുടെ ഉപയോഗവും ഓഡിറ്റ് സ്ഥിരീകരിച്ചു. സുരക്ഷയെ നേരിട്ട് ബാധിക്കാത്ത ആറ് പ്രശ്നങ്ങൾ ഓഡിറ്റ് തിരിച്ചറിഞ്ഞു.
• ഗൂഗിൾ ഒരു കേർണൽ ഡെവലപ്പർ മെയിലിംഗ് ലിസ്റ്റ് അവതരിപ്പിച്ചു Linux റസ്റ്റിൽ പുനർരൂപകൽപ്പന ചെയ്ത ബൈൻഡർ ഇന്റർപ്രോസസ് കമ്മ്യൂണിക്കേഷൻ മെക്കാനിസത്തിന്റെ ഒരു പുതിയ നടപ്പാക്കൽ. സുരക്ഷ വർദ്ധിപ്പിക്കുന്നതിനും സുരക്ഷിത പ്രോഗ്രാമിംഗ് രീതികൾ പ്രോത്സാഹിപ്പിക്കുന്നതിനും മെമ്മറി പ്രശ്നങ്ങൾ കണ്ടെത്തുന്നതിന്റെ കാര്യക്ഷമത മെച്ചപ്പെടുത്തുന്നതിനുമുള്ള ഒരു പദ്ധതിയുടെ ഭാഗമായിരുന്നു ഈ പുനർനിർമ്മാണം. Android (ഏകദേശം 70% അപകടകരമായ ദുർബലതകളും തിരിച്ചറിഞ്ഞിട്ടുണ്ട് Android, മെമ്മറി കൈകാര്യം ചെയ്യുന്നതിലെ പിശകുകൾ മൂലമാണ് ഇത് സംഭവിക്കുന്നത്). റസ്റ്റിലെ ബൈൻഡർ ഇംപ്ലിമെന്റേഷൻ യഥാർത്ഥ സി പതിപ്പുമായി തുല്യത കൈവരിക്കുകയും എല്ലാ AOSP ടെസ്റ്റുകളും വിജയിക്കുകയും ചെയ്തു (Android ഓപ്പൺ-സോഴ്‌സ് പ്രോജക്റ്റ്) ഉപയോഗിച്ച് പ്രവർത്തിക്കുന്ന ഫേംവെയർ പതിപ്പുകൾ സൃഷ്ടിക്കാൻ കഴിയും. രണ്ട് ഇംപ്ലിമെന്റേഷനുകളുടെയും പ്രകടനം ഏകദേശം തുല്യമാണ് (-1.96% നും +1.38% നും ഉള്ളിലെ വ്യതിയാനങ്ങൾ).

അവലംബം: opennet.ru