java内存区域与内存溢出异常
方法区 Method Area
虚拟机栈 VM stack
本地方法栈 Native method stack
堆 Heap
程序计数器 PC
- 方法区和堆是所有线程共享的。
- 每条线程都有一个独立的程序计数器,各现成PC互不影响,独立存储,线程私有内存
- 如果线程正在执行的事一个java方法,pc记录的是正在执行的虚拟机字节码指令地址;如果执行的是Native 方法,这个计数器值则为空。
java虚拟机栈
- 线程私有的
- 虚拟机栈描述的事java方法执行的内存模型,存储局部变量表、操作数栈、动态链接、方法出口等信息
- 俗称的”栈“就是java虚拟机栈
- 局部变量表存放编译器可知的各种数据类型(boolean,byte,char,short,int,long,double,float,注意不包括数组),对象引用(reference类型,不等于对象本身)和returnAddress类型。
- 方法运行期间不改变局部变量表的大小
- 如果线程请求的栈深度大于虚拟机所允许的最大深度,将抛出StackOverflowError
- 如果虚拟机在扩展栈时无法申请到足够的内存空间,将抛出OutOfMemoryError
本地方法栈
- 与虚拟机栈相似,区别是本地方法栈为虚拟机使用到的native方法
java堆
- java虚拟机所管理的内存中最大的一块
- 被所有线程共享,在虚拟机启动时创建
- 唯一目的是存放对象实例
- 所有的对象实例以及数组都要在堆上分配
- 堆是垃圾收集器管理的主要区域,因此很多时候也成为”GC堆”
方法区
- 各个线程共享的内存区域
- 存储已被虚拟机加载的类信息,常量,静态变量,及时编译器编译后的代码等数据
- 这个区域垃圾收集行为较少,但并非数据进入了方法区就如永久代的名字一样永久存在,这个区域的内存回收目标主要是针对常量池的回收和对类型的卸载
对象访问
Object obj = new Object();
Object obj
将会反映到java栈的本地变量表中,作为一个reference类型数据出现。而new Object()
反映到java堆中,形成了一块存储了Object类型所有势力数据值的结构化内存,java堆中还必须包括能查找到此对象类型数据(如对象类型,父类,实现的接口,方法等)的地址信息,这些类型数据存储在方法区中。- 主流的访问方式有两种:使用句柄和直接指针:
- 使用句柄访问方式,java堆中划分一块内存作为句柄池,reference中存储的是句柄池的地址,句柄中包含了对象实例数据和类型数据各自的具体地址信息。
- 使用直接指针访问方式,java堆对象中存储了对象类型数据,reference中直接存储的就是对象地址。
- 这两种方式各有优势,使用句柄访问方式最大好处是reference中存储的是稳定的句柄地址,在对象被移动时只会改变句柄中的示例数据指针,而reference本身不需要修改
- 使用直接指针访问方式的最大好处就是速度更快,节省了一次指针定位的时间开销,sun hotspot使用的此种方式。
垃圾收集器与内存分配策略
对象已死?
引用计数算法
- 给对象添加一个引用计数器,每有一个地方引用它,计数器值就加1;当引用失效,计数器值就减1;任何时刻计数器都为0的对象就是不可能再被使用的。
根搜索算法【GC Roots Training】(java和C#使用)
- 这个算法的基本思路就是通过一系列名为“GC Roots”的对象作为起始点,从这些节点开始向下搜索,搜索所走过的路径称为引用链(Reference Chain),当一个对象到GC Roots没有任何引用链相连时,则证明此对象是不可用的。
- 在java语言里,可作为GC Roots的对象包括下面几种:
- 虚拟机栈(栈帧中的本地变量表)中的引用对象
- 方法区中的类静态属性引用的对象
- 方法区中的常量引用的对象
- 本地方法栈中JNI(即一般说的Native方法)的引用的对象
再谈引用
- 强引用就是指在程序代码中普遍存在的,类似“Object obj = new Object()”这类的引用,只要强引用还存在,垃圾收集器永远不会回收。
- 软引用用来描述一些还有用,但并非必需的对象,在系统将要发生内存溢出异常之前,将会把这些对象列进回收范围之中并进行第二次回收。如果这次回收还是没有足够的内存,才回抛出内存溢出异常。SoftReference类来实现软引用
- 弱引用也是用来描述非必须对象的。只能生存到下次垃圾回收之前。GC工作时,无论内存是否够用都会回收。WeakReference。
- 虚引用也称为幽灵引用或者幻影引用,最弱的一种引用关系。设置虚引用的唯一目的就是希望在这个对象被收集器回收时收到一个系统通知。
生存还是死亡?
- 在根搜索算法中不可达的对象,并不是“非死不可”的:如果对象在进行根搜索后发现没有与GC Roots相连接的引用链,那么它将会第一次标记并且进行一次筛选,筛选的条件是次对象是否有必要执行finalize()方法。当对象没有覆盖finalize()方法,或者已经被调用过,虚拟机将这两种情况视为“没有必要执行”。
- 如果这个对象有必要执行finalize()方法,那么这个对象被放置在一个名为F-Queue的队列之中,并在稍后由一条虚拟机执行。“执行”是指虚拟机会出发这个方法,但并不承诺等待它运行结束。原因是,如果一个对象finalize()执行缓慢甚至死循环,会导致其他对象永久处于等待状态。finalize()方法是对象逃脱死亡命运的最后一次机会,稍后GC将对F-Queue中的对象进行第二次小规模的标记,如果对象在finalize()中成功拯救自己——只要重新与引用链上的任何一个对象建立关联即可,譬如把自己(this)复制给某个类变量或对象的成员变量,那么在第二次标记时将被移除队列。自救的机会只有一次,因为一个对象的finalize()方法最多只会被系统自动调用一次。
回收方法区
- 方法区进行垃圾收集的性价比低,被称为永久代
- 主要回收两部分内容:废弃常量和无用的类
- 回收废弃常量与回收java堆中的对象非常类似。
- 判定一个类是否是“无用的类”的条件相对苛刻许多,需要同时满足下面三个条件:
- 该类的所有实例都已经被回收
- 加载该类的ClassLoader已经被回收
- 该类对应的java.lang.Class对象没有在任何地方被引用,无法在任何地方通过烦着访问该类的方法
垃圾收集算法
标记-清除算法
- 算法分为标记和清除两个阶段。缺点有连个:一个是效率问题,标记和清除过程的效率不高;另一个是空间问题,标记清除之后会产生大量不连续的内存碎片。
复制算法
- 为了解决效率问题。
- 它将可用内存按容量分为大小相等的两块,每次只是用其中一块。当这一块内存用完了,就将还存活的对象复制到另外一块上面,然后再把已使用过的内存空间一次清理掉。这样使得每次都是对其中的一块进行内存回收,内存分配时也就不用考虑内存碎片等复制情况,只要一动堆顶指针,按顺序分配内存即可,实现简单,运行高效。
- 将内存分问一块较大的Eden空间和两块较小的Survivor空间,每次使用Eden和其中的一块Survivor。当回收时,将Eden和刚才用过的Survivor重还存活着的对象一次性地拷贝到另外一块Survivor空间上,最后清理掉Eden和刚才用过的Survivor的空间。HotSpot虚拟机默认Eden和Survivor比例是8:1。
- Survivor空间不够用时进行分配担保。
分代收集算法
- 这种算法并没有什么新的思想,只是根据对象的存活周期的不同将内存划分为几块。一般是把java堆分为新生代和老年代,根据各个年代的特点采用最适当的手机算法。在新生代中,每次垃圾收集时都发现有大批对象死去,只有少量存活,那就选用复制算法,只需要付出少量存活对象的复制成本就可以完成收集。而老年代中因为对象存活率高,没有额外空间对它进行分配担保,就必须使用“标记-清理”或“标记-整理算法”。