There are. They're called memory models. I know Java's is pretty readable (see below). I think C and C++ have them too now. But when you're building on these th

There are. They're called memory models. I know Java's is pretty readable (see below). I think C and C++ have them too now. But when you're building on these things there's always lots of room to get them wrong! [0]: https://en.wikipedia.org/wiki/Java_memory_model https://en.wikipedia.org/wiki/Java_memory_model [1]: https://docs.oracle.com/javase/specs/jls/se18/html/jls-17.html#jls-17.4 https://docs.oracle.com/javase/specs/jls/se18/html/jls-17.ht...