关于多线程导致数据不一致的情况的思考

这里我要引入一个比较不是很常见的Java 内存模型（JMM java Memory Model），线程基础数据会存放在一个自身对应的线程栈中，如果两个线程需要交互必须要通过共享内存中的变量进行。才能够达到线程间通信的效果。但是由于JVM可以对他们进行任意排序以提高程序的性能。同时处理器也会对指令进行优化。这些操作会导致在多线程环境下数据变得不可靠。因为指令的顺序因为处理器的优化导致了一些不稳定的因素。数据可见与不可见的解析，当数据变化时，另外一个线程中的变量能够感知，叫做可见，当一个线程发生改变时，另外一个线程此时无法感知到数据，这是叫不可见。如下图所示的JMM，当一个线程发生改变时，共享内存中的变量在线程本地发生了变化，但是没有同步到共享内存变量中。这个时候线程B的本地变量也没有发生改变。这个时候的不可见性导致了数据的不正确。

    因此在多线程环境下需要对数据进行同步。主要有两个方法可以解决数据不同步的问题。

1、关键字synchronized，当有线程访问这个对象时，会先进行对象的同步操作，从共享内存中同步到本地内存中，当修改这个对象释放synchronized时会同步本地的变量到共享内存中。这样就可以达到同步数据的目的。

2、

volatile关键字可以保证变量的可见性，因为对volatile的操作都在Main Memory中，而Main Memory是被所有线程所共享的，这里的代价就是牺牲了性能，无法利用寄存器或Cache，因为它们都不是全局的，无法保证可见性，可能产生脏读。

volatile还有一个作用就是局部阻止重排序的发生，对volatile变量的操作指令都不会被重排序，因为如果重排序，又可能产生可见性问题。

                                                                                 

                                                                                                                                   （图来源在最后面的链接）

相关链接：

http://m.jb51.net/article/49699.htm

https://dzone.com/articles/multithreading-and-java-memory

http://www.infoq.com/cn/articles/java-memory-model-1