深刻理解Java虚拟机——Java内存区域

时间  2020-01-30 标签 深刻 理解 java 虚拟机 内存 区域

深刻理解Java虚拟机——Java内存区域——史上最烂的图文并茂结合
深刻理解Java虚拟机——Java垃圾回收器——史上最烂的图文并茂结合java

前言
咱们学习Java的第一天开始，老师就告诉咱们Java语言相比较其余语言，他有一个很是强大的地方就是内存管理，咱们使用Java不须要申请内存，释放内存，这一切工做都由Java虚拟机来完成。
web

文章目录

1：Java虚拟机内存管理

Java虚拟机内存管理示例图
在这里插入图片描述数组

  • 线程共享区和线程独占区的关系
    • 每个线程都有本身的线程独占区（有栈，程序计数器），全部线程共享线程共享区（堆，方法区）
      在这里插入图片描述

咱们在下面小节一一讲述各个区域块的含义安全

1.1 程序计数器

  • 程序计数器是一块较小的内存空间，它能够看做是当前线程所执行的字节码的行号指示器。
  • 程序计数器处于线程独占区
  • 若是线程执行的是Java方法，这个计数器记录的是正在执行的虚拟机字节码指令的地址。若是正在执行的是native方法，这个计数器的值为undefined
  • 此区域是惟一一个在Java虛拟机规范中没有规定任何OutOfMemoryError状况的区域

1.2 Java虚拟机栈

  • 定义基本局部变量，栈代码运行完毕，自动释放内存，每一个线程私有，不共享，栈不会产生线程安全性问题数据结构

  • Java栈是一块线程私有的空间，一个栈，通常由三部分组成 :局部变量表、操做数据栈和帧数据区svg

  • 局部变量表：用于报错函数的参数及局部变量函数

    • 存放编译期可知的各类基本数据类型，引用类型，returnAddress类型。
    • 局部变量表的内存空间在编译期完成分配，当进入一个方法时，这个方法须要在帧分配多少内存是固定的，在方法运行期间是不会改变局部变量表的大小

  • 操做数栈：主要保存计算过程的中间结果，同时做为计算过程当中的变量临时的存储空间。oop

    • 每一个方法执行，都会建立一个栈帧，伴随着方法从建立到执行完成。用于存储局部变量表，操做数栈，动态连接，方法出口等。

  • 帧数据区:除了局部变量表和操做数据栈之外，栈还须要一些数据来支持常量池的解析，这里帧数据区保存着
    访问常量池的指针，方便计程序访问常量池，另外当函数返回或出现异常时卖虚拟机子必须有一个异常处理表，方便发送异常的时候找到异常的代码，所以异常处理表也是帧数据区的一部分
    在这里插入图片描述布局

栈溢出举例学习

public class StackOfOutDemo {

	public void demo() {
		System.out.println("demo");
		demo();
		
	}
	public static void main(String[] args) {
		// TODO Auto-generated method stub

		new StackOfOutDemo().demo();
	}

}

在这里插入图片描述
理解示意图
在这里插入图片描述

  • StackOverflowError
  • OutOfMemory

1.3 本地方法栈

本地方法栈和虚拟机栈的区别

  • 虚拟机栈为虛拟机执行Java方法服务
  • 本地方法栈为虚拟机执行native方法服务

在HotSpotVM虚拟机中，其实这两个栈区域是合起来的，他们很是类似，上述是本质区别。

1.4 Java堆内存

  • 堆内存用于存放由new建立的对象和数组。在堆中分配的内存，由java虚拟机自动垃圾回收器来管理。在堆中产生了一个数组或者对象后，还能够在栈中定义一个特殊的变量，这个变量的取值等于数组或者对象在堆内存中的首地址，在栈中的这个特殊的变量就变成了数组或者对象的引用变量，之后就能够在程序中使用栈内存中的引用变量来访问堆中的数组或者对象，引用变量至关于为数组或者对象起的一个别名，或者代号。

  • 根据垃圾回收机制的不一样，Java堆有可能拥有不一样的结构，最为常见的就是将整个Java堆分为
    新生代和老年代。其中新生代存放新生的对象或者年龄不大的对象，老年代则存放老年对象。
    新生代分为eden区、s0区、s1区，s0和s1也被称为from和to区域，他们是两块大小相等而且能够互相角色的空间。

绝大多数状况下，对象首先分配在eden区，在新生代回收后，若是对象还存活，则进入s0或s1区，以后每通过一次
新生代回收，若是对象存活则它的年龄就加1，对象达到必定的年龄后，则进入老年代。

什么是新生代，老年代？
在这里插入图片描述

1.5 方法区

  • Java方法区和堆同样，方法区是一块全部线程共享的内存区域，他保存系统的类信息。
    好比类的字段、方法、常量池等。方法区的大小决定系统能够保存多少个类。若是系统
    定义太多的类，致使方法区溢出。虚拟机一样会抛出内存溢出的错误。方法区能够理解
    为永久区。

当它们被声明为static时，它们的生命周期就会和应用程序同样长。（占用内存）

  • 运行时常量池是方法区的一部分。Class文件中除了有类的版本，自动，方法，接口等描述信息以外，还有一项信息是常量池， 它是用来存放编译器生成的各类字面量，以及各类符号引用，这部分内容将在类加载后进入方法区的运行时常量池存放。 运行时常量池，java虚拟机规范没有作任何细节要求，不一样虚拟机能够按照本身要求来实现这个内存区域，不过，除了保存Class文件中描述的符号引用外，还会把翻译出来的直接引用也存储在运行时常量池中

举例：

public class Test {

	public static void main(String[] args) {
		// TODO Auto-generated method stub
		String string="abc";
		String string2="abc";
		
		String string3=new String("abc");
		System.out.println(string==string2);
		System.out.println(string==string3);
		System.out.println(string==string3.intern());

	}
}

在这里插入图片描述
在这里插入图片描述

  • 直接内存：不受Java虚拟机内存制约，可是这部份内存也被频繁的使用，本机直接内存的分配不会受到java堆大小的限制，可是既然是内存，仍是会受到本机总内存影响

2：对象在内存中的布局

介绍完Java虚拟机的内存区域后，咱们知道了内存中放了些什么后，咱们就会想更进一步知道他们（对象）是如何建立，如何布局，和如何访问？

2.1 对象的建立

在这里插入图片描述

2.1.1 给对象分配内存

  • 指针碰撞：建立一个对象放到堆内存中，致使占有内存增长，自由的内存空间减小，就叫指针碰撞
  • 空闲列表：虚拟机必须维护一个列表，记录哪些内存块可用，在分配的时候，就从表中找出空闲区域，供对象使用
    在这里插入图片描述
  • 如何选择哪一种内存分配方式呢？
    其实内存的分配方式是由Java堆是否规整决定，而Java堆是否规整又是由垃圾回收器来决定，若是垃圾回收器有自动进行压缩整理功能，在进行垃圾回收时会自动进行压缩整理功能，把内存区域划分红规则的，若是垃圾回收没有这个功能就不能够进行指针碰撞（内存区域划分规则），会进行**空闲列表（内存区域划分不规则）**给对象分配内存

2.1.2 线程安全性问题

实例图告诉你为什么产生线程安全性问题？
在这里插入图片描述
如何解决线程安全性问题？

  • 锁
  • 本地线程分配缓冲
    示例图
    在这里插入图片描述

2.2 对象的内存布局

在之前的学习中咱们已经接触过不少对象和代码，但是若是深刻研究，会发现对象没那么简单

对象在内存中存储的布局能够分为三块区域：对象头（Header），实例数据（InstanceData）和对齐填充（ Pading）

  • 对象头包括两部分信息，第一部分用于存储对象自身的运行时数据，.如哈希码(HashCode)、 GC分代年龄、锁状态标志、线程持有的锁、偏向线程ID、偏向时间戳等，这部分数据的长度在32位和64位的虚拟机(未开启压缩指针)中分别为32bit和.64bit，官方称它为“Mark Word"。对象须要存储的运行时数据不少，其实已经超出了32位、64位Bitmap结构所能记录的限度，可是对象头信息是与对象自身定义的数据无关的额外存储成本，考虑到虚拟机的空间效率，MarkWord被设计成个一个固定的数据结构以便在极小的空间内存储尽可能多的信息，它会根据对象的状态复用本身的存储空间。例如，在32位的HotSpot虚拟机中，若是对象处于未被锁定的状态下，那么MarkWord的32bit空间中的25bit用于存储对象哈希码，4bit用于存储对象分代年龄，2bit用于存储锁标志位，1bit周定为0,而在其余状态(轻量级锁定、重量级锁定、GC标记、可偏向)下对象的存储内容以下图
    在这里插入图片描述

    对象头的另一部分是类型指针，即对象指向它的类元数据的指针，虚拟机经过这个指针来肯定这个对象是哪一个类的实例。并非全部的虚拟机实现都必须在对象数据上保留类型指针，换句话说，查找对象的元数据信息并不必定要通过对象自己，另外，若是对象是一个Java数组，那在对象头中还必须有一块用于记录数组长度的数据，由于虚拟机能够经过普通Java对象的元数据信息肯定Java对象的大小，可是从数组的元数据中却没法肯定数组的大小。

  • 实例数据部分是对象真正存储的有效信息，也是在程序代码中所定义的各类类型的字段内容。不管是从父类继承下来的;仍是在子类中定义的:都须要记录起来。这部分的存储顺序会受到虚拟机分配策略参数(FieldsAllocationStyle和字段在Java源码中定义顺序的影响。HotSpot虚拟机默认的分配策略为longs/doubles、jnts<. shorts/chars、 bytcs/ 7booleans、oops. (Ordinary Object Pointers);从分配策略中能够看出，相同宽度的字段老是被分配到一块儿。在知足这个前提条件的状况下，在父类中定义的变量会出如今子类以前。若是CompactFields.参数值为true (默认为.true)，那么子类之中较窄的变量也可能会插入到父类变量的空隙之中。

  • 对齐填充并非必然存在的，也没有特别的含义，它仅仅起着占位符的做用。因为HotSpotVM的自动内存管理系统要求对象起始地址必须是8字节的整数倍，换句话说，就是对象的大小必须是8字节的整数倍。而对象头部分正好是8字节的倍数(1倍或者?倍)，所以，当对象实例数据部分没有对齐时，就须要经过对齐填充求补全。

2.3 深刻理解对象的访问定位

创建对象是为了使用对象，咱们的Java程序须要经过栈上的reference数据来操做堆上的具体对象。因为reference类型在Java虚拟机规范中只规定了一个指向对象的引用，并无定义这个引用应该经过何种方式去定位、访问堆中的对象的具体位置，因此对象访问方式也是取决于虚拟机实现而定的。目前主流的访问方式有使用句柄和直接指针两种。

  • 使用句柄
    若是使用句柄访问的话 ，java堆中将会划分出一块内存来做为句柄池 ，reference中存储的就是对象的句柄地址，而句柄中包含了对象实例数据与类型数据各自的具体地址信息

在这里插入图片描述

  • 直接指针
    若是使用直接指针访问，那么Java堆对象的布局中就必须考虑如何放置访问类型数据相关信息，而reference中储存的直接就是对象地址
    在这里插入图片描述
    这两种对象访问方式各有优点，
  • 使用句柄来访问的最大好处就是reference中存储的是稳定的句柄地址，在对象被移动(垃圾收集时移动对象是很是广泛的行为)时只会改变句柄中的实例数据指针，而reference自己不须要修改。
  • 使用直接指针访问方式的最大好处就是速度更快，它节省了一次指针定位的时间开销，因为对象的访问在Java中很是频繁,所以这类开销聚沙成塔后也是一项很是可观的执行成本。
联系我们 沪ICP备13005482号-10