先分享一些很好的博客:【这篇文里的图片都来自这些博客】
JVM内存模型和运行时数据区:
https://www.cnblogs.com/czwbig/p/11127124.html
https://blog.csdn.net/weixin_42762133/article/details/95735737
运行时数据区 和 内存模型:
这两个东西并不是一样的。运行时数据区是强调了JVM将内存划分为不同的块来执行不同的任务;而内存模型是讲了Java为了实现多线程 而定义了线程和主存之间的抽象关系。
内存模型:
之前在volatile时也讲过,每个线程都有自己的内存空间,他们操作局部变量会在自己的工作内存中进行,而不是直接操作主存。
运行时数据区:
这个就是常说的 JVM中的堆、栈什么的。
这个部分在1.8时发生了一些变化,先看1.8之前的
从大块来说,运行时数据区被分为五块: 虚拟机栈、程序计数器、堆、方法区和本地方法栈。
虚拟机栈、程序计数器和本地方法栈是线程私有的,其他两块是所有线程共有的。
虚拟机栈是当线程每当调用一个方法时,就会有加入一个栈帧。这个栈帧存储了方法的局部变量表,操作数栈,动态链接和方法出口。局部变量表中可能会有对象的引用,这个引用就会指向堆中存储的对象。 而引用指向堆中的对象呢,并不一定是直接指向堆中对象,比如 堆中有个对象地址是 0000,那它的引用就是0000,并不一定是这样的。
目前有两种情况,首先是刚刚说的直接指向,也就是我们上图画出来的那种。堆中放一个对象,指针直接指向这个对象,然后对象中还存储着这个对象的类型信息(它属于哪个类)的指针,这个指针指向方法区(类的信息都在方法区)
第二种情况是,在堆中有一个句柄池,句柄池的每个单位 都存储着某个对象的实例数据的地址 以及该对象的类信息地址;局部变量表中的引用会指向句柄池的某个单元。
第一种方法的优点是速度快,因为它只需要一次查址就可以找到对象实例数据;但他的缺点是,因为在垃圾回收后,对象在堆中的位置可能会发生改变,这样我们还需要改变局部变量表中每个指向该对象的指针的值,该对象有几个引用就得改几次。
第二种方法的优点是,当对象地址发生改变时 不需要修改引用的值,只需要修改句柄池中的值,就是说改一次就行了。 缺点就是需要两次寻址才能找到对象的实例数据。 放上《深入理解Java虚拟机》中的图。
【挂啦 放不上来了】
程序计数器是指向当前线程执行到了哪条语句,这样在发生线程替换时,可以记录下这个线程上次运行到哪儿了
本地方法栈和虚拟机栈类似,只不过是调用native方法
再来看线程共有的:
堆:是存储对象的。堆也是垃圾收集的主要区域。
方法区:用于存储被虚拟机加载的类信息,常量 ( 被final修饰的indetifier,而不是数值字面量,String字面量也是常量 ),静态变量以及即时编译器编译后的代码等数据。这个区域可以进行垃圾回收也可以选择不进行垃圾回收。JDK1.7之前,方法区的实现方法是永久代,永久代的大小在启动JVM时可以设置一个固定值(-XX:MaxPermSize),不可变,之后开始试用元空间。
这里再分享两个知识点:
字符串到底被放在了哪儿?
字符串被存放的地方主要有两个:字符串常量池,堆空间(和其他对象一样)
首先来看创建字符串的方式有哪些:
1. 直接使用字符串字面量: String s1 = "hello";
2. 使用new创建String对象:String s2 = new String("hello");
3. 使用 + 将几个字符串连起来:
a. String s3 = "hel" + "lo"; // 将字面量加起来
b. String str1 = "hel"; String str2 = "lo"; String str3 = new String("hel");
String s4 = str1 + str2;
String s5 = "hel" + str2;
String s6 = str3 + "lo";
首先,第一种创建方式很确定得是在字符串常量池中创建字符串,如果已经有了就直接返回常量池中的字符串引用。因为字符串常量其实是个set,因此 当用同样的字面量赋值给不同的字符串变量时,这两个变量实际上指向了同一个字符串常量池中的字符串。
第二种创建方式也很确定,一旦使用了new创建对象 就会在堆中分配空间,返回堆中的对象引用。需要注意,当使用new创建字符串对象时,首先会在字符串常量池中查找是否有该字符串,如果没有则创建一个,有的话就不用创建了;之后再在堆中创建一个String对象。那为什么要保证 字符串常量池中有这个字符串呢?因为String对象中有一个final char[] 成员变量,这个成员变量实际上是指向字符串常量池中的这个字符串。因为是用new创建的,所以即使两个String对象的内容是一样的,他们也在堆中是有不同空间的。
之后是用 加号 连接字符串。这又分为两种情况:
1. 加号左右都是直接的字符串字面量
2. 加号左右至少有一边是非字面量(也就是字符串类型的变量名,这个变量可以是直接由字面量创建的,也可以是通过new创建的)
我们做个实验来看看由加号创建的字符串都创建在哪里了。【注意一下,图中的变量和上面的不太一样哈】
s3是用于比较的基准,直接用字符串字面量创建的
s4是用加号加起来两个字面量
s5是由加号加起来的,有一边是由字面量创建的字符串变量
s6是由加号加起来的,有一边是由new创建的字符串变量
让我们看看结果:
我们会发现 当加号两边都是字面量时,字符串仍然指向字符串常量池中的对象
一旦有一遍不是字面量,就会在堆中创建对象。
之后,String类还提供了一个方法 intern(),这个方法的作用是,即使是本来要在堆中创建字符串,用了这个方法也会放弃在堆中创建字符串,改为在字符串常量池中创建 并返回。如图,对刚刚的s5和s6使用这个方法。发现确实都指向了常量池中的对象。
包装类 如Integer,它们的对象放在哪儿了?
创建包装类的方式有三种:
1. 自动装箱 Integer i = 2; //直接用字面量创建对象
2. valueOf() 手动装箱 Integer i = Integer.valueOf(2);
3. new 手动装箱 Integer i = new Integer(2);
用第三种方法创建毋庸置疑直接在堆中创建,就不用考虑了。只考虑前两种。先直接说结论:
当数值在 -128 ~ 127之间时,不论自动装箱还是用valueOf手动装箱,会将数字放在常量池中,并返回引用。所以任何值在这个范围内的Integer都指的是常量池中的对象。
当数值不在这个范围内,会在堆中创建新的对象,因此地址都是不一样的。
其它包装类的情况:
- Byte Short Integer Long 四种类型字面量在大于等于 -128 且小于等于127 时对象将进入常量池 【这四种类型的变量不能用==进行比较】
- Character 类型 不能为负数,字面量大于等于0 且 小于等于127时对象将进入常量池
- Boolean类型 两个字面量都会进入常量池
- Float 和Double 类型 不会进入常量池
还需要注意的是,当使用 == 比较一个变量和一个数字字面量的时候,比较的是值而不是地址。因为基本类型没有对象的概念,也就没有这个对象存储在哪里的概念,它直接存储在栈中。