Versi sepuluh patch kanggo kernel Linux kanthi dhukungan kanggo basa Rust

Miguel Ojeda, penulis proyek Rust-for-Linux, ngusulake rilis komponen v10 kanggo pangembangan driver piranti ing basa Rust kanggo dipikirake dening pangembang kernel Linux. Iki minangka edisi kaping sewelas saka patches, kanthi njupuk versi pisanan, diterbitake tanpa nomer versi. Penyertaan dhukungan Rust wis disetujoni dening Linusum Torvalds kanggo dilebokake ing kernel Linux 6.1, ora ana masalah sing ora dikarepake. Pangembangan kasebut didanai dening Google lan ISRG (Internet Security Research Group), sing dadi pendiri proyek Let's Encrypt lan promosi HTTPS lan pangembangan teknologi kanggo nambah keamanan Internet.

Kaya versi patch sadurunge, release v10 wis dipotong nganti minimal, cukup kanggo mbangun modul kernel prasaja sing ditulis ing basa Rust. Beda saka versi sadurungé teka mudhun kanggo suntingan cilik, ngganti sizeof karo ARRAY_SIZE ing kallsyms.c lan ngganti patch kanggo kernel v6.0-rc7. Dikarepake yen tembelan minimal, ukurane wis suda saka 40 dadi 13 ewu baris kode, bakal nyederhanakake adopsi dhukungan Rust menyang kernel utama. Sawise menehi dhukungan minimal, direncanakake nambah fungsionalitas sing wis ana, mindhah owah-owahan liyane saka cabang Rust-for-Linux.

Owah-owahan sing diusulake ndadekake Rust bisa digunakake minangka basa liya kanggo ngembangake driver lan modul kernel. Dhukungan Rust ditampilake minangka pilihan sing ora diaktifake kanthi standar lan ora nyebabake Rust kalebu minangka ketergantungan mbangun sing dibutuhake kanggo kernel. Nggunakake Rust kanggo pangembangan driver bakal ngidini sampeyan nggawe driver sing luwih aman lan luwih apik kanthi gaweyan minimal, bebas saka masalah kayata akses memori sawise dibebasake, dereferensi null pointer, lan overruns buffer.

Penanganan memori-aman diwenehake ing Rust ing wektu kompilasi liwat mriksa referensi, nglacak kepemilikan obyek lan umur obyek (skop), uga liwat evaluasi bener saka akses memori sak eksekusi kode. Rust uga menehi pangayoman marang overflows integer, mbutuhake initialization prentah saka nilai variabel sadurunge digunakake, Ngalahake kasalahan luwih apik ing perpustakaan standar, ditrapake konsep referensi immutable lan variabel minangka standar, nawakake typing statis kuwat kanggo nyilikake kesalahan logis.

Source: opennet.ru

Add a comment