On Thu, Aug 5, 2021 at 8:25 PM Phil Bouchard <boost_at_[hidden]> wrote:
>
> - The memory manager has the property of being deterministic so no new random race conditions are involved, as such with garbage collector.

That is a no then. Rust guarantees the absence of data races and UB in general.

> - The only drawback is that sizeof(root_ptr) = sizeof(void *) x 4... but can be shrink to sizeof(void *) x 3;

So every pointer in the kernel would be triplicated? That is far from
ideal, even before discussing time costs.

Rust allows us to have more guarantees, without such a cost.

Cheers,
Miguel