L-appoġġ tas-sadid għall-kernel tal-Linux jiffaċċja kritika minn Torvalds

Linus Torvalds irreveda l-irqajja li implimentaw l-abbiltà li joħolqu sewwieqa fil-lingwa Rust għall-qalba tal-Linux, u għamel xi kummenti kritiċi.

L-akbar ilmenti kienu kkawżati mill-possibbiltà potenzjali ta 'paniku () f'sitwazzjonijiet ta' żball, pereżempju, f'sitwazzjoni ta 'memorja baxxa, meta operazzjonijiet ta' allokazzjoni ta 'memorja dinamika, inkluż fi ħdan il-qalba, jistgħu jfallu. Torvalds iddikjara li approċċ bħal dan fil-qalba huwa fundamentalment inaċċettabbli u, jekk dan il-punt ma jinftiehemx, jista 'jagħmel kompletament NAKed kwalunkwe kodiċi li jipprova juża tali approċċ. Min-naħa l-oħra, l-iżviluppatur tal-garża qabel ma 'din il-problema u jqisha solvabbli.

Problema oħra kienet it-tentattivi biex jintużaw tipi floating point jew 128-bit, li mhumiex aċċettabbli għal ambjenti bħall-kernel Linux. Din irriżulta li kienet problema aktar serja, peress li bħalissa l-qalba tal-librerija Rust hija indiviżibbli u tirrappreżenta blob kbir wieħed - m'hemm l-ebda mod biex titlob biss xi wħud mill-karatteristiċi, li jipprevjeni l-użu ta 'funzjonalità problematika waħda jew oħra. Is-soluzzjoni tal-problema tista 'teħtieġ bidliet fil-kompilatur tas-sadid u l-libreriji, għalkemm fil-mument it-tim għad m'għandux strateġija dwar kif timplimenta modularizzazzjoni tal-libreriji tal-lingwa.

Barra minn hekk, Torvalds innota li l-eżempju tas-sewwieq ipprovdut kien inutli u ta parir biex nużaw bħala eżempju xi xufier li jsolvi waħda mill-problemi reali.

Aġġornament: Google ħabbret il-parteċipazzjoni tagħha fl-inizjattiva biex timbotta l-appoġġ Rust fil-qalba tal-Linux u pprovdiet raġunijiet tekniċi għall-introduzzjoni ta 'Rut biex tiġġieled problemi li jirriżultaw minn żbalji fil-memorja. Google jemmen li Rust huwa lest li jingħaqad ma 'C bħala l-lingwa għall-iżvilupp tal-komponenti tal-kernel Linux. L-artikolu jipprovdi wkoll eżempji tal-użu tal-lingwa Rust biex jiġu żviluppati sewwieqa tal-qalba, fil-kuntest tal-użu tagħhom fil-pjattaforma Android (Rust hija rikonoxxuta bħala lingwa appoġġjata uffiċjalment għall-iżvilupp tal-Android).

Huwa nnutat li Google ħejjiet prototip inizjali ta 'sewwieq miktub f'Rut għall-mekkaniżmu ta' komunikazzjoni interproċess Binder, li se jippermetti paragun dettaljat tal-prestazzjoni u s-sigurtà tal-implimentazzjonijiet ta 'Binder f'C u Rust. Fil-forma attwali tiegħu, ix-xogħol għadu mhux komplut, iżda għal kważi l-astrazzjonijiet bażiċi kollha tal-funzjonalità tal-qalba meħtieġa biex Binder jaħdem, ġew ippreparati saffi għall-użu ta 'dawn l-astrazzjonijiet fil-kodiċi Rust.

Sors: opennet.ru

Żid kumment