Rusty Memory Model


It has been discussed before that we need a memory model for Rust. We have the beginnings of one in the nomicon, but unfortunately it’s pretty unclear and incomplete. I’ve begun one here, but it’s also in it’s beginning steps. I think it’s starting to get the right ideas. It’s modeled after the C++ memory model a little bit, but of course all references are noalias. Also, I haven’t touched multithreading yet. Please, open issues, talk to me on irc, open pull requests.