Greg Kroah-Hartman, aki a Linux kernel stabil \u00e1gainak t\u00e1mogat\u00e1s\u00e1\u00e9rt felel\u0151s, t\u00e1mogat\u00e1s\u00e1r\u00f3l biztos\u00edtotta az \u00faj kernel komponensek Rust nyelven t\u00f6rt\u00e9n\u0151 fejleszt\u00e9s\u00e9t. Mint az ember, akivel az elm\u00falt 15 \u00e9vben minden hiba- \u00e9s sebezhet\u0151s\u00e9gi inform\u00e1ci\u00f3 \u00e1thaladt a Linux kernelben, azt \u00e1ll\u00edtja, hogy a kernelben tal\u00e1lhat\u00f3 hib\u00e1k t\u00f6bbs\u00e9ge a C nyelv figyelembe nem vett saj\u00e1toss\u00e1gai (corner case) miatt van, amelyeket a Rust k\u00f3d teljesen kiiktat. <\/p>\n
A Rust haszn\u00e1lat\u00e1val b\u00facs\u00fat mondhatunk olyan probl\u00e9m\u00e1knak, mint az eml\u00e9khez val\u00f3 hozz\u00e1f\u00e9r\u00e9s a felszabad\u00edt\u00e1sa ut\u00e1n, a buffer hat\u00e1ron t\u00f6rt\u00e9n\u0151 kil\u00e9p\u00e9s (r\u00e9szben), a forr\u00e1sok hibakezel\u00e9s \u00e1ltali helytelen felszabad\u00edt\u00e1sa, \u00e9s a visszat\u00e9r\u00e9si k\u00f3dok ellen\u0151rz\u00e9s\u00e9nek elfelejt\u00e9se. Ez lehet\u0151v\u00e9 teszi a karbantart\u00f3k sz\u00e1m\u00e1ra, hogy a val\u00f3s hib\u00e1kra, mint a versenyhelyzetek \u00e9s logikai probl\u00e9m\u00e1k, \u00f6sszpontos\u00edtsanak, ahelyett hogy figyelm\u00fcket apr\u00f3s\u00e1gokra osztan\u00e1k fel a v\u00e9lem\u00e9nyez\u00e9s sor\u00e1n. <\/p>\n
A m\u00e1r megl\u00e9v\u0151 r\u00e9gi C k\u00f3d nem t\u0171nik el, de az \u00faj k\u00f3d \u00e9s \u00faj illeszt\u0151programok eset\u00e9ben a Rust bevezet\u00e9se jelent\u0151sen n\u00f6velni fogja a min\u0151s\u00e9get. A Rust bevezet\u00e9se lehet\u0151v\u00e9 teszi a kernel bels\u0151 programoz\u00e1si interf\u00e9szeinek olyan m\u00f3don t\u00f6rt\u00e9n\u0151 struktur\u00e1l\u00e1s\u00e1t, hogy szinte teljesen kiz\u00e1rj\u00e1k a bels\u0151 API-k helytelen haszn\u00e1lat\u00e1b\u00f3l ad\u00f3d\u00f3 hib\u00e1kat \u2014 a kernelben t\u00fal sok bonyolult \u00e9s kusza API halmoz\u00f3dott fel, ami jelent\u0151s terhet r\u00f3 a karbantart\u00f3kra az API-k helyes haszn\u00e1lat\u00e1nak ellen\u0151rz\u00e9se sor\u00e1n. A Rust-illeszt\u0151 programok fejleszt\u00e9se lehet\u0151s\u00e9get ad a karbantart\u00f3knak a bels\u0151 API \u00fajragondol\u00e1s\u00e1ra \u00e9s rendez\u00e9s\u00e9re, ami mindenki sz\u00e1m\u00e1ra el\u0151ny\u00f6s lesz, bele\u00e9rtve a C nyelvet haszn\u00e1l\u00f3kat is. <\/p>\n
Greg nem tartja a Rustot «ez\u00fcst goly\u00f3nak», amely megoldja az \u00f6sszes probl\u00e9m\u00e1t a kernelben, de ez a nyelv egy\u00e9rtelm\u0171en seg\u00edteni fog sz\u00e1mos helyzetben. A Rust t\u00e1mogat\u00e1sa is kiel\u00e9g\u00edti az illeszt\u0151program-fejleszt\u0151k ig\u00e9ny\u00e9t, akik olyan eszk\u00f6zt szeretn\u00e9nek, amellyel a saj\u00e1t berendez\u00e9s\u00fckh\u00f6z \u00edrhatnak k\u00f3dot, elker\u00fclve sok hib\u00e1t. Ami a t\u00f6bb nyelv kevered\u00e9s\u00e9t illeti, Greg nem l\u00e1t ebben nagy probl\u00e9m\u00e1t, v\u00e9lem\u00e9nye szerint a m\u00faltban a kernel fejleszt\u0151i komolyabb kih\u00edv\u00e1sokkal is megk\u00fczd\u00f6ttek, \u00e9s nincs oka arra, hogy elutas\u00edts\u00e1k az \u00faj, hasznos \u00f6tletek bevezet\u00e9s\u00e9t a kernelbe, amelyek hozz\u00e1j\u00e1rulnak a projekt siker\u00e9hez a k\u00f6vetkez\u0151 20+ \u00e9vben. <\/p>\n
A megbesz\u00e9l\u00e9shez csatlakozott Kees Cook, a kernel.org volt vezet\u0151 rendszergazd\u00e1ja \u00e9s az Ubuntu Security Team vezet\u0151je. Kees tiszt\u00e1zta, hogy nem a megl\u00e9v\u0151 k\u00f3d \u00fajra\u00edr\u00e1s\u00e1r\u00f3l van sz\u00f3, hanem arr\u00f3l, hogy lehet\u0151s\u00e9get biztos\u00edtsanak a Rust haszn\u00e1lat\u00e1ra \u00faj meghajt\u00f3k \u00e9s alrendszerek l\u00e9trehoz\u00e1s\u00e1hoz. A Rust alkalmaz\u00e1sa az \u00faj k\u00f3dhoz nemcsak a mem\u00f3riahib\u00e1k sz\u00e1m\u00e1nak cs\u00f6kkent\u00e9s\u00e9t teszi lehet\u0151v\u00e9, hanem a fejleszt\u00e9si id\u0151 ler\u00f6vid\u00edt\u00e9s\u00e9t is. A fejleszt\u00e9s sebess\u00e9ge n\u0151 a hibakeres\u00e9sre ford\u00edtott munkaer\u0151cs\u00f6kken\u00e9s \u00e9s a nyelv szigor\u00fa garanci\u00e1inak k\u00f6sz\u00f6nhet\u0151en, amelyek lehet\u0151v\u00e9 teszik a hib\u00e1k korai felismer\u00e9s\u00e9t a k\u00f3d\u00edr\u00e1s sor\u00e1n, m\u00e9g a term\u00e9k tesztel\u00e9s\u00e9nek megkezd\u00e9se el\u0151tt. <\/p>\n