this post was submitted on 20 Feb 2025
186 points (97.9% liked)

Linux

50332 readers
1140 users here now

From Wikipedia, the free encyclopedia

Linux is a family of open source Unix-like operating systems based on the Linux kernel, an operating system kernel first released on September 17, 1991 by Linus Torvalds. Linux is typically packaged in a Linux distribution (or distro for short).

Distributions include the Linux kernel and supporting system software and libraries, many of which are provided by the GNU Project. Many Linux distributions use the word "Linux" in their name, but the Free Software Foundation uses the name GNU/Linux to emphasize the importance of GNU software, causing some controversy.

Rules

Related Communities

Community icon by Alpár-Etele Méder, licensed under CC BY 3.0

founded 5 years ago
MODERATORS
 

But for new code / drivers, writing them in rust where these types of bugs just can't happen (or happen much much less) is a win for all of us, why wouldn't we do this? C++ isn't going to give us any of that any decade soon, and the C++ language committee issues seem to be pointing out that everyone better be abandoning that language as soon as possible if they wish to have any codebase that can be maintained for any length of time.

Rust also gives us the ability to define our in-kernel apis in ways that make them almost impossible to get wrong when using them. We have way too many difficult/tricky apis that require way too much maintainer review just to "ensure that you got this right" that is a combination of both how our apis have evolved over the years (how many different ways can you use a 'struct cdev' in a safe way?) and how C doesn't allow us to express apis in a way that makes them easier/safer to use. Forcing us maintainers of these apis to rethink them is a GOOD thing, as it is causing us to clean them up for EVERYONE, C users included already, making Linux better overall.

And yes, the Rust bindings look like magic to me in places, someone with very little Rust experience, but I'm willing to learn and work with the developers who have stepped up to help out here. To not want to learn and change based on new evidence (see my point about reading every kernel bug we have.)

Rust isn't a "silver bullet" that will solve all of our problems, but it sure will help in a huge number of places, so for new stuff going forward, why wouldn't we want that?

top 30 comments
sorted by: hot top controversial new old
[–] HiddenLayer555@lemmy.ml 7 points 8 hours ago* (last edited 8 hours ago) (1 children)

Reminder that Linux's decision to write an entire kernel in C and not a mix of C and assembly was just as controversial back then as Rust vs C is now. The pro-assembly programmers used many similar arguments as the anti-Rust programmers (it's bloated, it's too high level for the kernel, it has a complicated compiler, it's just a pointless abstraction over what's actually happening at the processor level, it's not mature enough, if you were competent in assembly you wouldn't need to use C, if assembly is too difficult for you then you shouldn't even be developing a kernel, etc). Now Linux is hailed as one of the pioneer software projects that led the switch from assembly to C for kernel level code.

[–] lime@feddit.nu 1 points 7 hours ago* (last edited 7 hours ago)

was linux ever in majority assembly? was the C thing added on by a separate team?

[–] corsicanguppy@lemmy.ca 1 points 6 hours ago

Maintenance. The concern is maintenance.

[–] Feathercrown@lemmy.world 11 points 12 hours ago (1 children)

Anyone who replies to this with "any mistakes in C code are the developer's fault" should be banned from the kernel. I know someone't going to try it.

[–] HiddenLayer555@lemmy.ml 5 points 10 hours ago (1 children)

"We don't need TCAS on commercial airliners because any colisions are the pilot/controller's fault"

[–] Feathercrown@lemmy.world 3 points 8 hours ago
[–] m4m4m4m4@lemmy.world 43 points 1 day ago (2 children)

Phoronix's comment section is as toxic as it can be, but i found out a comment that puts into words better similar thoughts I have on this:

How about the Linux Foundation forks over a few million to fund the thing in its name?

They could hire more engineers, more testing, more QA. Yet they don't.

And while at it, maybe Mozilla or any other stakeholder with resources could revamp Rust to produce lightweight binaries, have a stable compiler and for it to be way quicker in compilation?

No? Okay, but then why do all these foundations/organizations exist? And why do they hold such vast amounts of resources, while extorting the projects they claim to help?

I'd only add that it's not only about the kernel - they are home to a project that could be in the medium-long term a serious alternative to Google's blink/Apple's webkit, and of course an alternative to the hegemony of Chrome, but they actively chose to just not give them a single cent. Yes I am talking about Servo.

[–] GrumpyDuckling@sh.itjust.works 2 points 8 hours ago

People like to be on commitees to feel important. The issue becomes what their role should actually be. Unfortunately donors end up on commitees and part of the decision making process. They have their own motivations and incompetencies.

[–] Zangoose@lemmy.world 23 points 1 day ago (2 children)

revamp Rust to produce lightweight binaries, have a stable compiler and for it to be way quicker in compilation

It really isn't that simple though. Rust's compiler isn't stable because the language itself is still being improved. This type of thing will only improve as adoption increases and real-world problems get ironed out. You can't just throw money and devs at it and expect the problem to be solved.

It's also not like the developers don't care about compile time, but the nature of the language (strict compiler checks which catch things before runtime) will inherently lead to something slower that other languages' compilers. There are probably still improvements they can make, but it's not as simple as just deciding to rewrite/revamp it and expecting massive speedups.

[–] HiddenLayer555@lemmy.ml 2 points 5 hours ago* (last edited 5 hours ago)

Every time Rust takes forever to compile something, I picture in my mind it checking every possible edge case and buffer vulrnability I didn't check and suddenly I'm a lot more okay with how long it takes.

[–] m4m4m4m4@lemmy.world -2 points 20 hours ago (2 children)

You can't just throw money and devs at it and expect the problem to be solved.

Then nobody will throw money at any project at all, because everything eventually will be solved by "magick".

Destinating more resources to that quickens and makes better that process, though, incentivating people to work on it and test it.

[–] Zangoose@lemmy.world 2 points 8 hours ago

It's not magic, it's adoption rates. I'm not saying the money or resources are useless, but as it is right now, I think more people would benefit from actually trying to use rust in more large-scale projects (like R4L, windows, android, redox, servo, etc.) and using that experience to inform actual language development. I don't think it makes sense to do a full revamp of the compiler until projects like those are actually proven. In the meantime it makes more sense to allocate funding/dev resources to those projects (or at least the open source ones)

[–] Senal@programming.dev 2 points 9 hours ago

That's one of the reasons why you get delayed or cancelled, over-budget projects that go nowhere. ( another big one is corruption and general financial shenanigans ).

if you throw a lot of money at a problem/project that doesn't have reasonable management and competent understanding of where that money could work efficiently then you're asking for trouble.

Destinating more resources to that quickens and makes better that process, though, incentivating people to work on it and test it.

That is charmingly naive, in my experience.

I'm not saying more money wouldn't help, I'm saying throwing money at it isn't generally a stand-alone solution, which is what i think the person you were replying to was trying to say.

[–] merthyr1831@lemmy.ml 44 points 1 day ago

Greg is a great level head in the kernel regarding rust, at least among the senior maintainers. I hope he can convince some of the more hostile maintainers to accept the new status quo that includes Rust in the Kernel at all levels.

[–] Kidplayer_666@lemm.ee 50 points 1 day ago (1 children)

Took way too long, but finally some support from the top leadership for rust?

[–] Ephera@lemmy.ml 36 points 1 day ago

Linus has also declared Rust as basically inevitable before, since more and more kernel maintainers retire and not many young devs learn C anymore, at least not to a proficiency where you can handle kernel development.

[–] juipeltje@lemmy.world 9 points 1 day ago (1 children)

I'm not a programmer so i don't have much skin in the game, but from how it's described it seems like a good idea to me and rust seems like a solid language to me. I do understand the concern from devs who don't know rust and don't want to learn it, but i guess that also depends on how much they would actually have to interact with it.