{"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\/da\/blog\/news\/tretya-redakcziya-patchej-dlya-yadra-linux-s-podderzhkoj-yazyka-rust","title":{"rendered":"Tredje udgave af patches til Linux-kernen med st\u00f8tte til Rust-sprog","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Miguel Ojeda, forfatter af projektet Rust-for-Linux, har foresl\u00e5et en tredje variant af komponenter til udvikling af enhedsdrivere p\u00e5 Rust-sproget til overvejelse af Linux-kerneudviklerne. St\u00f8tten til Rust betragtes som eksperimentel, men er allerede godkendt til at blive inkluderet i linux-next-grenen. Udviklingen finansieres af Google og organisationen ISRG (Internet Security Research Group), som er grundl\u00e6ggeren af projektet Let's Encrypt og fremmer HTTPS samt udviklingen af teknologier til at forbedre internettets sikkerhed. <\/p>\n
Det skal bem\u00e6rkes, at de foresl\u00e5ede \u00e6ndringer giver mulighed for at bruge Rust som det andet sprog til udvikling af drivere og kerne-moduler. Rust-underst\u00f8ttelse pr\u00e6senteres som en mulighed, der ikke er aktiveret som standard og ikke f\u00f8rer til, at Rust bliver en obligatorisk byggeafh\u00e6ngighed for kernen. Brug af Rust til driverudvikling vil g\u00f8re det muligt at skabe sikre og af h\u00f8jere kvalitet drivere med minimal indsats, fri for problemer som adgang til hukommelse efter frigivelse, dereferencering af nullpegepinde og buffer-overl\u00f8b. <\/p>\n
Sikker hukommelsesh\u00e5ndtering sikres i Rust under kompileringen gennem referencekontrol, overv\u00e5gning af ejerskab af objekter og livscyklus (scope) af objekter, samt evaluering af korrekt hukommelsestilgang under kodeudf\u00f8relse. Rust tilbyder ogs\u00e5 midler til beskyttelse mod heltalsoverskridelser, kr\u00e6ver obligatorisk initialisering af variabelv\u00e6rdier f\u00f8r brug, h\u00e5ndterer fejl bedre i standardbiblioteket, anvender konceptet med immutability (u\u00e6ndrede) referencer og variabler som standard, og tilbyder st\u00e6rk statisk typekontrol for at minimere logiske fejl. <\/p>\n
I den nye version af patchene forts\u00e6ttes arbejdet med at fjerne bem\u00e6rkninger fremsat under diskussionen af de f\u00f8rste og anden versioner af patchene. De mest i\u00f8jnefaldende \u00e6ndringer er: <\/p>\n
\n
Der er sket et skifte til at bruge den stabile version af Rust 1.57 som referencekompilator, og der er sikret tilknytning til den stabiliserede udgave af Rust 2021-sproget. Tidligere var patchene knyttet til beta-grenen af Rust og brugte nogle funktioner, der falder ind under kategorien ustabile. Overgangen til specifikationen Rust 2021 har gjort det muligt at starte arbejdet med at afvikle brugen af ustabile funktioner som const_fn_transmute, const_panic, const_unreachable_unchecked og core_panic samt try_reserve i patchene.\n
Udviklingen af den Rust-bibliotek alloc, som er inkluderet i patches, er fortsat, \u00e6ndret for at fjerne hukommelsesallokationsfunktioner fra muligheden for at generere tilstande af 'panic', n\u00e5r der opst\u00e5r fejl s\u00e5som hukommelsesmangel. I den nye version er mulighederne 'no_rc' og 'no_sync' implementeret for at deaktivere funktionalitet, der ikke bruges i Rust-kode til kernen, hvilket g\u00f8r biblioteket mere modul\u00e6rt. Arbejdet med de principale udviklere af alloc forts\u00e6tter, med fokus p\u00e5 at overf\u00f8re n\u00f8dvendige \u00e6ndringer til kernen i bibliotekets hovedkomponent. Muligheden 'no_fp_fmt_parse', som er n\u00f8dvendig for bibliotekets funktion p\u00e5 kernel-niveau, er blevet overf\u00f8rt til Rusts grundbibliotek (core).\n
Der er foretaget en oprydning af koden for at eliminere potentielle compileradvarsler ved kompilering af kernen i CONFIG_WERROR-tilstanden. Ved kompilering af koden i Rust-sproget er der blevet inkluderet ekstra diagnostiske kompilatoretilstande og advarsler fra linteren Clippy.\n
Der er foresl\u00e5et abstraktioner til brug i Rust-koden til sekvensl\u00e5sning (seqlock), callback-kald til str\u00f8mstyring, I\/O-hukommelse (readX\/writeX), afbrudsh\u00e5ndterere og tr\u00e5de, GPIO, adgang til enheder, drivere og legitimation.\n
V\u00e6rkt\u00f8jerne til driverudvikling er blevet udvidet med flytbare mutexer, bititeratorer, forenklede indpakninger til pointere, forbedret fejlfinding og infrastruktur, der ikke er afh\u00e6ngig af data-bussen.\n
Arbejdet med referencer er forbedret ved at bruge en forenklet type Ref, baseret p\u00e5 backend'en refcount_t, der anvender den samme API fra kernen til referencet\u00e6lling. St\u00f8tte til typerne Arc og Rc, der leveres i standardbiblioteket alloc, er fjernet og ikke tilg\u00e6ngelig i koden, der k\u00f8rer p\u00e5 kerneniveau (til selve biblioteket er der forberedt muligheder for at deaktivere disse typer).\n
Der er tilf\u00f8jet en version af PL061 GPIO-driveren, omskrevet i Rust, til patchene. En s\u00e6rlig funktion ved driveren er, at dens implementering stort set f\u00f8lger den eksisterende GPIO-driver skrevet i C linje for linje. For udviklere, der \u00f8nsker at blive bekendt med driverudvikling i Rust, er der forberedt en linje-for-linje sammenligning, som giver indsigt i, hvordan C-koden er oversat til Rust-konstruktioner.\n
rustc_codegen_gcc, rustc's backend til GCC, der implementerer muligheden for 'ahead-of-time' (AOT) kompilering ved hj\u00e6lp af libgccjit-biblioteket, er blevet accepteret i Rust's hovedkodebase. Ved ordentlig udvikling af backend'en vil den muligg\u00f8re kompilering af Rust-koden anvendt i kernen ved hj\u00e6lp af GCC.\n
Udover virksomhederne ARM, Google og Microsoft har Red Hat ogs\u00e5 vist interesse for at bruge Rust i Linux-kernen. Det skal n\u00e6vnes, at Google direkte underst\u00f8tter projektet Rust for Linux, udvikler en ny implementering af mekanismen til interprocess kommunikation Binder i Rust og overvejer at omskrive forskellige drivere til Rust. Microsoft er startet med at implementere drivere til Hyper-V i Rust. ARM arbejder p\u00e5 at forbedre underst\u00f8ttelsen af Rust for systemer baseret p\u00e5 ARM-processorer. IBM har implementeret st\u00f8tte til Rust i kernen for PowerPC-systemer. <\/ul>\n