Rust in the Linux kernel (Google security blog)

Posted Apr 17, 2021 12:58 UTC (Sat) by mathstuf (subscriber, #69389)
In reply to: Rust in the Linux kernel (Google security blog) by jezuch
Parent article: Rust in the Linux kernel (Google security blog)

> One thing in particular is that with the ownership model you can always say what is aliased to what. As a result, the compiler wants to tell LLVM a lot that this particular thing is not aliased. It wants, but it can't, because it exposed so many bugs in LLVM, which are never hit with C and C++, where you have to assume that everything can be aliased always.

Indeed. That issue[1] got closed recently though, so there's hope.

> As I understand it, Rust is not the fastest game in town mostly because the bitcode it generates is so lousy.

I thought it was that the bitcode was noisy. As more optimizations move to MIR, LLVM gets less bitcode to compile and can do other optimizations. Or maybe that's related to compiler performance more than runtime performance.

[1]https://github.com/rust-lang/rust/issues/54878

Rust in the Linux kernel (Google security blog)

Posted Apr 19, 2021 12:45 UTC (Mon) by jezuch (subscriber, #52988) [Link]

> Indeed. That issue[1] got closed recently though, so there's hope.

Oh cool! After only 2,5 years! :D