JVM
Java运行时数据区
-
程序计数器 :指向当前线程正在执行的字节码指令。线程私有。
-
虚拟机栈:虚拟机栈是Java执行的内存模块。每个方法被执行的时候,都会创建一个栈帧,把栈帧压入栈,当方法正常返回或者抛出未捕获的异常时,栈帧就会出栈。
- 栈帧:栈帧存储方法的相关信息,包含局部变量表,返回值,操作数栈,动态链接
1. 局部变量表:包含了方法执行过程中的所有变量。局部变量数组所需要的空间在编译期间完成分配,在运行期间不会改变局部变量数组大小。
2. 返回值:如果有返回值的话,压入调用者栈帧中操作数栈中,并调整PC计数器的值以指向方法调用指令后面的一条指令等。
3. 操作数栈: 操作变量的内存模型。操作数栈的最大深度在编译的时候已经确定(写入方法区code属性的max_stacks项中)
4. 动态链接: 每个栈帧都持有在运行时常量池中该栈帧所属方法的引用,持有这个引用是为了支持方法调用过程中的动态链接。 - 线程私有
- 栈帧:栈帧存储方法的相关信息,包含局部变量表,返回值,操作数栈,动态链接
-
本地方法栈:
- 调用本地的native的内存模型
- 线程独享
-
方法区:用于存储已被虚拟机加载类的信息,常量,静态变量,即使编译后的代码等数据。
- 运行时常量池
- 线程共享
-
堆(Heap):JAVA对象存储的地方
- JAVA堆是虚拟机管理的内存最大的一块
- JAVA堆是所有线程共享的区域
- 在虚拟机启动创建
- 此内存区域的唯一目的就是存放对象实例,几乎所有对象实例都在这里分配。存放new生成的对象与数组
- JAVA堆垃圾收集器管理的内存区域,因此很多时候称为"GC堆"
Java内存模型
-
JAVA的并发采用"共享内存"模型,线程之间通过共享内存的公共状态进行通讯。多个线程之间是不能通过直接传递数据交互的,它们之间只能通过共享变量实现。
-
主要目的是定义程序中各个变量的访问规则
-
Java内存模型规定所有变量都存储在主内存中,每个线程都有自己的工作内存。
- 线程的工作内存中保存了被该线程使用到的变量的拷贝(从主内存拷贝过来),线程对变量的所有操作都必须在工作内存中执行,而不能直接访问主内存中的变量。
- 不同线程之间无法直接访问对方工作内存的变量,线程间变量值的传递都要通过主内存来完成。
- 主内存主要对应Java堆中实例数据的部分。工作内存对应于虚拟机栈中的部分区域。
-
JAVA线程之间的通讯由内存模型JMM(Java Memory Model)控制
- JMM决定一个线程对变量的写入何时对另一个线程可见
- 线程之间共享变量存储在主内存中
- 每个线程有一个私有的本地内存,里面存储了读/写共享变量的副本
- JMM通过控制每个线程的本地内存之间的交互,来为程序提供内存可见性保证。
-
可见性、有序性:
- 当一个共享变量在多个本地内存中有副本时,如果一个本地内存修改了该变量的副本,其他变量应该能够看到修改后的值,此为可见性。
- 保证线程的有序执行,这个为可见性(线程安全)。
-
内存间交互操作:
- lock(锁定):作用于主内存变量,把一个变量标识为一条线程独占状态。
- unlock(解锁):作用于主内存变量,把一个处于锁定状态的变量释放出来,释放后的变量才可以被其他线程锁定。
- read(读取): 作用于主内存变量,把一个主内存的变量读取到工作内存中。
- load(载入):作用于工作内存,把read读取到工作内存中的变量载入到工作内存的副本中。
- use(使用):作用于工作内存,把一个工作内存中的变量传递给一个执行引擎。
- assign(赋值):作用于工作内存,把执行引擎接受到的值赋值给工作内存中的变量。
- store(存储):把工作内存的变量的值传递给主内存
- write(写入):把store操作的值入到主内存的变量中
-
注意:
- 不允许read、load、store、write操作之一单独出现
- 不允许一个线程丢弃assign操作
- 不允许一个线程不进行assign操作,就把工作内存中的值同步到主内存中
- 一个新的变量只能在主内存生成
- 一个变量同一时刻只能一条线程对其进行lock。但lock操作可以被同一条线程执行多次,只有执行相同次数的unlock操作,变量才会解锁
- 如果对一个变量load操作,将会清空工作内存中此变量的值,在执行引擎使用这个变量前,需要重新执行load或者assign操作初始化变量的值。
- 如果一个变量没有被锁定,不允许对其进行unlock操作,也不允许unlock一个被其他线程锁定的变量
- 对一个变量执行unlock操作之前,需要将该变量同步到主内存中。
堆的内存划分
JAVA堆的内存划分如图所示,分别为年轻代、Old Memory(老年代)。其中JDK1.8中,永久代被移除,使用MetaSpace代替。
- 年轻代:
- 使用复制清除算法(Copinng算法),原因年轻代每次GC都要回收大部分对象。年轻代里面分成一份大的Eden空间与两份较小的Survivor空间。每次只使用Eden和其中一块Survivor空间,然后垃圾回收的时候,把存活的对象放到未使用的Survivor(划分出from、to)空间中,清空Eden和刚才使用过的Survivor空间。
- Eden、Survivor From 、Survivor To ,默认比例:8:1:1
- 内存不足时发生Minor GC
- 老年代
- 采用标记-整理算法(mark-compact),原因是老年代每次GC只会回收少部分对象。
- MetaSpace(元空间)
- 元空间的本质和永久代类似,都是对JVM规范中方法区的实现。不过元空间与永久代之间最大的区别在于:元空间并不在虚拟机中,而是使用本地内存。
- 堆内存划分在JVM里面的示意图
GC垃圾回收:
一、 判断对象是否要回收的方法:可达性分析法
- 可达性分析法:通过一系列"GC Roots"对象作为起点进行搜素,如果在"GC Roots"和一个对象之间没有可达路径,则称该对象是不可达的。不可达对象不一定会成为可回收对象。进入DEAD状态的线程还可以恢复,GC不会回收它的内存。
(把一些对象当做root对象,JVM认为root对象是不可回收的,并且root对象引用的对象也是不可回收的) - 以下对象被认识是root对象:
- 虚拟机栈(栈帧中本地变量表)引用的对象
- 方法区中静态属性引用的对象
- 方法区中常量引用的对象
- 本地方法区中Native方法引用的对象
- 对象判断可被回收,需要经历两个阶段
- 第一个阶段是可达分析法,分析对象是否可达
- 第二个阶段是当对象没有重写finalize()方法或者finalize()方法已经被调用过,虚拟机认为该对象不可以被救活,因此回收该对象。(finalize()方法在垃圾回收中的作用是,给该对象一次救活的机会)
- 方法区中的垃圾回收
- 常量池中的一些常量、符号引用没有被引用,则会被清除常量池
- 无用的类:被判断无用的类,会被清理出方法区,判断如下:
- 该类的所有实例被收回
- 加载该类的ClassLoader被收回
- 该类的Class对象没有被引用
- finalize()
- GC垃圾回收一个对象的时候,调用该对象的finalize()方法。然后在下一次垃圾回收的时候,才会回收这个对象的内存。
- 可以在该方法里面,指定一些对象在释放前必须执行的操作。
二、发现虚拟机频繁full GC时应该怎么办:
- 首先用命令查看触发GC的原因是什么 jstat –gccause 进程id
- 如果是System.gc(),则看下代码哪里调用了这个方法
- 如果是heap inspection(内存检查),可能是哪里执行jmap –histo[:live]命令
- 如果是GC locker,可能是程序依赖的JNI库的原因
三、常见的垃圾回收算法
-
Mark - Sweep(标记-清除算法):
- 思想:标记清算算法分为两个阶段,标记阶段和清除阶段。标记任务是标记出所有需要回收清除的对象,清除阶段就是清除被标记对象的空间。
- 优缺点:实现简单,容易产生内存碎片
-
Copying(复制清除算法):
- 思想:将可以内存划分为两个大小的两块,每次只使用其中的一块。当进行垃圾回收的时候,把其中存活的对象全部复制到另一块中,然后把已使用的内存空间一次清空掉。
- 优缺点:不容易产生内存碎片;可用内存空间少;存活对象多的话,效率低下。
-
Mark - Compact(标记-整理)
- 思想:先标记存活对象,然后把存活对象向一边移动,然后清理掉边界以外的内存。
- 优缺点:不容易产生内存碎片;内存利用率高;存活对象多并分散的时候,移动次数多,效率低下
-
分代收集算法(目前大部分JVM的垃圾收集器所采用的算法)
思想:把堆分成新生代和老年代。
- 因为年轻代每次垃圾回收都要回收大部分对象,所以年轻代采用Copying算法。年轻代里面分成一份较大的Eden空间和两份较小的Survivor空间。每次只使用Eden和其中一块Survivor空间,然后垃圾回收的时候,把存活对象放到未使用的Survivor(划分出from、to)空间中,清空Eden和刚才使用过的Survivor空间。
- 由于老年代每次只回收少量的对象,因此采用mark-compact算法。
-
GC使用时对程序的影响?
垃圾回收会影响程序的性能,Java虚拟机必须要追踪运行程序中的有用对象,然后释放没用对象,这个过程消耗处理器时间 -
几种不同的垃圾回收类型:
- Minor GC:从年轻代(包括Eden、Survivor区)回收内存。
- Major GC:清理整个老年代,当Eden内存不足时触发
- Full GC:清理整个堆空间,包括年轻代和老年代。当老年代内存不足时触发。
相关文章:https://www.jianshu.com/p/904b15a8281f