Java内存模型
Java线程之间的通信是完全透明的,内存可见性问题很容易出现,本系类文章重点分享一下Java的内存模型相关的知识。
Java线程的通信与同步机制
在并发编程中,需要处理的两个关键问题是:线程之间的通信机制和线程之间的同步机制。通信是指线程之间如何进行交换信息,同步是指程序中用于控制不同线程之间操作发生相对顺序的机制。在命令式编程中有两种实现机制:基于共享内存和消息传递。
在共享内存的并发模型中,线程之间共享程序的公共状态,通过写-读内存中的公共状态进行隐式通信,而它的同步是要显式的进行。程序员需要显式指定某个方法或者某段代码需要在线程之间互斥执行。
在消息传递的并发模型中,线程之间没有公共状态,线程之间必须通过发送消息来显示进行通信,由于消息的发送必须在消息的接收之前,因此其同步方法是隐式的。
Java的并发采用的是共享内存模型,所以要写好Java并发程序需要理解Java线程的隐式通信机制和同步方法。
Java内存模型的抽象结构
在Java中,所有实例域、静态域和数组元素都存储在堆内存中,堆内存在线程之间是共享的。局部变量、方法参数和异常处理器参数为线程私有的,它们不会有内存可见性问题。
Java线程之间的通信由Java内存模型(JMM)控制,JMM决定一个线程对共享变量的写入何时对另一个线程可见,从抽象角度来看,JMM定义了线程和主内存之间的抽象关系:线程之间的共享变量存储在主内存中,每个线程都有一个本地内存,本地内存中存储了该线程以读/写共享变量的副本。而本地线程是JMM的一个抽象概念,并不真实存在。它涵盖了缓存、写缓冲区、寄存器以