第一天系统学习JVM!今天学了JVM是什么,学习JVM的作用,运行时的数据区域(重点),内存溢出。明天学GC。
运行时数据区域
整体认识
![](https://i-blog.csdnimg.cn/blog_migrate/7f8390fee5051f57936d0f790ea57bd4.png)
![](https://i-blog.csdnimg.cn/blog_migrate/0c81434034cc0b027668a29d72d4eaf9.png)
先写一下每个线程私有的三个数据区,分别是程序计数器,虚拟机栈,本地方法栈。
然后再写一下堆和方法区(概念,1.7的实现是永久代,1.8的实现是元空间)
程序计数器
作用:
1、记住下一条jvm指令的执行地址,一个线程的运行就是在它的程序计数器的变化下推动的。
2、字节码解释器通过改变程序计数器来依次读取指令,从而实现代码的流程控制,如:顺序执行、选择、循环、异常处理。
3、多线程环境,线程来回切换时,线程自身的程序计数器能记住线程执行指令的位置。
特点:
1、是一块很小的内存空间,运行速度最快的存储区域。
2、线程私有,每个线程都有自己的程序计数器。
3、唯一的JVM规范中没有规定OutOfMemoryError的区域,因为它存储的是地址,占用内存小,几乎可以忽略不计。
虚拟机栈
概念
每个线程的创建的时候都会创建一个虚拟机栈,线程私有的,其实就是线程运行时需要的内存。
每个栈内由栈帧(Stack Frame)组成,实际上就是一个个java的方法,每个线程只能有一个活动栈帧(当前栈帧),就是只能执行当前一个方法。
内存溢出(爆栈)
1、如果线程请求的栈深度大于JVM允许的深度,抛出StackOverFlowError。比如无限递归。
2、如果栈扩展时无法申请足够的内存,抛出OutOfMemoryError异常
栈帧及其结构
方法调用的数据需要通过栈进行传递,每一次方法调用都会有一个对应的栈帧被压入栈中,每一个方法调用结束后,都会有一个栈帧被弹出。return指令和抛出异常会使当前栈帧被弹出,继续执行下一个栈帧。
本地方法栈
本地方法在java中被native关键字修饰,可以看到本地方法没有方法体,它并不是java语言编写的,而本地方法栈就是为虚拟机使用Native方法服务的。HotSpot虚拟机(Oracle维护的java虚拟机,JVM只是一种规范,遵循JVM规范实现的java虚拟机有很多)中,本地方法栈和虚拟机栈合二为一。
我们用的Object类的clone、hashCode、notify、wait都是本地方法。
堆
概念
内存最大的区域,用来存放对象实例,几乎所有对象实例和数组在此分配内存。
为什么说几乎?见以下引用:
Java 世界中“几乎”所有的对象都在堆中分配,但是,随着 JIT 编译器的发展与逃逸分析技术逐渐成熟,栈上分配、标量替换优化技术将会导致一些微妙的变化,所有的对象都分配到堆上也渐渐变得不那么“绝对”了。从 JDK 1.7 开始已经默认开启逃逸分析,如果某些方法中的对象引用没有被返回或者未被外面使用(也就是未逃逸出去),那么对象可以直接在栈上分配内存。
著作权归JavaGuide(javaguide.cn)所有 基于MIT协议 原文链接:https://javaguide.cn/java/jvm/memory-area.html
java堆是GC管理的区域,垃圾会分为各种代,分代的目的是为了优化GC性能。
内存溢出
可以用-Xmx和-Xms控制堆的大小。
如果堆满了,会抛出OutOfMemoryError
方法区
概念
JVM并未规定方法区的实现,所以不同虚拟机中的实现都不相同,HotSopt虚拟机,简单来说,JDK1.7的实现是永久代,存在堆内存,JDK1.8彻底放弃了永久代,改为元空间,存在操作系统的内存中。
虚拟机要使用类的时候,会解析*.class文件获取信息,然后将信息存入方法区,方法区保存类信息、字段信息、方法信息、常量、静态变量、即时编译器编译后的代码缓存等数据。
常量池
java堆中的字符串常量池,用来保存字符串对象。
看一下test类反编译后的class文件,可以看到编译器给它加了个无参构造,并且合并了"a"+"b"
在终端执行java -v *.class命令,可以反编译,查看详细信息。
这个Constant Pool就是我们的常量池,#1等是每个字面量的地址
往下看可以看到JVM指令:
ldc命令判断常量池是否保存了对应字符串对象的引用,保存了就返回,没保存就在堆中创建字符串对象,并且将该字符串对象的引用保存到常量池中。
常量池中的信息会被加载到运行时常量池,但是一开始这些字符只是常量池的符号而已,还不是真正的java字符串对象,等到执行ldc #2这条命令的时候,才会创建字符串对象"a"。
运行时常量池
方法区的一部分,存放常量池表。
如下问题,继续加深对String的理解。
String s1 = "a";
String s2 = "b";
String s3 = "a" + "b";
String s4 = s1+s2;
String s5 = "ab";
String s6 = s4.intern();
System.out.println(s3 == s4);
System.out.println(s3 == s5);
System.out.println(s3 == s6);
String x2 = new String("c") + new String("d");
x2.intern();
String x1 = "cd";
System.out.println(x1 == x2);
答案是false;true;true;true;
s3==s4?
s1+s2做了什么?我们看看反编译后的jvm指令。
这里就能清晰地看出,new了一个StringBuilder对象,调用append方法,最后调用toString返回了String对象,并没有使用ldc指令,所以这个String对象创建在堆内存,不在常量池中。所以s3和s4指向不同的地址。
s3==s5?
很明显相等,都执行ldc指令,二者都是常量池中"ab"的地址。
s3==s6?
intern()方法做了什么?
这是个native方法,jdk1.8中,将这个字符串对象尝试放入常量池,如果有不放入;如果没有则放入,并且返回常量池中的对象。
所以s3和s6都指向常量池的对象,相等。
s1==x2?
String x2 = new String("c") + new String("d");
x2.intern();
String x1 = "cd";
常量池一开始没有"cd",x2.intern在常量池中创建了"cd"并返回它的地址,所以x1==x2.
那如果颠倒一下呢?
String x2 = new String("c") + new String("d");
String x1 = "cd";
x2.intern();
执行x2.intern,发现常量池中已经有了"cd",于是啥都不做,所以x1!=x2
但是注意JDK1.7的intern有所不同,再执行s.intern()时,会先拷贝一份s对象,然后放入常量池,返回常量池对象,如果没有也是啥也不干。
所以要是JDK1.7的话,那么下面就是false了,因为x2执行intern,intern返回的值不是给x2,而是拷贝出来的x2,原x2还是堆内存中的String。
String x2 = new String("c") + new String("d");
x2.intern();
String x1 = "cd";
今天学习JVM让我对String的理解真的通透了!
本地内存和直接内存
可以这么表示:JAVA程序内存 = JVM内存+本地内存(元空间+直接内存)
本地内存(NativeMemory):并不属于虚拟机运行时数据区,而是本机的物理内存,只有申请内存超过本机物理内存才会抛出OutOfMemoryError异常。
直接内存(Direct Memory):JDK1.4加入了NIO(new input/output),可以通过存储在java堆里的DirectByteBuffer对象作为这块内存的引用操作,提高性能。