{"id":102509,"date":"2021-12-07T15:37:11","date_gmt":"2021-12-07T13:37:11","guid":{"rendered":"https:\/\/prohoster.info\/blog\/novosti-interneta\/tretya-redakcziya-patchej-dlya-yadra-linux-s-podderzhkoj-yazyka-rust"},"modified":"2021-12-07T15:37:11","modified_gmt":"2021-12-07T13:37:11","slug":"tretya-redakcziya-patchej-dlya-yadra-linux-s-podderzhkoj-yazyka-rust","status":"publish","type":"post","link":"https:\/\/prohoster.info\/hu\/blog\/news\/tretya-redakcziya-patchej-dlya-yadra-linux-s-podderzhkoj-yazyka-rust","title":{"rendered":"A Linux kernel harmadik v\u00e1ltozata Rust nyelvi t\u00e1mogat\u00e1ssal","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Miguel Ojeda, a project author of Rust-for-Linux, proposed a third variant of components for developing device drivers in Rust for consideration by the Linux kernel developers. Rust support is viewed as experimental but has already been approved for inclusion in the linux-next branch. The development is funded by Google and the ISRG (Internet Security Research Group), which is behind the Let\u2019s Encrypt project and supports the promotion of HTTPS and the development of technologies to enhance internet security. <\/p>\n
Ne feledj\u00fck, hogy a javasolt v\u00e1ltoz\u00e1sok lehet\u0151v\u00e9 teszik a Rust haszn\u00e1lat\u00e1t m\u00e1sodik nyelvk\u00e9nt a meghajt\u00f3k \u00e9s modulok fejleszt\u00e9s\u00e9ben a kernelben. A Rust t\u00e1mogat\u00e1sa lehet\u0151s\u00e9gk\u00e9nt van megjelen\u00edtve, amely alap\u00e9rtelmez\u00e9s szerint nem akt\u00edv, nem vezetve a Rust k\u00f6telez\u0151 build f\u00fcgg\u0151s\u00e9gek k\u00f6z\u00e9 t\u00f6rt\u00e9n\u0151 bevon\u00e1s\u00e1hoz a kernelhez. A Rust haszn\u00e1lata a meghajt\u00f3k fejleszt\u00e9s\u00e9ben lehet\u0151v\u00e9 teszi, hogy minim\u00e1lis er\u0151fesz\u00edt\u00e9ssel biztons\u00e1gosabb \u00e9s jobb min\u0151s\u00e9g\u0171 meghajt\u00f3kat k\u00e9sz\u00edts\u00fcnk, amelyek mentesek az olyan probl\u00e9m\u00e1kt\u00f3l, mint a mem\u00f3ria t\u00f6rl\u00e9s ut\u00e1ni hozz\u00e1f\u00e9r\u00e9s, null pointerek derefer\u00e1l\u00e1sa \u00e9s a buffer hat\u00e1rai t\u00fall\u00e9p\u00e9se. <\/p>\n
A mem\u00f3ria biztons\u00e1gos kezel\u00e9se a Rust nyelvben a ford\u00edt\u00e1s sor\u00e1n a hivatkoz\u00e1sok ellen\u0151rz\u00e9s\u00e9vel, az objektumok tulajdonl\u00e1s\u00e1nak nyomon k\u00f6vet\u00e9s\u00e9vel, valamint az objektumok \u00e9lettartam\u00e1nak (l\u00e1that\u00f3s\u00e1g\u00e1nak) figyelembev\u00e9tel\u00e9vel t\u00f6rt\u00e9nik, tov\u00e1bb\u00e1 a mem\u00f3ri\u00e1hoz val\u00f3 hozz\u00e1f\u00e9r\u00e9s helyess\u00e9g\u00e9nek \u00e9rt\u00e9kel\u00e9s\u00e9vel a k\u00f3d futtat\u00e1sa alatt. A Rust eszk\u00f6z\u00f6ket is biztos\u00edt a eg\u00e9sz sz\u00e1mok t\u00falfut\u00e1s\u00e1nak v\u00e9delm\u00e9re, k\u00f6telez\u0151v\u00e9 teszi a v\u00e1ltoz\u00f3k \u00e9rt\u00e9keinek inicializ\u00e1l\u00e1s\u00e1t haszn\u00e1lat el\u0151tt, jobban kezeli a hib\u00e1kat a standard k\u00f6nyvt\u00e1rban, alkalmazza az immutable (v\u00e1ltozhatatlan) hivatkoz\u00e1sok \u00e9s v\u00e1ltoz\u00f3k fogalm\u00e1t alap\u00e9rtelmez\u00e9s szerint, valamint er\u0151s statikus t\u00edpust k\u00edn\u00e1l a logikai hib\u00e1k minimaliz\u00e1l\u00e1s\u00e1ra. <\/p>\n
Az \u00faj patch verzi\u00f3j\u00e1n folytat\u00f3dik az els\u0151 \u00e9s m\u00e1sodik verzi\u00f3k vita sor\u00e1n megfogalmazott megjegyz\u00e9sek orvosl\u00e1sa. A legszembet\u0171n\u0151bb v\u00e1ltoz\u00e1sok: <\/p>\n
\n
\u00c1t\u00e1lltak a stabil Rust 1.57 verzi\u00f3 haszn\u00e1lat\u00e1ra referencia ford\u00edt\u00f3k\u00e1nt, \u00e9s biztos\u00edtott\u00e1k a Rust 2021 stabiliz\u00e1lt nyelvi kiad\u00e1s\u00e1hoz val\u00f3 k\u00f6t\u0151d\u00e9st. Kor\u00e1bban a patch-ek a Rust b\u00e9t\u00e1ja \u00e1gaira \u00e9p\u00fcltek, \u00e9s haszn\u00e1lt\u00e1k a nyelv egyes, instabil kateg\u00f3ri\u00e1ba tartoz\u00f3 lehet\u0151s\u00e9geit. A Rust 2021 specifik\u00e1ci\u00f3ra val\u00f3 \u00e1tt\u00e9r\u00e9s lehet\u0151v\u00e9 tette a munk\u00e1t azon instabil lehet\u0151s\u00e9gek elt\u00e1vol\u00edt\u00e1s\u00e1n, mint a const_fn_transmute, const_panic, const_unreachable_unchecked, valamint core_panic \u00e9s try_reserve.\n
The development of the Rust library alloc, which is included in the patches, has continued, with modifications made to eliminate memory allocation functions from possibly generating a \"panic\" state when errors occur, such as memory shortages. The new version implements the \"no_rc\" and \"no_sync\" options to disable functionalities not used in the Rust code for the kernel, making the library more modular. Work continues with the core developers of alloc, aimed at transferring necessary changes for the kernel into the main library code. The \"no_fp_fmt_parse\" option has been transferred to the core Rust library, which is necessary for the library's operation at the kernel level.\n
A k\u00f3d tiszt\u00edt\u00e1sa t\u00f6rt\u00e9nt a lehets\u00e9ges ford\u00edt\u00f3i figyelmeztet\u00e9sek elt\u00e1vol\u00edt\u00e1s\u00e1ra, amikor a kernel \u00f6ssze\u00e1ll\u00edt\u00e1sa CONFIG_WERROR m\u00f3dban t\u00f6rt\u00e9nik. Rust k\u00f3d \u00f6ssze\u00e1ll\u00edt\u00e1sakor tov\u00e1bbi diagnosztikai ford\u00edt\u00f3 m\u00f3dok \u00e9s a Clippy linter figyelmeztet\u00e9sei aktiv\u00e1l\u00f3dtak.\n
Aj\u00e1nlott absztrakci\u00f3k a Rust nyelven t\u00f6rt\u00e9n\u0151 programoz\u00e1s sor\u00e1n haszn\u00e1lt seqlock (sorozatok z\u00e1rol\u00e1sa), callback-h\u00edv\u00e1s a t\u00e1pell\u00e1t\u00e1s kezel\u00e9s\u00e9re, I\/O mem\u00f3ria (readX\/writeX), megszak\u00edt\u00e1skezel\u0151k \u00e9s sz\u00e1lak, GPIO, eszk\u00f6z\u00f6khez, illeszt\u0151programokhoz \u00e9s hiteles\u00edt\u0151 adatokhoz val\u00f3 hozz\u00e1f\u00e9r\u00e9s.\n
B\u0151v\u00edtett\u00e9k az illeszt\u0151programok fejleszt\u00e9s\u00e9re szolg\u00e1l\u00f3 eszk\u00f6z\u00f6ket, bele\u00e9rtve a mozgathat\u00f3 mutexeket, biteket iter\u00e1l\u00f3 iteratorokat, egyszer\u0171s\u00edtett seg\u00e9dprogramokat a mutat\u00f3khoz, jav\u00edtott hibaelh\u00e1r\u00edt\u00e1st \u00e9s adatbusz-f\u00fcggetlen infrastrukt\u00far\u00e1t.\n
Javultak a hivatkoz\u00e1sok kezel\u00e9se egy egyszer\u0171s\u00edtett Ref t\u00edpussal, amely a refcount_t h\u00e1tt\u00e9rre \u00e9p\u00fcl \u00e9s az azonos nev\u0171 kernel API-t haszn\u00e1lja a hivatkoz\u00e1sok sz\u00e1mol\u00e1s\u00e1ra. Az Arc \u00e9s Rc t\u00edpusok, amelyek az alap\u00e9rtelmezett alloc k\u00f6nyvt\u00e1rban tal\u00e1lhat\u00f3ak, elt\u00e1vol\u00edt\u00e1sra ker\u00fcltek \u00e9s nem \u00e9rhet\u0151k el kernel szinten v\u00e9grehajtott k\u00f3d eset\u00e9n (a k\u00f6nyvt\u00e1rhoz k\u00e9sz\u00fcltek olyan opci\u00f3k, amelyek letiltj\u00e1k ezeket a t\u00edpusokat).\n
A patchok k\u00f6z\u00e9 beker\u00fclt a PL061 GPIO illeszt\u0151program Rust-ra \u00edrt v\u00e1ltozata. Az illeszt\u0151program jellemz\u0151je, hogy megval\u00f3s\u00edt\u00e1sa gyakorlatilag soronk\u00e9nt megism\u00e9tli a megl\u00e9v\u0151 GPIO illeszt\u0151programot C nyelven. A Rust-ra illeszt\u0151programok k\u00e9sz\u00edt\u00e9s\u00e9vel ismerkedni k\u00edv\u00e1n\u00f3 fejleszt\u0151k sz\u00e1m\u00e1ra soronk\u00e9nti \u00f6sszehasonl\u00edt\u00f3 anyagot \u00e1ll\u00edtottak \u00f6ssze, amely lehet\u0151v\u00e9 teszi a C k\u00f3d Rust-ra val\u00f3 \u00e1talak\u00edt\u00e1s\u00e1nak meg\u00e9rt\u00e9s\u00e9t.\n
A Rust f\u0151 k\u00f3dalapj\u00e1ba bel\u00e9pett a rustc_codegen_gcc, a GCC-hez tartoz\u00f3 rustc h\u00e1tt\u00e9r, amely lehet\u0151v\u00e9 teszi az el\u0151rel\u00e1t\u00f3 (AOT) ford\u00edt\u00e1st a libgccjit k\u00f6nyvt\u00e1r haszn\u00e1lat\u00e1val. A h\u00e1tt\u00e9r megfelel\u0151 fejl\u0151d\u00e9s\u00e9vel lehet\u0151v\u00e9 teszi a Rust-k\u00f3d GCC \u00e1ltali ford\u00edt\u00e1s\u00e1t, amely a kernelben haszn\u00e1latos.\n
Az ARM, Google \u00e9s Microsoft c\u00e9gek mellett a Red Hat is \u00e9rdekl\u0151d\u00e9st mutatott a Rust nyelv Linux kernelben t\u00f6rt\u00e9n\u0151 haszn\u00e1lata ir\u00e1nt. Eml\u00e9keztet\u0151\u00fcl, a Google k\u00f6zvetlen t\u00e1mogat\u00e1st ny\u00fajt a Rust for Linux projekt sz\u00e1m\u00e1ra, \u00faj megval\u00f3s\u00edt\u00e1st fejleszt a Rust-on t\u00f6rt\u00e9n\u0151 folyamatok k\u00f6z\u00f6tti kommunik\u00e1ci\u00f3ra Binder n\u00e9ven, \u00e9s fontol\u00f3ra veszi a k\u00fcl\u00f6nf\u00e9le illeszt\u0151programok Rust-ra val\u00f3 \u00e1t\u00edr\u00e1s\u00e1t. A Microsoft megkezdte a Hyper-V illeszt\u0151programok Rust-ra t\u00f6rt\u00e9n\u0151 megval\u00f3s\u00edt\u00e1s\u00e1t. Az ARM a Rust t\u00e1mogat\u00e1s\u00e1nak jav\u00edt\u00e1s\u00e1n dolgozik az ARM architekt\u00far\u00e1ra alapozott rendszerek sz\u00e1m\u00e1ra. Az IBM pedig a PowerPC rendszerek kernel t\u00e1mogat\u00e1s\u00e1ba integr\u00e1lta a Rust-ot. <\/ul>\n