深入开源框架底层之ASM

什么是 ASM ?

ASM 是一个 Java 字节码操控框架。它能被用来动态生成类或者增强既有类的功能。ASM 可以直接产生二进制 class 文件,也可以在类被加载入 Java 虚拟机之前动态改变类行为。Java class 被存储在严格格式定义的 .class 文件里,这些类文件拥有足够的元数据来解析类中的所有元素:类名称、方法、属性以及 Java 字节码(指令)。ASM 从类文件中读入信息后,能够改变类行为,分析类信息,甚至能够根据用户要求生成新类。

为什么要动态生成 Java 类?

想象一下,如果开源框架要求你添加各种Java类来实现诸如log、cache、transaction等功能,我想这个开源框架你肯定不会用吧。动态生成类可以减少对你代码的侵入,提高使用者的效率。

为什么选择ASM?

最直接的改造 Java 类的方法莫过于直接改写 class 文件。Java 规范详细说明了 class 文件的格式,直接编辑字节码确实可以改变 Java 类的行为。直到今天,还有一些 Java 高手们使用最原始的工具,如 UltraEdit 这样的编辑器对 class 文件动手术。是的,这是最直接的方法,但是要求使用者对 Java class 文件的格式了熟于心:小心地推算出想改造的函数相对文件首部的偏移量,同时重新计算 class 文件的校验码以通过 Java 虚拟机的安全机制。

可以发现,直接操作class文件是比较麻烦的,就跟为什么我们都选择使用框架一样,框架屏蔽了底层的复杂性。ASM就是操作class的一把利器。

使用 ASM 编程

ASM提供了两种API:

  1. CoreAPI(ClassVisitor 、MethodVisitor等)
  2. TreeAPI(ClassNode,MethodNode等)

区别是CoreAPI基于事件模型,定义了Class中各个元素的Visitor,不需要加载整个Class到内存中。而TreeAPI以Tree结构将Class整个结构读取到内存中。从使用角度来说TreeAPI更为简单。

以下示例采用的是CoreAPI方式。

添加Maven:

<dependency>
    <groupId>org.ow2.asm</groupId>
    <artifactId>asm</artifactId>
    <version>5.0.4</version>
</dependency>
复制代码

使用的相对比较稳定,使用比较多的版本5.0.4。

首先说明一下,修改Class有多种方式,例如直接修改当前Class,或者生成Class的子类,从而达到增强的效果。

下面的示例就是通过生成指定Class的子类,从而达到增强的效果,好处是对原有Class无侵入,并且可以实现多态的效果。

首先定义一个我们要增强的类:

package com.zjz;

import java.util.Random;

/**
 * @author zhaojz created at 2019-08-22 10:49
 */
public class Student {
    public String name;

    public void studying() throws InterruptedException {
        System.out.println(this.name+"正在学习...");
        Thread.sleep(new Random().nextInt(5000));
    }
}

复制代码

接下来首先定义一个ClassReader:

ClassReader classReader = new ClassReader("com.zjz.Student");
复制代码

然后再定义一个ClassWriter:

 ClassWriter classWriter = new ClassWriter(classReader, ClassWriter.COMPUTE_MAXS);
复制代码

ClassWriter.COMPUTE_MAXS 表示自动计算局部变量和操作数栈大小。更多其它选项可参考:asm.ow2.io

接下来开始正式访问Class:

//通过ClassVisitor访问Class(匿名类的方式,可以自行定义为一个独立的类)
//ASM5为JVM字节码指令操作码
ClassVisitor classVisitor = new ClassVisitor(Opcodes.ASM5, classWriter) {
	//声明一个全局变量,表示增强后生成的子类的父类
   String enhancedSuperName;
   @Override
   public void visit(int version, int access, String name, String signature, String superName, String[] interfaces) {
   //拼接需要生成的子类的类名:Student$EnhancedByASM
   String enhancedName = name+"$EnhancedByASM";
   //将Student设置为父类
   enhancedSuperName = name;
   super.visit(version, access, enhancedName, signature, enhancedSuperName, interfaces);
   }

    @Override
    public FieldVisitor visitField(int access, String name, String desc, String signature, Object value) {
    //这里是演示字段访问
    System.out.println("Field:" + name);
    return super.visitField(access, name, desc, signature, value);
    }

    @Override
    public MethodVisitor visitMethod(int access, String name, String desc, String signature, String[] exceptions) {
    System.out.println("Method:" + name);
    MethodVisitor mv = super.visitMethod(access, name, desc, signature, exceptions);
    MethodVisitor wrappedMv = mv;
    //判断当前读取的方法
    if (name.equals("studying")) {
    //如果是studying方法,则包装一个方法的Visitor
    wrappedMv = new StudentStudyingMethodVisitor(Opcodes.ASM5, mv);
    }else if(name.equals("<init>")){
    //如果是构造方法,处理子类中父类的构造函数调用
    wrappedMv = new StudentEnhancedConstructorMethodVisitor(Opcodes.ASM5, mv,enhancedSuperName);
    }
    return wrappedMv;
    }
};
复制代码

接下来重点看看MethodVisitor:

//Studying方法的Visitor
static class StudentStudyingMethodVisitor extends MethodVisitor{

    public StudentStudyingMethodVisitor(int i, MethodVisitor methodVisitor) {
    	super(i, methodVisitor);
    }

	//MethodVisitor 中定义了不同的visitXXX()方法,代表的不同的访问阶段。
	//visitCode表示刚刚进入方法。
    @Override
    public void visitCode() {
    	//添加一行System.currentTimeMillis()调用
        visitMethodInsn(Opcodes.INVOKESTATIC, "java/lang/System", "currentTimeMillis", "()J", false);
        //并且将其存储在局部变量表内位置为1的地方
        visitVarInsn(Opcodes.LSTORE, 1);
        //上面两个的作用就是在Studying方法的第一行添加 long start = System.currentTimeMillis()
    }

	//visitInsn 表示访问进入了方法内部
    @Override
    public void visitInsn(int opcode) {
    	//通过opcode可以得知当前访问到了哪一步,如果是>=Opcodes.IRETURN && opcode <= Opcodes.RETURN 表明方法即将退出
        if ((opcode >= Opcodes.IRETURN && opcode <= Opcodes.RETURN)){
        	//加载局部变量表中位置为1的数据,也就是start的数据,并传入给下面的方法
            visitVarInsn(Opcodes.LLOAD, 1);
            //然后调用自定义的一个工具方法,用来输出耗时
            visitMethodInsn(Opcodes.INVOKESTATIC, "com/zjz/Before", "end", "(J)V", false);
        }
        super.visitInsn(opcode);
    }


}

static class StudentEnhancedConstructorMethodVisitor extends MethodVisitor{
	//定义一个全局变量记录父类名称
    private String superClassName;
    public StudentEnhancedConstructorMethodVisitor(int i, MethodVisitor methodVisitor,String superClassName) {
        super(i, methodVisitor);
        this.superClassName = superClassName;
    }

    @Override
    public void visitMethodInsn(int opcode, String owner, String name, String desc, boolean b) {
    	//当开始初始化构造函数时,先访问父类构造函数,类似源码中的super()
        if (opcode==Opcodes.INVOKESPECIAL && name.equals("<init>")){
        	owner = superClassName;
        }
        super.visitMethodInsn(opcode, owner, name, desc, b);
    }
}
复制代码

此时ClassVisitor还没有数据的输入,只定义了数据的输出 new ClassVisitor(Opcodes.ASM5, classWriter),所以还需要:

classReader.accept(classVisitor, ClassReader.SKIP_DEBUG);
复制代码

到此就完成了Class的读取,访问修改,输出的过程。

细心的观众就会发现了,输出到哪里了?怎么样访问新生成的类呢?所以我们需要定义一个ClassLoader来加载我们生成的Class:

 static class StudentClassLoader extends ClassLoader{
        public Class defineClassFromClassFile(String className,byte[] classFile) throws ClassFormatError{
            return defineClass(className, classFile, 0, classFile.length);
        }
    }
复制代码

然后通过ClassWriter获取新生成的类的字节数组,并加载到JVM中:

 byte[] data = classWriter.toByteArray();
 Class subStudent = classLoader.defineClassFromClassFile("com.zjz.Student$EnhancedByASM", data);
复制代码

到此就完成了一个class的生成,上面的代码完成的是一个很简单的事情:记录学习时间。

总结一下:

ASM CoreAPI 核心的三个东西就是ClassReader、Visitor、ClassWriter,通过责任链模式将其链接起来。

Visitor通过访问者模式进行方法、字段等等属性的访问,如果需要修改一个方法和字段,只需要将其原本的Visitor给Wrap一下即可。

关于如何进行代码的hook需要理解JVM相关字节码指令,以及ASM的相关OpCode。

ASM Bytecode Outline 2017

但是那么多指令、OpCode、符号怎么记得住呢?比如上面代码中的:

visitMethodInsn(Opcodes.INVOKESTATIC, "java/lang/System", "currentTimeMillis", "()J", false);
visitVarInsn(Opcodes.LSTORE, 1);
复制代码

Opcodes.INVOKESTATIC 、Opcodes.LSTORE、()J,是不是看着就晕?其实除了熟能生巧外,还可以使用工具。

如果你使用的是IDEA,那么可以安装上ASM Bytecode Outline 2017插件。然后在源文件上右键选择Show Bytecode Outline,你将会看到如下视图:

image.png

切换的ASMified视图,你会看到跟我们上面写的一样的代码,直接Copy过来使用即可。

查看示例完整源代码:asm_demo

参考资料:

asm.ow2.io/

www.ibm.com/developerwo…

juejin.im/post/5b549b…

猜你喜欢

转载自juejin.im/post/5d6f423ae51d4561df7805f7
今日推荐