序列化的意义

在讲序列化和反序列化之前,我们先举个例子,通过例子来了解序列化的意义。比如我们要把内存中的 Java 对象保存到本地,代码如下所示。

案例

User 类:

  1. public class User {
  2. private String name;
  3. private int age;
  4. // get set toString 方法
  5. }

ISerializer 接口:

  1. public interface ISerializer {
  2. <T> byte[] serialize(T obj);
  3. <T> T deserialize(byte[] data, Class<T> clazz);
  4. }

JavaSerializerWithFile 类,Java 原生序列化操作,把内存中的 User 对象保存到本地文件中。

  1. public class JavaSerializerWithFile implements ISerializer {
  2. @Override
  3. public <T> byte[] serialize(T obj) {
  4. try {
  5. ObjectOutputStream oos = new ObjectOutputStream(
  6. new FileOutputStream(new File(obj.getClass().getSimpleName())));
  7. oos.writeObject(obj);
  8. } catch (IOException e) {
  9. e.printStackTrace();
  10. }
  11. return new byte[0];
  12. }
  13. @Override
  14. public <T> T deserialize(byte[] data, Class<T> clazz) {
  15. try {
  16. ObjectInputStream ois = new ObjectInputStream(
  17. new FileInputStream(new File(clazz.getSimpleName())));
  18. return (T) ois.readObject();
  19. } catch (Exception e) {
  20. e.printStackTrace();
  21. }
  22. return null;
  23. }
  24. }

SerialDemo 类,执行测试代码。

  1. public class SerialDemo {
  2. public static void main(String[] args) {
  3. javaSerializerWithFile();
  4. }
  5. /**
  6. * Java 原生些文件
  7. */
  8. public static void javaSerializerWithFile () {
  9. User user = new User();
  10. user.setAge(18);
  11. user.setName("Yjw");
  12. ISerializer iSerializer = new JavaSerializerWithFile();
  13. iSerializer.serialize(user);
  14. }
  15. }

运行上面的代码,会报错:

image.png

提示 User 类没有做序列化处理。

如何解决上面的报错问题呢?

只需要在 User 类上,实现一个 Serializable 接口,再次运行上面的代码就能够正常执行了。

image.png

了解序列化

我们发现对 User 类增加一个 Serializable 接口,就可以解决 Java 对象保存到本地的问题。这就是今天想给大家讲解的序列化这块的意义

Java 平台允许我们在内存中创建可复用的 Java 对象,但一般情况下,只有当 JVM 处于运行时,这些对象才可能存在,即,这些对象的生命周期不会比 JVM 的生命周期更长。但在现实应用中,就可能要求在 JVM 停止运行之后能够保存(持久化)指定的对象,并在将来重新读取被保存的对象。Java 对象序列化就能够帮助我们实现该功能。

简单来说:

  • 序列化是把对象的状态信息转化为可存储或者可传输的形式过程,也就是把对象转化为字节序列的过程称为对象的序列化。
  • 反序列化是序列化的逆向过程,把字节数组反序列化为对象,把字节序列恢复为对象的过程成为对象的反序列化。

序列化的高阶认识

Java 原生序列化

前面的代码中演示了,如何通过 JDK 提供的 Java 对象的序列化方式实现对象序列化传输,主要通过对象输出流 java.io.ObjectOutputStream 和对象输入流 java.io.ObjectInputStream 来实现。

java.io.ObjectOutputStream:表示对象输出流 , 它的 writeObject(Object obj) 方法可以对参数指定的 obj 对象进行序列化,把得到的字节序列写到一个目标输出流中。

java.io.ObjectInputStream:表示对象输入流 ,它的 readObject() 方法源输入流中读取字节序列,再把它们反序列化成为一个对象,并将其返回。

需要注意的是,被序列化的对象需要实现 java.io.Serializable 接口。

serialVersionUID 的作用

字面意思上是序列化的版本号,凡是实现 Serializable 接口的类都有一个表示序列化版本标识符的静态变量。

通过如下步骤来验证 serialVersionUID 的作用:

  1. 先将 User 对象序列化到文件中。
  2. 然后修改 User 对象的 serialVersionUID 字段的值。
  3. 然后通过反序列化来把对象提取出来。
  4. 演示预期结果:提示无法反序列化

image.png

结论:

Java 的序列化机制是通过判断类的 serialVersionUID 来验证版本一致性的。在进行反序列化时,JVM 会把传来的字节流中的 serialVersionUID 与本地相应实体类的 serialVersionUID 进行比较,如果相同就认为是一致的,可以进行反序列化,否则就会出现序列化版本不一致的异常,即是 InvalidCastException。

需要注意的是,如果我们没有配置 serialVersionUID,则 Java 编译期会自动给这个 Class 进行一个摘要算法,类似于指纹算法,只要这个文件有任何改动,得到的 UID 就会截然不同的,可以保证在这么多类中,这个编号是唯一的。所以一般建议手动指定一个 serialVersionUID,就可以在序列化后,去添加一个字段,或者方法,而不会影响到后期的还原,还原后的对象照样可以使用,而且还多了方法或者属性可以用。

serialVersionUID 有两种显示的生成方式:

  1. 默认的 1L,比如:private static final long serialVersionUID = 1L。
  2. 根据类名、接口名、成员方法及属性等来生成一个 64 位的哈希字段。

当实现 java.io.Serializable 接口的类没有显式地定义一个 serialVersionUID 变量时候,Java 序列化机制会根据编译的 Class 自动生成一个 serialVersionUID 作序列化版本比较用,这种情况下,如果 Class 文件(类名,方法明等)没有发生变化(增加空格,换行,增加注释等等),就算再编译多次,serialVersionUID 也不会变化的。

transient 关键字

transient 关键字的作用是控制变量的序列化,在变量声明前加上该关键字,可以阻止该变量被序列化到文件中,在被反序列化后,transient 变量的值被设为初始值,如 int 型的是 0,对象型的是 null。

image.png

绕开 transient 机制的办法:

虽然 name 被 transient 修饰,但是通过我们写的 writeObject 和 readObject 这两个方法依然能够使得 name 字段正确被序列化和反序列化。

writeObject 和 readObject 原理:

writeObject 和 readObject 是两个私有的方法,他们是什么时候被调用的呢?从运行结果来看,它确实被调用。而且他们并不存在于 java.lang.Object,也没有在 Serializable 中去声明。我们唯一的猜想应该还是和 ObjectInputStream 和 ObjectOutputStream 有关系,所以基于这个入口去看看在哪个地方有调用。

比如 User 类中的 writeObject 方法在 ObjectOutputStream 执行 writeObject 方法的时候被调用了,调用链路:writeObject -> writeObject0 -> writeOrdinaryObject -> writeSerialData -> invokeWriteObject。

image.png

从源码层面来分析可以看到,readObject 是通过反射来调用的,其实我们可以在很多地方看到 readObject 和 writeObject 的使用,比如 HashMap。

Java 原生序列化的一些总结

  1. Java 序列化只是针对对象的状态进行保存,至于对象中的方法,序列化不关心。
  2. 当一个父类实现了序列化,那么子类会自动实现序列化,不需要显示实现序列化接口。
  3. 当一个对象的实例变量引用了其他对象,序列化这个对象的时候会自动把引用的对象也进行序列化(实现深度克隆)。
  4. 当某个字段被申明为 transient 后,默认的序列化机制会忽略这个字段。
  5. 被申明为 transient 的字段,如果需要序列化,可以添加两个私有方法:writeObject 和 readObject。

常见的序列化技术

初步了解了 Java 序列化的知识以后,我们又得回到分布式架构中,了解序列化的发展过程。

了解序列化的发展

随着分布式架构、微服务架构的普及。服务与服务之间的通信成了最基本的需求。这个时候,我们不仅需要考虑通信的性能,也需要考虑到语言多元化问题。

所以,对于序列化来说,如何去提升序列化性能以及解决跨语言问题,就成了一个重点考虑的问题。

由于 Java 本身提供的序列化机制存在两个问题:

  1. 序列化的数据比较大,传输效率低。
  2. 其他语言无法识别和对接。

以至于在后来的很长一段时间,基于 XML 格式编码的对象序列化机制成为了主流,一方面解决了多语言兼容问题,另一方面比二进制的序列化方式更容易理解。以至于基于 XML 的 SOAP 协议及对应的 WebService 框架在很长一段时间内成为各个主流开发语言的必备的技术。

再到后来,基于 JSON 的简单文本格式编码的 HTTP REST 接口又基本上取代了复杂的 WebService 接口,成为分布式架构中远程通信的首要选择。但是 JSON 序列化存储占用的空间大、性能低等问题,同时移动客户端应用需要更高效的传输数据来提升用户体验。在这种情况下与语言无关并且高效的二进制编码协议就成为了大家追求的热点技术之一。首先诞生的一个开源的二进制序列化框架-MessagePack。它比 google 的 Protocol Buffers 出现得还要早。

简单了解各种序列化技术

XML 序列化框架

XML 序列化的好处在于可读性好,方便阅读和调试。但是序列化以后的字节码文件比较大,效率不高。适用于对性能要求不高,QPS 较低的企业级内部系统之间的数据交换场景。

同时 XML 又具有语言无关性,所以还可以用于异构系统之间的数据交换和协议。比如我们熟知的 WebService,就是采用 XML 格式对数据进行序列化的。XML 序列化/反序列化的实现方式有很多,熟知的方式有 XStream 和 Java 自带的 XML 序列化和反序列化两种。

JSON 序列化框架

JSON(JavaScript Object Notation)是一种轻量级的数据交换格式,相对于 XML 来说,JSON 的字节流更小,而且可读性也非常好。现在 JSON 数据格式在企业运用是最普遍的。

JSON 序列化常用的开源工具有很多:

这几种 JSON 序列化工具中,Jackson 与 FastJson 要比 GSON 的性能要好,但是 Jackson、Gson 的稳定性要比 FastJson 好。而 FastJson 的优势在于提供的 API 非常容易使用。

各个 JSON 序列化工具的对比结果参考:https://github.com/eishay/jvm-serializers/wiki

Hessian 序列化框架

Hessian 是一个支持跨语言传输的二进制序列化协议,相对于 Java 默认的序列化机制来说,Hessian 具有更好的性能和易用性,而且支持多种不同的语言。

实际上 Dubbo 采用的就是 Hessian 序列化来实现,只不过 Dubbo 对 Hessian 进行了重构,性能更高。

Avro 序列化框架

Avro 是一个数据序列化系统,设计用于支持大批量数据交换的应用。它的主要特点有:支持二进制序列化方式,可以便捷,快速地处理大量数据;动态语言友好,Avro 提供的机制使动态语言可以方便地处理 Avro 数据。

kyro 序列化框架

Kryo 是一种非常成熟的序列化实现,已经在 Hive、Storm 中使用得比较广泛,不过它不能跨语言。目前 Dubbo 已经在 2.6 版本支持 kyro 的序列化机制,它的性能要优于之前的 hessian2。

Protobuf 序列化框架

Protobuf 是 Google 的一种数据交换格式,它独立于语言、独立于平台。Google 提供了多种语言来实现,比如 Java、C、Go、Python,每一种实现都包含了相应语言的编译器和库文件,Protobuf 是一个纯粹的表示层协议,可以和各种传输层协议一起使用。

Protobuf 使用比较广泛,主要是空间开销小和性能比较好,非常适合用于公司内部对性能要求高的 RPC 调用。 另外由于解析性能比较高,序列化以后数据量相对较少,所以也可以应用在对象的持久化场景中。

但是要使用 Protobuf 会相对来说麻烦些,因为他有自己的语法,有自己的编译器,如果需要
用到的话必须要去投入成本在这个技术的学习中。

protobuf 有个缺点就是要传输的每一个类的结构都要生成对应的 proto 文件,如果某个类发生修改,还得重新生成该类对应的 proto 文件。

Protobuf 详细分析

那么接下来着重分析一下 Protobuf 的序列化原理,前面说过它的优势是空间开销小,性能也相对较好。它里面用到的一些算法还是值得我们去学习的。

Protobuf 的基本应用

使用 Protobuf 开发的一般步骤:

  1. 配置开发环境,安装 protocol compiler 代码编译器。
  2. 编写 .proto 文件,定义序列化对象的数据结构。
  3. 基于编写的 .proto 文件,使用 protocol compiler 编译器生成对应的序列化/反序列化工具类。
  4. 基于自动生成的代码,编写自己的序列化应用。

Protobuf 案例演示

下载 Protobuf 工具

下载地址:https://github.com/google/protobuf/releases,找到 protoc-x.x.x-win(32 or 64).zip 压缩包,下载到本地。

需要注意的是这个版本号要和项目 Maven 中的 protobuf 的版本号相同,否则有可能出问题。

image.png

编写 user.proto 文件

  1. syntax="proto2";
  2. package com.yjw.serial;
  3. option java_package = "com.yjw.serial";
  4. option java_outer_classname="UserProtos";
  5. message User {
  6. required string name=1;
  7. required int32 age=2;
  8. }

字段支持的数据类型:

  • string / bytes / bool / int32(4 个字节)/int64/float/double
  • enum 枚举类
  • message 自定义类

字段的修饰符:

  • required 表示必填字段。
  • optional 表示可选字段。
  • repeated 可重复,表示集合。
  • 1,2,3,4 需要在当前范围内是唯一的,表示顺序。

生成实体类

解压刚才下载的 Protobuf 工具包,把刚刚的 user.proto 文件放到 protoc-3.11.3-win64\bin 目录下,和protoc.exe 同一个目录,执行如下命令。

  1. .\protoc.exe --java_out=./ ./user.proto

序列化操作

把上面生成的实体类放到我们的项目中,演示 Protobuf 序列化操作。

  1. public class ProtobufDemo {
  2. public static void main(String[] args) {
  3. UserProtos.User user = UserProtos.User.newBuilder().
  4. setAge(18).setName("Yjw").build();
  5. byte[] bytes = user.toByteArray();
  6. System.out.println(bytes.length);
  7. for (int i = 0; i < bytes.length; i++) {
  8. System.out.print(bytes[i] + " ");
  9. }
  10. // 10 3 89 106 119 16 18
  11. }
  12. }

原理分析

上面例子的执行结果是一串数字,我们基本看不懂,但是序列化以后的数据确实很小,那接下来了解一下 Protobuf 的底层原理。

正常来说,要达到最小的序列化结果,一定会用到压缩的技术,而 protobuf 里面用到了两种压缩算法,一种是 varint,另一种是 zigzag。

我们先根据几个例子来分析 Protobuf 的压缩算法是怎么使用的。

varint 算法

image.png

age=18,年龄没有被压缩,直接放到生成的数据中了。原因是 varint 是对字节码做压缩,但是如果这个数字的二进制只需要一个字节表示的时候,其实最终编码出来的结果是不会变化的。比如下面的例子,varint 就对数字做了压缩。

image.png

它把 300 压缩成了 -84 和 2 两个数字。它是如何实现的呢?

image.png

-84 怎么计算来的呢?

我们知道在二进制中表示负数的方法,高位设置为 1, 并且是对应数字的二进制取反以后再计算补码表示(补码是反码+1)。

所以要反过来计算:

  1. 先对 10101100 - 1 得到 10101011。
  2. 再对上面的结果取反,得到 01010100,转化为 10 进制为 84,由于高位是 1,表示负数所以结果为 -84。

字符串如何转换为编码

“Yjw”这个字符串,是先根据 ASCII 对照表转化为数字(Y:89,j:106,w:119),所以结果为:89 106 119。因为这些数字都没有超过一个字节的数量,所以不需要进行压缩。

还有两个数字,3 和 16 代表什么呢?那就要了解 Protobuf 的存储格式了。

存储格式

Protobuf 采用 T-L-V 作为存储方式。

image.png

image.png

Tag 的计算方式是 field_number(当前字段的编号) << 3 | wire_type

比如 Yjw 的字段编号是 1 ,类型 wire_type 的值为 2 所以:1 << 3 | 2 = 10;age=300 的字段编号是 2,类型 wire_type 的值是 0, 所以 : 2 << 3 | 0 = 16。

zigzag 算法

在计算机中,负数会被表示为很大的整数,因为计算机定义负数符号位为数字的最高位,所以如果采用 varint 编码表示一个负数,那么一定需要 5 个比特位。所以在 protobuf 中通过 sint32/sint64 类型来表示负数,负数的处理形式是先采用 zigzag 编码(把符号数转化为无符号数),再采用 varint 编码。

  • sint32:(n << 1) ^ (n >> 31)
  • sint64:(n << 1) ^ (n >> 63)

比如存储一个(-300)的值:

  1. -300
  1. 原码:0001 0010 1100
  2. 取反:1110 1101 0011
  3. 11110 1101 0100
  1. sint32
  1. n<<1:整体左移一位,右边补 0 -> 1101 1010 1000
  2. n>>31:整体右移 31 位,左边补 1 -> 1111 1111 1111
  3. n<<1 ^ n >>31
  4. 1101 1010 1000 ^ 1111 1111 1111 = 0010 0101 0111
  5. 十进制: 0010 0101 0111 = 599
  1. varint 算法:从右往做,选取 7 位,高位补 1/0(取决于字节数)得到两个字节:1101 0111 0000 0100(-41 、4)

总结

Protocol Buffer 的性能好,主要体现在序列化后的数据体积小 & 序列化速度快,最终使得传输效率高。

序列化速度快的原因:

  1. 编码 / 解码方式简单(只需要简单的数学运算 = 位移等等)。
  2. 采用 Protocol Buffer 自身的框架代码和编译器共同完成。

序列化后的数据量体积小(即数据压缩效果好)的原因:

  1. 采用了独特的编码方式,如 Varint、Zigzag 编码方式等等。
  2. 采用 T - L - V 的数据存储方式:减少了分隔符的使用 & 数据存储得紧凑。

序列化技术的选型

技术层面

  1. 序列化空间开销,也就是序列化产生的结果大小,这个影响到传输的性能。
  2. 序列化过程中消耗的时长,序列化消耗时间过长影响到业务的响应时间。
  3. 序列化协议是否支持跨平台,跨语言。因为现在的架构更加灵活,如果存在异构系统通信需求,那么这个是必须要考虑的。
  4. 可扩展性/兼容性,在实际业务开发中,系统往往需要随着需求的快速迭代来实现快速更新,这就要求我们采用的序列化协议基于良好的可扩展性/兼容性,比如在现有的序列化数据结构中新增一个业务字段,不会影响到现有的服务。
  5. 技术的流行程度,越流行的技术意味着使用的公司多,那么很多坑都已经淌过并且得到了解决,技术解决方案也相对成熟。
  6. 学习难度和易用性。

选型建议

  1. 对性能要求不高的场景,可以采用基于 XML 的 SOAP 协议。
  2. 对性能和间接性有比较高要求的场景,那么 Hessian、Protobuf、Thrift、Avro 都可以。
  3. 基于前后端分离,或者独立的对外的 API 服务,选用 JSON 是比较好的,对于调试、可读性都很不错。
  4. Avro 设计理念偏于动态类型语言,那么这类的场景使用 Avro 是可以的。

各个序列化技术的性能比较

这个地址有针对不同序列化技术进行性能比较:https://github.com/eishay/jvm-serializers/wiki

转载:咕泡学习资料

作者:殷建卫 链接:https://www.yuque.com/yinjianwei/vyrvkf/sin872 来源:殷建卫 - 架构笔记 著作权归作者所有。商业转载请联系作者获得授权,非商业转载请注明出处。