计算机单机性能一直受到摩尔定律的约束,随着移动互联网的兴趣,单机性能不足的瓶颈越来越明显,制约着整个行业的发展。不过我们虽然不能无止境的纵向扩容系统,但是我们可以分布式、横向的扩容系统,这听起来非常的美好,不过也带来了今天要说明的问题,分布式的节点越多,通信产生的成本就越大。
- 网络传输带宽变得越来越紧缺,我们服务器的标配上了10Gbps的网卡
- HTTPx.x 时代TCP/IP协议通讯低效,我们即将用上QUIC HTTP 3.0
- 同机器走Socket协议栈太慢,我们用起了eBPF
- ....
现在我们的应用程序花在网络通讯上的时间太多了,其中花在序列化上的时间也非常的多。我们和大家一样,在内部微服务通讯序列化协议中,绝大的部分都是用JSON。JSON的好处很多,首先就是它对人非常友好,我们能直接读懂它的含义,但是它也有着致命的缺点,那就是它序列化太慢、序列化以后的字符串太大了。
之前笔者做一个项目时,就遇到了一个选型的问题,我们有数亿行数据需要缓存到Redis中,每行数据有数百个字段,如果用Json序列化存储的话它的内存消耗是数TB级别的(部署个集群再做个主从、多中心 需要成倍的内存、太贵了,用不起)。于是我们就在找有没有除了JSON其它更好的序列化方式?
看看都有哪些
目前市面上序列化协议有很多比如XML、JSON、Thrift、Kryo等等,我们选取了在.NET平台上比较常用的序列化协议来做比较:
- JSON:JSON是一种轻量级的数据交换格式。采用完全独立于编程语言的文本格式来存储和表示数据。简洁和清晰的层次结构使得 JSON 成为理想的数据交换语言。
- Protobuf:Protocol Buffers 是一种语言无关、平台无关、可扩展的序列化结构数据的方法,它可用于(数据)通信协议、数据存储等,它类似XML,但比它更小、更快、更简单。
- MessagePack:是一种高效的二进制序列化格式。它可以让你像JSON一样在多种语言之间交换数据。但它更快、更小。小的整数被编码成一个字节,典型的短字符串除了字符串本身之外,只需要一个额外的字节。
- MemoryPack:是Yoshifumi Kawai大佬专为C#设计的一个高效的二进制序列化格式,它有着.NET平台很多新的特性,并且它是Code First开箱即用,非常简单;同时它还有着非常好的性能。
我们选择的都是.NET平台上比较常用的,特别是后面的三种都宣称自己是非常小,非常快的,那么我们就来看看到底是谁最快,谁序列化后的结果最小。
准备工作
我们准备了一个DemoClass类,里面简单的设置了几个不同类型的属性,然后依赖了一个子类数组。暂时忽略上面的一些头标记。
[MemoryPackable] [MessagePackObject] [ProtoContract] public partial class DemoClass { [Key(0)] [ProtoMember(1)] public int P1 { get; set; } [Key(1)] [ProtoMember(2)] public bool P2 { get; set; } [Key(2)] [ProtoMember(3)] public string P3 { get; set; } = null!; [Key(3)] [ProtoMember(4)] public double P4 { get; set; } [Key(4)] [ProtoMember(5)] public long P5 { get; set; } [Key(5)] [ProtoMember(6)] public DemoSubClass[] Subs { get; set; } = null!; } [MemoryPackable] [MessagePackObject] [ProtoContract] public partial class DemoSubClass { [Key(0)] [ProtoMember(1)] public int P1 { get; set; } [Key(1)] [ProtoMember(2)] public bool P2 { get; set; } [Key(2)] [ProtoMember(3)] public string P3 { get; set; } = null!; [Key(3)] [ProtoMember(4)] public double P4 { get; set; } [Key(4)] [ProtoMember(5)] public long P5 { get; set; } }
System.Text.Json
选用它的原因很简单,这应该是.NET目前最快的JSON序列化框架之一了,它的使用非常简单,已经内置在.NET BCL中,只需要引用System.Text.Json
命名空间,访问它的静态方法即可完成序列化和反序列化。
using System.Text.Json; var obj = ....; // Serialize var json = JsonSerializer.Serialize(obj); // Deserialize var newObj = JsonSerializer.Deserialize<T>(json)
Google Protobuf
.NET上最常用的一个Protobuf序列化框架,它其实是一个工具包,通过工具包+*.proto
文件可以生成GRPC Service或者对应实体的序列化代码,不过它使用起来有点麻烦。
使用它我们需要两个Nuget包,如下所示:
<!--Google.Protobuf 序列化和反序列化帮助类--> <PackageReference Include="Google.Protobuf" Version="3.21.9" /> <!--Grpc.Tools 用于生成protobuf的序列化反序列化类 和 GRPC服务--> <PackageReference Include="Grpc.Tools" Version="2.50.0"> <PrivateAssets>all</PrivateAssets> <IncludeAssets>runtime; build; native; contentfiles; analyzers; buildtransitive</IncludeAssets> </PackageReference>
由于它不能直接使用C#对象,所以我们还需要创建一个*.proto
文件,布局和上面的C#类一致,加入了一个DemoClassArrayProto
方便后面测试:
syntax="proto3"; option csharp_namespace="DemoClassProto"; package DemoClassProto; message DemoClassArrayProto { repeated DemoClassProto DemoClass = 1; } message DemoClassProto { int32 P1=1; bool P2=2; string P3=3; double P4=4; int64 P5=5; repeated DemoSubClassProto Subs=6; } message DemoSubClassProto { int32 P1=1; bool P2=2; string P3=3; double P4=4; int64 P5=5; }
做完这一些后,还需要在项目文件中加入如下的配置,让Grpc.Tools
在编译时生成对应的C#类:
<ItemGroup> <Protobuf Include="*.proto" GrpcServices="Server" /> </ItemGroup>
然后Build当前项目的话就会在obj
目录生成C#类:
最后我们可以用下面的方法来实现序列化和反序列化,泛型类型T
是需要继承IMessage<T>
从*.proto
生成的实体(用起来还是挺麻烦的):
using Google.Protobuf; // Serialize [MethodImpl(MethodImplOptions.AggressiveInlining)] public static byte[] GoogleProtobufSerialize<T>(T origin) where T : IMessage<T> { return origin.ToByteArray(); } // Deserialize [MethodImpl(MethodImplOptions.AggressiveInlining)] public DemoClassArrayProto GoogleProtobufDeserialize(byte[] bytes) { return DemoClassArrayProto.Parser.ParseFrom(bytes); }
Protobuf.Net
那么在.NET平台protobuf有没有更简单的使用方式呢?答案当然是有的,我们只需要依赖下面的Nuget包:
<PackageReference Include="protobuf-net" Version="3.1.22" />
然后给我们需要进行序列化的C#类打上ProtoContract
特性,另外将所需要序列化的属性打上ProtoMember
特性,如下所示:
[ProtoContract] public class DemoClass { [ProtoMember(1)] public int P1 { get; set; } [ProtoMember(2)] public bool P2 { get; set; } [ProtoMember(3)] public string P3 { get; set; } = null!; [ProtoMember(4)] public double P4 { get; set; } [ProtoMember(5)] public long P5 { get; set; } }
然后就可以直接使用框架提供的静态类进行序列化和反序列化,遗憾的是它没有提供直接返回byte[]
的方法,不得不使用一个MemoryStrem
:
using ProtoBuf; // Serialize [MethodImpl(MethodImplOptions.AggressiveInlining)] public static void ProtoBufDotNet<T>(T origin, Stream stream) { Serializer.Serialize(stream, origin); } // Deserialize public T ProtobufDotNet(byte[] bytes) { using var stream = new MemoryStream(bytes); return Serializer.Deserialize<T>(stream); }
MessagePack
这里我们使用的是Yoshifumi Kawai实现的MessagePack-CSharp
,同样也是引入一个Nuget包:
<PackageReference Include="MessagePack" Version="2.4.35" />
然后在类上只需要打一个MessagePackObject
的特性,然后在需要序列化的属性打上Key
特性:
[MessagePackObject] public partial class DemoClass { [Key(0)] public int P1 { get; set; } [Key(1)] public bool P2 { get; set; } [Key(2)] public string P3 { get; set; } = null!; [Key(3)] public double P4 { get; set; } [Key(4)] public long P5 { get; set; } }
使用起来也非常简单,直接调用MessagePack
提供的静态类即可:
using MessagePack; // Serialize [MethodImpl(MethodImplOptions.AggressiveInlining)] public static byte[] MessagePack<T>(T origin) { return global::MessagePack.MessagePackSerializer.Serialize(origin); } // Deserialize public T MessagePack<T>(byte[] bytes) { return global::MessagePack.MessagePackSerializer.Deserialize<T>(bytes); }
另外它提供了Lz4算法的压缩程序,我们只需要配置Option,即可使用Lz4压缩,压缩有两种方式,Lz4Block
和Lz4BlockArray
,我们试试:
public static readonly MessagePackSerializerOptions MpLz4BOptions = MessagePackSerializerOptions.Standard.WithCompression(MessagePackCompression.Lz4Block); // Serialize [MethodImpl(MethodImplOptions.AggressiveInlining)] public static byte[] MessagePackLz4Block<T>(T origin) { return global::MessagePack.MessagePackSerializer.Serialize(origin, MpLz4BOptions); } // Deserialize public T MessagePackLz4Block<T>(byte[] bytes) { return global::MessagePack.MessagePackSerializer.Deserialize<T>(bytes, MpLz4BOptions); }
MemoryPack
这里也是Yoshifumi Kawai大佬实现的MemoryPack
,同样也是引入一个Nuget包,不过需要注意的是,目前需要安装VS 2022 17.3以上版本和.NET7 SDK,因为MemoryPack
代码生成依赖了它:
<PackageReference Include="MemoryPack" Version="1.4.4" />
使用起来应该是这几个二进制序列化协议最简单的了,只需要给对应的类加上partial
关键字,另外打上MemoryPackable
特性即可:
[MemoryPackable] public partial class DemoClass { public int P1 { get; set; } public bool P2 { get; set; } public string P3 { get; set; } = null!; public double P4 { get; set; } public long P5 { get; set; } }
序列化和反序列化也是调用静态方法:
// Serialize [MethodImpl(MethodImplOptions.AggressiveInlining)] public static byte[] MemoryPack<T>(T origin) { return global::MemoryPack.MemoryPackSerializer.Serialize(origin); } // Deserialize public T MemoryPack<T>(byte[] bytes) { return global::MemoryPack.MemoryPackSerializer.Deserialize<T>(bytes)!; }
它原生支持Brotli压缩算法,使用如下所示:
// Serialize [MethodImpl(MethodImplOptions.AggressiveInlining)] public static byte[] MemoryPackBrotli<T>(T origin) { using var compressor = new BrotliCompressor(); global::MemoryPack.MemoryPackSerializer.Serialize(compressor, origin); return compressor.ToArray(); } // Deserialize public T MemoryPackBrotli<T>(byte[] bytes) { using var decompressor = new BrotliDecompressor(); var decompressedBuffer = decompressor.Decompress(bytes); return MemoryPackSerializer.Deserialize<T>(decompressedBuffer)!; }
跑个分吧
我使用BenchmarkDotNet
构建了一个10万个对象序列化和反序列化的测试,源码在末尾的Github链接可见,比较了序列化、反序列化的性能,还有序列化以后占用的空间大小。
public static class TestData { // public static readonly DemoClass[] Origin = Enumerable.Range(0, 10000).Select(i => { return new DemoClass { P1 = i, P2 = i % 2 == 0, P3 = $"Hello World {i}", P4 = i, P5 = i, Subs = new DemoSubClass[] { new() {P1 = i, P2 = i % 2 == 0, P3 = $"Hello World {i}", P4 = i, P5 = i,}, new() {P1 = i, P2 = i % 2 == 0, P3 = $"Hello World {i}", P4 = i, P5 = i,}, new() {P1 = i, P2 = i % 2 == 0, P3 = $"Hello World {i}", P4 = i, P5 = i,}, new() {P1 = i, P2 = i % 2 == 0, P3 = $"Hello World {i}", P4 = i, P5 = i,}, } }; }).ToArray(); public static readonly DemoClassProto.DemoClassArrayProto OriginProto; static TestData() { OriginProto = new DemoClassArrayProto(); for (int i = 0; i < Origin.Length; i++) { OriginProto.DemoClass.Add( DemoClassProto.DemoClassProto.Parser.ParseJson(JsonSerializer.Serialize(Origin[i]))); } } }
序列化
序列化的Bemchmark的结果如下所示:
从序列化速度来看MemoryPack
遥遥领先,比JSON要快88%,甚至比Protobuf快15%。
从序列化占用的内存来看,MemoryPackBrotli
是王者,它比JSON占用少98%,甚至比Protobuf
占用少25%。其中ProtoBufDotNet
内存占用大主要还是吃了没有byte[]
返回方法的亏,只能先创建一个MemoryStream
。
序列化结果大小
这里我们可以看到MemoryPackBrotli
赢麻了,比不压缩的MemoryPack
和Protobuf
有着10多倍的差异。
反序列化
反序列化的Benchmark结果如下所示,反序列化整体开销是比序列化大的,毕竟需要创建大量的对象:
从反序列化的速度来看,不出意外MemoryPack
还是遥遥领先,比JSON快80%,比Protobuf
快14%。
从内存占用来看ProtobufDotNet
是最小的,这个结果听让人意外的,其余的都表现的差不多:
总结
总的相关数据如下表所示,原始数据可以在文末的Github项目地址获取:
从图表来看,如果要兼顾序列化后大小和性能的话我们应该要选择MemoryPackBrotli
,它序列化以后的结果最小,而且兼顾了性能:
不过由于MemoryPack
目前需要.NET7版本,所以现阶段最稳妥的选择还是使用MessagePack
+Lz4
压缩算法,它有着不俗的性能表现和突出的序列化大小。
回到文首的技术选型问题,笔者那个项目最终选用的是Google Protobuf
这个序列化协议和框架,因为当时考虑到需要和其它语言交互,然后也需要有较小空间占用,目前看已经占用了111GB的Redis空间占用。
如果后续进一步增大,可以换成MessagePack
+Lz4
方式,应该还能节省95GB的左右空间。那可都是白花花的银子。
当然其它协议也是可以进一步通过Gzip
、Lz4
、Brotli
算法进行压缩,不过鉴于时间和篇幅关系,没有进一步做测试,有兴趣的同学可以试试。
附录
代码链接: https://github.com/InCerryGit/WhoIsFastest-Serialization