顺序一致性内存模型

顺序一致性为程序员提供了极强的内存可见性保证。它有两大特征。
1 一个线程中的所有操作必须按照程序的顺序来执行。
2不管程序是否同步，所有的程序都只能看到一个单一的操作执行顺序，在顺序一致性内存模型中，每个操作都必须原子执行且立刻对其他所有线程可见。

对于未同步的程序来说，顺序一致性模型的整体执行顺序是无序的（有很多个不同的线程），单个线程的执行顺序整体上是有序的，但是所有线程只能看到一个一致的操作执行顺序。对于jmm来说，不但整体的执行顺序是无序的（有多个线程），而且单线程的执行顺序是无序的，还有所有线程看到的操作执行顺序可能也是无序的。线程执行完后的结果也无法预知。

对于同步程序来说，顺序一致性操作模型不但单个程序的执行顺序是有序的，而且整体的（所有线程）执行顺序有序，所有线程可以看到一个一致的操作执行顺序。根据jmm规范，该程序的执行结果和顺序一致性模型中的结果一致。
jmm在具体实现上的基本方针是：在不改变（正确同步）程序执行结果的情况下，尽可能为编译器和处理器的优化打开方便之门。