Fastjson源码分析—ASM的作用和实现(1)

2021SC@SDUSC
众所周知，所有json解析工具中，Fastjson速度是最快的。而它能够快速对json字符串进行处理的原因之一，便是它使用了ASM框架。

ASM是什么

首先，我们把关注点放在ASM的定义上。

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

概括地说，ASM是一个能够不通过.java文件而直接修改.class文件的字节码操控框架。
Fastjson之所以速度快，原因之一是它使用了ASM。按照通常思路，反序列化应该是反射调用set方法进行属性设置。 这种方法是最简单的，但也是最低效的。而Fastjson使用ASM自己编写字节码，然后通过ClassLoader将字节码加载成类，避免了反射开销，大大增强了性能。

字节码格式

在此之前，了解一下Fastjson中ASM部分代码所在位置。

com.alibaba.fastjson.asm包中就是asm的全部代码。

要了解ASM的工作方式，先得了解字节码文件内部的格式。

Class文件是一组以8位字节为基础单位的二进制流，各个数据项目严格按照顺序紧凑地排列在Class文件之中，中间没有添加任何分隔符，Class文件中存储的内容几乎全部是程序运行的必要数据，没有空隙存在。当遇到需要占用8位字节以上空间的数据项时，就按照高位在前的方式分割成若干个8位字节进行存储。
Class文件格式采用类似于C语言结构体的伪结构来存储数据，这种伪结构只有两种数据类型：无符号数和表。

使用hexdump -C指令查看class文件的二进制代码

这里我们重点关注三个部分：魔数、版本号和常量池

魔数

class文件前8字节为魔数magic number，可以看到文件的前8位为cafe babe，正表示这是一个class类型的文件。

版本号

接下来的8字节是该文件的版本号，其中前4字节是次版本号minor version（00 00），后4字节是主版本号major version（00 34）。

常量池

接下来是常量池的入口，前4字节表示常量池容量，我这里是00 21，表示十进制的33，由于常量池计数从1开始，所以实际上常量的数量为32个。
常量池主要存储了字面量以及符号引用，其中字面量主要包括字符串，final常量的值或者某个属性的初始值等，而符号引用主要存储类和接口的全限定名称，字段的名称以及描述符，方法的名称以及描述符。

访问标志及其他

常量池之下是访问标志、字段表等class文件的其他信息，这里暂不一一表述。

通过命令行进入项目的target文件夹，找到编译后的class文件，执行指令javap -v Student.class对class文件反编译查看class文件结构。
这里截取一部分内容

可以看到反编译出来的class文件对每个常量进行了编号，一共32个常量。

ASM如何生成class文件

ASM使用访问者模式，动态对Java类进行修改。
在 ASM 中，提供了一个 ClassReader类，这个类可以直接由字节数组或由 class 文件间接的获得字节码数据，它能正确的分析字节码，构建出抽象的树在内存中表示字节码。它会调用 accept方法，这个方法接受一个实现了 ClassVisitor接口的对象实例作为参数，然后依次调用 ClassVisitor接口的各个方法。

 public void accept(TypeCollector classVisitor) {
        char[] c = new char[this.maxStringLength];
        int anns = false;
        int ianns = false;
        int u = this.header;
        int v = this.items[this.readUnsignedShort(u + 4)];
        int len = this.readUnsignedShort(u + 6);
        int w = false;
        u += 8;
        int i;
        for(i = 0; i < len; ++i) {
            u += 2;
        }
        i = this.readUnsignedShort(u);
        int j;
        for(v = u + 2; i > 0; --i) {
            j = this.readUnsignedShort(v + 6);

            for(v += 8; j > 0; --j) {
                v += 6 + this.readInt(v + 2);
            }
        }

        i = this.readUnsignedShort(v);

        for(v += 2; i > 0; --i) {
            j = this.readUnsignedShort(v + 6);

            for(v += 8; j > 0; --j) {
                v += 6 + this.readInt(v + 2);
            }
        }

        i = this.readUnsignedShort(v);

        for(v += 2; i > 0; --i) {
            v += 6 + this.readInt(v + 2);
        }

        i = this.readUnsignedShort(u);

        for(u += 2; i > 0; --i) {
            j = this.readUnsignedShort(u + 6);

            for(u += 8; j > 0; --j) {
                u += 6 + this.readInt(u + 2);
            }
        }

        i = this.readUnsignedShort(u);
		//依次调用class Visitor的各个方法
        for(u += 2; i > 0; --i) {
            u = this.readMethod(classVisitor, c, u);
        }

    }

ClassReader知道如何对visitor的方法进行调用，而这个过程中用户无法干预。各个 ClassVisitor通过职责链模式，可以非常简单的封装对字节码的各种修改，而无须关注字节码的字节偏移，因为这些实现细节对于用户都被隐藏了，用户要做的只是重写相应的 visit 函数。
标准版的ASM包里面会有ClassAdaptor类，实现了Class Visitor的所有方法。但是Fastjson使用的是阉割版的ASM，只保留了必要的内容，降低了程序大小。Fastjson的ASM包里面只有一千余行代码。

ASM中另一个关键的类是ClassWriter，负责写字节码文件，以字节数组的形式输出。

ASM处理字节码的流程如下：

1. 创建ClassReader对象，将.class文件的内容读入到字节数组中
2. 创建ClassWriter对象，将处理后的字节数组回写入.class文件
3. 使用时间过滤器ClassVisitor，对相应的方法修改并返回

ASM在Fastjson中的开启/关闭

ParserConfig.getGlobalInstance().setAsmEnable()方法来设置ASM的开启和关闭。
我们分别测试一下ASM开启和关闭时的性能，测试代码如下：

public void test02(){
        String str="{\"age\":13,\"name\":\"james\"}";
        boolean flag;
        flag=true;
        ParserConfig config=ParserConfig.getGlobalInstance();
        config.setAsmEnable(flag);
        long t1=System.currentTimeMillis();
        Student student=JSON.parseObject(str,Student.class, Feature.AllowSingleQuotes);
        long t2=System.currentTimeMillis();
        System.out.println("ASM:"+flag);
        System.out.println("time:"+(t2-t1));
        System.out.println("age:"+student.getAge());
        System.out.println("name:"+student.getName());
    }

开启asm：

关闭asm：

可以看到，是否开启asm并不影响程序的结果，但是会影响程序的执行时间。开启asm下，程序执行时间明显比不开要短。这只是一个非常简单的json字符串的测试结果，在长json字符串的解析中，这一加速效果会更加明显。

总结

Fastjson默认开启asm用来代替Java反射，提高了程序的整体性能。使用Java Bean测试发现开启asm情况下解析速度明显比不开要快。
下一篇我们分析asm在Fastjson中的实现。