zoukankan      html  css  js  c++  java
  • JVM解毒——类加载子系统

    带着问题,尤其是面试问题的学习才是最高效的。加油,奥利给!

    点赞+收藏 就学会系列,文章收录在 GitHub JavaEgg ,N线互联网开发必备技能兵器谱

    直击面试

    1. 看你简历写得熟悉JVM,那你说说类的加载过程吧?
    2. 我们可以自定义一个String类来使用吗?
    3. 什么是类加载器,类加载器有哪些?
    4. 多线程的情况下,类的加载为什么不会出现重复加载的情况?
    5. 什么是双亲委派机制?它有啥优势?可以打破这种机制吗?


    类加载子系统

    类加载机制概念

    Java虚拟机把描述类的数据从Class文件加载到内存,并对数据进行校验、转换解析和初始化,最终形成可以被虚拟机直接使用的Java类型,这就是虚拟机的加载机制。Class文件由类装载器装载后,在JVM中将形成一份描述Class结构的元信息对象,通过该元信息对象可以获知Class的结构信息:如构造函数,属性和方法等,Java允许用户借由这个Class相关的元信息对象间接调用Class对象的功能,这里就是我们经常能见到的Class类。

    类加载子系统作用

    • 类加载子系统负责从文件系统或者网络中加载class文件,class文件在文件开头有特定的文件标识(0xCAFEBABE)
    • ClassLoader只负责class文件的加载。至于它是否可以运行,则由Execution Engine决定
    • 加载的类信息存放于一块称为方法区的内存空间。除了类的信息外,方法区中还存放运行时常量池信息,可能还包括字符串字面量和数字常量(这部分常量信息是class文件中常量池部分的内存映射)
    • Class对象是存放在堆区的

    类加载器ClassLoader角色

    1. class file存在于本地硬盘上,可以理解为设计师画在纸上的模板,而最终这个模板在执行的时候是要加载到JVM当中来根据这个文件实例化出n个一模一样的实例
    2. class file加载到JVM中,被称为DNA元数据模板,放在方法区
    3. 在.calss文件 -> JVM -> 最终成为元数据模板,此过程就要一个运输工具(类装载器),扮演一个快递员的角色

    类加载过程

    类从被加载到虚拟机内存中开始,到卸载出内存为止,它的整个生命周期包括:加载、验证、准备、解析、初始化、使用和卸载七个阶段。(验证、准备和解析又统称为连接,为了支持Java语言的运行时绑定,所以解析阶段也可以是在初始化之后进行的。以上顺序都只是说开始的顺序,实际过程中是交叉的混合式进行的,加载过程中可能就已经开始验证了)

    jvm-class-load

    1. 加载(Loading):

    1. 通过一个类的全限定名获取定义此类的二进制字节流
    2. 将这个字节流所代表的的静态存储结构转化为方法区的运行时数据结构
    3. 在内存中生成一个代表这个类的 java.lang.Class 对象,作为方法区这个类的各种数据的访问入口

    加载 .calss 文件的方式

    • 从本地系统中直接加载
    • 通过网络获取,典型场景:Web Applet
    • 从zip压缩文件中读取,成为日后jar、war格式的基础
    • 运行时计算生成,使用最多的是:动态代理技术
    • 由其他文件生成,比如 JSP 应用
    • 从专有数据库提取.class 文件,比较少见
    • 从加密文件中获取,典型的防 Class 文件被反编译的保护措施

    2. 连接(Linking)

    验证(Verify)

    • 目的在于确保Class文件的字节流中包含信息符合当前虚拟机要求,保证被加载类的正确性,不会危害虚拟机自身安全

    • 主要包括四种验证,文件格式验证,元数据验证,字节码验证,符号引用验证

    准备(Prepare)

    • 为类变量分配内存并且设置该类变量的默认初始值,即零值

      数据类型 零值
      int 0
      long 0L
      short (short)0
      char 'u0000'
      byte (byte)0
      boolean false
      float 0.0f
      double 0.0d
      reference null
    • 这里不包含用final修饰的static,因为final在编译的时候就会分配了,准备阶段会显示初始化

    • 这里不会为实例变量分配初始化,类变量会分配在方法区中,而实例变量是会随着对象一起分配到Java堆中

      private static int i = 1;  //变量i在准备阶只会被赋值为0,初始化时才会被赋值为1
      private final static int j = 2;  //这里被final修饰的变量j,直接成为常量,编译时就会被分配为2
      

    解析(Resolve)

    • 将常量池内的符号引用转换为直接引用的过程
    • 事实上,解析操作往往会伴随着JVM在执行完初始化之后再执行
    • 符号引用就是一组符号来描述所引用的目标。符号引用的字面量形式明确定义在《Java虚拟机规范》的Class文件格式中。直接引用就是直接指向目标的指针、相对偏移量或一个间接定位到目标的句柄
    • 解析动作主要针对类或接口、字段、类方法、接口方法、方法类型等。对应常量池中的CONSTANT_Class_infoCONSTANT_Fieldref_infoCONSTANT_Methodref_info

    3. 初始化(Initialization)

    • 初始化阶段就是执行类构造器方法<clinit>()的过程
    • 此方法不需要定义,是javac编译器自动收集类中的所有类变量的赋值动作和静态代码块中的语句合并而来
    • 构造器方法中指令按语句在源文件中出现的顺序执行
    • <clinit>()不同于类的构造器(构造器是虚拟机视角下的<init>())
    • 若该类具有父类,JVM会保证子类的<clinit>()执行前,父类的<clinit>()已经执行完毕
    • 虚拟机必须保证一个类的<clinit>()方法在多线程下被同步加锁
    public class ClassInitTest{
      private static int num1 = 30;
      static{
        num1 = 10;
        num2 = 10;     //num2写在定义变量之前,为什么不会报错呢??
        System.out.println(num2);   //這裡直接打印可以吗? 报错,非法的前向引用,可以赋值,但不可调用
      }
      private static int num2 = 20;  //num2在准备阶段就被设置了默认初始值0,初始化阶段又将10改为20
      public static void main(String[] args){
        System.out.println(num1);  //10
        System.out.println(num2);   //20
      }
    }
    

    类的主动使用和被动使用

    Java程序对类的使用方式分为:主动使用和被动使用。虚拟机规范规定有且只有5种情况必须立即对类进行“初始化”,即类的主动使用。

    • 创建类的实例、访问某个类或接口的静态变量,或者对该静态变量赋值、调用类的静态方法(即遇到new、getstatic、putstatic、invokestatic这四条字节码指令时)
    • 反射
    • 初始化一个类的子类
    • Java虚拟机启动时被标明为启动类的类
    • JDK7 开始提供的动态语言支持:java.lang.invoke.MethodHandle实例的解析结果,REF_getStaticREF_putStaticREF_invokeStatic句柄对应的类没有初始化,则初始化

    除以上五种情况,其他使用Java类的方式被看作是对类的被动使用,都不会导致类的初始化

    eg:

    public class NotInitialization {
        public static void main(String[] args) { 
            //只输出SupperClass int 123,不会输出SubClass init
            //对于静态字段,只有直接定义这个字段的类才会被初始化
            System.out.println(SubClass.value); 
        }
    }
    
    class SuperClass {
        static {
            System.out.println("SupperClass init");
        }
        public static int value = 123;
    }
    
    class SubClass extends SuperClass {
        static {
            System.out.println("SubClass init");
        }
    }
    

    类加载器

    • JVM支持两种类型的类加载器,分别为引导类加载器(Bootstrap ClassLoader)和自定义类加载器(User-Defined ClassLoader)

    • 从概念上来讲,自定义类加载器一般指的是程序中由开发人员自定义的一类类加载器,但是Java虚拟机规范却没有这么定义,而是将所有派生于抽象类ClassLoader的类加载器都划分为自定义类加载器

    启动类加载器(引导类加载器,Bootstrap ClassLoader)

    • 这个类加载使用C/C++ 语言实现,嵌套在JVM 内部
    • 它用来加载Java的核心库(JAVA_HOME/jre/lib/rt.jarresource.jarsun.boot.class.path路径下的内容),用于提供JVM自身需要的类
    • 并不继承自 java.lang.ClassLoader,没有父加载器
    • 加载扩展类和应用程序类加载器,并指定为他们的父类加载器
    • 出于安全考虑,Boostrap 启动类加载器只加载名为java、Javax、sun等开头的类

    扩展类加载器(Extension ClassLoader)

    • java语言编写,由sun.misc.Launcher$ExtClassLoader实现
    • 派生于 ClassLoader
    • 父类加载器为启动类加载器
    • java.ext.dirs系统属性所指定的目录中加载类库,或从JDK的安装目录的jre/lib/ext 子目录(扩展目录)下加载类库。如果用户创建的JAR 放在此目录下,也会自动由扩展类加载器加载

    应用程序类加载器(也叫系统类加载器,AppClassLoader)

    • java语言编写,由 sun.misc.Lanucher$AppClassLoader 实现
    • 派生于 ClassLoader
    • 父类加载器为扩展类加载器
    • 它负责加载环境变量classpath或系统属性 java.class.path 指定路径下的类库
    • 该类加载是程序中默认的类加载器,一般来说,Java应用的类都是由它来完成加载的
    • 通过 ClassLoader#getSystemClassLoader() 方法可以获取到该类加载器
    public class ClassLoaderTest {
        public static void main(String[] args) {
            //获取系统类加载器
            ClassLoader systemClassLoader = ClassLoader.getSystemClassLoader();
            System.out.println(systemClassLoader);  //sun.misc.Launcher$AppClassLoader@135fbaa4
    
            //获取其上层:扩展类加载器
            ClassLoader extClassLoader = systemClassLoader.getParent();
            System.out.println(extClassLoader);  //sun.misc.Launcher$ExtClassLoader@2503dbd3
    
            //再获取其上层:获取不到引导类加载器
            ClassLoader bootstrapClassLoader = extClassLoader.getParent();
            System.out.println(bootstrapClassLoader);     //null
    
            //对于用户自定义类来说,默认使用系统类加载器进行加载,输出和systemClassLoader一样
            ClassLoader classLoader = ClassLoaderTest.class.getClassLoader();
            System.out.println(classLoader);  //sun.misc.Launcher$AppClassLoader@135fbaa4
    
            //String 类使用引导类加载器进行加载。Java的核心类库都使用引导类加载器进行加载,所以也获取不到
            ClassLoader classLoader1 = String.class.getClassLoader();
            System.out.println(classLoader1);  //null
    
            //获取BootstrapClassLoader可以加载的api的路径
            URL[] urls = sun.misc.Launcher.getBootstrapClassPath().getURLs();
            for (URL url : urls) {
                System.out.println(url.toExternalForm());
            }
        }
    }
    

    用户自定义类加载器

    在Java的日常应用程序开发中,类的加载几乎是由3种类加载器相互配合执行的,在必要时,我们还可以自定义类加载器,来定制类的加载方式

    为什么要自定义类加载器?
    • 隔离加载类
    • 修改类加载的方式
    • 扩展加载源(可以从数据库、云端等指定来源加载类)
    • 防止源码泄露(Java代码容易被反编译,如果加密后,自定义加载器加载类的时候就可以先解密,再加载)
    用户自定义加载器实现步骤
    1. 开发人员可以通过继承抽象类 java.lang.ClassLoader 类的方式,实现自己的类加载器,以满足一些特殊的需求
    2. 在JDK1.2之前,在自定义类加载器时,总会去继承ClassLoader类并重写loadClass()方法,从而实现自定义的类加载类,但是JDK1.2之后已经不建议用户去覆盖loadClass()方式,而是建议把自定义的类加载逻辑写在findClass()方法中
    3. 编写自定义类加载器时,如果没有太过于复杂的需求,可以直接继承URLClassLoader类,这样就可以避免自己去编写findClass()方法及其获取字节码流的方式,使自定义类加载器编写更加简洁

    ClassLoader常用方法

    ClassLoader类,是一个抽象类,其后所有的类加载器都继承自ClassLoader(不包括启动类加载器)

    方法 描述
    getParent() 返回该类加载器的超类加载器
    loadClass(String name) 加载名称为name的类,返回java.lang.Class类的实例
    findClass(String name) 查找名称为name的类,返回java.lang.Class类的实例
    findLoadedClass(String name) 查找名称为name的已经被加载过的类,返回java.lang.Class类的实例
    defineClass(String name, byte[] b, int off, int len) 把字节数组b中内容转换为一个Java类,返回java.lang.Class类的实例
    resolveClass(Class<?> c) 连接指定的一个Java类

    对类加载器的引用

    JVM必须知道一个类型是由启动加载器加载的还是由用户类加载器加载的。如果一个类型是由用户类加载器加载的,那么JVM会将这个类加载器的一个引用作为类型信息的一部分保存在方法区中。当解析一个类型到另一个类型的引用的时候,JVM需要保证这两个类型的类加载器是相同的。


    双亲委派机制

    Java虚拟机对class文件采用的是按需加载的方式,也就是说当需要使用该类的时候才会将它的class文件加载到内存生成class对象。而且加载某个类的class文件时,Java虚拟机采用的是双亲委派模式,即把请求交给父类处理,它是一种任务委派模式。

    工作过程

    • 如果一个类加载器收到了类加载请求,它并不会自己先去加载,而是把这个请求委托给父类的加载器去执行;
    • 如果父类加载器还存在其父类加载器,则进一步向上委托,依次递归,请求最终将到达顶层的启动类加载器;
    • 如果父类加载器可以完成类加载任务,就成功返回,倘若父类加载器无法完成此加载任务,子加载器才会尝试自己去加载,这就是双亲委派模式

    优势

    • 避免类的重复加载,JVM中区分不同类,不仅仅是根据类名,相同的class文件被不同的ClassLoader加载就属于两个不同的类(比如,Java中的Object类,无论哪一个类加载器要加载这个类,最终都是委派给处于模型最顶端的启动类加载器进行加载,如果不采用双亲委派模型,由各个类加载器自己去加载的话,系统中会存在多种不同的Object类)
    • 保护程序安全,防止核心API被随意篡改,避免用户自己编写的类动态替换 Java的一些核心类,比如我们自定义类:java.lang.String

    在JVM中表示两个class对象是否为同一个类存在两个必要条件:

    • 类的完成类名必须一致,包括包名
    • 加载这个类的ClassLoader(指ClassLoader实例对象)必须相同

    沙箱安全机制

    如果我们自定义String类,但是在加载自定义String类的时候会率先使用引导类加载器加载,而引导类加载器在加载的过程中会先加载jdk自带的文件(rt.jar包中javalangString.class),报错信息说没有main方法就是因为加载的是rt.jar包中的String类。这样就可以保证对java核心源代码的保护,这就是简单的沙箱安全机制。

    破坏双亲委派模型

    • 双亲委派模型并不是一个强制性的约束模型,而是Java设计者推荐给开发者的类加载器实现方式,可以“被破坏”,只要我们自定义类加载器,重写loadClass()方法,指定新的加载逻辑就破坏了,重写findClass()方法不会破坏双亲委派。
    • 双亲委派模型有一个问题:顶层ClassLoader,无法加载底层ClassLoader的类。典型例子JNDI、JDBC,所以加入了线程上下文类加载器(Thread Context ClassLoader),可以通过Thread.setContextClassLoaser()设置该类加载器,然后顶层ClassLoader再使用Thread.getContextClassLoader()获得底层的ClassLoader进行加载。
    • Tomcat中使用了自定ClassLoader,并且也破坏了双亲委托机制。每个应用使用WebAppClassloader进行单独加载,他首先使用WebAppClassloader进行类加载,如果加载不了再委托父加载器去加载,这样可以保证每个应用中的类不冲突。每个tomcat中可以部署多个项目,每个项目中存在很多相同的class文件(很多相同的jar包),他们加载到jvm中可以做到互不干扰。
    • 利用破坏双亲委派来实现代码热替换(每次修改类文件,不需要重启服务)。因为一个Class只能被一个ClassLoader加载一次,否则会报java.lang.LinkageError。当我们想要实现代码热部署时,可以每次都new一个自定义的ClassLoader来加载新的Class文件。JSP的实现动态修改就是使用此特性实现。

  • 相关阅读:
    Aitit 认证体系之道 attilax著艾龙著 1. 认证体系分类 2 1.1. 按照语言来分 java net php 2 1.2. 按照平台来分 web cs 桌面 2 1.3. 综合性认证
    Atitit 数据库与存储引擎设计与实现 attilax总结 1.1. 数据库的实现有很多种, 遵循一些理论规范,如 Fix Rules、WriteAhead Log、Forcelogat
    Atitit 物联网之道 艾龙著 attilax著 1. 理论基础(控制理论 信息理论) 2 2. 1.5 物联网的关键技术12 2 2.1. 1.5.1 网络与通信技术12 1.5.2 无线传感
    Atitit 项目源码管理 attilax著 1. 源码结构sdk目录结构 1 1.1. 源码分类,配置文件,主程序文件,sql文件 1 2. 源码管理,提交,更新,与同步 1 2.1. 源码同步
    Atitit cio之道 attilax著 2. CIO是企业组织很重要的一个官员,未来就靠信息取胜了 1 3. Cio职责 2 3.1. 企业信息化 对信息技术的利用来实现组织攻略目标 2 3
    Aitit aop之道 艾龙著 需要整合zop资料包东西 第1章 AOP的产生         1.1 软件开发方法的演进         1.2 AOP产生的前奏——把系统看做一批关注点
    Atitit 运维之道 1.1.devops算是最低门槛了。什么运维平台,搞来搞去也就那些东西。无外乎cmdb、部署、监控之类的,再加点各种小平台自动化需求。 CMDB Configurati
    Atitit. Attilax软件研发and开发之道 1. 基本语言 3 2. 标准化库api 3 3. Ied与代码编写 调试 3 4. ui 3 5. 通讯 3 6. 第三方库 3 7. 数据
    Atitit sql之道 艾龙著 attilax 1. Ddl dml 3 2. Crud 3 3. 高级sql 3 3.1. Merge 3 3.2. 数据库翻页 limit offset系列
    Atitit 最近十年来until2018软件开发领域的趋势 艾龙总结 attilax大盘点总结历史与趋势 1. Keyword sec title 2 2. 语言本身: 2 2.1. 工业标准 2
  • 原文地址:https://www.cnblogs.com/lazyegg/p/12344807.html
Copyright © 2011-2022 走看看