从里到外，手把手一起把JVM虚拟机整体结构与对象内存分配解析摸透透的，简单易懂！

本文链接：https://blog.csdn.net/2401_84181286/article/details/138887169

网上学习资料一大堆，但如果学到的知识不成体系，遇到问题时只是浅尝辄止，不再深入研究，那么很难做到真正的技术提升。

一个人可以走的很快，但一群人才能走的更远！不论你是正从事IT行业的老鸟或是对IT行业感兴趣的新人，都欢迎加入我们的的圈子（技术交流、学习资源、职场吐槽、大厂内推、面试辅导），让我们一起学习成长！

栈 Stack

栈是JVM重要的组成部分，每有一个新的线程都JVM都会为其在栈上分配一份内存，线程里有栈帧，程序计数器。另外线程栈内存大小决定的线程数量的多少，当线程栈内存大小设置的越大，则同时存在的线程数量越少，反则越大。另外在栈中最容易发生的错误是StackOverflowError 栈溢出，看以下代码:

 public class StackOverflowTest { 
   static int count = 0;
    static void redo() { 
    count++; 
     redo(); 
     }
     public static void main(String[] args) { 
      try { 
    redo(); 
     } catch (Throwable t) { 
     t.printStackTrace(); 
     System.out.println(count); 
            } 
        } 
     }  
      运行结果：
      java.lang.StackOverflowError

参数影响: -Xss 256KB(默认1M) 设置栈大小栈的大小会影响count 的次数,-Xss设置的大小越大,count的次数也就越大,反之亦然.
【领取资料】

栈帧结构组成

局部变量表:主要用来保存声明的局部变量以及方法的参数信息,局部变量表作用于为当前方法，当方法执行完成后，局部变量表也会随之删除，释放内存。另外局部变量表里用来保存信息的叫做变量槽（slot)

类型	占slot个数
byte	1
short	1
int	1
long	2
float	1
double	2
boolean	1
char	1

操作数栈：顾名思义，操作数栈其本质就是个栈，压栈，出栈两个操作，例如执行a+b，先将局部变量表中的a与b分别压入栈中，接着执行加法操作，最终出栈。

动态链接:是在程序运行期间完成的将符号引用替换为直接引用叫动态链接，既然有动态链接那么自然也有静态链接，部分符号引用在类加载阶段(解析)的时候就转化为直接引用,这种转化为静态链接。

方法返回地址:在方法退出(正常执行/异常返回)后，返回方法被调用的位置。

栈结构图

程序计数器(Program Counter Register)

程序计数器也叫PC寄存器是JVM非常重要的一个结构，是线程私有的，每个线程独有一份，它用来保存指向下一条将被执行指令的地址，例如当线程被阻塞再进行唤醒时，从程序计数器读取指令的地址，从而继续执行。
【领取资料】

本地方法栈 Native Method Stack

本地方法栈主要是为了执行native方法，保存native方法进入区域的地址，所以本地方法栈也是线程私有的内存区域。

方法区 Method Area(元空间 Meta Space)

被所有的线程共享。方法区包含所有的class和static变量，类的方法代码，变量名，方法名，访问权限，返回值,以及我们经常说的常量池与运行时常量池都是在方法区的。

堆 Heap

堆是非常重要的一个区域，管理着几乎(不是所有)所有的对象，我们常说的垃圾回收的主要区域就是发生在这个区域。堆分为新生代(young)与老年代(Old)，新生代又分为Eden与survivor区，survivor分为From区与To区。这几个区存放着java的对象，当区内存不够的时候会发生GC，GC主要分为两种，一种是minorGC（Young GC)，另一种是Full GC，JVM调优主要根据代码调节JVM参数,从而减少Full GC的次数。

堆结构示意图

逃逸分析

首先大家听得最多的就是new 出来对象是存放在堆中的，但是在上文中，所写的是几乎对象是存在堆中，那么为什么是几乎呢，因为有的对象是存放在栈中的，是不是很不可思议，接下来来看下一段代码。

// 方法一
public Person test1() {
        Person person = new Person();
        person.setId(1);
        return person;
        } 
// 方法二 
public void test2() { 
         User person = new person(); 
         person.setId(1); 
       }

上述代码中很显然test1方法中的personr对象被返回了，那么这个对象就可能被其他方法进行引用，test2方法中的personr对象，当方法结束的时候，该对象就是一个无效对象了，不会在其他地方被进行引用，对于这样的对象，JVM将其分配的栈内存里，让其在方法结束时跟随栈内存一起被回收掉，减少堆内存的回收。 JVM对于这种情况可以通过开启逃逸分析参数(-XX:+DoEscapeAnalysis)来优化对象内存分配位置，JDK7之后默认开启逃逸分析，如果要关闭使用参数(-XX:-DoEscapeAnalysis)

对象内存分配

对象内存分配流程图

对象栈上分配

并不是所有对象都分配在内存,有的对象会被分配到栈上,JVM对于这种情况可以通过开启逃逸分析参数(-XX:+DoEscapeAnalysis)来优化对象内存分配位置，使其通过标量替换优先分配在栈上(栈上分配)，JDK7之后默认开启逃逸分析，如果要关闭使用参数(-XX:-DoEscapeAnalysis)
【领取资料】

标量替换： 通过逃逸分析确定该对象不会被外部访问，并且对象可以被进一步分解时，JVM不会创建该对象，而是将该对象成员变量分解若干个被这个方法使用的成员变量所代替，这些代替的成员变量在栈帧或寄存器上分配空间，这样就不会因为没有一大块连续空间导致对象内存不够分配。

开启标量替换参数(-XX:+EliminateAllocations)，JDK7之后默认开启。

标量与聚合量： 标量即不可被进一步分解的量,也可以说是原子量,不可再分解,而JAVA的基本数据类型就是标量（如：int，long等基本数据类型以及 reference类型等），标量的对立就是可以被进一步分解的量，而这种量称之为聚合量。而在JAVA中对象就是可以被进一步分解的聚合量

结论：栈上分配依赖于逃逸分析和标量替换

对象在Eden区分配

当对象刚被创建的时候会被分配在eden区，eden区满了后会触发minor gc，可能会有99%以上的对象成为垃圾被回收掉，剩余存活的对象会被挪到为空的那块survivor区，下一次eden区满了后又会触发minor gc，把eden区和survivor区垃圾对象回收，把剩余存活的对象一次性挪动到另外一块为空的survivor区，因为新生代的对象都是生命值很短的，存活时间很短，所以JVM默认的8:1:1的比例是非常合理的一个比例值，因此我们呢应该让eden区尽量的大，survivor区够用即可，

JVM默认有这个参数**-XX:+UseAdaptiveSizePolicy**(默认开启)，会导致这个8:1:1比例自动变化.

如果不想这个比例有变化可以设置参数**-XX:-UseAdaptiveSizePolicy**

当Eden区内存不够用了会出现声明状况?

如果因为给新对象分配内存的时候eden区内存几乎已经被分配完了，bane当Eden区没有足够空间进行分配时，虚拟机将发起一次Minor GC，GC期间虚拟机又发现新对象无法存入Survior空间，所以只好把新生代的对象提前转移到老年代中去，老年代上的空间足够存放新对象，所以不会出现Full GC。执行Minor GC后，后面分配的对象如果能够存在eden区的话，还是会在eden区分配内存。