JVM规定：Java的内存模型规定了所有的变量都存储在主内存中。每个线程有自己的内存空间，线程的内存空间中保存了线程需要用到的变量，（这些变量是从主内存中拷贝过来的）线程对变量的操作必须要在自己的内存空间中进行，所以不同的线程之间无法访问其他线程的内存空间，它们之间的值传递需要通过内存。
指令重排序：处理器为了提高程序的运行效率，可能会对输入代码进行优化，不能保证程序中的语句执行的先后顺序和代码中的一致，但是保证程序的最终执行的结果是一致的。那么是如何保证的呢？处理器在重新排序的时候会考虑到指令之间的数据依赖性。（保证单线程最终结果的一致性，并发程序可能会影响）
如何保证并发程序执行的有序性？使用synchronized、lock、以及volatile关键字（volatile保证一定的有序性）。synchronized和lock关键字是保证同一时间只有一个线程执行，从而保证了并发程序执行结果的一致性。synchronized因为具有互斥锁，所以在某种程度上说，可以保证原子性。
happens-before原则：Java内存模型中具备一些先天的有序性，不需要处理就可以让程序顺序执行。如何指令的操作可以从这个原则推导出来，程序可以保证有序性：①程序次序规则：一个线程内，先在前面的代码先执行。②锁定规则：针对于获取同一个锁，一个unlock操作发生在lock的操作之前。③volatile变量规则：针对同一个变量，写操作发生在读操作之前。④传递规则：a发生在b之前，b又发生在c之前，a在c之前。
volatile：可见性。具体参考：http://www.importnew.com/24082.html
CAS算法：内存值--V，预估值--A，更新值--B。当V==A时，将B赋值给V，保证了原子性。预估值和内存值都是从内存中读出来的，效率高，失败了不会阻塞，而是重新尝试。concurrentHashMap采用CAS算法。是经典的乐观锁的实现。乐观锁：假设不会发生并发抢占资源的情况，只是在提交操作的时候，检查数据的一致性。（简单来说，实现乐观锁的方法就是修改表的时候给表加一个版本号，比对版本号进行更新）
Java的内存模型：http://blog.csdn.net/suifeng3051/article/details/52611310
