Miguel Ojeda, panulis proyék Rust-for-Linux, parantos ngusulkeun sékrési v10 komponén pikeun pamekaran supir alat Rust pikeun pamekar kernel Linux anu kedah dipertimbangkeun. Ieu édisi kasabelas tina patches, nyandak kana akun versi munggaran diterbitkeun tanpa nomer versi. Inklusi dukungan Rust parantos disatujuan ku Linusum Torvalds pikeun dilebetkeun kana kernel Linux 6.1, kecuali masalah anu teu kaduga muncul. Pangwangunan ieu dibiayaan ku Google sareng ISRG (Internet Security Research Group), anu mangrupikeun pangadeg proyék Let's Encrypt sareng promosi HTTPS sareng pamekaran téknologi pikeun ningkatkeun kaamanan Internét.
Sapertos versi patches anu terakhir, sékrési v10 dileungitkeun ka minimum, cekap pikeun ngawangun modul kernel saderhana anu ditulis dina Rust. Beda ti versi saméméhna turun ka perbaikan minor, ngaganti sizeof kalawan ARRAY_SIZE di kallsyms.c sarta adaptasi patch kana kernel v6.0-rc7. Patch minimal, anu parantos dikirangan tina 40 garis kode ka 13 garis kode, diperkirakeun ngagampangkeun ngadopsi dukungan Rust kana inti. Saatos nyayogikeun pangrojong minimal, rencanana pikeun ningkatkeun fungsionalitas anu tos aya, mindahkeun parobihan sanés tina cabang Rust-for-Linux.
Parobahan anu diusulkeun ngamungkinkeun ngagunakeun Rust salaku basa kadua pikeun ngembangkeun supir sareng modul kernel. Pangrojong Rust dipidangkeun salaku pilihan anu henteu diaktipkeun sacara standar sareng henteu ngakibatkeun citakan Rust diantara katergantungan ngawangun anu diperyogikeun pikeun kernel. Ngagunakeun Rust pikeun ngembangkeun drivers bakal ngidinan Anjeun pikeun nyieun supir aman tur hadé kalawan usaha minimal, bébas tina masalah kayaning ngakses wewengkon memori sanggeus dibébaskeun, dereferencing null pointers, sarta overruns panyangga.
Kasalametan memori disadiakeun dina Rust dina waktos compile ngaliwatan mariksa rujukan, ngalacak kapamilikan obyék sarta hirupna objék (wengkuan), kitu ogé ngaliwatan evaluasi correctness aksés memori salila palaksanaan kode. Karat ogé nyadiakeun panyalindungan ngalawan overflows integer, merlukeun variabel bisa initialized saméméh pamakéan, handles kasalahan hadé dina perpustakaan baku, nerapkeun konsép rujukan immutable sarta variabel sacara standar, sarta nawarkeun ketikan statik kuat pikeun ngaleutikan kasalahan logis.
sumber: opennet.ru