Re: The Case for Rust (in any system)

On 6 Sep 2024, at 9:41, David Chisnall wrote:
> The strategy document that I coauthored at Microsoft recommended the 
> following:
>
>  - C++ conforming to the Core Guidelines and with static analysis for 
> existing C/C++ projects with the C parts incrementally migrated to 
> C++.

While I’d be interested in seeing Rust demonstrated there are clearly 
still some practical issues to work out before we can, even in user 
space.

So, at the risk of derailing the Rust conversation, I want to ask about 
C++.

We already ship user space C++ code, what’s stopping us from doing so 
for kernel code?
If we can get some of the benefit of a more modern language with much 
less effort would that be a worthwhile step? RAII would not *always* 
make reasoning about locks easier, but it would in at least 95% of 
cases.

What would we need to do to be able to use C++ in the kernel?

Best regards,
Kristof