Kclass模型和JVM类加载过程详解

最新推荐文章于 2023-07-13 09:46:40 发布

yygr

最新推荐文章于 2023-07-13 09:46:40 发布

阅读量411

点赞数

分类专栏： # jvm 文章标签： java 开发语言后端

原文链接：https://blog.csdn.net/qq_43631716/article/details/115611129

版权

jvm 专栏收录该内容

100 篇文章 11 订阅

订阅专栏

https://blog.csdn.net/qq_43631716/article/details/115611129

一、Klass模型

Java的每个类，在JVM中，都有一个对应的Klass类实例与之对应，存储类的元信息如：常量池、属性信息、方法信息……
看下klass模型类的继承结构
在这里插入图片描述
从继承关系上也能看出来，类的元信息是存储在原空间的；
普通的Java类在JVM中对应的是instanceKlass类的实例，再来说下它的三个字类

InstanceMirrorKlass：用于表示java.lang.Class，Java代码中获取到的Class对象，实际上就是这个C++类的实例，存储在堆区，学名镜像类
InstanceRefKlass：用于表示java/lang/ref/Reference类的子类
InstanceClassLoaderKlass：用于遍历某个加载器加载的类
Java中的数组不是静态数据类型，是动态数据类型，即是运行期生成的，Java数组的元信息用ArrayKlass的子类来表示：
TypeArrayKlass：用于表示基本类型的数组
ObjArrayKlass：用于表示引用类型的数组

二、类加载过程

在这里插入图片描述

1、加载

1、通过类的全限定名获取存储该类的class文件（没有指明必须从哪里获取）；
2、解析运行时数据区，即instanceKlass实例，存放在方法区；
3、在堆区生成该类的Class对象，即instanceMirrorKlass对象。

1.2、何时加载

1、new、getstatic、putstatic、invokestatic
2、反射
3、初始化一个类的子类会去加载其父类
4、启动类（main函数所在类）
5、当使用jdk1.7动态语言支持时，如果一个java.lang.invoke.MethodHandle实例最后的解析结果REF_getstatic,REF_putstatic,REF_invokeStatic的方法句柄，并且这个方法句柄所对应的类没有进行初始化，则需要先出触发其初始化（可以忽略）

预加载：包装类、String、Thread

1.3、从哪里加载
因为没有指明必须从哪获取class文件，脑洞大开的工程师们开发了这些
1、从压缩包中读取，如jar、war
2、从网络中获取，如Web Applet
3、动态生成，如动态代理、CGLIB
4、由其他文件生成，如JSP
5、从数据库读取
6、从加密文件中读取

2、验证

1、文件格式验证
2、元数据验证
3、字节码验证
4、符号引用验证

3、准备

为静态变量分配内存、赋初值
实例变量是在创建对象的时候完成赋值的，没有赋初值一说
在这里插入图片描述
如果被final修饰 ，在编译的时候会给属性添加ConstantValue属性，准备阶段直接完成赋值，即没有赋初值这一步。

4、解析

间接引用：指向运行时产量池的引用，符号引用，比如#32这个符号对应的是某个类的全限定名的字符串而已；
直接引用：类的内存地址，不再指向常量池

将常量池中的符号引用转为直接引用
解析后的信息存储在ConstantPoolCache类实例中
1、类或接口的解析
2、字段解析
3、方法解析
4、接口方法解析

我们使用javap -verbose Test_1.class 来查看静态常量池（查看的是class文件的）：

public class Test_1 {
    public static void main(String[] args) {
        System.out.println("test_1");
    }
}

Constant pool:
#1 = Methodref #6.#20 // java/lang/Object."<init>"😦)V
#2 = Fieldref #21.#22 // java/lang/System.out:Ljava/io/PrintStream;
#3 = String #23 // test_1
#4 = Methodref #24.#25 // java/io/PrintStream.println:(Ljava/lang/String;)V
#5 = Class #26 // com/jihu/test/jvm/Test_1
#6 = Class #27 // java/lang/Object
#7 = Utf8 <init>
#8 = Utf8 ()V
#9 = Utf8 Code
#10 = Utf8 LineNumberTable
#11 = Utf8 LocalVariableTable
#12 = Utf8 this
#13 = Utf8 Lcom/jihu/test/jvm/Test_1;
#14 = Utf8 main
#15 = Utf8 ([Ljava/lang/String;)V
#16 = Utf8 args
#17 = Utf8 [Ljava/lang/String;
#18 = Utf8 SourceFile
#19 = Utf8 Test_1.java
#20 = NameAndType #7:#8 // “<init>”😦)V
#21 = Class #28 // java/lang/System
#22 = NameAndType #29:#30 // out:Ljava/io/PrintStream;
#23 = Utf8 test_1
#24 = Class #31 // java/io/PrintStream
#25 = NameAndType #32:#33 // println:(Ljava/lang/String;)V
#26 = Utf8 com/jihu/test/jvm/Test_1
#27 = Utf8 java/lang/Object
#28 = Utf8 java/lang/System
#29 = Utf8 out
#30 = Utf8 Ljava/io/PrintStream;
#31 = Utf8 java/io/PrintStream
#32 = Utf8 println
#33 = Utf8 (Ljava/lang/String;)V

可以看到这里的class只是一个符号引用。

然后我们启动并阻塞代码，使用HSDB来查看动态常量池：

public class Test_1 {
    public static void main(String[] args) {
        System.out.println("test_1");
        while (true);
    }
}

在这里插入图片描述
当运行代码后，此时类已经被解析了。此时可以看到，类的引用是真实的内存地址引用，不再指向常量池。

每一个类都拥有一个常量池！！！

5、初始化

类初始阶段，JVM底层会加锁，解决并发问题！

执行静态代码块，完成静态变量的赋值
静态字段、静态代码段，字节码层面会生成clinit方法
方法中语句的先后顺序与代码的编写顺序相关

定义一个static属性，JVM会自动生成一个clinit。
在这里插入图片描述
生成的clinit方法，代码顺序跟定义的顺序保持一致。

大家猜一下下面代码的运行结果：

结果是：1,1。
这里和定义的顺序有关系，存在值的覆盖。开始默认值为0， val2++之后为1，然后又设置为1.

三、JVM加载类模式是懒加载 Lazy loading

我们都知道rt.jar是有根加载器bootStrap加载的，事实上也只会加载一部分类，不是全部的类，这叫做预加载。预先加载的类是一些常用类，比如String，Thread, Integer等。

我们来看下面程序的运行结果：
在这里插入图片描述

类是在使用的时候加载，Test_1_B必须要要实例化对象，因为是静态字段，也没有任何调用，所以不需要初始化类。

我们再来看下面的代码：
在这里插入图片描述

此时需要实例化类对象才能访问到属性，所以会初始化类。

我们再来看下面的代码：
在这里插入图片描述

加载一个类的时候会优先加载父类！

再来看下面的代码：
在这里插入图片描述

再看看下面这个，你还能猜对的吗？

此时只是定义了数据类型，并没有实例化对象。

再来看一个final的：
在这里插入图片描述

final修饰的静态变量在准备阶段已经赋好了初始值，所以获取的时候不需要加载类。
final String str被写入了类Test_6_A的类常量池中，我们使用javap -verbose来查看class的静态常量池：
在这里插入图片描述

我们再来看一个UUID的：
在这里插入图片描述

是不是有点好奇？Why?
因为UUID.randomUUID()是动态运行的，JVM没办法确定该值，无法将其写入到类的常量池中！

在这里插入图片描述

反射也会加载类。

在这里插入图片描述

这里可能我们会有些迷惑，为什么子类对静态属性的操作没有生效呢？

我们要明确一点，JVM首先会判断类是否加载，只有当一个类加载后才会进行初始化操作！上面的代码中不需要加载子类，自然就不会初始化子类，即不会执行子类的静态代码块。

四、读取静态变量的底层实现

在这里插入图片描述

可以看到，在类Test1_A中是存在静态属性的，JDK6之后，静态属性是存在于镜像类instanceMirrorKlass中的;JDK6之前是存储在instanceKlass中的。

我们再来看看Test1_B中是否存在该静态属性：

在这里插入图片描述

此时我们发现没有找到Test1_B，因为在代码中我们调用的是**：System.out.println(Test1_A.str);** ，此时值加载了类Test_A这个父类，不需要加载Test1_B子类，所以没有在加载的类列表中找到该类。

我们修改代码：
在这里插入图片描述
此时是通过子类调用父类的属性，我们可以看到父类和子类都已经被加载了，这也验证了JVM类加载是懒加载，按需加载。

我们来看子类的instanceMirrowKlass中是否存在属性str:
在这里插入图片描述
从结果来看，该属性是不存在子类的镜像类中的。

可以猜得到，通过子类Test1_B访问父类Test1_A的静态字段有两种实现方式：
1、先去Test_1_B的镜像类中去取，如果有直接返回；如果没有，会沿着继承链将请求往上抛。很明显，这种算法的性能随继承链的death而上升，算法复杂度为O(n)
2、借助另外的数据结构实现，使用K-V的格式存储，查询性能为O(1)

Hotspot就是使用的第二种方式，借助另外的数据结构ConstantPoolCache，常量池类ConstantPool中有个属性_cache指向了这个结构。每一条数据对应一个类ConstantPoolCacheEntry。

ConstantPoolCacheEntry在哪呢？在ConstantPoolCache对象后面，看代码
\openjdk\hotspot\src\share\vm\oops\cpCache.hpp

ConstantPoolCacheEntry* base() const           { 
  return (ConstantPoolCacheEntry*)((address)this + in_bytes(base_offset()));
}

 
 
 
 1
2
3

这个公式的意思是ConstantPoolCache对象的地址加上ConstantPoolCache对象的内存大小

ConstantPoolCache

常量池缓存是为常量池预留的运行时数据结构。保存所有字段访问和调用字节码的解释器运行时信息。缓存是在类被积极使用之前创建和初始化的。每个缓存项在解析时被填充

如何读取
\openjdk\hotspot\src\share\vm\interpreter\bytecodeInterpreter.cpp

CASE(_getstatic):
        {
          u2 index;
          ConstantPoolCacheEntry* cache;
          index = Bytes::get_native_u2(pc+1);
      <span class="token comment">// QQQ Need to make this as inlined as possible. Probably need to</span>
      <span class="token comment">// split all the bytecode cases out so c++ compiler has a chance</span>
      <span class="token comment">// for constant prop to fold everything possible away.</span>

      cache <span class="token operator">=</span> cp<span class="token operator">-</span><span class="token operator">&gt;</span><span class="token function">entry_at</span><span class="token punctuation">(</span>index<span class="token punctuation">)</span><span class="token punctuation">;</span>
      <span class="token keyword">if</span> <span class="token punctuation">(</span><span class="token operator">!</span>cache<span class="token operator">-</span><span class="token operator">&gt;</span><span class="token function">is_resolved</span><span class="token punctuation">(</span><span class="token punctuation">(</span>Bytecodes<span class="token operator">::</span>Code<span class="token punctuation">)</span>opcode<span class="token punctuation">)</span><span class="token punctuation">)</span> <span class="token punctuation">{<!-- --></span>
        <span class="token function">CALL_VM</span><span class="token punctuation">(</span>InterpreterRuntime<span class="token operator">::</span><span class="token function">resolve_get_put</span><span class="token punctuation">(</span>THREAD<span class="token punctuation">,</span> <span class="token punctuation">(</span>Bytecodes<span class="token operator">::</span>Code<span class="token punctuation">)</span>opcode<span class="token punctuation">)</span><span class="token punctuation">,</span>
                handle_exception<span class="token punctuation">)</span><span class="token punctuation">;</span>
        cache <span class="token operator">=</span> cp<span class="token operator">-</span><span class="token operator">&gt;</span><span class="token function">entry_at</span><span class="token punctuation">(</span>index<span class="token punctuation">)</span><span class="token punctuation">;</span>
      <span class="token punctuation">}</span>

……

从代码中可以看出，是直接去获取ConstantPoolCacheEntry.

yygr

关注

0
点赞
踩
0

收藏

觉得还不错? 一键收藏
0
评论
Kclass模型和JVM类加载过程详解

https://blog.csdn.net/qq_43631716/article/details/115611129 一、Klass模型 Java的每个类，在JVM中，都有一个对应的Klass类实例与之对应，存储类的元信息如：常量池、属性信息、方法信息…… 看下klass模型类的
复制链接

扫一扫

专栏目录