>If you bothered to follow the YouTube videos you would found the CUDA projects I mentioned.
Dude, you linked to two hours worth of video. Give people a break.
I don't give a break to people that are too lazy and then issue statements like "I also can't find any details on the CUDA project you mention".
Just clicking on the links would show the info.
https://arxiv.org/pdf/1803.04432.pdf
https://people.mpi-sws.org/~viktor/slides/2016-01-debug.pdf
A language memory model is a mathematical specification on how the language semantics map to actual CPUs and the basis how to write lock-free algorithms.
If you bothered to follow the YouTube videos you would found the CUDA projects I mentioned.
Rust currently doesn't have such mathematical model.