I would love to read something succinct about how Rust handles locking and pointers.
All I can find is long books that go into uninteresting detail or short articles that tell me how good Rust is.
For memory, my impression is that Rust is like Visual Basic, you use lots of dynamic arrays rather than things like linked list. Plus maybe smart pointers with counters. (Plus the trivial case like a string object with an unshared pointer to an array of characters.)
For locking, if you use shared memory there is a deep problem. The only really good solution is ACID as used in databases, which involves locking, guaranteed serializable, deadlock detection with rollback etc. using transactions, but is too heavy for a kernel. ACID copies data, it is pointers that are hard.