首页 > 代码库 > Java并发之内存模型-JMM

Java并发之内存模型-JMM

1、总括
     并发编程模型主要处理两个问题:线程之间如何通信及线程之间如何同步。通信:线程之间以何种机制来交换信息;同步:程序用来控制不同线程之间操作发生相对顺序的机制。

     发生线程安全性的时机:
          变量存储在内存中,变量的计算是在CUP中。如果线程A要对变量a进行计算,需要经过三步:1)把变量a从内存中读取到CPU中,2)对变量a进行计算,3)把变量a写入到内存中。当线程A执行到第二步时,线程B也要对变量a进行计算,这时B从内存中读取到的值就是线程A写入到内存之前的值,脏数据就此产生了。

     在命令式编程中主要有两种通信机制:共享内存和消息传递。

2、共享内存的并发模型:
          通信:线程之间共享内存的公共状态,线程之间通过读-写内存中的共享状态来进行隐式通信。所谓隐式:线程什么时候可以读取共享状态对程序员来说是透明的。
          同步:程序员必须指定某段代码或某个方法必须在线程之间互斥执行。所以说同步是显式的。

3、消息传递的并发模型:
          通信:线程之间没有公共状态,所以线程直接必须明确的发送消息进行显式的通信
          同步:消息的发送必须在消息的接收之前,因此同步是隐式的。

4、JAVA
     Java的内存模型是共享内存,所以说Java的通信是隐式的,同步是显式的。

5、Java中,所有的实例域、静态域和数组元素都是存储堆中的,堆内存在线程之间是共享的。本地变量(存储在虚拟机栈的局部变量表中)、异常处理器参数不会在线程直接共享。
     另外:在JVM中,虚拟机栈、程序计数器、方法区存储的数据都是线程私有的。随线程而生,随线程而灭。

6、Java线程之间的通信由JMM控制,JMM决定了一个线程对共享变量的写入何时对另一个线程可见。JMM定义了线程和主内存之间的关系:线程之间的共享变量存储在主内存(main memory)中,每个线程都有一个私有的本地内存(Local memory),本地内存中存储了共享变量的副本。本地内存是JMM的一个抽象概念。

7、JMM抽象示意图
     如果线程A要和线程B通信,需要经过以下2个步骤:
            1)线程A把本地内存中的变量更新到主内存中
            2)线程B把主内存中的变量读取到本地内存中

8、下图描述上面两个步骤
本地线程A和B中都有主内存中共享变量的副本X。假设初始三个内存中的值都是0,线程A执行时把更新后X的值(假设是1)临时保存到本地内存中。如果A要和B通信,线程A会把本地内存中修改后的值刷新到主内存中。随后线程B到主内存中读取线程A更新后的X值,此时线程B的本地内存中X的值也是1了。


9、关键词
     编译器优化重排序,指令级并行的重排序、内存系统重排序、处理器重排序、内存屏障。

10、volatile\Synchronized 关键词会屏蔽重排序。

参考资料:infoq.com/深入理解JMM

































     

     

Java并发之内存模型-JMM