Duket se zhvillimi i arnave për mbështetjen e shoferit Rust në Linux ka marrë një ritëm të mirë Epo, pak më shumë se një muaj më parë u publikua propozimi i hequr, pasi që nga versioni i tretë një propozim i ri është dorëzuar çdo muaj dhe tani propozimi i ri ka dalë, ky është edicioni i gjashtë.
Miguel Ojeda ka propozuar publikimin e ri e komponentëve të zhvillimit të drejtuesit të pajisjes Rust për t'u marrë parasysh nga zhvilluesit e kernelit Linux. Ky është edicioni i gjashtë ende konsiderohet eksperimentale por tashmë është përfshirë në degën linux-next dhe është mjaft i pjekur për të filluar punën për krijimin e shtresave abstraksioni në krye të nënsistemeve të kernelit, si dhe shkrimin e drejtuesve dhe moduleve.
Për ata që ende nuk janë në dijeni të këtij zhvillimi, duhet ta dinë këtë financohet nga Google dhe ISRG (Internet Security Research Group), i cili është themeluesi i projektit Let's Encrypt dhe promovon HTTPS dhe zhvillimin e teknologjive për të rritur sigurinë në internet.
Duhet të mbahet mend se ndryshimet e propozuara bëjnë të mundur përdorimin e Rust si gjuhë të dytë për të zhvilluar drejtues dhe module kernel. Mbështetja e Rust paraqitet si një opsion që nuk aktivizohet si parazgjedhje dhe nuk rezulton që Rust të përfshihet në varësitë e nevojshme të ndërtimit për kernel.
Përdorimi i Rust për të zhvilluar drejtuesit do t'ju lejojë të krijoni drejtues më të mirë dhe më të sigurt me përpjekje minimale, pa probleme si qasja në një zonë memorie pas çlirimit të saj, çreferencimi i treguesve null dhe tejmbushjet e buferit.
Siguria e memories ofrohet në Rust eNë kohën e kompilimit duke kontrolluar referencat, duke gjurmuar pronësinë e objektit dhe jetëgjatësinë e objektit (fushëveprimin), si dhe duke vlerësuar korrektësinë e aksesit të memories gjatë ekzekutimit të kodit. Rust siguron gjithashtu mbrojtje nga tejkalimi i numrave të plotë, kërkon që variablat të inicializohen përpara përdorimit, trajton më mirë gabimet në bibliotekën standarde, zbaton konceptin e variablave dhe referencave të pandryshueshme si parazgjedhje dhe ofron shtypje të fortë statike për të minimizuar gabimet logjike. .
Në versionin e ri të arnimeve, komentet e bëra gjatë diskutimit të të parës vazhduan të fshihen, i dytë, Tercera, çerek y i pesti botimet e arnimeve (prej të cilave po ju lë lidhjet e tyre përkatëse).
Risitë kryesore në propozimin e gjashtë
Me ardhjen e këtij propozimi të ri paketa e veglave është përditësuar para lëshimit të Rust 1.59.0, së bashku me të një variant i bibliotekës alloc ai gjithashtu sinkronizohet me versionin e ri të Rust, duke eliminuar potencialin për një gjendje "paniku" kur ndodhin gabime, të tilla si mungesa e kujtesës.
Një ndryshim tjetër që është bërë është se tani, në vend të ofrimit të skedarëve të specifikimeve të platformës destinacion i krijuar paraprakisht ato gjenerohen në mënyrë dinamike bazuar në konfigurimin e kernelit.
Vihet re gjithashtu se parametri i kernelit HAVE_RUST është shtuar për ta mundësuar atë për arkitekturat e përputhshme me Rust dhe se abstraksionet janë propozuar për përdorim në kodin Rust të një gjeneruesi të numrave pseudo të rastësishëm të harduerit.
Nga ana tjetër, përmendet se aftësia për të përdorur insertet e montimit është stabilizuar ("feature(global_asm)") dhe mbështetje të shtuar për krijimin e programeve pritës në Rust që përdoren në procesin e ndërtimit të kernelit.
Nga ndryshimet e tjera që dallohen nga ky propozim i ri:
- Përdorimi i kodeve të gabimit pa prefiksin "Error::" (për shembull, "kthimi Err(EINVAL)") u lejua për të përafruar trajtimin e kodeve të gabimit në C.
- U shtua lloji "CString" për vargjet amtare C. Llojet e kombinuara të formatuesit dhe buferit.
- U shtuan tipare Bool dhe LockInfo.
- Zbatimi i thjeshtuar i spin-locks.
Më në fund nëse jeni të interesuar të dini më shumë për të në lidhje me këtë propozim të ri, ju mund të konsultoheni me detajet Në lidhjen vijuese.