207
Linux 7.0 Officially Concluding The Rust Experiment
(www.phoronix.com)
A community for everything relating to the GNU/Linux operating system (except the memes!)
Also, check out:
Original icon base courtesy of lewing@isc.tamu.edu and The GIMP
Can someone explain to me why Rust has been so controversial for the GNU/Linux kernel? One thing that I personally don't like is that the equivalent Rust-made (equivalent) GNU tools are licensed under MIT (or Apache? - something permissive like that) instead of GPL. If they were under GPL, I'd be more than happy. But since the kernel is under GPL regardless of C or Rust, what is the reason for the backlash? Sounds like a very promising language indeed.
From what I have ready the issue is as follows:
Rust is a memory safe language, because of this Rust enthusiast have been pushing for it. Not a problem there.
The issue is that some have taken it to an extreme, evangelical level where they expect name dropping Rust should open every door and blindly accept every PR
In reality, Rust rewrites can (and have) introduced bugs because you can make shitty code even with the best languages out there
Most common reason I saw was not wanting mixed languages across the code base.
If you're a Rust maintainer and you're given a C patch (or reverse) then what do you do with it/confirm it's not bringing other bugs.
Other issues are that it's heavier, hurts compatibility, and doesn't function like C.
This is a very valid reason, indeed.
Huge toolchain limits compatibility to other platforms.
The main real argument is that if new contributors write code and then leave for other projects then old contributors still have to maintain that code, a task that gets really hard when code is written in a different paradigm entirely.
One big practical criticism is that it requires a different compiler which is supported on far fewer platforms than GCC
The entire controversy is that its different.
What's the advantage of GPL? As far as I'm aware MIT and Apache are both FOSS. But I'm new to this and still learning.
I don't know what the big deal about Rust is. It seems like a cool language to me...
MIT: do whatever you want, I don't care
GPL: You can modify this freely, but your product must also be FOSS if you modify this.
Makes sense. Thanks!
GPL enforces that all derivatives are FOSS and GPL as well. With permissive licenses, like MIT and Apache, a company is free to take the code, change/develop it further (or leave it as is) and make it closed-sourced without sharing anything with anyone. Regarding Rust, I am with you. Hence my question.
I see. That makes sense.
So if the kernel were written in a language licensed under GPL, for instance, Ubuntu would either have to ditch their proprietary blobs or make their own kernel?
If I had to guess, the only reason Rust might be controversial to some people is probably because they're used to C and likely set in their ways. Someone who's been programming since the 80s and doesn't want to learn a new language cause maybe they'll feel like a newbie again and can't be smug about knowing every possible command in C anymore. Just a guess...
The kernel is licensed under GPL, specifically only version 2. And it can't be relicensed, since it contains code from many people. The poster above is complaining about command-line utilities that are being rewritten in Rust.
Binary-only modules can be used with the kernel, because ~~they don't use the kernel's source, only the API or~~ a GPL middleware is made that is compiled with kernel header files, but provides an intermediary API for the binaries. I'm not quite versed in what exactly is allowed and prohibited by GPL.
Edit: Linux-syscall-note explicitly places the boundary of 'derivative works' at syscalls — so userspace programs aren't considered derivative and don't have to be licensed under GPL, but kernel modules are.
I'm pretty sure that code written in any language can be licensed under the GPL. That's why I cannot understand the backlash against Rush for the Kernel.
I don't understand the backlash against using an MIT/Apache licence at all. Those licenses are far more permissive than GPL but completely compatible.
The only downside is that someone could fork the code and close source it, but the original code still remains available and that's where the community will stay.
A lot of things can go wrong. A company can take the free code, change it slightly to work only with a proprietary file type and then use their resources to promote their version and make their proprietary filetype and proprietary program the industry standard. Unfortunately this sounds too familiar. There are even cases that the filetype is an open standard but obfuscated to make it impossible for anyone (including the original FOSS) to open/save it.
It's pretty much undeniable that the GPL has been a massive driving force behind companies giving back to projects, and it's similarly undeniable that MIT-licensed projects have fewer comparable contributions.
Sure, the community can stay on the open version, but it will still be companies mostly taking without giving back.
Iirc GPL is how we have OpenWRT. Because a company used Linux in their routers, but forgot to release the code initially until sued by FSF or whomever.
Imagine, for example, that your phone has forks of Linux utilities with mysterious closed-source functionality added here and there. And you'd need to reverse-engineer that functionality to have LineageOS and such, instead of just taking the source-code.
Proprietary apps are prone to enshittification, and permissive licenses allow vendors to build their proprietary software on open-source software without giving anything in return.
From the perspective of somebody who's actually hacked on Linux: Most Linux maintainers, like most programmers in general, are full of machismo stemming from the inherent difficulty of writing C. It is extremely difficult to write correct C and nobody can do it consistently, so those maintainers are heavily invested in the perception that they are skilled with C. Rust is much easier to write and democratizes kernel hacking, which is uncomfortable for older maintainers due to the standard teenagers-vs-parents social dynamics. Worse, adapting various kernel interfaces so that they are Rust-friendly has revealed that the pre- and postconditions of interface methods were not known before; there is existing sloppiness in the kernel's internals which is only visible because of Rust-related cleanups.
Note that Linux is not a GNU project. GNU's kernel project is GNU Herd. "GNU/Linux" refers to Linux userlands populated with GNU packages. It's important not to be distracted by this; the kernel is agnostic towards userland and generally is compatible with any loadable executable that uses Linux's public syscall interface, so the entire discussion of Rust in the kernel is separate from anything going on in userland.
Most siblings are wrong! PRs written in Rust can be rejected. There are already multiple non-C languages in the kernel. Rust is sufficiently available on the platforms where it will be required for building kernel. Maintainers are only added after they have shown themselves to be socially reliable and they can be removed by other maintainers if they are unresponsive. The only correct sibling points out that Rust is different.