黑马JVM教程——自学笔记（一）

一、引言

1.1、什么是JVM

定义： Java Virtual Machine - java的运行环境（java二进制字节码的运行环境）

好处：

• 一次编写，导出运行
• 自动内存管理，垃圾回收功能
• 数组下标越界检查
• 多态

比较：

JVM JRE JDK的区别

1.2、学JVM有什么用

• 面试
• 理解底层原理
• 中高级程序员必备技能

1.3、常见的JVM

JVM是一套规范，只要遵循这个规范，自己也可以写一个JVM

1.4、学习路线

1. JVM内存结构
2. GC垃圾回收
3. Java Class
4. ClassLoader
5. JIT Compiler

二、内存结构

2.1、程序计数器

2.1.1 定义

Program Counter Register程序计数器(寄存器)

2.1.2 作用

• 记住下一条jvm指令的执行地址
• java源代码->jvm指令(二进制字节码)->解释器->机器码->CPU

• 特点
  • 线程私有
    • CPU会为每个线程分配时间片，每当当前线程的时间片使用完以后，CPU就会去执行另一个线程中的代码
    • 程序计数器是每个线程所私有的，当另一个线程的时间片用完，又返回来执行当前线程的代码时，通过程序计数器可以知道应该执行哪一句指令
  • 不会存在内存溢出

2.2、虚拟机栈

2.2.1 定义

Java Virtual Machine Stacks ( Java虚拟机栈)

• 每个线程运行需要的内存空间，称为虚拟机栈
• 每个栈由多个栈帧组成，对应着每次调用方法时所占用的内存
• 每个线程只能有一个活动栈帧，对应着当前正在执行的方法

问题辨析

• 垃圾回收是否涉及栈内存？
  • 不需要。因为虚拟机栈中是由一个个栈帧组成的，在方法执行完毕后，对应的栈帧就会被弹出栈。所以无需通过垃圾回收机制去回收内存。
• 栈内存的分配越大越好吗？
  • 不是。因为物理内存是一定的，栈内存越大，可以支持更多的递归调用，但是可执行的线程数就会越少。
• 方法内的局部变量是否是线程安全的？
  • 如果方法内局部变量没有逃离方法的作用范围，则是线程安全的
  • 如果如果局部变量引用了对象，并逃离了方法的作用范围，则需要考虑线程安全问题

2.2.2 栈内存溢出

Java.lang.stackOverflowError 栈内存溢出

• 发生原因
  • 虚拟机栈中，栈帧过多（无限递归）
  • 每个栈帧所占用过大

2.2.3 线程运行判断

CPU占用过高

• Linux环境下运行某些程序的时候，可能导致CPU的占用过高，这时需要定位占用CPU过高的线程
  • top命令，查看是哪个进程占用CPU过高
  • ps H -eo pid, tid（线程id）, %cpu | grep 刚才通过top查到的进程号 通过ps命令进一步查看是哪个线程占用CPU过高
  • jstack 进程id 通过查看进程中的线程的tid，刚才通过ps命令看到的tid来对比定位，注意jstack查找出的线程id是16进制的，需要转换

程序运行时间很长时间没有结果

• jstack pid 查看线程信息-> 发现死锁

2.3、本地方法栈

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

2.4、堆

2.4.1 定义

通过new关键字创建的对象都会被放在堆内存

特点

• 所有线程共享，堆内存中的对象都需要考虑线程安全问题
• 有垃圾回收机制

2.4.2 堆内存溢出

java.lang.OutofMemoryError ：java heap space. 堆内存溢出

-Xmx ：最大堆空间

2.4.3 堆内存诊断

1. jps工具

   • 查看当前系统中有哪些java进程

2. jmap工具

• 查看堆内存占用情况
• jmap -heap pid

1. jconsole工具

• 图形界面的，多功能的监测工具，可以连续监测

1. jvisualvm工具

   垃圾回收之后，内存占用依然很高：

   使用堆转储 dump 抓取堆内存快照 分析堆内存使用最大的那些对象，对照代码就可以排查出问题

2.5、方法区

2.5.1 定义

方法区为所有线程共享，存储了类的结构相关的信息，比如成员变量，方法数据，成员方法，构造器，运行时常量池等。

方法区在虚拟机启动时被创建，在逻辑上是堆区的组成一部分。

方法区是一种规范，而永久代或者元空间都是方法区的一种实现。

2.5.2 组成

1.8的方法区实现方式是元空间，不受JVM管理。

2.5.3 方法区内存溢出问题

• 1.8以前会导致永久代内存溢出
• 1.8以后会导致元空间内存溢出

2.5.4 运行时常量池

二进制字节码的组成：类的基本信息、常量池、类的方法定义（包含了虚拟机指令）

• 常量池，就是一张表，虚拟机指令根据这张常量表找到要执行的类名、方法名、参数类型、字面量等信息
• 运行时常量池，常量池是*.class文件中的，当该类被加载，它的常量池信息就会放入运行时常量池，并
  
  把里面的符号地址变为真实地址

通过反编译查看类的信息：

• 获得对应类的.class信息
  • 在JDK对应的bin目录下运行cmd，也可以在IDEA控制台输入
  • 输入javac对应类的绝对路径

• 输入完成后，对应的目录下就会出现类的.class文件

• 在控制台输入 javap -v 类的绝对路径

• 然后能在控制台看到反编译以后类的信息了

  • 类的基本信息

• 常量池

• 虚拟机中执行编译的方法

2.5.5 串池StringTable

特征

• HashTable结构，不能扩容

• 常量池中的字符串仅是符号，只有在被用到时才会转化为对象

• 利用串池的机制，来避免重复创建字符串对象

• 字符串变量拼接的原理是StringBuilder

• 字符串常量拼接的原理是编译器优化
• 可以使用intern方法，主动将串池中还没有的字符串对象放入串池中
• 注意：无论是串池还是堆里面的字符串，都是对象

用来放字符串对象且里面的元素不重复

public class StringTableStudy {
	public static void main(String[] args) {
		String a = "a";
		String b = "b";
		String ab = "ab";
	}
}

常量池中的信息，都会被加载到运行时常量池中，但这是a b ab 仅是常量池中的符号，还没有成为java字符串

0: ldc           #2                  // String a
2: astore_1
3: ldc           #3                  // String b
5: astore_2
6: ldc           #4                  // String ab
8: astore_3
9: return

当执行到 ldc #2 时，会把符号 a 变为 “a” 字符串对象，并放入串池中（hashtable结构 不可扩容）

当执行到 ldc #3 时，会把符号 b 变为 “b” 字符串对象，并放入串池中

当执行到 ldc #4 时，会把符号 ab 变为 “ab” 字符串对象，并放入串池中

最终StringTable [“a”, “b”, “ab”]

注意：字符串对象的创建都是懒惰的，只有当运行到那一行字符串且在串池中不存在的时候（如 ldc #2）时，该字符串才会被创建并放入串池中。

使用拼接字符串变量对象创建字符串的过程

public class StringTableStudy {
	public static void main(String[] args) {
		String a = "a";
		String b = "b";
		String ab = "ab";
		//拼接字符串对象来创建新的字符串
		String ab2 = a+b;
	}
}

反编译后的结果

	 Code:
      stack=2, locals=5, args_size=1
         0: ldc           #2                  // String a
         2: astore_1
         3: ldc           #3                  // String b
         5: astore_2
         6: ldc           #4                  // String ab
         8: astore_3
         9: new           #5                  // class java/lang/StringBuilder
        12: dup
        13: invokespecial #6                  // Method java/lang/StringBuilder."<init>":()V
        16: aload_1
        17: invokevirtual #7                  // Method java/lang/StringBuilder.append:(Ljava/lang/String
;)Ljava/lang/StringBuilder;
        20: aload_2
        21: invokevirtual #7                  // Method java/lang/StringBuilder.append:(Ljava/lang/String
;)Ljava/lang/StringBuilder;
        24: invokevirtual #8                  // Method java/lang/StringBuilder.toString:()Ljava/lang/Str
ing;
        27: astore        4
        29: return

通过拼接的方式来创建字符串的过程是：StringBuilder().append(“a”).append(“b”).toString()

最后的toString方法的返回值是一个新的字符串，但字符串的值和拼接的字符串一致，但是两个不同的字符串，一个存在于串池之中，一个存在于堆内存之中

String ab = "ab";
String ab2 = a+b;
//结果为false,因为ab是存在于串池之中，ab2是由StringBuffer的toString方法所返回的一个对象，存在于堆内存之中
System.out.println(ab == ab2);

使用拼接字符串常量对象的方法创建字符串

public class StringTableStudy {
	public static void main(String[] args) {
		String a = "a";
		String b = "b";
		String ab = "ab";
		String ab2 = a+b;
		//使用拼接字符串的方法创建字符串
		String ab3 = "a" + "b";
	}
}

反编译后的结果

 	  Code:
      stack=2, locals=6, args_size=1
         0: ldc           #2                  // String a
         2: astore_1
         3: ldc           #3                  // String b
         5: astore_2
         6: ldc           #4                  // String ab
         8: astore_3
         9: new           #5                  // class java/lang/StringBuilder
        12: dup
        13: invokespecial #6                  // Method java/lang/StringBuilder."<init>":()V
        16: aload_1
        17: invokevirtual #7                  // Method java/lang/StringBuilder.append:(Ljava/lang/String
;)Ljava/lang/StringBuilder;
        20: aload_2
        21: invokevirtual #7                  // Method java/lang/StringBuilder.append:(Ljava/lang/String
;)Ljava/lang/StringBuilder;
        24: invokevirtual #8                  // Method java/lang/StringBuilder.toString:()Ljava/lang/Str
ing;
        27: astore        4
        //ab3初始化时直接从串池中获取字符串
        29: ldc           #4                  // String ab
        31: astore        5
        33: return

• 使用拼接字符串常量的方法来创建新的字符串时，因为内容是常量，javac在编译期会进行优化，结果已在编译期确定为ab，而创建ab的时候已经在串池中放入了“ab”，所以ab3直接从串池中获取值，所以进行的操作和 ab = “ab” 一致。
• 使用拼接字符串变量的方法来创建新的字符串时，因为内容是变量，只能在运行期确定它的值，所以需要使用StringBuilder来创建

intern方法 1.8

调用字符串对象的intern方法，会将该字符串对象尝试放入到串池中

• 如果串池中没有该字符串对象，则放入成功
• 如果有该字符串对象，则放入失败

无论放入是否成功，都会返回串池中的字符串对象

注意：此时如果调用intern方法成功，堆内存与串池中的字符串对象是同一个对象；如果失败，则不是同一个对象

例1

public class Main {
	public static void main(String[] args) {
		//"a" "b" 被放入串池中，str则存在于堆内存之中
		String str = new String("a") + new String("b");
		//调用str的intern方法，这时串池中没有"ab"，则会将该字符串对象放入到串池中，此时堆内存与串池中的"ab"是同一个对象
		String st2 = str.intern();
		//给str3赋值，因为此时串池中已有"ab"，则直接将串池中的内容返回
		String str3 = "ab";
		//因为堆内存与串池中的"ab"是同一个对象，所以以下两条语句打印的都为true
		System.out.println(str == st2);
		System.out.println(str == str3);
	}
}

例2

public class Main {
	public static void main(String[] args) {
        //此处创建字符串对象"ab"，因为串池中还没有"ab"，所以将其放入串池中
		String str = "ab";
        //"a" "b" 被放入串池中，str则存在于堆内存之中
		String str2 = new String("a") + new String("b");
        //此时因为在创建str3时，"ab"已存在与串池中，所以放入失败，但是会返回串池中的"ab"
		String str3 = str.intern();
        //false
		System.out.println(str == str2);
        //true
		System.out.println(str == str3);
        //false
		System.out.println(str2 == str3);
	}
}

intern方法 1.6

调用字符串对象的intern方法，会将该字符串对象尝试放入到串池中

• 如果串池中没有该字符串对象，会将该字符串对象复制一份，再放入到串池中
• 如果有该字符串对象，则放入失败

无论放入是否成功，都会返回串池中的字符串对象

注意：此时无论调用intern方法成功与否，串池中的字符串对象和堆内存中的字符串对象都不是同一个对象

StringTable 垃圾回收

StringTable在内存紧张时，会发生垃圾回收

StringTable调优

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

-XX:StringTableSize=桶个数

• 考虑是否需要将字符串对象入池

  可以通过intern方法减少重复入池 Java VisualVM

2.6、直接内存

2.6.1 定义

Direct Memory， java和系统都可以访问到

• 属于操作系统，常见于NIO操作时，用于数据缓冲区
• 分配回收成本较高，但读写性能高
• 不受JVM内存回收管理

java本身没有磁盘读写的能力，必须调用操作系统提供的磁盘读写的方法。

文件读写流程：

磁盘文件得复制两份，直到Java堆内存中才能被java访问到，因此读写效率较低。

使用DirectBuffer

直接内存是操作系统和Java代码都可以访问的一块区域，无需将代码从系统内存复制到Java堆内存，从而提高了效率。

2.6.2 释放原理

直接内存的回收不是通过JVM的垃圾回收来释放的，而是通过unsafe.freeMemory来手动释放

通过

//通过ByteBuffer申请1M的直接内存
ByteBuffer byteBuffer = ByteBuffer.allocateDirect(_1M)

申请直接内存，但JVM并不能回收直接内存中的内容，它是如何实现回收的呢？

allocateDirect的实现

public static ByteBuffer allocateDirect(int capacity) {
    return new DirectByteBuffer(capacity);
}

DirectByteBuffer类

DirectByteBuffer(int cap) {   // package-private

    super(-1, 0, cap, cap);
    boolean pa = VM.isDirectMemoryPageAligned();
    int ps = Bits.pageSize();
    long size = Math.max(1L, (long)cap + (pa ? ps : 0));
    Bits.reserveMemory(size, cap);

    long base = 0;
    try {
        base = unsafe.allocateMemory(size); //申请内存
    } catch (OutOfMemoryError x) {
        Bits.unreserveMemory(size, cap);
        throw x;
    }
    unsafe.setMemory(base, size, (byte) 0);
    if (pa && (base % ps != 0)) {
        // Round up to page boundary
        address = base + ps - (base & (ps - 1));
    } else {
        address = base;
    }
    cleaner = Cleaner.create(this, new Deallocator(base, size, cap)); //通过虚引用，来实现直接内存的释放，this为虚引用的实际对象
    att = null;
}

这里调用了一个Cleaner的create方法，且后台referenceHandler线程还会对虚引用的对象监测，如果虚引用的实际对象（这里是DirectByteBuffer）被回收以后，就会调用Cleaner的clean方法，来清除直接内存中占用的内存

public void clean() {
       if (remove(this)) {
           try {
               this.thunk.run(); //调用run方法
           } catch (final Throwable var2) {
               AccessController.doPrivileged(new PrivilegedAction<Void>() {
                   public Void run() {
                       if (System.err != null) {
                           (new Error("Cleaner terminated abnormally", var2)).printStackTrace();
                       }

                       System.exit(1);
                       return null;
                   }
               });
           }

对应对象的run方法

public void run() {
    if (address == 0) {
        // Paranoia
        return;
    }
    unsafe.freeMemory(address); //释放直接内存中占用的内存
    address = 0;
    Bits.unreserveMemory(size, capacity);
}

6.3 直接内存的回收机制总结

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