标签：
想要了解Java锁机制、引发的线程安全问题以及数据一致性问题，有必要了解内存模型，机理机制了解清楚了，这些问题也就应声而解了。
一、主内存和工作内存
Java内存模型分为主内存和工作内存，所有的变量都存储在主内存中。每条线程还有自己的工作内存，线程的工作内存中保存了被该线程使用到变量的主内存副本拷贝，线程对变量的所有操作都必须在工作内存中进行，而不能直接读写主内存中的变量。不同的线程之间也无法直接访问对方工作内存中的变量，线程间变量值的传递均需要主内存来完成。
二、线程、工作内存和主内存
下面是java的内存模型，（参见与java虚拟机）
实际上，不同平台间的处理器架构将直接影响内存模型的结构。
在C或C++中, 可以利用不同操作平台下的内存模型来编写并发程序. 但是, 这带给开发人员的是, 更高的学习成本.相比之下, java利用了自身虚拟机的优势, 使内存模型不束缚于具体的处理器架构, 真正实现了跨平台。(针对hotspot jvm, jrockit等不同的jvm, 内存模型也会不相同)
内存模型的特征:
a, Visibility 可见性 (多核,多线程间数据的共享)
b, Ordering 有序性 (对内存进行的操作应该是有序的)
在jmm中, 通过并发线程修改变量值, 必须将线程变量同步回主存后, 其他线程才能访问到.来体现可视性(Visibility) 。通过java提供的同步机制或volatile关键字, 来保证内存的访问顺序.
三、内存间交互操作
Java内存间操作包括8种操作：
① Lock
作用于主内存的变量，把一个变量标识为一个线程独占的状态；
② Unlock
作用于主内存的变量，把一个处于锁定状态的变量释放出来；
③ Read
作用于主内存的变量，把一个变量的值从主内存传输到线程的工作内存中，以便随后的load的动作使用；
④ Load
作用于工作内存中的变量，把read的操作从主内存得到的变量值放入到工作内存的变量的副本中；
⑤ Use
作用于工作内存中的变量，把工作内存中的变量传递给执行引擎；
⑥ Assign
作用于工作内存中的变量，把从执行引擎传接收到的变量赋值给工作内存中的变量；
⑦ Store
作用于工作内存中的变量，把工作内存中的变量传送给主内存中；
⑧ Write
作用于主内存中的变量，把store操作的变量值放入主内存的变量中。
上述操作中还要满足如下原则：
1) Read和load,以及store和write不能单独出现；
2) Assign不能丢弃；
3) 不允许没有assign操作的变量从线程的工作内存中同步到主内存；
4) Use和store的操作前必须assign和load；
5) Lock和unlock成对出现，对象才会解锁；
6) 没有lock的对象不能unlock；
7) 执行Lock操作的时候，将会清空工作内存中此变量的值；
8) 执行unlock之前，必须把此对象同步到主内存中。
上面的论述初看起来有点迷糊，可以对照着模型图进行思考，就一目了然了。
标签：
原文地址：http://www.cnblogs.com/bigdatafly/p/5002604.html
