RFC untuk Dukungan Rust di Kernel Linux

 (lkml.org)
10 poin oleh xguru 2021-04-16 | 3 komentar | Bagikan ke WhatsApp

  • Merangkum alasan mengapa Rust perlu digunakan sebagai bahasa kedua untuk kernel

  • Bukan untuk menulis ulang inti atau subsistem kernel utama, melainkan agar driver dan modul "leaf" serupa dapat ditulis dengan Rust

Jika Rust digunakan di kernel Linux

  • Berkat sifat bahasanya, risiko bug keamanan memori, data race, dan bug logika berkurang

  • Maintainer bisa lebih percaya diri saat merefaktor dan menambal modul karena keamanan Rust

  • Berkat fitur bahasa modern dan dokumentasi yang rinci, driver dan modul baru dapat ditulis dengan lebih mudah

  • Lebih banyak orang dapat ikut serta dalam pengembangan kernel secara umum dengan menggunakan bahasa modern

"Why Rust?"

  • Dalam konteks kernel Linux, Rust menawarkan beberapa keunggulan utama dibandingkan C

→ (keunggulan pada tingkat bahasa dihilangkan..)

"Why not?"

  • Dalam konteks kernel Linux, Rust memiliki kekurangan berikut dibandingkan C

→ Upaya telah banyak dicurahkan untuk tooling berbasis C, termasuk plugin compiler dan Sanitizer. Ini akan membaik seiring meningkatnya penggunaan Rust dari waktu ke waktu

→ Implementasi tunggal berbasis LLVM. Upaya seperti frontend GCC, backend 'ructc' berbasis Cranelift, dan 'mrustc' untuk mengurangi rantai bootstrap sedang berlangsung

→ Belum distandardisasi. Meski belum jelas apakah standardisasi akan membantu kernel..

→ Kecepatan kompilasi lambat karena fitur dan batasan kompleks pada compiler saat ini

→ Untuk saat ini, dibutuhkan fitur yang ada di build Nightly. Versi stabil belum bisa digunakan. Targetnya adalah menghapus batasan ini dalam 1 tahun

→ Tidak semua fitur dalam pustaka standar Rust 'core' dan 'alloc' digunakan, sehingga saat ini ukurannya lebih besar daripada yang diperlukan

  • Sebagian besar kekurangan ini muncul dari fakta bahwa Rust masih merupakan bahasa yang muda dan belum banyak digunakan

  • Ada keyakinan bahwa Rust akan menjadi bagian penting dari pemrograman sistem, seperti halnya C selama beberapa dekade terakhir

Bacaan terkait

3 komentar

 
octopuset 2021-04-17

https://lkml.org/lkml/2021/4/14/1099

"Jadi saya membalas dengan reaksi saya terhadap beberapa patch individual, tetapi secara keseluruhan saya tidak membencinya."

dan jika melihat tulisan yang mengikuti setelah HOWEVER,

sepertinya butuh waktu yang cukup lama hingga benar-benar ditambahkan
 
xguru 2021-04-16

Linus Torvalds juga telah memberikan balasan untuk RFC ini https://lkml.org/lkml/2021/4/14/1099

"So I replied with my reactions to a couple of the individual patches, but on the whole I don't hate it."

Karena beliau mengatakan secara keseluruhan tidak membencinya, saya berharap ini bisa berjalan dengan baik.

Setelah saya cari, ternyata sudah sangat banyak berita terkait Rust yang naik di GeekNews. Sekarang saya rasa ini benar-benar sudah menjadi arus utama zaman ini.
 
ffdd270 2021-04-18

Saya membayangkan bahwa Rust akan hidup berdampingan dengan C secara bertahap, lalu pada suatu saat mungkin sudah menggantikannya... Justru rasanya keputusan untuk lepas dari Mozilla adalah pilihan yang lebih baik.