Rust akan menyelamatkan Linux: Greg Kroah-Hartman mengkonfirmasi berakhirnya eksperimen tersebut.

Poin kunci:
  • Greg Kroah-Hartman mengumumkan pada Rust Week 2026 bahwa penggunaan Rust di kernel Linux bukan lagi sebuah eksperimen dan akan menjadi standar resmi.
  • Tim Linux menghadapi hampir 13 laporan kerentanan setiap hari, sebagian besar disebabkan oleh kesalahan manusia dalam bahasa C.
  • Compiler Rust secara otomatis mendeteksi kesalahan memori dan kerusakan, yang dapat mengurangi kegagalan sistem hingga 80%.
  • Sebuah sistem akan diimplementasikan untuk memberi label data perangkat keras sebagai "tidak tepercaya", memaksa pengembang untuk memvalidasinya sebelum menggunakannya.
  • Kode C yang ada saat ini (36 juta baris) tidak akan ditulis ulang. Rust hanya akan digunakan untuk mengembangkan pengontrol dan subsistem baru.

Pekan Karat 2026

Selama konferensi Rust Week 2026 baru-baru ini diadakan di Utrecht, Greg Kroah-Hartman, salah satu orang utama yang bertanggung jawab untuk memelihara kernel Linux, Dia naik ke panggung dengan pesan yang sangat jelas: Rust adalah penyelamat yang dibutuhkan proyek ini..

Dengan jumlah yang mencengangkan, yaitu hampir tiga belas peringatan keamanan. (CVE) diterbitkan harianTim pengembang menghadapi jumlah bug yang hampir tidak dapat dikelola. Menurut Kroah-Hartman, yang telah menangani kerentanan ini sejak tahun 2005, Kesalahan terletak pada kekurangan klasik bahasa C dalam hal menangani memori dan kesalahan.Sebuah masalah yang dijanjikan Rust untuk diatasi secara drastis.

Pesan itu lugas dan langsung. Di hadapan audiens yang dipenuhi oleh para pengembang, programmer veteran itu Dia mengakui bahwa tim tersebut sepenuhnya mempercayai komunitas bahasa modern ini. untuk melindungi fondasi komputasi modern. Bagi mereka, Tahap pengujian kini telah menjadi masa lalu. Karena penggunaan Rust di inti sistem adalah kenyataan mutlak, mereka akan terus berupaya maksimal untuk mengintegrasikannya ke dalam komponen-komponen yang paling penting.

Mimpi buruk kode C dan solusi otomatis Rust

Untuk menggambarkan masalah nyata yang mereka hadapi setiap hari.Pengembang tersebut mengingat adanya cacat pada kode Bluetooth yang tidak terdeteksi selama lima belas tahun.disebabkan semata-mata karena tidak memeriksa penunjuk memori.Dia juga menyebutkan adanya bug dalam kode Xen di mana seseorang lupa melepaskan kunci.Kelalaian kecil manusia ini menumpuk seiring waktu dan akhirnya menyebabkan kerusakan sistem atau membuka celah bagi serangan siber. Keunggulan utama Rust adalah kemampuannya mendeteksi kesalahan-kesalahan ini saat kode sedang dikompilasi.sebelum mencapai tahap peninjauan. Jika seorang programmer lupa memeriksa kesalahan atau melepaskan sumber daya, program tersebut tidak akan dapat dikompilasi.

Berkat verifikasi otomatis ini, mereka yang bertanggung jawab untuk meninjau kode tersebut Mereka tidak perlu lagi membuang waktu mencari detail-detail kecil dan dapat fokus pada logika sebenarnya dari program tersebut. Kroah-Hartman memperkirakan bahwa sifat-sifat ini saja akan menghilangkan enam puluh persen dari bug kernel yang ada saat ini. Lebih jauh lagi, cara kerja baru ini telah memengaruhi kode C, memaksa para programmer untuk membersihkan antarmuka mereka dan mengadopsi teknik yang lebih aman, menunjukkan bahwa keberadaan Rust saja telah meningkatkan Linux.

Di luar blok memori, Pembicaraan tersebut membahas filosofi keselamatan vital. berdasarkan pepatah lama Microsoft: berasumsi bahwa setiap data yang masuk ke sistem bersifat berbahaya.Kroah-Hartman menjelaskan bahwa mereka sedang mengerjakan sebuah metode di dalam Rust untuk secara eksplisit memberi label data sebagai "tidak tepercaya" dalam sistem tipe yang sama.

De esta Manera, Compiler akan memaksa programmer untuk memvalidasi informasi tersebut sebelum dapat menggunakan atau mengaksesnya.Hal ini sangat penting saat ini, karena para pengembang tidak hanya waspada terhadap perangkat lunak pengguna tetapi juga terhadap perangkat keras itu sendiri, yang seringkali memiliki cacat pabrik atau bahkan mungkin dirancang dengan niat jahat. Dengan memusatkan semua validasi di satu titik, pemeriksaan keamanan akan jauh lebih cepat dan akurat.

Evolusi tanpa menulis ulang dari awal.

Terlepas dari antusiasmenya, sang ahli Dia menegaskan bahwa Rust bukanlah sihir.Sebagai contoh, ia menyebutkan sepotong kecil kode yang ditulis dalam bahasa ini yang dirancang untuk menampilkan kode QR ketika sistem gagal, yang akhirnya menyebabkan masalah memori karena tidak ada yang terpikir untuk memeriksa ukuran buffer data. Rust juga bisa gagal jika tidak digunakan dengan hati-hati dan akal sehat. Oleh karena itu, tidak seorang pun di organisasi ini mempertimbangkan untuk menulis ulang 36 juta baris kode C yang sudah dimiliki Linux. Aturannya mutlak: Kode lama akan tetap seperti semula, dan alat-alat baru hanya akan digunakan untuk membuat controller modern.

Saat ini, eKernel tersebut hanya memiliki sekitar 113.000 baris kode dalam Rust.Sebagian besar merupakan adaptasi sementara untuk menjembatani kesenjangan antara kedua bahasa tersebut. Namun, proyek besar seperti sistem komunikasi internal Android (Bahan pengikat) Mereka sudah berada di tengah proses transisi.yang berarti bahwa sebentar lagi miliaran ponsel akan menjalankan kode ini setiap hari.

Proyek ini menganggap perubahan ini sebagai evolusi alami, di mana driver C lama akan secara otomatis ditinggalkan seiring berjalannya waktu karena perangkat keras baru membutuhkan program yang dibuat dari awal dengan jaminan keamanan modern.


Tambahkan sebagai sumber pilihan di Google