JVM初探

JVM初探总结

-2022.3.25 -BDY

猛猪猪语录：tmd大鼻子璐猪！！！

---

前言

本次总结是对看完黑马程序员的JVM视频的一次小总结，看完视频也不清楚学了多少，也没有一个清楚的认识，所以想到写一个博客总结一下，主要会摘抄别人的笔记内容。PS：tmd连个大纲都不清楚，还写个屁。
黑马程序员JVM
https://www.bilibili.com/video/BV1yE411Z7AP?spm_id_from=333.999.0.0
大佬的JVM笔记
https://nyimac.gitee.io/2020/07/03/JVM%E5%AD%A6%E4%B9%A0/
第二个大佬的JVM笔记
https://blog.csdn.net/weixin_50280576/article/details/113742011

---

一、什么是JVM？

定义

java virtual machine ，java程序的运行环境（java二进制季节码的运行环境）
什么是java二进制字节码的运行环境？-> JVM

好处

1.一次编写，到处运行
2.自动内存管理，垃圾回收机制
3.数组下标越界检查

1.这也是java的好处，编写成jar包后，只要有jvm就可以在电脑上运行
2.涉及JVM内存管理，JVM垃圾回收
3.数组下标越界检查
->

如下定义一个数组： int[] ints = new int[100];
此时就会在堆中开辟一个对应的空间，ints也被分配了相应的内存空间。
这里从JVM的角度说下自己的理解，不一定是对的哈，比如现在只在堆中给ints分配了相对应它长度100的内存空间，如果不检查数组下标越界，那么ints就可以无限分配了，直到堆内存的极限，那么问题来了，其他的对象也有被分配在堆上，如果数组允许下标越界的内存分配方式，就可能把这个内存上的内容给覆盖了，也就可能把其他对象给覆盖了，这样大家都是数组了，还怎么做业务。。。

---

二、内存结构

整体架构和定义

JVM内存结构主要包括：方法区（method area）， 堆（heap），虚拟机栈（JVM stacks），程序计数器（PC register），本地方法栈（Native Method Stacks）

方法区（method area）

在jdk1.8之后，方法区会移动到本地内存空间,称为元空间（1.6之前为永久代），JVM中只保存方法区的引用，方法区中的串池也会移动到堆中存储

定义： 方法区与java堆一样，是各个线程共享的内存区域，它用于存储已被虚拟机加载的类信息、常量、静态变量、即时编译器编译后的代码等数据。它有个别命叫Non-Heap（非堆）。当方法区无法满足内存分配需求时，抛出OutOfMemoryError异常。

1. 内存溢出OutOfMemoryError
   1.8以前会导致永久代内存溢出
   1.8以后会导致元空间内存溢出
2. 常量池
   二进制字节码的组成：类的基本信息、常量池、类的方法定义（包含了虚拟机指令）
   下面是方法区常量池的实例：
   运行时常量池：
   常量池是.class文件中的，当该*类被加载以后，它的常量池信息就会放入运行时常量池，并把里面的符号地址变为真实地址**
3. 串池StringTable

特征

1.常量池中的字符串仅是符号，只有在被用到时才会转化为对象
2.利用串池的机制，来避免重复创建字符串对象（元素不重复）
3…字符串变量拼接的原理是StringBuilder
4.字符串常量拼接的原理是编译器优化
5. 可以使用intern方法，主动将串池中还没有的字符串对象放入串池中
6. 注意：无论是串池还是堆里面的字符串，都是对象

intern方法1.8
如果串池中没有该字符串对象，则放入成功
如果有该字符串对象，则放入失败
无论放入是否成功，都会返回串池中的字符串对象

StringTable调优
因为StringTable是由HashTable实现的，所以可以适当增加HashTable桶的个数，（减少hash碰撞），来减少字符串放入串池所需要的时间

-XX:StringTableSize=xxxx

堆（heap）

• 定义
  通过new关键字创建的对象都会被放在堆内存
  PS：在堆中放入的是创建的对象，在方法区中是对象的引用。
• 特点
  1.线程共享
  2.有垃圾回收机制
  3.堆和方法区同样都是共享区
• 堆内存溢出
  java.lang.OutofMemoryError ：java heap space. 堆内存溢出

原因: 堆是Java程序中最为重要的内存空间，由于大量的对象都直接分配在堆上，因此它也成为最有可能发生溢出的区间。一般来说，绝大部分Java的内存溢出都属于这种情况。其原因是因为大量对象占据了堆空间，而这些对象都持有强引用，导致无法回收，当对象大小之和大于由Xmx参数指定的堆空间大小时，溢出错误就自然而然地发生了。

虚拟机栈（JVM stacks）

• 定义

1.每个线程运行需要的内存空间，称为虚拟机栈

2.每个栈由多个栈帧组成，对应着每次调用方法时所占用的内存，每个方法对应一个栈帧。

3.每个线程只能有一个活动栈帧，对应着当前正在执行的方法。

• 问题

1.垃圾回收是否涉及栈内存？
不需要。因为虚拟机栈中是由一个个栈帧组成的，在方法执行完毕后，对应的栈帧就会被弹出栈。所以无需通过垃圾回收机制去回收内存。

2.栈内存的分配越大越好吗？
不是。因为物理内存是一定的，栈内存越大，可以支持更多的递归调用，但是可执行的线程数就会越少。

3.方法内的局部变量是否是线程安全的？
如果方法内局部变量没有逃离方法的作用范围，则是线程安全的
如果如果局部变量引用了对象，并逃离了方法的作用范围，则需要考虑线程安全问题

• 内存溢出

Java.lang.stackOverflowError 栈内存溢出

原因：栈帧过多（无限递归），栈帧过大。

程序计数器（PC register）

• 作用
  用于保存JVM中下一条所要执行的指令的地址
• 特点
  1.线程私有
  当线程时间片用完再从新获取时间片后，通过程序计数器可以知道要执行哪条代码。
  2.不会存在内存溢出

本地方法栈（Native Method Stacks）

一些带有native关键字的方法就是需要JAVA去调用本地的C或者C++方法，因为JAVA有时候没法直接和操作系统底层交互，所以需要用到本地方法

直接内存

直接内存的回收机制总结 使用了Unsafe类来完成直接内存的分配回收，回收需要主动调用freeMemory方法
ByteBuffer的实现内部使用了Cleaner（虚引用）来检测ByteBuffer。一旦ByteBuffer被垃圾回收，那么会由ReferenceHandler来调用Cleaner的clean方法调用freeMemory来释放内存

---

三、垃圾回收

1.判断垃圾是否可回收（垃圾回收原理）

• 引用计数法
  顾名思义，当对象被引用后，计数加一，消除引用，计数减一
  弊端：循环引用时，两个对象的计数都为1，导致两个对象都无法被释放
• 可达性分析算法
  这是JVM使用的算法。
  方法：扫描堆中的对象，看能否沿着GC Root对象为起点的引用链找到该对象，如果找不到，则表示可以回收

补充：

可以作为GC Root的对象
虚拟机栈（栈帧中的本地变量表）中引用的对象。　
方法区中类静态属性引用的对象
方法区中常量引用的对象
本地方法栈中JNI（即一般说的Native方法）引用的对象

• 五种引用

强引用
只有GC Root都不引用该对象时，才会回收强引用对象
如上图B、C对象都不引用A1对象时，A1对象才会被回收

软引用
当GC Root指向软引用对象时，在内存不足时，会回收软引用所引用的对象，只有当内存不足时才会回收
如上图如果B对象不再引用A2对象且内存不足时，软引用所引用的A2对象就会被回收

软引用的使用

public class Demo1 {
	public static void main(String[] args) {
		final int _4M = 4*1024*1024;
		//使用软引用对象 list和SoftReference是强引用，而SoftReference和byte数组则是软引用
		List<SoftReference<byte[]>> list = new ArrayList<>();
		SoftReference<byte[]> ref= new SoftReference<>(new byte[_4M]);
	}
}

如果想要清理软引用，需要使用引用队列
大概思路为：查看引用队列中有无软引用，如果有，则将该软引用从存放它的集合中移除（这里为一个list集合）

弱引用
只有弱引用引用该对象时，在垃圾回收时，无论内存是否充足，都会回收弱引用所引用的对象
如上图如果B对象不再引用A3对象，则A3对象会被回收
弱引用的使用和软引用类似，只是将 SoftReference 换为了 WeakReference，在是否回收时有区别

虚引用
当虚引用对象所引用的对象被回收以后，虚引用对象就会被放入引用队列中，调用虚引用的方法
虚引用的一个体现是释放直接内存所分配的内存，当引用的对象ByteBuffer被垃圾回收以后，虚引用对象Cleaner就会被放入引用队列中，然后调用Cleaner的clean方法来释放直接内存
如上图，B对象不再引用ByteBuffer对象，ByteBuffer就会被回收。但是直接内存中的内存还未被回收。这时需要将虚引用对象Cleaner放入引用队列中，然后调用它的clean方法来释放直接内存

终结器引用
所有的类都继承自Object类，Object类有一个finalize方法。当某个对象不再被其他的对象所引用时，会先将终结器引用对象放入引用队列中，然后根据终结器引用对象找到它所引用的对象，然后调用该对象的finalize方法。调用以后，该对象就可以被垃圾回收了
如上图，B对象不再引用A4对象。这是终结器对象就会被放入引用队列中，引用队列会根据它，找到它所引用的对象。然后调用被引用对象的finalize方法。调用以后，该对象就可以被垃圾回收了
引用队列
1.软引用和弱引用可以配合引用队列
在弱引用和虚引用所引用的对象被回收以后，会将这些引用放入引用队列中，方便一起回收这些软/弱引用对象

2.虚引用和终结器引用必须配合引用队列
虚引用和终结器引用在使用时会关联一个引用队列

2.垃圾回收算法（垃圾回收过程）

1. 标记—清除
   

定义：标记清除算法顾名思义，是指在虚拟机执行垃圾回收的过程中，先采用标记算法确定可回收对象，然后垃圾收集器根据标识清除相应的内容，给堆内存腾出相应的空间，这里的腾出内存空间并不是将内存空间的字节清0，而是记录下这段内存的起始结束地址，下次分配内存的时候，会直接覆盖这段内存。

缺点：容易产生大量的内存碎片，可能无法满足大对象的内存分配，一旦导致无法分配对象，那就会导致jvm启动gc，一旦启动gc，我们的应用程序就会暂停，这就导致应用的响应速度变慢

2. 标记—整理
   

**定义：**标记-整理 会将不被GC Root引用的对象回收，清楚其占用的内存空间。然后整理剩余的对象，可以有效避免因内存碎片而导致的问题

**缺点：**但是因为整体需要消耗一定的时间，所以效率较低

3. 复制

将内存分为等大小的两个区域，FROM和TO（TO中为空）。先将被GC Root引用的对象从FROM放入TO中，再回收不被GC Root引用的对象。然后交换FROM和TO。这样也可以避免内存碎片的问题，但是会占用双倍的内存空间

3.分代回收（垃圾回收过程）

流程：
1.新创建的对象都被放在了新生代的伊甸园中

2.当伊甸园中的内存不足时，就会进行一次垃圾回收，这时的回收叫做 Minor GC

Minor GC 会将伊甸园和幸存区FROM存活的对象先复制到 幸存区 TO中， 并让其寿命加1，再交换两个幸存区

3.再次创建对象，若新生代的伊甸园又满了，则会再次触发 Minor GC（会触发 stop the world， 暂停其他用户线程，只让垃圾回收线程工作），这时不仅会回收伊甸园中的垃圾，还会回收幸存区中的垃圾，再将活跃对象复制到幸存区TO中。回收以后会交换两个幸存区，并让幸存区中的对象寿命加1

4.如果幸存区中的对象的寿命超过某个阈值（最大为15，4bit），就会被放入老年代中
如果新生代老年代中的内存都满了，就会先触发Minor GC，再触发Full GC，扫描新生代和老年代中所有不再使用的对象并回收

补：GC分析

大对象处理策略 当遇到一个较大的对象时，就算新生代的伊甸园为空，也无法容纳该对象时，会将该对象直接晋升为老年代

///线程内存溢出 某个线程的内存溢出了而抛异常（out of memory），不会让其他的线程结束运行

这是因为当一个线程抛出OOM异常后，它所占据的内存资源会全部被释放掉，从而不会影响其他线程的运行，进程依然正常

4.垃圾回收器（垃圾回收的几种垃圾回收器使用）

1.相关概念

并行收集：指多条垃圾收集线程并行工作，但此时用户线程仍处于等待状态。

并发收集：指用户线程与垃圾收集线程同时工作（不一定是并行的可能会交替执行）。用户程序在继续运行，而垃圾收集程序运行在另一个CPU上

吞吐量：即CPU用于运行用户代码的时间与CPU总消耗时间的比值（吞吐量 = 运行用户代码时间 / ( 运行用户代码时间 + 垃圾收集时间 )），也就是。例如：虚拟机共运行100分钟，垃圾收集器花掉1分钟，那么吞吐量就是99%
串行
单线程
内存较小，个人电脑（CPU核数较少）

安全点：让其他线程都在这个点停下来，以免垃圾回收时移动对象地址，使得其他线程找不到被移动的对象
因为是串行的，所以只有一个垃圾回收线程。且在该线程执行回收工作时，其他线程进入阻塞状态

2.回收器

1.Serial 收集器

2.ParNew 收集器

3.Serial Old 收集器

4.Parallel Scavenge 收集器

5.Parallel Old 收集器

6.CMS 收集器

7.G1

PS：关于各种回收器的知识暂不理解，等有机会需要用到再来补充！！！

5.GC调优（垃圾回收器调优）

1.调优领域

内存 锁竞争 CPU占用 IO GC

2.目标

低延迟/高吞吐量？ 选择合适的GC

3.最好的GC是不发生GC

首先排除减少因为自身编写的代码而引发的内存问题

查看Full GC前后的内存占用，考虑以下几个问题 数据是不是太多？ 数据表示是否太臃肿 对象图 对象大小 是否存在内存泄漏

4.新生代调优

特点：
所有的new操作分配内存都是非常廉价的
TLAB
死亡对象回收零代价
大部分对象用过即死（朝生夕死）
MInor GC 所用时间远小于Full GC

关于新生代内存是否越大越好？
不是
新生代内存太小：频繁触发Minor GC，会STW，会使得吞吐量下降
新生代内存太大：老年代内存占比有所降低，会更频繁地触发Full GC。而且触发Minor GC时，清理新生代所花费的时间会更长

5.幸存区调优

改变晋升阈值，改变幸存区大小
幸存区需要能够保存 当前活跃对象+需要晋升的对象
晋升阈值配置得当，让长时间存活的对象尽快晋升

6.老年代调优
更改老年代内存区大小

---

四、类加载和字节码技术

类加载流程图：

首先是编译期，将Java源文件也就是敲好的代码通过编译，转换成.class文件，也就是字节码文件（byte），然后经过传输传给类加载器，传输的是刚转换好的字节码文件，也可以是通过网络传输过来的字节码文件，这个是分布式架构下的情况。

然后就是运行期，运行期一开始，类加载器初始化字节码文件，通过本地类库来验证字节码文件的正确性，然后交给JVM的解释器和即时编译器，最后汇合给JVM内部的Java运行系统，都ok了后传给PC的操作系统，最后就是物理硬件层面。

1.类文件结构

类的字节码文件：

0000000 ca fe ba be 00 00 00 34 00 23 0a 00 06 00 15 09
0000020 00 16 00 17 08 00 18 0a 00 19 00 1a 07 00 1b 07
0000040 00 1c 01 00 06 3c 69 6e 69 74 3e 01 00 03 28 29
0000060 56 01 00 04 43 6f 64 65 01 00 0f 4c 69 6e 65 4e
0000100 75 6d 62 65 72 54 61 62 6c 65 01 00 12 4c 6f 63
0000120 61 6c 56 61 72 69 61 62 6c 65 54 61 62 6c 65 01
0000140 00 04 74 68 69 73 01 00 1d 4c 63 6e 2f 69 74 63
0000160 61 73 74 2f 6a 76 6d 2f 74 35 2f 48 65 6c 6c 6f
0000200 57 6f 72 6c 64 3b 01 00 04 6d 61 69 6e 01 00 16
0000220 28 5b 4c 6a 61 76 61 2f 6c 61 6e 67 2f 53 74 72
0000240 69 6e 67 3b 29 56 01 00 04 61 72 67 73 01 00 13
0000260 5b 4c 6a 61 76 61 2f 6c 61 6e 67 2f 53 74 72 69
0000300 6e 67 3b 01 00 10 4d 65 74 68 6f 64 50 61 72 61
0000320 6d 65 74 65 72 73 01 00 0a 53 6f 75 72 63 65 46
0000340 69 6c 65 01 00 0f 48 65 6c 6c 6f 57 6f 72 6c 64
0000360 2e 6a 61 76 61 0c 00 07 00 08 07 00 1d 0c 00 1e
0000400 00 1f 01 00 0b 68 65 6c 6c 6f 20 77 6f 72 6c 64
0000420 07 00 20 0c 00 21 00 22 01 00 1b 63 6e 2f 69 74
0000440 63 61 73 74 2f 6a 76 6d 2f 74 35 2f 48 65 6c 6c
0000460 6f 57 6f 72 6c 64 01 00 10 6a 61 76 61 2f 6c 61
0000500 6e 67 2f 4f 62 6a 65 63 74 01 00 10 6a 61 76 61
0000520 2f 6c 61 6e 67 2f 53 79 73 74 65 6d 01 00 03 6f
0000540 75 74 01 00 15 4c 6a 61 76 61 2f 69 6f 2f 50 72
0000560 69 6e 74 53 74 72 65 61 6d 3b 01 00 13 6a 61 76
0000600 61 2f 69 6f 2f 50 72 69 6e 74 53 74 72 65 61 6d
0000620 01 00 07 70 72 69 6e 74 6c 6e 01 00 15 28 4c 6a
0000640 61 76 61 2f 6c 61 6e 67 2f 53 74 72 69 6e 67 3b
0000660 29 56 00 21 00 05 00 06 00 00 00 00 00 02 00 01
0000700 00 07 00 08 00 01 00 09 00 00 00 2f 00 01 00 01
0000720 00 00 00 05 2a b7 00 01 b1 00 00 00 02 00 0a 00
0000740 00 00 06 00 01 00 00 00 04 00 0b 00 00 00 0c 00
0000760 01 00 00 00 05 00 0c 00 0d 00 00 00 09 00 0e 00
0001000 0f 00 02 00 09 00 00 00 37 00 02 00 01 00 00 00
0001020 09 b2 00 02 12 03 b6 00 04 b1 00 00 00 02 00 0a
0001040 00 00 00 0a 00 02 00 00 00 06 00 08 00 07 00 0b
0001060 00 00 00 0c 00 01 00 00 00 09 00 10 00 11 00 00
0001100 00 12 00 00 00 05 01 00 10 00 00 00 01 00 13 00
0001120 00 00 02 00 14

类文件结构

u4 magic
u2 minor_version;
u2 major_version;
u2 constant_pool_count;
cp_info constant_pool[constant_pool_count-1];
u2 access_flags;
u2 this_class;
u2 super_class;
u2 interfaces_count;
u2 interfaces[interfaces_count];
u2 fields_count;
field_info fields[fields_count];
u2 methods_count;
method_info methods[methods_count];
u2 attributes_count;
attribute_info attributes[attributes_count];

PS：面试不考，再见！

2.字节码指令（各种类型分析）

了解类加载流程
代码：

public class Demo3_1 {    
	public static void main(String[] args) {        
		int a = 10;        
		int b = Short.MAX_VALUE + 1;        
		int c = a + b;        
		System.out.println(c);   
    } 
}

1.常量池载入运行时常量池

2.方法字节码载入方法区

3.开始执行字节码
具体流程请看转载：
大佬的JVM笔记
https://nyimac.gitee.io/2020/07/03/JVM%E5%AD%A6%E4%B9%A0/

4.构造方法

cinit()V

在类加载的准备阶段，虚拟机会为static的类变量赋上类型的初始值、常量附上定义的值(值必须为字面量或常量)。

public class Demo3 {
	static int i = 10;

	static {
		i = 20;
	}

	static {
		i = 30;
	}

	public static void main(String[] args) {
		System.out.println(i); //结果为30
	}
}

编译器会按从上至下的顺序，收集所有 static 静态代码块和静态成员赋值的代码，合并为一个特殊的方法 cinit()V

init()V

在new对象之后，init方法之前，虚拟机会为实例变量赋上类型初始值，常量附上定义的值(值必须为字面量或常量)。

public class Demo4 {
	private String a = "s1";

	{
		b = 20;
	}

	private int b = 10;

	{
		a = "s2";
	}

	public Demo4(String a, int b) {
		this.a = a;
		this.b = b;
	}

	public static void main(String[] args) {
		Demo4 d = new Demo4("s3", 30);
		System.out.println(d.a);
		System.out.println(d.b);
	}
}

编译器会按从上至下的顺序，收集所有 {} 代码块和成员变量赋值的代码，形成新的构造方法，但原始构造方法内的代码总是在后

cinit和init方法区别：
一个在类加载准备阶段，一个在new对象之后
加载方法类型不同，一个是静态代码块，一个是{}代码块和成员变量

5.方法调用

public class Demo5 {
	public Demo5() {

	}

	private void test1() {

	}

	private final void test2() {

	}

	public void test3() {

	}

	public static void test4() {

	}

	public static void main(String[] args) {
		Demo5 demo5 = new Demo5();
		demo5.test1();
		demo5.test2();
		demo5.test3();
		Demo5.test4();
	}
}

不同方法在调用时，对应的虚拟机指令有所区别
1.私有、构造、被final修饰的方法，在调用时都使用invokespecial指令
2.普通成员方法在调用时，使用invokespecial指令。因为编译期间无法确定该方法的内容，只有在运行期间才能确定
3. 静态方法在调用时使用invokestatic指令

new 是创建【对象】，给对象分配堆内存，执行成功会将【对象引用】压入操作数栈
dup 是赋值操作数栈栈顶的内容，本例即为【对象引用】，为什么需要两份引用呢，一个是要配合 invokespecial 调用该对象的构造方法 “init”()V （会消耗掉栈顶一个引用），另一个要 配合 astore_1 赋值给局部变量
终方法（final），私有方法（private），构造方法都是由 invokespecial 指令来调用，属于静态绑定
普通成员方法是由 invokevirtual 调用，属于动态绑定，即支持多态 成员方法与静态方法调用的另一个区别是，执行方法前是否需要【对象引用】

6.多态原理
多态原理
有亿点点难

因为普通成员方法需要在运行时才能确定具体的内容，所以虚拟机需要调用invokevirtual指令

在执行invokevirtual指令时，经历了以下几个步骤：

先通过栈帧中对象的引用找到对象
分析对象头，找到对象实际的Class
Class结构中有vtable
查询vtable找到方法的具体地址
执行方法的字节码 异常处理

7.异常处理（try—catch）

public class Demo1 {
	public static void main(String[] args) {
		int i = 0;
		try {
			i = 10;
		}catch (Exception e) {
			i = 20;
		}
	}
}

Code:
stack=1, locals=3, args_size=1
0: iconst_0
1: istore_1
2: bipush 10
4: istore_1
5: goto 12
8: astore_2
9: bipush 20
11: istore_1
12: return
//多出来一个异常表
Exception table:
from to target type
2 5 8 Class java/lang/Exception

可以看到多出来一个 Exception table 的结构，[from, to) 是前闭后开（也就是检测2~4行）的检测范围，一旦这个范围内的字节码执行出现异常，则通过 type 匹配异常类型，如果一致，进入 target 所指示行号
8行的字节码指令 astore_2 是将异常对象引用存入局部变量表的2号位置（为e）

3.编译器处理

经典：语法糖
所谓的 语法糖 ，其实就是指 java 编译器把 .java 源码编译为 .class 字节码的过程中，自动生成和转换**的一些代码，主要是为了减轻程序员的负担，算是 java 编译器给我们的一个额外福利

1.构造函数

public class Candy1 {

}

public class Candy1 {
   //这个无参构造器是java编译器帮我们加上的
   public Candy1() {
      //即调用父类 Object 的无参构造方法，即调用 java/lang/Object." <init>":()V
      super();
   }
}

2.自动拆装箱

基本类型和其包装类型的相互转换过程，称为拆装箱

public class Demo2 {
   public static void main(String[] args) {
      Integer x = 1;
      int y = x;
   }
}

public class Demo2 {
   public static void main(String[] args) {
      //基本类型赋值给包装类型，称为装箱
      Integer x = Integer.valueOf(1);
      //包装类型赋值给基本类型，称谓拆箱
      int y = x.intValue();
   }
}

3.泛型集合取值

泛型也是在 JDK 5 开始加入的特性，但 java 在编译泛型代码后会执行 泛型擦除 的动作，即泛型信息在编译为字节码之后就丢失了，实际的类型都当做了 Object 类型来处理

4.可变参数

public class Demo4 {
   public static void foo(String... args) {
      //将args赋值给arr，可以看出String...实际就是String[] 
      String[] arr = args;
      System.out.println(arr.length);
   }

   public static void main(String[] args) {
      foo("hello", "world");
   }
}

可变参数 String… args 其实是一个 String[] args

public class Demo4 {
   public Demo4 {}

    
   public static void foo(String[] args) {
      String[] arr = args;
      System.out.println(arr.length);
   }

   public static void main(String[] args) {
      foo(new String[]{"hello", "world"});
   }
}

5.foreach
foreach转为for

public class Demo5 {
	public static void main(String[] args) {
        //数组赋初值的简化写法也是一种语法糖。
		int[] arr = {1, 2, 3, 4, 5};
		for(int x : arr) {
			System.out.println(x);
		}
	}
}

public class Demo5 {
    public Demo5 {}

	public static void main(String[] args) {
		int[] arr = new int[]{1, 2, 3, 4, 5};
		for(int i=0; i<arr.length; ++i) {
			int x = arr[i];
			System.out.println(x);
		}
	}
}

如果是集合使用foreach，需要该集合类实现了Iterable接口，因为集合的遍历需要用到迭代器Iterator.

while(iterator.hasNext()) {
Integer x = iterator.next();
System.out.println(x);
}

6.switch字符串

public class Demo6 {
   public static void main(String[] args) {
      String str = "hello";
      switch (str) {
         case "hello" :
            System.out.println("h");
            break;
         case "world" :
            System.out.println("w");
            break;
         default:
            break;
      }
   }
}

public class Demo6 {
   public Demo6() {
      
   }
   public static void main(String[] args) {
      String str = "hello";
      int x = -1;
      //通过字符串的hashCode+value来判断是否匹配
      switch (str.hashCode()) {
         //hello的hashCode
         case 99162322 :
            //再次比较，因为字符串的hashCode有可能相等
            if(str.equals("hello")) {
               x = 0;
            }
            break;
         //world的hashCode
         case 11331880 :
            if(str.equals("world")) {
               x = 1;
            }
            break;
         default:
            break;
      }

      //用第二个switch在进行输出判断
      switch (x) {
         case 0:
            System.out.println("h");
            break;
         case 1:
            System.out.println("w");
            break;
         default:
            break;
      }
   }
}

7.其余类型

switch枚举
枚举类
匿名内部类

4.类加载阶段

加载-链接-验证-准备-解析-初始化

一、加载
1.将类的字节码载入方法区（1.8后为元空间，在本地内存中）中，内部采用 C++ 的 instanceKlass 描述 java 类，它的重要 field 有：
_java_mirror 即 java 的类镜像，例如对 String 来说，它的镜像类就是 String.class，作用是把 klass 暴露给 java 使用
_super 即父类
_fields 即成员变量
_methods 即方法
_constants 即常量池
_class_loader 即类加载器
_vtable 虚方法表
_itable 接口方法

2.如果这个类还有父类没有加载，先加载父类

3.加载和链接可能是交替运行的

4.nstanceKlass保存在方法区。JDK 8以后，方法区位于元空间中，而元空间又位于本地内存中

5.InstanceKlass和*.class(JAVA镜像类)互相保存了对方的地址

6.类的对象在对象头中保存了*.class的地址。让对象可以通过其找到方法区中的instanceKlass，从而获取类的各种信息

二、链接

三、验证
验证类是否符合 JVM规范，安全性检查

四、准备
为 static 变量分配空间，设置默认值

static变量在JDK 7以前是存储与instanceKlass末尾。但在JDK 7以后就存储在_java_mirror末尾了
static变量在分配空间和赋值是在两个阶段完成的。分配空间在准备阶段完成，赋值在初始化阶段完成
如果 static 变量是 final 的基本类型，以及字符串常量，那么编译阶段值就确定了，赋值在准备阶段完成
如果 static 变量是 final 的，但属于引用类型，那么赋值也会在初始化阶段完成

五、解析

含义：将常量池中的符号引用解析为直接引用

未解析时，常量池中的看到的对象仅是符号，未真正的存在于内存中
解析以后，会将常量池中的符号引用解析为直接引用

六、初始化

初始化阶段就是执行类构造器clinit()方法的过程，虚拟机会保证这个类的『构造方法』的线程安全

发生时机

类的初始化的懒惰的，以下情况会初始化：

main 方法所在的类，总会被首先初始化

首次访问这个类的静态变量或静态方法时

子类初始化，如果父类还没初始化，会引发

子类访问父类的静态变量，只会触发父类的初始化

Class.forName

new 会导致初始化

验证类是否被初始化，可以看改类的静态代码块是否被执行

5.类加载器

1.定义：

Java虚拟机设计团队有意把类加载阶段中的“通过一个类的全限定名来获取描述该类的二进制字节流”这个动作放到Java虚拟机外部去实现，以便让应用程序自己决定如何去获取所需的类。实现这个动作的代码被称为“类加载器”（ClassLoader）

类加载器虽然只用于实现类的加载动作，但它在Java程序中起到的作用却远超类加载阶段

对于任意一个类，都必须由加载它的类加载器和这个类本身一起共同确立其在Java虚拟机中的唯一性，每一个类加载器，都拥有一个独立的类名称空间。这句话可以表达得更通俗一些：比较两个类是否“相等”，只有在这两个类是由同一个类加载器加载的前提下才有意义，否则，即使这两个类来源于同一个Class文件，被同一个Java虚拟机加载，只要加载它们的类加载器不同，那这两个类就必定不相等

2.启动类加载器Bootstrap ClassLoader

3.拓展类加载器Extension ClassLoader

4.应用程序类加载器Application ClassLoader

5.自定义加载器

6.双亲委派机制和沙箱安全机制

双亲委派机制：

程序加载某个类，查找过程（从父级开始找）：
先在bootstrap ClassLoaer下，找不到就会去 Extension ClassLoaer 下找
如果在Extension ClassLoaer 找不到就会去App ClassLoaer找
如果在App ClassLoaer找不到，一般就会抛出class not found 异常

解释：
当一个类收到了类的加载请求，他首先不会自己去加载这个类，而是把这个请求委派给父亲去完成，每一层的类加载器都是如此，只有当父类加载器反馈自己无法完成这个请求的时候（在他的加载的路径下没有找到所需要加载的class），子类加载器才会尝试自己去加载。

优点
比如加载位于rt.jar包中的类java.lang.Object，不管是哪个加载器加载这个类，最终都会委托给顶层的启动类（BootStrap Class Loader）进行加载这样就保证了不同的加载的类加载器最终得到的都是同样的一个Object 对象

沙箱安全机制：

沙箱安全：程序员写的代码不会污染Java出厂自带的源代码，这样就可以保证大家用的都是同一个代码

解释：

因为有双亲委派机制，也就是会在Java的BootStrap Class Loader 加载的jar包中寻找，在该jar包下就会找到一个java.lang.String 的类，此时就会停止在子级中寻找（先到先得原则），但是在该类中并未找到main方法，所以运行时会报错。

这样就保证了Java的出厂源码不会受到开发人员编写的污染（沙箱安全机制）

6.运行期优化

1.分层编译
JVM 将执行状态分成了 5 个层次：

0层：解释执行，用解释器将字节码翻译为机器码
1层：使用 C1 即时编译器编译执行（不带 profiling）
2层：使用 C1即时编译器编译执行（带基本的profiling）
3层：使用 C1 即时编译器编译执行（带完全的profiling）
4层：使用 C2 即时编译器编译执行

即时编译器（JIT）与解释器的区别

解释器
将字节码解释为机器码，下次即使遇到相同的字节码，仍会执行重复的解释
是将字节码解释为针对所有平台都通用的机器码

即时编译器
将一些字节码编译为机器码，并存入 Code Cache，下次遇到相同的代码，直接执行，无需再编译
根据平台类型，生成平台特定的机器码

逃逸分析

全局逃逸（GlobalEscape）
即一个对象的作用范围逃出了当前方法或者当前线程，有以下几种场景：
对象是一个静态变量
对象是一个已经发生逃逸的对象
对象作为当前方法的返回值

参数逃逸（ArgEscape）
即一个对象被作为方法参数传递或者被参数引用，但在调用过程中不会发生全局逃逸，这个状态是通过被调方法的字节码确定的

没有逃逸
即方法中的对象没有发生逃逸

逃逸分析优化

1.锁消除

我们知道线程同步锁是非常牺牲性能的，当编译器确定当前对象只有当前线程使用，那么就会移除该对象的同步锁

例如，StringBuffer 和 Vector 都是用 synchronized
修饰线程安全的，但大部分情况下，它们都只是在当前线程中用到，这样编译器就会优化移除掉这些锁操作

2.标量替换

3.栈上分配

当对象没有发生逃逸时，该对象就可以通过标量替换分解成成员标量分配在栈内存中，和方法的生命周期一致，随着栈帧出栈时销毁，减少了 GC
压力，提高了应用程序性能

2.方法内联

不建议现在学习！！！
后面再说

3.反射优化

不建议现在学习！！！
后面再说

---

五、内存模型

主要是关于JUC中的知识，详情等学完JUC再来补充