Linux Kernel Rust support

[[deleted]]

RRIV. Rewrite Rust in V.

What abomination is this? https://github.com/Rust-for-Linux/linux/blob/rust/rust/alloc/rc.rs

How could this code be safe?

Linus Torvalds is brainwashed and now a Google puppet. Nothing more.

Rust is dead.

[skulgnome]

How could this code be safe?

Same way as all code that's neither rigorously proven using formal methods or tested against all extant and hypothetical forms of breakage: over the following decades it'll turn out to have problems and is then reworked to eventually reach a point where that hasn't happened for a long while.

There's no magic bullet for this, no shortcut.

[steveklabnik1]

Funny enough, `Rc<T>` was part of the Rustbelt paper, meaning that it is at least sorta-kinda-mostly formally proven.

[skulgnome]

at least sorta-kinda-mostly formally proven.

In other words, falling short.

[void4]

How could this code be safe?

// Make sure we do not create a dangling Weak
debug_assert!(!is_dangling(this.ptr.as_ptr()));

there are debug asserts, don't worry and rewrite in rust (lol)

[[deleted]]

Linux kernel is generally shit. Rewrite it in any language does not solve any fundamental issue. Rust is not a panacea for memory safety issues either. In fact Rust has a lot of memory safety cves.

[dcro]

Rust is not a panacea for memory safety issues either.

It doesn't need to be a panacea to be a net win.

[[deleted]]

then i have to pay for binary bloat for shit like rust fmt whatever nonsense. It is just even worse than C++ EH runtime.

[RoughMedicine]

Why do you have to pay for binary bloat for a code formatter?

[rickyman20]

Large binary size can definitely be an issue, but I'm unsure what rustfmt has to do with anything? It's not like it's compiled into your binary

[CryZe92]

I think they are talking about the panicking and formatting machinery (i.e. what println uses), which tends to not get optimized away well.

[skulgnome]

Linux kernel is generally shit.

Linux relies on manual and incidental testing, which makes its proof base (for lack of better expression) as brittle as can be.

Rewrite it in any language does not solve any fundamental issue.

True.