Rust za Linux je službeno spojen sa Linuxom 6.1

Šifra od Rust za Linux spojen je u glavno stablo Linuxa 6.1 Git prošlog ponedjeljka a ovaj novi početni kod od 12 linija pruža samo vrlo osnovnu infrastrukturu i integraciju, dok će budući zahtjevi za povlačenjem dodati više apstrakcija podsistema, razne drajvere napisane u Rustu i još mnogo toga.

Kompilacija Linux kernela sa Rust podrškom je i dalje opciona, jer projekat "Rust for Linux" čini još jedan veliki korak, ali neki programeri su i dalje skeptični u pogledu uvođenja Rust jezika u Linux kernel.

U poruci kernel zajednici Torvalds je rekao:

“drvo ima nedavno temelj, ali je u osnovi na linux-nextu godinu i po dana. Ažurirano na osnovu povratnih informacija sa Samita održavanja kernela.

Miguel je glavni održavatelj i pomažem kada je potrebno. Naš plan je da drvo pređe na standardnu ​​praksu ne mijenjanja baza kada se ovaj početni krug infrastrukture završi. Sadržaj je apsolutni minimum koji omogućava integrisanje Rust koda u kernel, sa mnogo više interfejsa (i drajvera: NVMe, 9p, GPU M1) na putu."

Podsjećamo, projekat "Rust for Linux" ima za cilj da uvede novi programski jezik u kernel. Rust ima ključno svojstvo koje ga čini vrlo zanimljivim za razmatranje kao drugi jezik kernela: osigurava da se ne dešava nedefinirano ponašanje. Ovo uključuje greške nekorištenja after-free, dvostrukih slobodnih, utrka podataka itd.

Ovim će, skoro nakon 31 godine, biti prihvaćen drugi jezik za razvoj kernela. Srodne rasprave se vrte oko mogućnosti odbacivanja C u korist Rust jezika.

Podrška za Rust je na linux-next-u već godinu i po, a kratki dnevnik ne odražava broj ljudi koji su doprinijeli i na strani Linux kernela i na Rust uzvodnoj strani da podrže potrebe kernela .

Hvala ovih 173 ljudi, i mnogo više, koji su bili uključeni na razne načine

Torvalds je to objavio na Kernel mailing listi početna podrška za Rust za Linux je u oko 4 područja a koji uključuju:

• unutrašnjost kernela (kallsyms proširenje za Rust simbole, %pA format);
• Kbuild framework (Rust build pravila i prateće skripte)
• Dokumentacija o jezgri i uzorci za Rust.

Torvalds je nedavno istražio potencijalni sigurnosni problem sa spekulativnim primitivima za izvršavanje povezane liste kernela napisanim u ANSI C. Tokom rješavanja ovog problema shvatio je da 'u C99 iterator proslijeđen na listu makroa za prelazak mora biti deklariran u opsegu izvan sama petlja.

Iz ovog zapažanja proizišla je njegova nedavna odluka da nadogradi Linux kernel na C11, čija je standardizacija završena 2011. Ovo su vrsta tehničkih razloga koji bi mogli opravdati napuštanje C jezika u korist Rusta na duže vrijeme, u dodatak osnovnom razvojnom terminu.

Podrška Rust za Linux kernel se nastavlja i smatra se „važnim korakom kako bi mogli pisati kontrolere na sigurnijem jeziku.” Rust jezik, koji je razvila Mozilla Research, je tip programskog jezika koji koriste oni koji pišu kod za osnovne ulazno/izlazne sisteme (BIOS), menadžere pokretanja, operativne sisteme i tako dalje. imati interes

Prema nekim stručnim posmatračima, to je budućnost sistemskog programiranja, a ne jezika C. U stvari, stručnjaci su mišljenja da nudi bolje garancije za sigurnost softvera od para C/C++. Na primjer, u svjetskom lideru u računalstvu u oblaku AWS, precizirano je da odabir Rusta za svoje razvojne projekte znači dodavanje energetske efikasnosti i izvedbenih performansi C-a u prednost sigurnosti.

Konačno ako ste zainteresirani da saznate više o tome, možete pogledati mailing liste u sljedeći link.