Кризис при популяризирането на езика за програмиране Rust в ядрото на Linux

В общността на разработчиците на ядро Linux възникнаха разногласия относно интегрирането на програмния език Rust. Кристоф Хелвиг, поддръжник на подсистемите DMA, KVM, Slab Allocator и архитектурата PowerPC в ядрото на Linux, който в миналото е бил част от техническия комитет на организацията Linux Foundation и е бил ищец в свързано с GPL съдебно дело срещу VMware, отказа да одобри пачовете, свързани с поддръжката на разработката на драйвери на езика Rust.

Предложените пачове, добавящи обвивки за функциите на подсистемата DMA, предизвикаха притеснения относно усложняването на поддръжката на кода и възможното намаляване на качеството на софтуера. Някои разработчици предпочитат да запазят програмните интерфейси на езика C, за да избегнат допълнителни усложнения.

Като причина за отказа беше изтъкнато усложняването на поддръжката на кода при наличието на обвивки на други езици и желанието да се запазят програмните интерфейси към DMA в четим вид на езика C, без разпръскване в непонятни обвивки. Кристоф предложи директно да се обръщат към оригиналния C API на DMA в всеки драйвер на езика Rust, за да не се създават допълнителни абстракции, от които хостващите ядрото ще зависят.

Въпреки изразеното намерение от разработчиците на проекта Rust for linux за напълно самостоятелна поддръжка на кода, написан на Rust, е наложено вето върху приемането на пачове.

Кристоф подчерта, че ако разработчиците искат да постигнат невъзможността на поддръжката на Linux, заради смесването на различни програмни езици в една кодова база, те трябва да го правят в своя драйвер, а не да разпространяват този "раков тумор" в основното ядро.

Същността на проблемите с поддръжката е, че Rust обвивките поставят поддържащите в зависимост от кода на Rust. На пръв поглед изглежда, че обвивките са само надстройки над C структури и функции, които не оказват влияние върху разработката и поддръжката на C кода. Но това не е така. При наличие на подобни обвивки разработчиците на подсистеми, написани на C, трябва да вземат предвид влиянието на техните промени върху продължаването на функционирането на обвивките. Всяка промяна в структурите на данни или вътрешните функции на C може да доведе до необходимост от промяна на кода на обвивките, затова промените в C кода, които оказват влияние на обвивките, трябва да се наблюдават и синхронизират с кода на Rust. Много от поддържащите не са готови да поемат допълнителна отговорност за корекция на проблемите, възникнали в кода на Rust, и не възнамеряват да влагат времето си в проследяване на състоянието на Rust обвивките.

Източник: linux.org.ru