一次 JSF 上线问题引发的 MsgPack 深入理解,保证对你有收获
作者: 京东零售 肖梦圆
前序
某一日晚上上线,测试同学在回归项目黄金流程时,有一个工单项目接口报 JSF 序列化错误,马上升级对应的 client 包版本,编译部署后错误消失。
线上问题是解决了,但是作为程序员要了解问题发生的原因和本质。但这都是为什么呢?
第一个问题:为什么测试的时候没有发现问题呢?
首先预发环境中,所有项目中的 JSF 别名和 client 包都是 beta,每天都有项目进行编译部署,这样每个项目获取的都是最新的 client 包,所以在预发环境测试没有发现
第二个问题:为什么会出现序列化问题?
JDer 的开发们都知道 JSF 接口如果添加字段需要在类的最后进行添加,对此我检查了自己的代码发现我添加的代码也是在类的最后进行添加的,但是特殊之处在于这是一个父类,有子类进行继承
第三个问题:如果在父类上添加一个字段有什么影响呢?
说实话,猛的这么一问,我犹豫了,JDer 们都知道 JSF 的默认序列化使用的是 MsgPack,一直都是口口相传说如果 client 类添加字段必须在类的最后,但是也没人告诉父类添加字段咋办呀,父子类这种场景 MsgPack 是如何处理序列化和反序列化的?
第四个问题:MsgPack 是什么?MsgPack 的序列化和反序化是怎么实现的?
对此问题我坦白了,我不知道;是否有很多 JDer 跟我对于 MsgPack 的认识仅限于名字的吗,更别提是如何实现序列化和反序列化了
到此我已经积累了这么多问题了,是时候努力了解一下 MsgPack 了,看看什么是 MsgPack,为什么 JSF 的默认序列化选择 MsgPack 呢?
msgpack 介绍
官网地址: https://msgpack.org/
官方介绍:
It's like JSON. but fast and small.
翻译如下:
这就像 JSON,但更快更小
MessagePack 是一种高效的二进制序列化格式。它允许您在多种语言(如 JSON)之间交换数据。但是速度更快,体积更小。小整数被编码成一个字节,而典型的短字符串除了字符串本身之外只需要一个额外的字节。
JSON 格式占用 27 字节,msgpack 只占用 18 字节
msgpack 核心压缩规范
msgpack 制定了压缩规范,这使得 msgpack 更小更快。我们先了解一下核心规范:
示例解读:
json 串:{"compact":true,"schema":0}
对应的 msgpack 为:82 a7 63 6f 6d 70 61 63 74 c3 a6 73 63 68 65 6d 61 00
第一个 82,查看规范表,落在 fixmap 上,fixmap 的范围:0x80 - 0x8f,表示这是一个 map 结构,长度为 2
后面一个为 a7,查看规范表,落在 fixstr 的范围:0xa0 - 0xbf,表示是一个字符串,长度为 7,后面 7 个为字符串内容:63 6f 6d 70 61 63 74 将 16 进制转化为字符串为:compact
往后一个为:c3,落在 true 的范围:oxc3
再往后一个为:a6,查看规范表,落在 fixstr 的范围:0xa0 - 0xbf,表示是一个字符串,长度为 6,后面 6 个字符串内容为:
73 63 68 65 6d 61,将 16 进制转化为字符串为:schema
最后一个为:00,查看规范表,落在 positive fixint,表示一个数字,将 16 进制转为 10 进制数字为:0
拼装一下{ "compact" : true , "schema" : 0 }
我们看一下官方给出的 stringformat 示意图:
对于上面的问题,一个长度大于 15(也就是长度无法用 4bit 表示)的 string 是这么表示的:用指定字节 0xD9 表示后面的内容是一个长度用 8bit 表示的 string,比如一个 160 个字符长度的字符串,它的头信息就可以表示为 D9A0。
举一个长字符串的例子:
{"name":"fatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfatherfather","age":10,"childerName":"childer"}
83 A4 6E 61 6D 65 DA 03 06 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 66 61 74 68 65 72 A3 61 67 65 0A AB 63 68 69 6C 64 65 72 4E 61 6D 65 A7 63 68 69 6C 64 65 72
一起解析一下看看
83:这个大家都已经知道了,一个固定的 map,长度为 3
A4:fixstr(长度 4),然后找到后面四位
6E 61 6D 65:16 进制转为字符串:name
DA:str 16 ,后面两个字节为长度
03 06:16 进制转化为 10 进制:774
后面 774 个字节转化为字符串:
A3: fixstr(长度 3),然后找到后面三位
61 67 65 :16 进制转为字符串:age
0A :16 进制转 10 进制:10
AB :fixstr(长度 11),然后找到后面 11 位
63 68 69 6C 64 65 72 4E 61 6D 65 :16 进制转为字符串:childerName
A7 : fixstr(长度 7),然后找到后面七位
63 68 69 6C 64 65 72 :16 进制转为字符串:childer
问题原因解析
先还原事件过程,我们在父类的最后添加一个字段,然后创建一个子类继承父类,然后进行模拟序列化和反序化,查找问题
第一步:模拟父子类,输出 16 进制数据
先声明一个父子类,然后进行序列化
父类:
子类:
使用官方的序列化包进行序列化
测试代码如下:
输入结果如下:
{"name":"father","childerName":"childer"}
82 A4 6E 61 6D 65 A6 66 61 74 68 65 72 AB 63 68 69 6C 64 65 72 4E 61 6D 65 A7 63 68 69 6C 64 65 72
拿着 json 数据去 messagepack 官网也获取一下 16 进制数据,跟如上代码输出的结果是一样的。
第二步:在父类的结尾增加一个字段,然后输出 16 进制数组
修改父类,增加一个 age 字段
修改测试代码,给父类的 age 赋值
输入结果如下:
{"name":"father","age":10,"childerName":"childer"}
83 A4 6E 61 6D 65 A6 66 61 74 68 65 72 A3 61 67 65 0A AB 63 68 69 6C 64 65 72 4E 61 6D 65 A7 63 68 69 6C 64 65 72
拿着 json 数据去 messagepack 官网也获取一下 16 进制数据,跟如上代码输出的结果是一样的。
先对比 json 数据
父类没加字段之前:{"name":"father","childerName":"childer"}
父类加字段之后: {"name":"father","age":10,"childerName":"childer"}
对比一下前后两次 16 进制数组,我们进行对齐后进行对比一下
82 A4 6E 61 6D 65 A6 66 61 74 68 65 72 AB 63 68 69 6C 64 65 72 4E 61 6D 65 A7 63 68 69 6C 64 65 72
83 A4 6E 61 6D 65 A6 66 61 74 68 65 72 A3 61 67 65 0A AB 63 68 69 6C 64 65 72 4E 61 6D 65 A7 63 68 69 6C 64 65 72
对比发现在红色部分是多出来的一部分数据应该就是我们添加的 age 字段,现在我们进行解析对比一下。
拼装一下{ "name": "father", "childerName" : "childer" }
拼装一下{ "name": "father", “age”: 10 "childerName" : "childer" }
第三步:直接对二进制数据解包
1、先用正确的顺序解包
输出结果为:
{"name":"father","age":10,"childerName":"childer"}
2、如果我们客户端没有升级 client 包版本,使用了错误的解包顺序
解析报错:反序列化失败
从上述案例中发现在父类中增加数据,相当于在子类中间增加数据导致子嘞反序列化失败。需要注意的是解包顺序必须与打包顺序一致,否则会出错。也就是说协议格式的维护要靠两端手写代码进行保证,而这是很不安全的。
JSF 为什么选择 MsgPack 以及官方 FAQ 解释
为什么 JSF 会选择 MsgPack 作为默认的序列化
JDer 的开发们用的 RPC 基本上都是 JSF,在远程调用的过程中字节越少传输越快越安全(产生丢包的可能性更小), 咱们回过头去看看 MsgPack; 我们了解了 MsgPack 的压缩传输可以看到,MsgPack 序列化后占用的字节更小,这样传输的更快更安全;所以这应该就是 JSF 选择 Msgpack 作为默认序列化的原因了。我理解 MsgPack 是采用一种空间换时间的策略,减少了在网络传输中的字节数,使其更安全,然后在接到序列化后的数据后按照压缩规范进行反序列化(这部分增加了 cpu 和内存的使用,但是减少了网络传输中时间且提高了传输安全性)。
JSF 对父子类序列化的 FQA 解释
是时候进行总结和说再见了
总结:
1、MessagePack 是一种高效的二进制序列化格式。 它允许您在多种语言(如 JSON)之间交换数据。 但是速度更快,体积更小。
此去经年,江湖再见
版权声明: 本文为 InfoQ 作者【京东科技开发者】的原创文章。
原文链接:【http://xie.infoq.cn/article/be24e9fbe753c230d39d9e3f7】。文章转载请联系作者。
评论