റസ്റ്റ് ഭാഷയ്ക്കുള്ള പിന്തുണയുള്ള ലിനക്സ് കേർണലിനുള്ള പാച്ചുകളുടെ ആറാമത്തെ പതിപ്പ്

Rust-for-Linux പ്രോജക്റ്റിന്റെ രചയിതാവായ Miguel Ojeda, ലിനക്സ് കേർണൽ ഡെവലപ്പർമാരുടെ പരിഗണനയ്ക്കായി റസ്റ്റ് ഭാഷയിൽ ഡിവൈസ് ഡ്രൈവറുകൾ വികസിപ്പിക്കുന്നതിനായി v6 ഘടകങ്ങൾ പുറത്തിറക്കാൻ നിർദ്ദേശിച്ചു. പതിപ്പ് നമ്പറില്ലാതെ പ്രസിദ്ധീകരിച്ച ആദ്യ പതിപ്പ് കണക്കിലെടുത്ത് പാച്ചുകളുടെ ഏഴാം പതിപ്പാണിത്. റസ്റ്റ് പിന്തുണ പരീക്ഷണാത്മകമായി കണക്കാക്കപ്പെടുന്നു, പക്ഷേ ഇതിനകം തന്നെ ലിനക്സ്-അടുത്ത ബ്രാഞ്ചിൽ ഉൾപ്പെടുത്തിയിട്ടുണ്ട്, കൂടാതെ കേർണൽ സബ്സിസ്റ്റമുകളിൽ അബ്‌സ്‌ട്രാക്ഷൻ ലെയറുകൾ സൃഷ്ടിക്കുന്നതിനും ഡ്രൈവറുകളും മൊഡ്യൂളുകളും റൈറ്റുചെയ്യുന്നതിനുള്ള ജോലികൾ ആരംഭിക്കുന്നതിന് വേണ്ടത്ര വികസിപ്പിച്ചെടുത്തിട്ടുണ്ട്. ഗൂഗിളും ലെറ്റ്സ് എൻക്രിപ്റ്റ് പ്രോജക്റ്റിന്റെ സ്ഥാപകനുമായ ഐഎസ്ആർജി (ഇന്റർനെറ്റ് സെക്യൂരിറ്റി റിസർച്ച് ഗ്രൂപ്പ്) ആണ് വികസനത്തിന് ധനസഹായം നൽകുന്നത്.

പുതിയ വേർസികൾ:

• കേർണൽ പാച്ചുകളിൽ ഉപയോഗിക്കുന്ന "maybe_uninit_extra" മോഡിനുള്ള പിന്തുണ സ്ഥിരപ്പെടുത്തുന്ന Rust 1.60-ന്റെ റിലീസിലേക്ക് അപ്‌ഡേറ്റ് ചെയ്ത ടൂൾകിറ്റും alloc ലൈബ്രറിയുടെ ഒരു വകഭേദവും, പിശകുകൾ സംഭവിക്കുമ്പോൾ ഒരു "പാനിക്" അവസ്ഥയിൽ നിന്ന് മോചനം നേടിയിരിക്കുന്നു.
• കേർണൽ API-യുമായി ബന്ധിപ്പിച്ചിരിക്കുന്ന ടെസ്റ്റുകളുടെ കംപൈൽ-ടൈം പരിവർത്തനത്തിലൂടെ കേർണൽ ലോഡിംഗ് സമയത്ത് എക്സിക്യൂട്ട് ചെയ്യുന്ന KUnit ടെസ്റ്റുകളിലേക്ക് ഡോക്യുമെന്റേഷനിൽ നിന്ന് (ഡോക്യുമെന്റേഷനിൽ ഉദാഹരണമായി ഉപയോഗിക്കുന്ന ടെസ്റ്റുകൾ) ടെസ്റ്റുകൾ പ്രവർത്തിപ്പിക്കാനുള്ള കഴിവ് ചേർത്തു.
• റസ്റ്റ് കേർണൽ കോഡ് പോലെ, പരിശോധനകൾ ഒരു ക്ലിപ്പി ലിന്റർ മുന്നറിയിപ്പിന് കാരണമാകരുത് എന്ന ആവശ്യകതകൾ സ്വീകരിച്ചു.
• നെറ്റ്‌വർക്ക് ഫംഗ്‌ഷനുകളുള്ള "നെറ്റ്" മൊഡ്യൂളിന്റെ പ്രാരംഭ നടപ്പിലാക്കൽ നിർദ്ദേശിക്കപ്പെട്ടിരിക്കുന്നു. നെയിംസ്പേസ് (സ്ട്രക്റ്റ് നെറ്റ് കേർണൽ ഘടനയെ അടിസ്ഥാനമാക്കി), SkBuff (struct sk_buff), TcpListener, TcpStream (struct socket), Ipv4Addr (struct in_addr), SocketAddvaltrV4 എന്നിങ്ങനെയുള്ള കേർണൽ നെറ്റ്‌വർക്ക് ഘടനകളിലേക്ക് റസ്റ്റ് കോഡിന് ആക്‌സസ് ഉണ്ട്. .
• അസിൻക്രണസ് പ്രോഗ്രാമിംഗ് ടെക്നിക്കുകൾക്ക് (അസിങ്ക്) പ്രാരംഭ പിന്തുണയുണ്ട്, കാസിങ്ക് മൊഡ്യൂളിന്റെ രൂപത്തിൽ നടപ്പിലാക്കുന്നു. ഉദാഹരണത്തിന്, ടിസിപി സോക്കറ്റുകൾ കൈകാര്യം ചെയ്യാൻ നിങ്ങൾക്ക് അസിൻക്രണസ് കോഡ് എഴുതാം: async fn echo_server(stream: TcpStream) -> ഫലം {let mut buf = [0u8; 1024]; ലൂപ്പ് {let n = stream.read(&mut buf).waiit?; എങ്കിൽ n == 0 {തിരിച്ചെടുക്കുക Ok(()); } stream.write_all(&buf[..n]). കാത്തിരിക്കുക?; } }
• നെറ്റ്‌വർക്ക് പാക്കറ്റ് ഫിൽട്ടറുകൾ കൈകാര്യം ചെയ്യുന്നതിനായി നെറ്റ്::ഫിൽട്ടർ മൊഡ്യൂൾ ചേർത്തു. Rust ഭാഷയിൽ ഒരു ഫിൽട്ടർ നടപ്പാക്കലിനൊപ്പം rust_netfilter.rs ഉദാഹരണം ചേർത്തു.
• പിൻ ചെയ്യൽ ആവശ്യമില്ലാത്ത ഒരു ലളിതമായ മ്യൂട്ടക്സ് സ്മ്യൂട്ടക്സ്::മ്യൂട്ടക്സ് നടപ്പിലാക്കൽ ചേർത്തു.
• NoWaitLock ചേർത്തു, അത് ഒരിക്കലും ലോക്കിനായി കാത്തിരിക്കില്ല, മറ്റൊരു ത്രെഡ് കൈവശപ്പെടുത്തിയിട്ടുണ്ടെങ്കിൽ, കോളർ നിർത്തുന്നതിന് പകരം ലോക്ക് സ്വന്തമാക്കാൻ ശ്രമിക്കുമ്പോൾ ഒരു പിശക് റിപ്പോർട്ട് ചെയ്യപ്പെടുന്നതിന് കാരണമാകുന്നു.
• കേർണലിലെ raw_spinlock_t വഴി തിരിച്ചറിഞ്ഞ RawSpinLock ചേർത്തു, നിഷ്‌ക്രിയമായിരിക്കാൻ കഴിയാത്ത വിഭാഗങ്ങളിൽ പ്രയോഗിക്കുക.
• റഫറൻസ് കൗണ്ടിംഗ് സംവിധാനം പ്രയോഗിക്കുന്ന ഒരു ഒബ്‌ജക്‌റ്റിലേക്കുള്ള റഫറൻസുകൾക്കായി ARef തരം ചേർത്തു (എല്ലായ്‌പ്പോഴും-വീണ്ടും കണക്കാക്കുന്നു).
• rustc_codegen_gcc ബാക്കെൻഡ്, ജിസിസിയിൽ ലഭ്യമായ ആർക്കിടെക്ചറുകൾക്കും ഒപ്റ്റിമൈസേഷനുകൾക്കുമുള്ള പിന്തുണയോടെ rustc നൽകുന്നതിനായി GCC പ്രോജക്റ്റിൽ നിന്നുള്ള libgccjit ലൈബ്രറിയെ rustc-ലെ ഒരു കോഡ് ജനറേറ്ററായി ഉപയോഗിക്കാൻ നിങ്ങളെ അനുവദിക്കുന്നു, rustc കംപൈലർ ബൂട്ട്സ്ട്രാപ്പുചെയ്യാനുള്ള കഴിവ് നടപ്പിലാക്കി. കംപൈലർ പ്രൊമോഷൻ എന്നാൽ rustc കംപൈലർ തന്നെ നിർമ്മിക്കാൻ rustc-ൽ GCC അടിസ്ഥാനമാക്കിയുള്ള കോഡ് ജനറേറ്റർ ഉപയോഗിക്കാനുള്ള കഴിവ് എന്നാണ് അർത്ഥമാക്കുന്നത്. കൂടാതെ, GCC 12.1 ന്റെ സമീപകാല പതിപ്പിൽ rustc_codegen_gcc ശരിയായി പ്രവർത്തിക്കുന്നതിന് ആവശ്യമായ libgccjit-ലേക്കുള്ള പരിഹാരങ്ങൾ ഉൾപ്പെടുന്നു. റസ്റ്റപ്പ് യൂട്ടിലിറ്റി ഉപയോഗിച്ച് rustc_codegen_gcc ഇൻസ്റ്റാൾ ചെയ്യാനുള്ള കഴിവ് നൽകുന്നതിനുള്ള തയ്യാറെടുപ്പുകൾ നടക്കുന്നു.
• ജിസിസിയെ അടിസ്ഥാനമാക്കിയുള്ള റസ്റ്റ് ലാംഗ്വേജ് കംപൈലർ നടപ്പിലാക്കിയതോടെ ജിസിസി ഫ്രണ്ട് എൻഡ് ജിസിസിആർസിന്റെ വികസനത്തിലെ പുരോഗതി ശ്രദ്ധേയമാണ്. നിലവിൽ രണ്ട് മുഴുവൻ സമയ ഡെവലപ്പർമാർ gccrs-ൽ പ്രവർത്തിക്കുന്നുണ്ട്.

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

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

അവലംബം: opennet.ru