深入学习java源码之内存区域分配

深入学习java源码之内存区域分配

一个类中可以产生多个对象，那么我们就要知道类中的构造函数到底是哪个对象所调用的，我们同时也要知道当前构造函数是给堆内存中哪个地址中的哪个对象的成员初始化值，所以在当前构造函数进入栈内存的时候，会在栈内存中的构造函数中生成一个隐式的this引用变量，来记录当前这个构造函数是被哪一个对象调用。

Java内存分析

栈、堆、常量池等虽同属Java内存分配时操作的区域，但其适用范围和功用却大不相同。、

stack（栈）

    存放基本类型的数据和对象的引用，即存放变量。

    如果存放的是基本类型数据（非静态变量），则直接将变量名和值存入stack中的内存中；

    如果是引用类型，则将变量名存入栈，然后指向它new出的对象（存放在堆中）。

heap（堆）

   存放new产生的数据。

data segment

   分为静态域和常量域。

静态域

   存放在对象中用static定义的静态成员（即静态变量，同理，如果该静态变量是基本类型则将变量名和值存入静态域，如果是引用类型则指向new出的对象）。

常量池

   常量池指的是在编译期被确定，并被保存在已编译的.class文件中的一些数据。除了包含代码中所定义的各种基本类型（如int、long等）和对象型（如String及数组）的常量值(final)还包含一些以文本形式出现的符号引用，比如：类和接口的全限定名；字段的名称和描述符；方法和名称和描述符。

   code segment：存放代码。

   下面我来举几个简单的小例子来让大家认识一下这几个区域具体存放的内容：

   注：例1和例2中大家要注意String类型不是基本数据类型，所以它可以创建对象，并且它的值是放在常量池中的。

例1. 非静态和静态变量的创建

只要是对象调用(不管是间接还是直接)，就有隐式this，来记录对象的地址值。只有保存了地址值，才能赋值调用等其他操作。
静态方法中没有this，this是和对象有关的，而静态方法是和类有关的。

 String str = "abc";  static Int a = 10;  //创建String类型的变量str；创建Int类型变量a

内存解析：

这里的str是非静态变量所以将其放入到栈中，而静态变量a则需要放入静态域中，对于变量值"abc"和10则都应该放入到常量池当中

只要是对象调用的函数(方法)就存在隐式的this，用来记录哪个对象的地址值。

当函数(方法)中存在局部变量和成员变量同名时，使用this就指的是成员变量，否则根据就近原则，局部变量在栈内存开辟空间，把传过来的值又覆盖自己的值，成员变量根本就没有赋值，所以没意义。

注意事项：

静态变量在静态区开辟空间存储数据，先给静态成员变量默认初始化，当所有的静态成员变量默认初始化完毕，JVM又会重新开始给每一个静态变量重新显示初始化(赋值初始化)，这时类才加载完成。

内存图中凡是箭头指向静态区的表示：先在堆内存找，没有就在方法区找所在的类，然后在静态区找成员变量，这里并没有引用指向。只有关键字new出来的对象才有地址引用。

内存图详解

① java命令启动JVM，JVM先加载mian函数所在的类，加载Student04Test.class字节码文件到方法区，静态区加载到静态区，非静态加载到非静态区。

②当Student04Test.class字节码文件加载完成时，程序向下执行，从方法区中把mian方法加载到栈内存，然后向下遇到Student04这个类，JVM先在方法区中找，没有就加载Student04.class字节码文件到方法区。

③④因为Student04.class中有静态成员变量，静态成员变量和成员方法、静态代码块都加载到静态区中，然后才对静态成员变量开辟空间，进行默认初始化。当所有静态成员变量默认初始化完成后，JVM又重新对静态成员变量进行显示初始化。当显示初始化完成后，所有的类文件才加载完成。

⑤创建Student04的对象，创建对象先执行右边，先在堆内存开辟空间，比如十六进制的地址值是0x12，然后对Student04的成员变量进行默认初始化，即int number=0。

⑥然后JVM自动调取Student04相对应的构造函数，那么Student04的无参构造进栈，因为有this("林青霞",27),所以就没有super，this和super不能共存在一个方法中。

⑦那么通过this("林青霞",27)访问Student04的带参构造，这时Student04的带参构造也有隐式this记录了当前对象的地址值，因为是this("林青霞",27)访问Student04的带参构造，所以间接把地址值0x12给了Student04的带参构造。把林青霞，27传参给了有参构造的局部变量name和age，因为成员变量name和age是静态static修饰，所以在堆内存中没有找到，就会去方法区中找，并且修改其值。当完成这些之后，Student04的有参构造执行完毕，出栈，就从栈内存消失。

⑧然后回到Student04的无参构造执行下一行代码show方法，那么show方法从方法区中加载到栈内存，隐式this机路地址值0x12，并且指向堆内存。

⑨show执行完毕，出栈，从栈内存消失。

⑩student04的无参也执行完毕，出栈，从内存中消失。

⑪这时student04的构造函数执行完毕，Student04的对象创建完毕。执行创建对象的左边，在main方法中给Student04开辟空间，空间名称为引用变量s，在吧地址值返回给s。

⑫main方法出栈内存，完成。

 

例2. 对象的创建

   String str=new String("abc");  //创建String类型的对象str

   内存解析：

   这里的str是String类型的对象，所以放入栈中，而new出来的东西则放入到堆中，对于初始值"abc"则放入到常量池中即可。

构造函数执行时机
①javac命令，启动编译器，检查基本语法错误。然后编译源程序生成可被虚拟机执行的字节码文件(也就是class文件)

②java命令，启动JVM，加载class文件到方法区,找到程序入口(main方法)，main方法进栈。
③ 通过new关键字，在堆内存开辟内存空间，对对象所在类的成员变量进行默认初始化，然后调用构造方法(无参构造调用无参，有参构造调有参构造)
④ 执行构造函数的隐式三步(super对父类进行初始化、对对象成员变量显示初始化、执行构造代码块)
⑤ 执行构造函数中的其它代码，其它代码执行完毕，构造函数出栈，对象创建完毕。
⑥ 把对象的内存地址值返回给栈内存开辟的引用变量空间。

构造函数与一般函数的区别

时间不同：
①构造函数在对象创建过程中执行，当对象创建完毕，构造函数就结束了。
②一般函数是在对象创建完毕之后，通过对象的引用(对象堆内存地址值)来调用，什么时候使用，什么时候调用。

调用次数不同：
①构造函数只要在new对象的时候，会被调用，一旦对象创建完成，我们不能手动去调用构造函数。
②一般函数可以通过对象随意的调用，没有次数限制。

互相调用问题：
①在构造函数中可以调用一般的函数，但是一般函数不能调用构造函数

例3. 数组的创建

   Int s[] = new Int[3];s[0]=3;s[1]=2;s[2]=3;

   内存解析：

   这里的s[]是一个数组变量，所以放入到栈中，new出来的东西还是放入到堆中，最后的每个元素的值则放入到常量池当中。

 

把JVM管理的内存简单地分为堆内存和栈内存，这样分未免有些太肤浅了。
Java的内存区域主要分为五部分：

• 程序计数器(PC)
• 虚拟机栈(JVM Stack)
• 本地方法栈(Native Method Stack)
• Java 堆内存(Java Heap)
• 方法区(Method Area)

程序计数器

    相信学过计算机组成原理的人都知道，CPU内部的寄存器中就包含一个程序计数器（x86下为eip寄存器,ARM下为R15寄存器），存放程序执行的下一条指令地址。在程序开始执行前，将程序指令序列的起始地址，即程序的第一条指令所在的内存单元地址送入PC，CPU按照PC的地址从内存中读取第一条指令。每一条指令执行时，CPU会自动修改PC的量至下一条指令的地址，指令之间的跳转离不开PC。JVM内存中的程序计数器也是这样的作用，它储存JVM当前执行bytecode的地址。

　程序计数器是一块较小的内存空间，可以看做是当前线程所执行的字节码的行号指示器。在虚拟机的概念模型里，字节码解释器工作时就是通过改变这个计数器的值来选取下一条需要执行的字节码指令，分支、循环、跳转、异常处理、线程恢复等基础功能都需要依赖这个计数器完成。

   Java虚拟机允许多个线程同时执行指令。如果有多个线程正在执行指令，那么每个线程都会有一个程序计数器，它是线程私有的。在任意时刻，一个线程只允许执行一个方法的代码。每当执行到一条Java方法的指令时，程序计数器保存当前执行字节码的地址；若执行的为native方法，则PC的值为undefined。

　　由于Java虚拟机的多线程是通过线程轮流切换并分配处理器执行时间的方式来实现的，在任何一个确定的时刻，一个处理器（对于多核处理器来说是一个内核）都只会执行一条线程中的指令。因此，为了线程切换后能恢复到正确的执行位置，独立存储，我们称这类区域为“线程私有”的内存。

　　如果线程正在执行的是一个Java方法，这个计数器记录的是正在执行的虚拟机字节码指令的地址；如果正在执行的是Native方法，这个计数器值为空（undefined）。

　　此内存区域是唯一一个在Java虚拟机规范中没有规定任何 OutOfMemoryError 情况的区域。

Java虚拟机栈

　　与程序计数器一样，Java 虚拟机栈也是线程私有的，生命周期与线程相同。每一条线程都拥有自己私有的Java 虚拟机栈，它与线程同时创建。它描述了Java方法执行的内存模型：每个方法在执行的同时都会创建一个栈帧，用于存储局部变量表、操作数栈、动态链接、方法出口等信息。每一个方法从调用直至完成的过程，都对应一个栈帧从入栈到出栈的过程。关于栈帧详细的内容在后边复习虚拟机字节码执行引擎的时候再说吧。

　　虚拟机栈描述的是 Java 方法执行的内存模型：每个方法在执行的同时都会创建一个栈帧用于存储局部变量表、操作数栈、动态链接、方法出口等信息。每一个方法调用直至执行完成的过程，就对应着一个栈帧在虚拟机栈中入栈到出栈的过程。

     Java 虚拟机栈在方法调用和返回中也扮演了很重要的角色。因为除了栈帧的入栈和出栈之外，Java虚拟机栈不会再受其它因素的影响，因此栈帧可在系统的堆上分配内存（注意，是系统的Heap而不是Java Heap）。Java虚拟机栈所使用的内存不需要保证是连续的。

　　局部变量表存放了编译期可知的各种基本数据类型（boolean、byte、char、short、int、float、long、double）、对象引用（reference类型，它不等同于对象本身，可能是一个指向对象起始地址的引用指针，也可能是指向一个代表对象的句柄或其他与此对象相关的位置）和returnAddress类型（指向了一条字节码指令的地址）。

　　其中64位长度的 long 和 double 类型的数据会占用2 个局部变量空间（Slot），其余的数据类型只占用一个。局部变量表所需的内存空间在编译期间完成分配，当进入一个方法时，这个方法需要在帧中分配多大的局部变空间是完全确定的，在方法运行期间不会改变局部变量表的大小。

　　在 Java 虚拟机规范中，对这个区域规定了两种异常状况：如果线程请求的栈深度大于虚拟机所允许的深度，将抛出 StackOverflowError 异常；如果虚拟机栈可以动态扩展，如果扩展时无法申请到足够的内存，就会抛出 OutOfMemoryError 异常。

　本地方法栈

　　本地方法栈与虚拟机栈所发挥的作用是非常相似的，区别不过是虚拟机栈为虚拟机执行 Java 方法服务，而本地方法栈则为虚拟机使用到的 Native 方法服务。Java虚拟机栈执行的是字节码，而本地方法栈执行的是native方法。本地方法栈使用传统的栈（C Stack）来支持native方法。在HotSpot JVM中Java虚拟机栈和本地方法栈合二为一。在虚拟机规范中对本地方法栈中的方法使用的语言、使用方法与数据结构并没有强制规定，因此具体的虚拟机可以自由实现它。甚至有的虚拟机（譬如Sun HotSpot虚拟机）直接就把本地方法栈和虚拟机栈合二为一。

　　与虚拟机栈一样，本地方法栈区域也会抛出 StackOverflowError 和 OutOfMemoryError 异常。

Java 堆

　　对于大多数应用来说，Java 堆是 Java 虚拟机所管理的内存中最大的一块。Java堆是被所有线程共享的一块内存区域，在虚拟机启动时创建。此内存区域的唯一目的就是存放对象实例，几乎所有的对象实例以及数组都在这里分配内存。

       在JVM中，Java 堆是可供各线程共享的运行时内存区域，是Java 虚拟机所管理的内存区域中最大的一块。此区域非常重要，几乎所有的对象实例和数组实例都要在Java堆上分配，但随着JIT编译器及逃逸分析技术的发展，也可能会被优化为栈上分配，高大上。。。）。同时，Java 堆也是发生GC收集的主要区域。
从内存回收的角度来看，它可以分为新生代和老年代，再细分可以分为Eden Space,From Survivor Space,To Survivor Space区域。Java堆的容量可以是固定的，也可以随着需要来扩展，并且在用不到的时候自动收缩。

　　Java堆是垃圾收集器管理的主要区域，因此很多时候也被称为“GC堆”。从内存分配的角度看，由于现在收集器基本都采用分代收集算法，所以 Java 堆中还可以细分为：新生代和老年代；再细致一点的有 Eden 空间、From Survivor 空间、To Survivor 空间等。从内存分配的角度看，线程共享的 Java 堆中可能划分出多个线程私有的分配缓冲区。不过无论如何划分，都与存放内容无关，无论哪个区域，存储 的都仍然是对象实例，进一步划分的目的是为了更好地回收内存，或者更快地分配内存。

　　Java虚拟机规范的规定，Java 堆可以处于物理上不连续的内存空间中，只要逻辑上是连续的即可。在实现时，既可以实现成固定大小的，也可以是可扩展的，不过当前主流的虚拟机都是按照可扩展来实现的（通过-Xmx和 -Xms控制）。

　　如果在堆中没有内存完成实例分配，并且堆也无法再扩展时，会抛出 OutOfMemoryError 异常。

　方法区

　　方法区与 Java 堆一样，是各个线程共享的内存区域，它用于存储已被虚拟机加载的类信息、常量、静态变量、即时编译器编译后的代码等数据。

　　方法区在虚拟机启动的时候被创建，虽然方法区是堆的逻辑组成部分，但是简单的虚拟机实现可以选择在这个区域不实现垃圾回收。Java虚拟机规范也不限定实现方法区的内存位置和编译代码的管理策略。方法区的容量可以是固定大小的，也可以随着程序执行的需求动态扩展，并不在过多空间时自动收缩。方法区在实际内存空间 中可以是不连续的。

　　根据 Java 虚拟机规范的规定，当方法区无法满足内存分配需求时，将抛出 OutOfMemoryError 异常。

       方法区是线程共享的，它储存了每一个类的结构信息，比如运行时常量池（runtime constant pool）、字段和方法数据、构造函数和普通方法的字节码内容，还包括一些初始化的时候用到的特殊方法。方法区是堆的逻辑部分。
在JDK1.7及以前的HotSpot JVM中，方法区位于永久代（Permanent Generation，PermGen）中。由于永久代内可能会发生内存泄露或溢出等问题而导致的java.lang.OutOfMemoryError: PermGen ，JEP小组从JDK1.7开始就筹划移除永久代（JEP 122: Remove the Permanent Generation），并且在JDK 1.7中把字符串常量，符号引用等移出了永久代。到了Java 8，永久代被彻底地移出了JVM，取而代之的是元空间（Metaspace）：

　　运行时常量池

　　运行时常量池是方法区的一部分，用于存放编译期生成的各种字面量和符号引用，这部分内容将在类加载后进入方法区的运行时常量池中存放。一般来说，除了保存Class文件中描述的符号引用外，还会把翻译出来的直接引用也存储在运行时常量池中。

　　运行时常量池相对于 Class 文件常量池的另一个重要特征是具备动态性，Java 语言并不要求常量一定只有编译期才能产生，也就是并非预置入 Class 文件中常量池的内容才能进入方法区运行时常量池，运行期间也可能将新的常量放入池中，这种特性被开发人员利用的比较多的便是 String 类的 intern() 方法。

       运行时常量池是class文件中每一个类或接口的常量池表的运行时表示形式，是方法区的一部分。它包括了若干种不同的常量。常量池表存放编译器生成的各种字面量和符号引用，这部分内容将在类加载后进入方法区的运行时常量池中存放。运行时常量池具有动态性，运行期间也可以将新的量放到运行时常量池中，典型的应用是String类的intern方法:

　　既然运行时常量池是方法区的一部分，自然受到方法区内存的限制，当常量池无法再申请到内存时会抛出 OutOfMemoryError 异常。

      JDK 1.7开始，字符串常量和符号引用等就被移出永久代：

符号引用迁移至系统堆内存(Native Heap)

字符串字面量迁移至Java堆(Java Heap)

对象引用是如何找到我们在堆中的对象实例的？　

这个问题也可以称为对象的访问定位问题。句柄访问和直接指针访问。 画两张图就明白了。

句柄访问：Java堆中会划分出一块内存来作为句柄池，引用变量中存储的就是对象的句柄地址，而句柄中包含了对象实例数据和类型数据各自的具体地址信息

解释图：在栈中有一个引用变量指向句柄池中一个句柄的地址，这个句柄又包含了两个地址，一个对象实例数据，一个是对象类型数据(这个在方法区中，因为类字节码文件就放在方法区中)，

直接指针访问：引用变量中存储的就直接是对象地址了，如图所示

解释：在堆中就不会分句柄池了，直接指向了对象的地址，对象中包含了对象类型数据的地址。

区别：这两种各有各的优势，

使用句柄来访问的最大好处就是引用变量中存储的是稳定的句柄地址，对象被移动(在垃圾收集时移动对象是很普通的行为)时就会改变句柄中实力数据指针，但是引用变量所指向的地址不用改变。

而使用直接指针访问方式最大的好处就是速度更快，节省了一次指针定位的时间开销，但是在对象被移动时，又需要改变引用变量的地址。在我们上面分析的例子中，就是使用的直接指针访问的方式。