查看原文
其他

干货 | 几种Java常用序列化框架的选型与对比

数字科智
2024-10-08

The following article is from 阿里技术 Author 云烨



一  背景介绍

序列化与反序列化是我们日常数据持久化和网络传输中经常使用的技术,但是目前各种序列化框架让人眼花缭乱,不清楚什么场景到底采用哪种序列化框架。本文会将业界开源的序列化框架进行对比测试,分别从通用性、易用性、可扩展性、性能和数据类型与Java语法支持五方面给出对比测试。
  • 通用性:通用性是指序列化框架是否支持跨语言、跨平台。

  • 易用性:易用性是指序列化框架是否便于使用、调试,会影响开发效率。

  • 可扩展性:随着业务的发展,传输实体可能会发生变化,但是旧实体有可能还会被使用。这时候就需要考虑所选择的序列化框架是否具有良好的扩展性。

  • 性能:序列化性能主要包括时间开销和空间开销。序列化的数据通常用于持久化或网络传输,所以其大小是一个重要的指标。而编解码时间同样是影响序列化协议选择的重要指标,因为如今的系统都在追求高性能。

  • Java数据类型和语法支持:不同序列化框架所能够支持的数据类型以及语法结构是不同的。这里我们要对Java的数据类型和语法特性进行测试,来看看不同序列化框架对Java数据类型和语法结构的支持度。


下面分别对JDK Serializable、FST、Kryo、Protobuf、Thrift、Hession和Avro进行对比测试。
二  序列化框架
1  JDK Serializable
JDK Serializable是Java自带的序列化框架,我们只需要实现java.io.Serializablejava.io.Externalizable接口,就可以使用Java自带的序列化机制。实现序列化接口只是表示该类能够被序列化/反序列化,我们还需要借助I/O操作的ObjectInputStream和ObjectOutputStream对对象进行序列化和反序列化。

通用性

由于是Java内置序列化框架,所以本身是不支持跨语言序列化与反序列化。

易用性

作为Java内置序列化框架,无序引用任何外部依赖即可完成序列化任务。但是JDK Serializable在使用上相比开源框架难用许多,可以看到上面的编解码使用非常生硬,需要借助ByteArrayOutputStream和ByteArrayInputStream才可以完整字节的转换。

可扩展性
JDK Serializable中通过serialVersionUID控制序列化类的版本,如果序列化与反序列化版本不一致,则会抛出java.io.InvalidClassException异常信息,提示序列化与反序列化SUID不一致。
 
性能
JDK Serializable是Java自带的序列化框架,但是在性能上其实一点不像亲生的。下面测试用例是我们贯穿全文的一个测试实体。
我们对该测试用例进行1000万次序列化,然后计算时间总和:


1000万序列化耗时(ms)1000万反序列化耗时(ms)
3895296508


同样我们之后会同其它序列化框架进行对比。

数据类型和语法结构支持性
由于JDK Serializable是Java语法原生序列化框架,所以基本都能够支持Java数据类型和语法。



JDK
8种基础类型支持
List集合类支持
Set集合类支持
Queue集合类支持
Map映射大部分支持(WeakHashMap不支持)
自定义类类型支持
枚举类型支持

WeakHashMap没有实现Serializable接口。



JDK
对象为null支持
没有无参构造函支持
static内部类支持(static内部类需要实现序列化接口)
非static内部类支持,但是外部类也需要实现序列化接口
局部内部类支持
匿名内部类支持
Lambda表达式修改代码可以支持,看注1
闭包支持
异常类支持


2  FST序列化框架

FST(fast-serialization)是完全兼容JDK序列化协议的Java序列化框架,它在序列化速度上能达到JDK的10倍,序列化结果只有JDK的1/3。目前FST的版本为2.56,在2.17版本之后提供了对Android的支持。

通用性
FST同样是针对Java而开发的序列化框架,所以也不存在跨语言特性。

易用性
在易用性上,FST可以说能够甩JDK Serializable几条街,语法极其简洁,FSTConfiguration封装了大部分方法。

可扩展性
FST通过@Version注解能够支持新增字段与旧的数据流兼容。对于新增的字段都需要通过@Version注解标识,没有版本注释意味着版本为0。

注意:
  • 删除字段将破坏向后兼容性,但是如果我们在原始字段情况下删除字段是能够向后兼容的(没有新增任何字段)。但是如果新增字段后,再删除字段的话就会破坏其兼容性。

  • Version注解功能不能应用于自己实现的readObject/writeObject情况。

  • 如果自己实现了Serializer,需要自己控制Version。

综合来看,FST在扩展性上面虽然支持,但是用起来还是比较繁琐的。

性能
使用FST序列化上面的测试用例,序列化后大小为:172,相比JDK序列化的432 ,将近减少了1/3。下面我们再看序列化与反序列化的时间开销。
1000万序列化耗时(ms)1000万反序列化耗时(ms)
1358719031


数据类型和语法结构支持性
FST是基于JDK序列化框架而进行开发的,所以在数据类型和语法上和Java支持性一致。



FST
8种基础类型支持
List集合类支持
Set集合类支持
Queue集合类支持
Map映射大部门支持(WeakHashMap不支持)
自定义类类型支持
枚举类型支持





FST
对象为null支持
没有无参构造函数支持
static内部类支持(static内部类需要实现序列化接口)
非static内部类支持,但是外部类也需要实现序列化接口
局部内部类支持
匿名内部类支持
Lambda表达式‍修改代码可以支持(同JDK)
闭包支持
异常类支持



3  Kryo序列化框架

Kryo一个快速有效的Java二进制序列化框架,它依赖底层ASM库用于字节码生成,因此有比较好的运行速度。Kryo的目标就是提供一个序列化速度快、结果体积小、API简单易用的序列化框架。Kryo支持自动深/浅拷贝,它是直接通过对象->对象的深度拷贝,而不是对象->字节->对象的过程。

通用性
首先Kryo官网说自己是一款Java二进制序列化框架,其次在网上搜了一遍没有看到Kryo的跨语言使用,只是一些文章提及了跨语言使用非常复杂,但是没有找到其它语言的相关实现。

易用性
在使用方式上Kryo提供的API也是非常简洁易用,Input和Output封装了你几乎能够想到的所有流操作。Kryo提供了丰富的灵活配置,比如自定义序列化器、设置默认序列化器等等,这些配置使用起来还是比较费劲的。

可扩展性
Kryo默认序列化器FiledSerializer是不支持字段扩展的,如果想要使用扩展序列化器则需要配置其它默认序列化器。


性能

使用Kryo测试上面的测试用例,Kryo序列化后的字节大小为172 ,和FST未经优化的大小一致。时间开销如下:


1000万序列化时间开销(ms)1000万反序列化时间开销(ms)
1355014315


我们同样关闭循环引用配置和预注册序列化类,序列化后的字节大小为120,因为这时候类序列化的标识是使用的数字,而不是类全名。使用的是时间开销如下:


1000万序列化时间开销(ms)1000万反序列化时间开销(ms)
1179911584



数据类型和语法结构支持性
Kryo对于序列化类的基本要求就是需要含有无参构造函数,因为反序列化过程中需要使用无参构造函数创建对象。



Kryo
8种基础类型支持
List集合类支持
Set集合类支持
Queue集合类部分支持(ArrayBlockingQueue不支持)
Map映射
自定义类类型
枚举类型





Kryo
对象为null支持
没有无参构造函数不支持
static内部类支持
非static内部类不支持
局部内部类支持
匿名内部类支持
Lambda表达式‍不支持
闭包支持
异常类不支持(StackOverflowError)



4  Protocol buffer

Protocol buffer是一种语言中立、平台无关、可扩展的序列化框架。Protocol buffer相较于前面几种序列化框架而言,它是需要预先定义Schema的。

通用性
protobuf设计之初的目标就是能够设计一款与语言无关的序列化框架,它目前支持了Java、Python、C++、Go、C#等,并且很多其它语言都提供了第三方包。所以在通用性上,protobuf是非常给力的。

易用性
protobuf需要使用IDL来定义Schema描述文件,定义完描述文件后,我们可以直接使用protoc来直接生成序列化与反序列化代码。所以,在使用上只需要简单编写描述文件,就可以使用protobuf了。

可扩展性
可扩展性同样是protobuf设计之初的目标之一,我们可以非常轻松的在.proto文件进行修改。
新增字段:对于新增字段,我们一定要保证新增字段要有对应的默认值,这样才能够与旧代码交互。相应的新协议生成的消息,可以被旧协议解析。
删除字段:删除字段需要注意的是,对应的字段、标签不能够在后续更新中使用。为了避免错误,我们可以通过reserved规避带哦。

protobuf在数据兼容性上也非常友好,int32、unit32、int64、unit64、bool是完全兼容的,所以我们可以根据需要修改其类型。
通过上面来看,protobuf在扩展性上做了很多,能够很友好的支持协议扩展。

性能
我们同样使用上面的实例来进行性能测试,使用protobuf序列化后的字节大小为 192,下面是对应的时间开销。

1000万数据序列化耗时(ms)1000万数据反序列化耗时(ms)
1423530694



可以看出protobuf的反序列化性能要比FST、Kryo差一些。

数据类型和语法结构支持
Protobuf使用IDL定义Schema所以不支持定义Java方法,下面序列化变量的测试:



Protobuf
8种基础类型基本支持(无byte、shot、char)
List集合类支持
Set集合类支持
Queue集合类支持
Map映射支持
自定义类类型支持
枚举类型支持



注:List、Set、Queue通过protobuf repeated定义测试的。只要实现Iterable接口的类都可以使用repeated列表。

5  Thrift序列化框架

Thrift是由Facebook实现的一种高效的、支持多种语言的远程服务调用框架,即RPC(Remote Procedure Call)。后来Facebook将Thrift开源到Apache。可以看到Thrift是一个RPC框架,但是由于Thrift提供了多语言之间的RPC服务,所以很多时候被用于序列化中。

使用Thrift实现序列化主要分为三步,创建thrift IDL文件、编译生成Java代码、使用TSerializer和TDeserializer进行序列化和反序列化。

通用性

Thrift和protobuf类似,都需要使用IDL定义描述文件,这是目前实现跨语言序列化/RPC的一种有效方式。Thrift目前支持 C++、Java、Python、PHP、Ruby、 Erlang、Perl、Haskell、C#、Cocoa、JavaScript、Node.js、Smalltalk、OCaml、Delphi等语言,所以可以看到Thrift具有很强的通用性。

易用性

Thrift在易用性上和protobuf类似,都需要经过三步:使用IDL编写thrift文件、编译生成Java代码和调用序列化与反序列化方法。protobuf在生成类中已经内置了序列化与反序列化方法,而Thrift需要单独调用内置序列化器来进行编解码。

可扩展性
Thrift支持字段扩展,在扩展字段过程中需要注意以下问题:
  • 修改字段名称:修改字段名称不影响序列化与反序列化,反序列化数据赋值到更新过的字段上。因为编解码过程利用的是编号对应。

  • 修改字段类型:修改字段类型,如果修改的字段为optional类型字段,则返回数据为null或0(数据类型默认值)。如果修改是required类型字段,则会直接抛出异常,提示字段没有找到。

  • 新增字段:如果新增字段是required类型,则需要为其设置默认值,负责在反序列化过程抛出异常。如果为optional类型字段,反序列化过程不会存在该字段(因为optional字段没有赋值的情况,不会参与序列化与反序列化)。如果为缺省类型,则反序列化值为null或0(和数据类型有关)。

  • 删除字段:无论required类型字段还是optional类型字段,都可以删除,不会影响反序列化。

  • 删除后的字段整数标签不要复用,负责会影响反序列化。



性能
上面的测试用例,使用Thrift序列化后的字节大小为:257,下面是对应的序列化时间与反序列化时间开销:
1000万序列化时间开销(ms)1000万反序列化时间开销(ms)
2863420722


Thrift在序列化和反序列化的时间开销总和上和protobuf差不多,protobuf在序列化时间上更占优势,而Thrift在反序列化上有自己的优势。

数据类型和语法结构支持

数据类型支持:由于Thrift使用IDL来定义序列化类,所以能够支持的数据类型就是Thrift数据类型。Thrift所能够支持的Java数据类型:
  1. 8中基础数据类型,没有short、char,只能使用double和String代替。

  2. 集合类型,支持List、Set、Map,不支持Queue。

  3. 自定义类类型(struct类型)。

  4. 枚举类型。

  5. 字节数组。

Thrift同样不支持定义Java方法。

6  Hessian序列化框架

Hessian是caucho公司开发的轻量级RPC(Remote Procedure Call)框架,它使用HTTP协议传输,使用Hessian二进制序列化。
Hessian由于其支持跨语言、高效的二进制序列化协议,被经常用于序列化框架使用。Hessian序列化协议分为Hessian1.0和Hessian2.0,Hessian2.0协议对序列化过程进行了优化(优化内容待看),在性能上相较Hessian1.0有明显提升。
使用Hessian序列化非常简单,只需要通过HessianInput和HessianOutput即可完成对象的序列化,下面是Hessian序列化的Demo:
通用性
Hessian与Protobuf、Thrift一样,支持跨语言RPC通信。Hessian相比其它跨语言PRC框架的一个主要优势在于,它不是采用IDL来定义数据和服务,而是通过自描述来完成服务的定义。目前Hessian已经实现了语言包括:Java、Flash/Flex、Python、C++、.Net/C#、D、Erlang、PHP、Ruby、Object-C。

易用性
相较于Protobuf和Thrift,由于Hessian不需要通过IDL来定义数据和服务,对于序列化的数据只需要实现Serializable接口即可,所以使用上相比Protobuf和Thrift更加容易。

可扩展性
Hession序列化类虽然需要实现Serializable接口,但是它并不受serialVersionUID影响,能够轻松支持字段扩展。
  1. 修改字段名称:反序列化后新字段名称为null或0(受类型影响)。

  2. 新增字段:反序列化后新增字段为null或0(受类型影响)。

  3. 删除字段:能够正常反序列化。

  4. 修改字段类型:如果字段类型兼容能够正常反序列化,如果不兼容则直接抛出异常。



性能
使用Hessian1.0协议序列化上面的测试用例,序列化结果大小为277。使用Hessian2.0序列化协议,序列化结果大小为178。

序列化化与反序列化的时间开销如下:



1000万序列化时间开销(ms)1000万反序列化时间开销(ms)
Hessian1.057648‍55261
Hessian2.03882317682

可以看到Hessian1.0的无论在序列化后体积大小,还是在序列化、反序列化时间上都比Hessian2.0相差很远。


数据类型和语法结构支持
由于Hession使用Java自描述序列化类,所以Java原生数据类型、集合类、自定义类、枚举等基本都能够支持(SynchronousQueue不支持),Java语法结构也能够很好的支持。

7  Avro序列化框架
Avro是一个数据序列化框架。它是Apache Hadoop下的一个子项目,由Doug Cutting主导Hadoop过程中开发的数据序列化框架。Avro在设计之初就用于支持数据密集型应用,很适合远程或本地大规模数据交换和存储。

通用性
Avro通过Schema定义数据结构,目前支持Java、C、C++、C#、Python、PHP和Ruby语言,所以在这些语言之间Avro具有很好的通用性。

易用性
Avro对于动态语言无需生成代码,但对于Java这类静态语言,还是需要使用avro-tools.jar来编译生成Java代码。在Schema编写上,个人感觉相比Thrift、Protobuf更加复杂。

可扩展性
  1. 给所有field定义default值。如果某field没有default值,以后将不能删除该field。

  2. 如果要新增field,必须定义default值。

  3. 不能修改field type。

  4. 不能修改field name,不过可以通过增加alias解决。



性能
使用Avro生成代码序列化之后的结果为:111。下面是使用Avro序列化的时间开销:



1000万序列化时间开销(ms)1000万序反列化时间开销(ms)
生成Java代码2656545383



数据类型和语法结构支持
Avro需要使用Avro所支持的数据类型来编写Schema信息,所以能够支持的Java数据类型即为Avro所支持的数据类型。Avro支持数据类型有:基础类型(null、boolean、int、long、float、double、bytes、string),复杂数据类型(Record、Enum、Array、Map、Union、Fixed)。

Avro自动生成代码,或者直接使用Schema,不能支持在序列化类中定义java方法。

三  总结

1  通用性

下面是从通用性上对比各个序列化框架,可以看出Protobuf在通用上是最佳的,能够支持多种主流变成语言。


序列化框架通用性
JDK Serializer只适用于Java
FST只适用于Java
Kryo主要适用于Java(可复杂支持跨语言)
Protocol buffer支持多种语言
Thrift支持多种语言
Hessian支持多种语言
Avro支持多种语言



2  易用性

下面是从API使用的易用性上面来对比各个序列化框架,可以说除了JDK Serializer外的序列化框架都提供了不错API使用方式。


序列化框架易用性
JDK Serializer使用语法过于生硬
FST使用简洁,FSTConfiguration提供了序列化与反序列化的方法
Kryo使用简洁,Input/Output封装了几乎所有能有需要的流方法
Protocol buffer稍微复杂。需要编写所需序列化类的proto文件,然后编译生成Java代码。但是自动生成Java类,包含了序列化与反序列化方法
Thrift稍微复杂。需要编写所需的序列化类的thrift文件,然后编译生成Java代码。然后通过TSerializer和TDserializer进行序列化与反序列化
Hessian使用简单,在跨语言的基础上不需要使用IDL
Avro使用较复杂。相较于Protobuf和Thrift来说,对于一些静态语言无序生成代码。但是对于Java来一般还需要生成代码,并且Avro提供的API不是很友好



3  可扩展性

下面是各个序列化框架的可扩展性对比,可以看到Protobuf的可扩展性是最方便、自然的。其它序列化框架都需要一些配置、注解等操作。


序列化框架可扩展性
JDK Serializer自定义serialVersionUID,保证序列化前后VUID一致即可
FST通过@Version控制版本,新增字段需要修改Version版本
Kryo默认序列化器不支持字段扩展,需要修改默认序列化器或自己实现序列化器
Protocol buffer支持字段扩展,只要保证新增id标识没有使用过即可
Thrift支持字段扩展。新增字段为required类型时,需要设置默认值
Hessian支持字段扩展
Avro支持字段扩展。注意需要为字段设置默认值



4  性能

序列化大小对比

对比各个序列化框架序列化后的数据大小如下,可以看出kryo preregister(预先注册序列化类)和Avro序列化结果都很不错。所以,如果在序列化大小上有需求,可以选择Kryo或Avro。


序列化时间开销对比

下面是序列化与反序列化的时间开销,kryo preregister和fst preregister都能提供优异的性能,其中fst pre序列化时间就最佳,而kryo pre在序列化和反序列化时间开销上基本一致。所以,如果序列化时间是主要的考虑指标,可以选择Kryo或FST,都能提供不错的性能体验。


5  数据类型和语法结构支持

各序列化框架对Java数据类型支持的对比:




注:集合类型测试基本覆盖了所有对应的实现类。


  1. List测试内容:ArrayList、LinkedList、Stack、CopyOnWriteArrayList、Vector。

  2. Set测试内容:HashSet、LinkedHashSet、TreeSet、CopyOnWriteArraySet。

  3. Map测试内容:HashMap、LinkedHashMap、TreeMap、WeakHashMap、ConcurrentHashMap、Hashtable。

  4. Queue测试内容:PriorityQueue、ArrayBlockingQueue、LinkedBlockingQueue、ConcurrentLinkedQueue、SynchronousQueue、ArrayDeque、LinkedBlockingDeque和ConcurrentLinkedDeque。



下面根据测试总结了以上序列化框架所能支持的数据类型、语法。



  • 注1:static内部类需要实现序列化接口。

  • 注2:外部类需要实现序列化接口。

  • 注3:需要在Lambda表达式前添加(IXxx & Serializable)。




由于Protobuf、Thrift是IDL定义类文件,然后使用各自的编译器生成Java代码。IDL没有提供定义staic内部类、非static内部类等语法,所以这些功能无法测试。



划重点👇

干货直达👇



更多精彩👇



点个“在看”,一年不宕机
继续滑动看下一个
数字科智
向上滑动看下一个

您可能也对以下帖子感兴趣

文章有问题?点此查看未经处理的缓存