Stabilizing per-VMA locking

Posted Jul 20, 2023 14:02 UTC (Thu) by khim (subscriber, #9252)
In reply to: Stabilizing per-VMA locking by sima
Parent article: Stabilizing per-VMA locking

>But for that to work you need to understand your ownership model clearly, otherwise you can't encode it in the type system.

And if you couldn't do that then your program can not be compiled and thus wouldn't have any bugs.

The question is not whether Rust may prevent such bugs. It absolutely could do that, it's designed for that and it works well.

The question is whether price is too high and if code which would satisfy Rust compiler would also satisfy performance demands of kernel developers, too.

That is still an open question, that's true.