google protobuf序列化原理解析 (PHP示例)

一、简介


Protocol Buffers是谷歌定义的一种跨语言、跨平台、可扩展的数据传输及存储的协议,因为将字段协议分别放在传输两端,传输数据中只包含数据本身,不需要包含字段说明,所以传输数据量小,解析效率高。一条消息用protobuf序列化后的大小是json的10分之一。类似的序列化框架还有Thrift、avro。thrift和avro都提供rpc服务和序列化,而protocol buffer只是提供序列化功能。

 

 

二、安装


安装Google的protoc编译器,这个工具可以把proto文件中定义的Message转换为各种编程语言中的类。下载release版本直接编译安装。

https://github.com/google/protobuf/

3.1.0及以下版本,不支持PHP,需要安装插件

https://github.com/bramp/protoc-gen-php、https://github.com/chobie/protoc-gen-php、https://github.com/drslump/Protobuf-PHP

/usr/local/protobuf/bin/protoc --help 查看有没有--php_out选项

 

 

三、应用


1、限定修饰符

 

 

Required

​ 表示是一个必须字段,必须相对于发送方,在发送消息之前必须设置该字段的值,对于接收方,必须能够识别该字段的意思。发送之前没有设置required字段或者无法识别required字段都会引发编解码异常,导致消息被丢弃。

Optional(singular)

​ 表示是一个可选字段,在发送消息时,可以有选择性的设置或者不设置该字段的值。对于接收方,如果能够识别可选字段就进行相应的处理,如果无法识别,则忽略该字段,消息中的其它字段正常处理。

​ 因为optional字段的特性,很多接口在升级版本中都把后来添加的字段都统一的设置为optional字段,这样老的版本无需升级程序也可以正常的与新的软件进行通信,只不过新的字段无法识别而已,因为并不是每个节点都需要新的功能,因此可以做到按需升级和平滑过渡。

 

 

Repeated

​ 表示该字段可以包含0~N个元素。其特性和optional一样,但是每一次可以包含多个值。可以看作是在传递一个数组的值。

如果没有给optional和repeated字段赋值,那么字段是不会出现在序列化后的数据中的。

 

 

 

2、数据类型

 

 

 

 

 

3、PHP示例应用

 

 

1)、编写proto文件,结构化数据被称为 Message

vim user.proto

syntax = "proto3";

message userInfo{

​ int32 id = 1;

​ string name = 2;

}

 

 

2)、编译成目标语言类文件(PHP)


/usr/local/protobuf/bin/protoc user.proto --php_out=/pb/php/

 

 

3)、PHP调用

require(…);

$pbUserInfo = new userInfo();

$pbUserInfo->setId(1);

$pbUserInfo->setName("echo");

$pbRs = $pbUserInfo->encode();

 

 

4、序列化解析

Protobuf消息由字段(field)构成,每个字段有其规则(rule)、数据类型(type)、字段名(name)、tag,以及选项(option)。序列化时,消息字段会按照tag顺序,以key+val的格式,编码成二进制数据。

即一个消息就是多个字段的序列拼接成的一个二进制字节流,这种方式就像Key-Value的方式。但这种方式组织的数据并不需要额外的分隔符来划分数据,所以其可以减低序列化结果的大小。

 

 

 

Protobuf消息序列化之后,会产生二进制数据。这些数据(精确到bit)按照含义不同,可以划分为6个部分:MSB flag、tag、编码后数据类型(wire type)、长度(length)、字段值(value)、以及填充(padding)

 

1)、key-value

value

value根据不同的类型采用的编码方式也不同,如果是整型,采用二进制表示;如果是字符,会直接原样写入文件或者字符串(即不编码)。

key是以Varint编码存储

一个message的key由两部分组成,一部分是在定义消息时对字段的编号(field_num),另一部分是字段类型(wire_type)。

key = tag << 3 | wire_type。也就是说,key的第一个字节后3个位是wire type,剩下的位是tag值。

所以,第一个字节还剩下4个二进制位(8-1-3)用于表示tag的值,如果tag值大于15则需增加字节来表示。

因为只用3个二进制位表示wire type,所以最多只能支持8种,目前有6种。Protobuf支持丰富的数据类型,但是编码之后,只剩下Varint(0)、64-bit(1)、Length-delimited(2)、satrt group(3)、end group(4)和32-bit(5)类型。

 

2)、wire Type


每种数据类型都有对应的wire_type:

TypeMeaningUsed For
0 Varint int32, int64, uint32, uint64, sint32, sint64, bool, enum
1 64-bit fixed64, sfixed64, double
2 Length-delimi string, bytes, embedded messages, packed repeated fields
3 Start group Groups (deprecated)
4 End group Groups (deprecated)
5 32-bit fixed32, sfixed32, float


3)、Varint


是一种紧凑的表示数字的方法。它用一个或多个字节来表示一个数字,值越小的数字使用越少的字节数。

Varint中的每个 字节 的最高位 有特殊的含义,如果该位为 1,表示后续的字节也是该数字的一部分,如果该位为 0,则结束。其他的 7 个 位都是用来表示数字。因此小于等于 127 的数字都可以用一个 byte 表示。大于等于 127 的数字,

比如 300,会用两个字节来表示:

1010 1100 0000 0010

去掉两个最高位MSB flag之后为:

010 1100 **000 0010**

protobuf字节序是小端字节序,所以这个数字实际是

000 0010 010 1100(100101100 == 300)

所以用varint存储一个int32的小数值,最多是可以节约3个字节。为了用尽可能节约字节编码消息,Protobuf在多处都使用了Varint这种格式。比如数据类型里的int32、int64,以及tag值和后面将要解释的length值,都使用Varint类型存储。

Variant编码也有两个不好的地方:

 

4)、固定长度编码(32-bit、64-bit)

第一,不利于表示大数。对于比较小的数来说,以0到127为例,用Varint很划算。以浪费1bit和少量额外的计算为代价,只要1个字节就可以表示。但是对于比较大的数,就不划算了。以int32为例,大于2^(4*7) - 1的数(每个字节只有7个位用于存储),需要用5个字节来表示。比如268435456 (2^28)

$pbUserInfo->setId(268435456);

08 80 80 80 80 01

也就是说,如果某个消息的某个int字段大部分时候都会取比较大的数,那么这个字段使用Varint这种变长类型来编码就没什么好处。对于这种情况,Protobuf定义了64-bit和32-bit两种定长编码类型。使用64-bit编码的数据类型包括fixed64、sfixed64和double;使用32-bit编码的数据类型包括fixed32、sfixed32和float。以userInfo消息id字段(float)为例:

syntax = "proto3";

message userInfo{

​ float id = 1;

​ string name = 2;

}

$pbUserInfo->setId(268435456);

0d 00 00 80 4d

 

5)、ZigZag


第二个缺点是不适合表示负数,

如果负数也使用这种方式表示就会出现一个问题,

int32总是需要5(+1,key占1个)个字节,int64总是需要10个字节(加上KEY,1个字节)。

syntax = "proto3";

message userInfo{

​ int64 id = 1;

​ string name = 2;

}

$pbUserInfo->setId(-1);

如下图所示(int64):

为了克服这个缺陷,Protobuf提供了sint32和sint64两种数据类型。如果某个消息的某个字段出现负数值的可能性比较大,那么应该使用sint32或sint64。这两种数据类型在编码时,会先使用ZigZag编码将负数映射成正数,然后再使用Varint编码。

ZigZag编码计算公式为:

sint32

(n << 1) ^ (n >> 31)

sint64

(n << 1) ^ (n >> 63)

ZigZag编码规则如下图所示:

 

图1

图2

 

6)、Length-delimited


如前所述,64-bit和32-bit是定长编码格式,长度固定。Varint是变长编码格式,长度由字节的MSB(最高位)决定。Length-delimited编码格式则会将数据的length也编码进最终数据,使用Length-delimited编码格式的数据类型包括string、bytes和自定义消息。

syntax = "proto3";

message userInfo{

​ int64 id = 1;

​ string name = 2;

}

$pbUserInfo->setName(“hello”);

12 05 68 65 6c 6c 6f

 

7)、repeated

前面讨论的字段都是optional类型,最多只有一个val,但是repeated修饰符,可以有多个val。

message userInfo{

​ int64 id = 1;

​ string name = 2;

​ repeated int32 prop = 3;

}

$pbUserInfo->getProp(

)[] = 1;

$pbUserInfo->getProp()[] = 2;

$pbUserInfo->getProp()[] = 3;

序列化之后的数据如下图所示:

18 01 18 02 18 03

repeated字段就是简单的把每个字段值依次序列化而已。

 

8)、packed

如果repeated字段包含的val比较多,那么每个val都带上key是比较浪费的

message userInfo{

​ int64 id = 1;

​ string name = 2;

​ repeated int32 prop = 3 [packed=true];

}

序列化之后的数据如下图所示:

1a 03 01 02 03

 

 

 

如果repeated字段设置了packed选项,则会使用Length-delimited格式来编码字段值。

 

 

 

5、proto3和proto2区别

 

1)、proto文件中的第一行非空白非注释行syntax = “proto3"表示使用proto3的语法,否则默认使用proto2的语法

2)、字段移除required,将optional改名为singular。如果不加repeated,默认就是singular的。

 

3)、语言增加了Go,Ruby,JavaNano等的支持未来还计划支持PHP等

4)、移除了default选项在proto2中,可使用default为field指定默认值。在proto3中,field的默认值只依赖于field的类型,不再能够被指定。当field的value为默认值时,该field不会被序列化,可节省空间。不要依赖于字段的默认值的行为,因为无法区分是指定为默认值,还是未定义值。

5)、枚举类型的第一个枚举值必须是0,proto3中必须提供一个枚举值为0作为枚举的默认值。为了和proto2兼容(proto2使用第一个枚举值作为默认值),因此规定一个枚举值为0。

6)、不再支持group,proto2中已经不推荐使用group。proto3中不再支持group。group可以用embedded message来实现。

7)、不再支持Extension,新增Any关键字proto3中不再支持Extension, 除了用在custom option。

 

 

6、其他

Any、oneOf、Maps、Packages、Json Mapping

END

posted @ 2016-03-31 15:42  naci  阅读(16330)  评论(0编辑  收藏  举报