Java内存模型与并发
1、概念
- TPS:每秒事务处理数,它代表着一秒内服务端平均能响应请求总数,而TPS值与程序的并发能力又有非常密切的关系;
- 效率与一致性:在多处理器系统中,每个处理器都有自己的高速缓存,而它们又共享同一个主内存,当多个处理器的运算任务都涉及同一块主内存区域时,将可能导致各自的缓存数据不一致。JVM试图定义一种Java内存模型来屏蔽掉各种硬件与操作系统的内存访问差异,以实现让Java程序在各种平台下都能达到一致的内存访问效果。
- Java内存模型:主要目标是定义程序中各个变量的访问规则,即在虚拟机将变量存储到内存和从内存中取出变量这样的底层细节。此处的变量与编程中所说的有所区别,它包括实例字段、静态字段和构成数组对象的元素;但不包括局部变量与方法参数;,
- 主内存与工作内存:Java内存模型规定了所有的变量都存储在主内存,每条线程还有自己的工作内存,线程的工作内存中保存了该线程使用到的变量的主内存副本拷贝,线程对变量的所有操作(读取、赋值)都必须在工作内存中进行,而不能直接读写主内存的变量;不同的线程之间也无法直接访问对方工作内存中的变量,线程间变量值的传递均需要通过主内存来完成;(volititle变量依然有工作内存的拷贝)
2、内存间的交互操作
关于主内存与工作内存之间具体的交互协议,即一个变量如何从主内存拷贝到工作内存、如何从工作内存同步回主内存之类的实现细节,Java内存模型定义了8种扣作来完成,虚拟机实现时必须保证下面提及的每一种操作都是原子的、不可再分的;
- lock(锁定)作用于主内存的变量,它把一个变量标识为一条线程的独占的状态;
- unlock(解锁)作用于主内存的变量,它把一个处理锁定状态的变量释放出来,释放后的变量才可以被其他线程锁定;
- read(读取)作用于主内存的变量,它把一个变量的值从主内存传输到线程的工作内存中,以便随后的load动作使用;
- load(载入)作用于工作内存的变量,它把read操作从主内存中得到的变量值放入工作内存的变量副本中;
- use(使用)作用于工作内存的变量,它把工作内存中一个变量的值传递给执行引擎,每当虚拟机遇到一个需要使用到变量的值的字节码指令时将会执行这个操作;
- assign(赋值)作用于工作内存的变量,它把一个从执行引擎接收到的值赋给工作内存的变量,每当虚拟机遇到一个给变量赋值的字节码指令时执行这个操作;
- store(存储)作用于工作内存的变量,它把工作内存中一个变量的值传送到主内存中,以便随后的write操作使用;
- write(写入):作用于主内存的变量,它把store操作从工作内存中得到的变量的值放入主内存的变量中;
如果要把一个变量从主内存复制到工作内存,那就要顺序地执行read和load操作,如果要把变量从工作内存同步回主内存,就要顺序地执行store和write操作;Java内存模型只要求上述两个操作必须按顺序执行,而没有保证是连接执行。也就是说,read和load之间、store和write之间是可插入其他指令的.
执行上述8种基本操作时还要满足如下规则:
- 不允许read和load、store和write操作之一单独出现,即不允许一个变量从主内存读取了但工作内存不接受,或者从工作内存发起回写了但主内存不接受的情况出现;
- 不允许一个线程丢弃它的最近的assign操作,即变量在工作内存中改变了之后必须把该变化同步回主内存;
- 不允许一个线程无原因地(没有发生过任何assign操作)把数据从线程的工作内存同步加主内存中;
- 一个新的变量只能在主内存中“诞生”,不允许在工作内存中直接使用一个未被初始化(load\read)的变量;use、store之前必须先read\load;
- 一个变量在同一个时刻只允许一条线程对其lock操作,但lock操作可以被同一条线程重复执行多次,执行多少次lock就得执行多次unlock,变量才能解锁;
- 对一个变量执行unlock操作之前,必须先把此变量同步回主内存中;
3、volatile变量
volatile是Java虚拟机提供的最轻量级的同步机制;它具备特性:1)对所有线程的可见性(即当一条线程修改了这个变量的值,新值对于其他线程来说是可以立即得知的); 2)非原子性(非原子操作,在并发下不能保证一致性);
synchronized同步块的可见性是由“对一个变量执行unlock操作之前,必须先把此变量同步回主内存中”;volatile和synchronized保证线程之间操作的有序性。volatile关键字本身就包含了禁止指令重排序的语义,而synchronized则是由“一个变量在同一个时刻只允许一条线程对其进行lock操作”。
4、线程状态
- 新建(New)创建后尚未启动的线程处理这种状态;
- 运行(Runable)
- 无限期等待 (Waiting)处于这种状态的线程不会被分配CPU执行时间,它们要等待被其他线程显示的唤醒。以下方法会让线程陷入无限期的等待状态; Object.wait(没有设置时间) ; Thread.join(没有设置时间); LockSupport.park()
- 限期等待(Timed Waiting) 处于这种状态的线程也不会被分配CPU执行时间,不过无须等待被其他线程显式地唤醒,在一定时间之后它们会由系统自动唤醒。Thread.sleep(时间) ; Object.wait(设置时间) ; Thread.join(设置时间);
- 阻塞(Blocked)与等待的区别是:阻塞是在等待着获取到一个排他锁;而等待是等待一段时间,或者唤醒动作的发生。
- 结束(Terminated)已终止线程的线程状态,线程已结束执行;