Diskusi milis kernel Linux yang telah berlangsung selama enam tahun telah dihidupkan kembali mengenai prospek konversi kernel Linux untuk mendukung kode C++ modern.
Kernel Linux sebagian besar terdiri dari kode C dengan berbagai Majelis tulisan tangan ditambah upaya yang berkembang untuk mendukung Rust dalam kernel Linux. Meskipun belum jelas apakah ada bobot yang cukup untuk mewujudkannya, diskusi milis kernel Linux telah dimulai kembali karena kemungkinan melihat kode kernel C Linux dikonversi ke C++ di masa depan.
Back pada tanggal 1 April 2018 adalah serangkaian 45 patch yang dibuat oleh insinyur Red Hat David Howells untuk mulai mengonversi kernel ke C++. Hal ini akan memungkinkan kernel jalur utama untuk menggunakan fungsi templat inline, fungsi kelebihan beban inline, pewarisan kelas, dan fitur lain yang saat ini tidak didukung oleh kernel Linux dengan kode C-nya. Agak sulit untuk melakukan diskusi serius hari itu dan akhirnya patch tersebut berada di milis kernel Linux selama enam tahun tanpa banyak diskusi.
Namun kemarin pengembang lama Linux H. Peter Anvin menanggapi thread milis kernel tersebut. Anvin menulis posting LKML yang panjang dengan alasannya mengapa C++ untuk kernel Linux akhirnya menjadi waktu yang tepat:
“Andrew Pinski baru-baru ini mengetahui topik ini. Saya menyadari bahwa topik ini dirilis pada tanggal 1 April 2018, dan mungkin hanya lelucon atau dianggap sebagai lelucon. Namun, menurut saya hal ini ada benarnya, dan saya akan melakukannya cobalah memotivasi pendapat saya di sini.
Baik C maupun C++ telah mengalami banyak pengembangan sejak tahun 1999, dan C++ sebenarnya, menurut pendapat pribadi saya, akhirnya “tumbuh” menjadi C yang lebih baik untuk jenis pemrograman tertanam yang dilambangkan oleh kernel OS. Saya mengatakan itu sebagai penulis sejumlah besar peretasan perakitan makro dan inline di kernel.
Apa yang benar-benar membuat saya mengatakan bahwa banyak hal yang baru-baru ini kami minta untuk ekstensi khusus gcc sebenarnya relatif mudah diterapkan dalam standar C++ dan, dalam banyak kasus, memungkinkan peningkatan infrastruktur *tanpa* perubahan kode global (lihat di bawah .)
C++14 menurut pilihan saya adalah versi “minimum” yang memiliki dukungan metaprogramming yang wajar, memiliki sebagian besar tanpa tipe versi sebelumnya (C++11 memiliki sebagian besar, tetapi C++14 mengisi beberapa bagian penting yang hilang ).
Namun C++20 benar-benar merupakan pengubah permainan utama menurut saya; meskipun versi sebelumnya dapat memainkan banyak peretasan SFINAE, versi tersebut juga memberikan muntahan yang sama sekali tidak berguna sebagai pesan kesalahan. C++20 menambahkan konsep, yang memungkinkan untuk mendapatkan kesalahan yang wajar.” Bagi mereka yang kemudian mengangkat masalah “tulis ulang kode C di Rust!”, Anvin secara proaktif menambahkan dalam pesannya:
“Sekarang, “kenapa tidak Rust”? Pertama-tama, Rust menggunakan sintaksis yang berbeda (sering kali, menurut pendapat saya, begitu saja), dan tidak hanya semua pengembang kernel harus terbiasa dengan tingkat mendapatkan jenis yang sama dari “feel” seperti yang kita miliki untuk C, tetapi mengonversi kode C ke Rust bukanlah sesuatu yang dapat dilakukan sedikit demi sedikit, sedangkan dengan beberapa pembersihan, kode C yang ada dapat dikompilasi sebagai C++.
Namun, saya merasa tidak setuju dengan beberapa kesimpulan David; sebenarnya saya yakin David tidak perlu *pesimis* setidaknya mengingat C++ modern.
Perhatikan bahwa tidak ada orang waras yang berharap untuk menggunakan semua fitur C++. Sama seperti kita memiliki “kernel C” (saat ini merupakan subset dari C11 dengan kumpulan ekstensi khusus kompiler yang diizinkan yang relatif besar), kita akan memiliki “kernel C++”, yang menurut saya merupakan subset gabungan C++20 yang ditentukan secara ketat dengan serangkaian ekstensi kompiler serupa.) Saya menyadari dukungan kompiler C++20 masih sangat baru karena alasan yang jelas, jadi setidaknya beberapa di antaranya bersifat melihat ke depan.” Jiri Slaby dari SUSE Lans telah mendukung inisiatif C++ ini untuk kernel Linux David Howells dari Red Hat yang pertama kali memposting patch kernel juga mendukung diskusi ini.
Kita akan melihat ke mana arah diskusi LKML ini dan apakah pada tahun 2024+ terdapat daya tarik yang cukup untuk mendukung kode C++ modern — atau setidaknya beberapa subset C++14~20 yang ditentukan — dalam kernel Linux. Linus Torvalds di masa lalu sangat menentang C++ tetapi kita akan lihat apakah keadaan akhirnya berbalik apakah dia lebih puas dengan standar C++ terkini atau apakah dia tetap menantang dalam mempertahankan kernel Linux di C.
Baru pada tahun 2022 kernel Linux mulai berpindah dari C89 ke C11. Terutama jika ada konsensus untuk mengizinkan subset pemrograman C++14/C++20 di kernel, mungkin masih perlu waktu sebelum diadopsi untuk memungkinkan dukungan kompiler yang lebih luas untuk diluncurkan sebelum meningkatkan persyaratan kompiler dasar dan bahkan jika menerima dukungan ajaib dari Torvalds, itu bukanlah keputusan yang bisa dianggap enteng.
Itulah berita seputar Diskusi Tahun 2024 Apakah Akan Mengonversi Kernel Linux Dari C Ke C++ Modern, semoga bermanfaat. Disadur dari Phoronix.com.