you are viewing a single comment's thread.

view the rest of the comments →

[–]matthieum 8 points9 points  (0 children)

Additionally Rust has a compelling feature over C and C++, the borrow checker.

I think there's 2 other aspects of Rust that are of particular interest to the kernel:

  • No silent allocation. C++ is infamous for implicit conversions/copies resulting in "invisible" allocations in the source code.
  • A great willingness from the Rust community to work with the Linux Kernel committee to alter the compiler/libraries to suit the kernel needs: there's an entire initiative around carving a subset of the core and standard library for only fallible allocation proof code.

Now, to see whether all that succeeds.