Christoph Hellwig, olùtọ́jú àwọn ẹ̀ka DMA, KVM, Slab Allocator, àti PowerPC architecture subsystems nínú kernel Linux, принципиально отказавшийся принимать в ядро Rust-обвязки для подсистемы DMA, подключился к обсуждению правил сопровождения Rust в составе ядра, опубликованных проектом Rust for Linux. По мнению Кристофа подобные правила бесполезны, пока они не согласованы с сообществом и не включены в документацию к ядру.
Christoph tun tọka si pe awọn ofin n ṣalaye ni aṣiṣe pe awọn olutọju le ṣe awọn ipinnu tiwọn nipa boya lati ṣafikun koodu ti o ni ibatan si ipata ninu awọn eto abẹlẹ wọn. Gẹgẹbi Christoph, Linus Torvald sọ ni ibaraẹnisọrọ ikọkọ pe o pinnu lati gba koodu Rust sinu ekuro, laibikita awọn atako ti awọn olutọju. Nitorinaa awọn olupilẹṣẹ kernel ati awọn olutọju yoo ni bayi ni lati koju ipata boya wọn fẹ tabi rara.
Christoph tun ṣe atunwi lafiwe ti awọn ohun elo Rust ti ntan si tumọ alakan kan ti yoo tan kaakiri si gbogbo awọn eto inu ekuro ati yori si pipin. Ipilẹṣẹ naa wa lati inu nkan kan si iṣẹ akanṣe ti a kọ ni awọn ede pupọ, laisi itumọ asọye ti ede wo ni o yẹ ki o lo nigbati. Ni ibamu si Christoph, ṣiṣẹ pẹlu iru ipilẹ koodu ti o dapọ ti di alaburuku rẹ ti o buruju, nitori pe ni iru agbegbe yii o wa ni atunkọ nigbagbogbo ti koodu lati ede kan si ekeji ati lẹhinna pada lẹẹkansi.
Lákòókò kan náà, Christoph béèrè pé kó ṣàlàyé ìdí tí a fi ń fi Rust sínú kernel fún òun. Ti ibi-afẹde ba ni lati yanju awọn iṣoro aabo ti o dide ni iṣakoso iranti ipele kekere, lẹhinna igbesẹ akọkọ ni lati ṣe imudojuiwọn koodu to wa tẹlẹ. Ni fifunni pe awọn olutọju fesi ni irora si paapaa awọn nkan bintin bii awọn sọwedowo aponsedanu odidi, koyewa bi eniyan ṣe le di aafo laarin apakan kan ti ekuro ti ko gba paapaa awọn ofin aabo ti o rọrun ati apakan miiran ti o faramọ awọn ofin to muna. Ti ibi-afẹde naa ba ni irọrun idagbasoke awakọ, lẹhinna iṣafihan atilẹyin fun ede miiran yoo ṣafikun iṣẹ tuntun nikan ati mu iwuwo pọ si lori awọn eniyan ti o ti kojọpọ tẹlẹ ti o ṣetọju awọn amayederun kernel ni iṣẹ ṣiṣe.
Fun awọn olufojusi ti iṣafihan Rust sinu ekuro, wọn lorukọ awọn ibi-afẹde wọnyi:
- Kikọ koodu titun ni ipata yoo dinku eewu ti awọn aṣiṣe iranti ati awọn ipo ije, ati imukuro diẹ ninu awọn aṣiṣe oye.
- Awọn olutọju yoo ni anfani lati ni irọrun ṣe atunyẹwo awọn ayipada ati awọn modulu atunṣe ti o da lori awọn iṣeduro ti a pese nipasẹ ede Rust.
- Nini awọn abstractions ti o lo awọn ẹya ede Rust ilọsiwaju yoo jẹ ki o rọrun lati ṣẹda awọn awakọ ati awọn modulu tuntun.
- Atilẹyin fun ede ode oni yoo fa awọn olukopa tuntun si idagbasoke ti mojuto.
- Применение возможностей инструментария Rust упростит выполнение требований к документированию кода. Например, в проекте Rust for Linux введено требование по обязательному документированию публичных API, требований к безопасности, unsafe-блоков и инвариантов типов.
orisun: opennet.ru
