在并发编程中,我们需要知道两个关键性的问题,线程之间是如何通信以及线程之间如何同步。通信时指线程之间以何种的机制来交换信息。
了解一下java的内存模型
在java中,可以分为按照内存是否可以共享分为:
1.可共享内存
共享变量包含了实例域、静态域和数组元素存储在堆内存中,堆内存在线程之间共享.
2.不可共享内存
局部变量(Local variables),方法定义参数(java语言规范称之为formal method parameters)和异常处理器参数(exception handler parameters)不会在线程之间共享,它们不会有内存可见性问题,也不受内存模型的影响。
java内存模型(jmm)内容抽象
1.描述了java程序中各种变量(线程共享变量)的访问规则,以及在jvm中将变量存储到内存和从内存中读取出变量这样的底层细节。
2.所有的变量都存储在主内存(main memory)中。
3.每个线程都用自己独立的工作内存(local memory),里面保存该线程使用到的变量的副本。
Java内存模型的抽象示意图如下:
java内存模型规定
1.线程对共享内存的所有操作都必须在自己的工作内存中,不能直接从主内存中读取。
2.不同线程中无法直接访问其他线程工作内存中的变量,线程间变量值的传递需要通过主内存来完成。
共享变量可见性实现原理(线程1与线程2直接通信的步骤)
线程1的共享变量的修改想被线程2的共享变量及时看到,需要需要两个步骤。
1.将工作内存1中更新过的共享变量刷新到主内存中。
2.将主内存中最新的共享变量的值更新到工作内存2中。
示意图说明步骤:
由此可以更好的理解下面的两个定义:
1.内存的可见性:当一个线程对共享变量值的修改,能够及时的被其他线程看到。
2.共享变量:如果一个变量在多个线程的内存工作内存中都存在副本,那么这个变量就是这几个线程的共享变量。