想要了解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之前,必须把此对象同步到主内存中。
上面的论述初看起来有点迷糊,可以对照着模型图进行思考,就一目了然了。