目录
- 序列化之 TLV
- 1. 紧凑模式
- 2. 可扩展性
- 3. 更好的可扩展性
- 4. 自解释性
- 5. 跨语言特性
- 6. 代码自动化:IDL语言
- 7. 总结
序列化之 TLV
通信协议可以理解两个节点之间为了协同工作实现信息交换,协商一定的规则和约定,例如规定字节序,各个字段类型,使用什么压缩算法或加密算法等。常见的有 tcp,udo,http,sip 等常见协议。协议有流程规范和编码规范。流程如呼叫流程等信令流程,编码规范规定所有信令和数据如何打包/解包。
编码规范就是我们通常所说的编解码,序列化。不光是用在通信工作上,在存储工作上我们也经常用到。如我们经常想把内存中对象存放到磁盘上,就需要对对象进行数据序列化工作。
本文采用先循序渐进,先举一个例子,然后不断提出问题-解决完善,这样一个迭代进化的方式,介绍一个协议逐步进化和完善,最后总结。看完之后,大家以后在工作就很容易制定和选择自己的编码协议。
1. 紧凑模式
本文例子是 A 和 B 通信,获取或设置基本资料,一般开发人员第一步就是定义一个协议结构:
struct userbase {
unsigned short cmd; // 1-get, 2-set, 定义一个short,为了扩展更多命令(理想那么丰满)
unsigned char gender; // 1 – man , 2-woman, 3 - ??
char name[8]; // 当然这里可以定义为 string name;或len + value 组合,为了方便叙述使用简单定长
}
在这种方式下,A 基本不用编码,直接从内存 copy 出来,再把 cmd 做一下网络字节序变换,发送给 B。B 也能解析,一切都很和谐愉快。
这时候编码结果可以用图表示为(1格一个字节)
这种编码方式,称之为紧凑模式,意思是除了数据本身外,没有一点额外冗余信息,可以看成是 Raw Data。在 dos 年代,这种使用方式非常普遍,那时候可是内存和网络都是按 K 计算,cpu 还没有到 1G。如果添加额外信息,不光耗费捉襟见肘的 cpu,连内存和带宽都伤不起。
2. 可扩展性
有一天,A 在基本资料里面加一个生日字段,然后告诉 B
struct userbase {
unsigned short cmd;
unsigned char gender;
unsigned int birthday;
char name[8];
}
这是 B 就犯愁了,收到 A 的数据包,不知道第 3 个字段到底是旧协议中的name 字段,还是新协议中 birthday。这是后 A,和 B 终于从教训中认识到一个协议重要特性——兼容性和可扩展性。
于是乎,A 和 B 决定废掉旧的协议,从新开始,制定一个以后每个版本兼容的协议。方法很简单,就是加一个 version 字段。
struct userbase {
unsigned short version;
unsigned short cmd;
unsigned char gender;
unsigned int birthday;
char name[8];
}
这样,A 和 B 就松一口气,以后就可以很方便的扩展。增加字段也很方便。这种方法即使在现在,应该还有不少人使用。
3. 更好的可扩展性
过了一段较长时间,A 和 B 发现又有新的问题,就是没增加一个字段就改变一下版本号,这还不是重点,重点是这样代码维护起来相当麻烦,每个版本一个 case 分支,到了最好,代码里面 case 几十个分支,看起来丑陋而且维护起来成本高。
A 和 B 仔细思考了一下,觉得光靠一个 version 维护整个协议,不够细,于是觉得为每个字段增加一个额外信息 - tag,虽然增加内存和带宽,但是现在已经不像当年那样,可以容许这些冗余,换取易用性。
struct userbase {
unsigned short version;
unsigned short cmd;
unsigned char gender;
unsigned int birthday;
char name[8];
}
制定完这些协议后,A 和 B 很得意,觉得这个协议不错,可以自由的增加和减少字段。随便扩展。
现实总是很残酷的,不久就有新的需求,name 使用 8 个字节不够,最大长度可能会达到 100 个字节,A 和 B 就愁怀了,总不能即使叫 “steven” 的人,每次都按照 100 个字节打包,虽然不差钱,也不能这样浪费。
于是 A 和 B 寻找各方资料,找到了 ANS.1 编码规范,好东西啊.. ASN.1 是一种 ISO/ITU-T 标准。其中一种编码 BER(Basic Encoding Rules)简单好用,它使用三元组编码,简称 TLV 编码。
每个字段编码后内存组织如下
Tag | Length | Value
字段可以是结构,即可以嵌套
A 和 B 使用 TLV 打包协议后,数据内存组织大概如下:
TLV 具备了很好可扩展性,很简单易学。同时也具备了缺点,因为其增加了 2 个额外的冗余信息,tag 和 len,特别是如果协议大部分是基本数据类型 int ,short, byte. 会浪费几倍存储空间。另外 Value 具体是什么含义,需要通信双方事先得到描述文档,即 TLV 不具备结构化和自解释特性。
4. 自解释性
当 A 和 B 采用 TLV 协议后,似乎问题都解决了。但是还是觉得不是很完美,决定增加自解释特性,这样抓包就能知道各个字段类型,不用看协议描述文档。这种改进的类型就是 TT[L]V(tag,type,length,value),其中 L 在 type 是定长的基本数据类型如 int,short, long, byte 时候,因为其长度是已知的,所以 L 不需要。
于是定义了一些 type 值如下
类型 | Type值 | 类型描述 |
---|---|---|
bool | 1 | 布尔值 |
int8 | 2 | 带符号的一个字符 |
uint8 | 3 | 带符号的一个字符 |
int16 | 4 | 16位有符号整型 |
uint16 | 5 | 16位无符号整型 |
int32 | 6 | 32位有符号整型 |
uint32 | 7 | 32位无符号整型 |
... | ||
string | 2 | 字符串或二进制序列 |
struct | 13 | 自定义的结构,嵌套使用 |
list | 14 | 有序列表 |
map | 15 | 无序列表 |
按照 ttlv 序列化后,内存组织如下
改完后,A 和 B 发现,的确带来很多好处,不光可以随心所以的增删字段,还可以修改数据类型,例如把 cmd 改成 int cmd;可以无缝兼容。真是太给力了。
5. 跨语言特性
有一天来了一个新的同事 C,他写一个新的服务,需要和 A 通信,但是 C 是用 java 或 PHP 的语言,没有无符号类型,导致负数解析失败。为了解决这个问题,A 重新规划一下协议类型,做了有些剥离语言特性,定义一些共性,对使用类型做了强制性约束。虽然带来了约束,但是带来通用型和简洁性,和跨语言性,大家表示都很赞同,于是有了一个类型(type)规范。
类型 | Type值 | 类型描述 |
---|---|---|
bool | 1 | 布尔值 |
int8 | 2 | 带符号的一个字符 |
int16 | 3 | 16位有符号整型 |
int32 | 4 | 32位有符号整型 |
... | ||
string | 2 | 字符串或二进制序列 |
struct | 13 | 自定义的结构,嵌套使用 |
list | 14 | 有序列表 |
map | 15 | 无序列表 |
6. 代码自动化:IDL语言
但是 A 和 B 发现了新的烦恼,就是每搞一套新的协议,都要从头编解码,调试,虽然 TLV 很简单,但是写编解码是一个毫无技术含量的枯燥体力活,一个非常明显的问题是,由于大量 copy/past,不管是对新手还是老手,非常容易犯错,一犯错,定位排错非常耗时。于是 A 想到使用工具自动生成代码。
IDL(Interface Description Language),它是一种描述语言,也是一个中间语言,IDL 一个使命就是规范和约束,就像前面提到,规范使用类型,提供跨语言特性。通过工具分析 idl 文件,生成各种语言代码。
Gencpp.exe sample.idl 输出 sample.cpp sample.h
Genphp.exe sample.idl 输出 sample.php
Genjava.exe sample.idl 输出 sample.java
7. 总结
大家看到这里,是不是觉得很面熟。是的,协议讲到最后,其实就是和 facebook 的 thrift 和 google protocol buffer 协议大同小异了。包括公司无线使用的 jce 协议。咋一看这些协议的 idl 文件,发现几乎是一样的。只是有些细小差异化。
这些协议在一些细节上增加了一些特性:
- 压缩,这里压缩不是指 gzip 之类通用压缩,是指针对整数压缩,如 int 类型,很多情况下值是小于 127(值为 0 的情况特别多),就不需要占用 4 个字节,所以这些协议做了一些细化处理,把 int 类型按照情况,只使用 1/2/3/4 字节,实际上还是一种 ttlv 协议。
- reuire/option 特性: 这个特性有两个作用,一是压缩,有时候一个协议很多字段,有些字段可以带上也可以不带上,不赋值的时候不是也要带一个缺省值打包,这样很浪费,如果字段是 option 特性,没有赋值的话,就不用打包。二是约束功能,规定哪些字段必须有,加强校验。
序列化是通信协议的基础,不管是信令通道还是数据通道,还是 rpc,都需要使用到。在设计协议早期就考虑到扩展性和跨语言特性。会为以后省去不少麻烦。
Ps
本篇主要介绍二进制通信协议序列化,没有讲文本协议。从某种意义来讲,文本协议天生具有兼容和可扩展性。不像二进制需要考虑那么多问题。文本协议易于调试(如抓包就是可见字符,telnet 即可调试,数据包可以手工生成不借助特殊工具),简单易学是其最强大的优势。二进制协议优势就是性能和安全性。但是调试麻烦。
两者各有千秋,按需选择
参考:
本文转发至 https://www.jianshu.com/p/fb183509f14d
https://www.jianshu.com/p/73c9ed3a4877
https://www.jianshu.com/p/72108f0aefca
每天用心记录一点点。内容也许不重要,但习惯很重要!
原文地址:https://www.cnblogs.com/binarylei/p/10991550.html