-
构造器
传入一系列分隔符,通过解码器将二进制流分成完整数据包
-
decode 方法
-
行处理器决断
-
定义位置
-
初始化位置
-
判断分隔符
遍历所有分隔符,计算以每一个分隔符分割的数据包的长度
非空,说明已经找到分隔符
和之前一样,在此先判断当前是否处于丢弃模式
显然第一次时为 false, 因此非丢弃模式
当前数据包大于允许解析最大数据长度时,直接将该段数据包连同最小分隔符跳过(丢弃)
没有超过的就是正常合理逻辑的数据包的长度,判断解析出的数据包是否包含分隔符
当前可读字节长大于允许解析最大数据长度时,记录该丢弃字节数
-
maxFrameLength (包的最大长度) 防止太大导致内存溢出,超出包的最大长度 Netty 将会做一些特殊处理
-
lengthFieldOffset (消息体长度) 长度域的偏移量lengthFieldOffset,0表示无偏移 ByteBuf的什么位置开始就是length字段
-
lengthFieldLength 长度域length字段的长度
-
lengthAdjustment 有些情况可能会把header也包含到length长度中,或者length字段后面还有一些不包括在length长度内的,可以通过lengthAdjustment调节
-
initialBytesToStrip 起始截掉的部分,如果传递给后面的Handler的数据不需要消息头了,可以通过这个设置 可以通过消息中的一个表示消息长度的字段值动态分割收到的ByteBuf
这类数据包协议比较常见,前几个字节表示数据包长度(不包括长度域),后面为具体数据
拆完后数据包是一个完整的带有长度域的数据包(之后即可传递到应用层解码器进行解码),
创建一个如下方式的LengthFieldBasedFrameDecoder即可实现这类协议
若应用层解码器不需用到长度字段,那么我们希望 Netty 拆包后,如此
长度域被截掉,我们只需指定另一个参数initialBytesToStrip即可实现
表 Netty 拿到一个完整数据包后向业务解码器传递之前,应该跳过多少字节
initialBytesToStrip为4,表获取一个完整数据包后,忽略前面4个字节,应用解码器拿到的就是不带长度域的数据包
此方式二进制协议更为普遍,前几个固定字节表示协议头,通常包含一些magicNumber,protocol version之类的meta信息,紧跟着后面的是一个长度域,表示包体有多少字节的数据
只需要基于第一种情况,调整第二个参数既可以实现
lengthFieldOffset为4,表示跳过4个字节才是长度域。
有的二进制协议会设计成如下方式
长度域在前,header在后
- 长度域在数据包最前面表示无偏移,lengthFieldOffset = 0
- 长度域的长度为3,即lengthFieldLength = 3
- 长度域表示的包体的长度略过了header,这里有另外一个参数lengthAdjustment,包体长度调整的大小,长度域的数值表示的长度加上这个修正值表示的就是带header的包,这里是12+2,header和包体一共占14字节
二进制协议带有两个header
拆完后,HDR1丢弃,长度域丢弃,只剩下第二个header和有效包体
这种协议中,一般HDR1可以表示magicNumber,表示应用只接受以该magicNumber开头的二进制数据,RPC 里面用的较多
- 长度域偏移为1,即lengthFieldOffset为1
- 长度域长度为2,即lengthFieldLength为2
- 长度域表示的包体的长度略过HDR2,但拆包时HDR2也被 Netty 当作包体的一部分来拆,HDR2的长度为1,即lengthAdjustment为1
-
拆完后,截掉前面三个字节,即initialBytesToStrip为 3
前面所有的长度域表示的都是不带header的包体的长度
如果让长度域表示的含义包含整个数据包的长度,如下
长度域字段值为16, 其字段长度为2,HDR1的长度为1,HDR2的长度为1,包体的长度为12,1+1+2+12=16
除长度域表示的含义和上一种情况不一样外,其他都相同,因为 Netty 不了解业务情况,需告诉 Netty ,长度域后再跟多少字节就可形成一个完整数据包,这里显然是13字节,长度域为16,因此减掉3才是真是的拆包所需要的长度,lengthAdjustment为-3
若你的协议基于长度,即可考虑不用字节来实现,而是直接拿来用,或者继承他,简单修改即可
7 基于长度域解码器分析 7.1 构造方法
public LengthFieldBasedFrameDecoder(ByteOrder byteOrder, int maxFrameLength, int lengthFieldOffset, int lengthFieldLength, int lengthAdjustment, int initialBytesToStrip, boolean failFast) { // 省略参数校验 this.byteOrder = byteOrder; this.maxFrameLength = maxFrameLength; this.lengthFieldOffset = lengthFieldOffset; this.lengthFieldLength = lengthFieldLength; this.lengthAdjustment = lengthAdjustment; lengthFieldEndOffset = lengthFieldOffset + lengthFieldLength; this.initialBytesToStrip = initialBytesToStrip; this.failFast = failFast; }
把传参数保存在 field即可
- byteOrder 字节流表示的数据是大端还是小端,用于长度域的读取
- lengthFieldEndOffset 紧跟长度域字段后面的第一个字节的在整个数据包中的偏移量
-
failFast
- 为true 表读取到长度域,TA的值的超过maxFrameLength,就抛TooLongFrameException
- 为false表只有当真正读取完长度域的值表示的字节之后,才抛TooLongFrameException,默认设为true,建议不要修改,否则可能会造成内存溢出
具体的拆包协议只需要实现
void decode(ChannelHandlerContext ctx, ByteBuf in, Listout)
in表目前为止还未拆的数据,拆完之后的包添加到out这个list中即可实现包向下传递
-
第一层实现
重载的protected方法decode实现真正的拆包,以下三步走
基于长度域解码器步骤- 计算需要抽取的数据包长度
- 跳过字节逻辑处理
- 丢弃模式下的处理
protected Object decode(ChannelHandlerContext ctx, ByteBuf in) throws Exception { // 拿到实际的未调整过的包长度 long frameLength = getUnadjustedFrameLength(in, actualLengthFieldOffset, lengthFieldLength, byteOrder); if (frameLength < lengthFieldEndOffset) { failOnFrameLengthLessThanLengthFieldEndOffset(in, frameLength, lengthFieldEndOffset); } if (frameLength > maxFrameLength) { exceededFrameLength(in, frameLength); return null; } }
-
拿到长度域的实际字节偏移
-
调整包的长度
-
如果当前可读字节还未达到长度长度域的偏移,那说明肯定是读不到长度域的,直接不读
上面有个getUnadjustedFrameLength,若你的长度域代表的值表达的含义不是基本的int,short等基本类型,可重写该方法
比如,有的奇葩的长度域里面虽然是4个字节,比如 0x1234,但是TA的含义是10进制,即长度就是十进制的1234,那么覆盖这个函数即可实现奇葩长度域拆包
2. 长度校验
-
整个数据包的长度还没有长度域长,直接抛异常
-
数据包长度超出最大包长度,进入丢弃模式
- 当前可读字节已达到frameLength,直接跳过frameLength个字节,丢弃之后,后面有可能就是一个合法的数据包
- 当前可读字节未达到frameLength,说明后面未读到的字节也需丢弃,进入丢弃模式,先把当前累积的字节全部丢弃
bytesToDiscard表还需丢弃多少字节
-
最后,调用failIfNecessary判断是否需要抛出异常
-
不需要再丢弃后面的未读字节(bytesToDiscard == 0),重置丢弃状态
- 如果没有设置快速失败(!failFast),或者设置了快速失败并且是第一次检测到大包错误(firstDetectionOfTooLongFrame),抛出异常,让handler处理
-
如果设置了快速失败,并且是第一次检测到打包错误,抛出异常,让handler去处理
-
不需要再丢弃后面的未读字节(bytesToDiscard == 0),重置丢弃状态
前面我们可以知道failFast默认为true,而这里firstDetectionOfTooLongFrame为true,所以,第一次检测到大包肯定会抛出异常
LengthFieldBasedFrameDecoder.decoder方法入口处还有一段代码
-
若当前处在丢弃模式,先计算需要丢弃多少字节,取当前还需可丢弃字节和可读字节的最小值,丢弃后,进入failIfNecessary,对照着这个函数看,默认情况下是不会继续抛出异常,而如果设置了 failFast为false,那么等丢弃完之后,才会抛出异常
在丢弃模式的处理及长度校验都通过后
-
先验证当前是否已读到足够的字节,若读到了,在下一步抽取一个完整的数据包之前,需根据initialBytesToStrip的设置来跳过某些字节,当然,跳过的字节不能大于数据包的长度,否则抛CorruptedFrameException异常
-
拿到当前累积数据的读指针,然后拿到待抽取数据包的实际长度进行抽取,抽取之后,移动读指针
-
抽取的过程即调用了一下ByteBuf的retainedSliceAPI,该API无内存copy的开销
从真正抽取数据包来看看,传入的参数为 int 型,所以自定义协议中,如果你的长度域是8字节,那么前4字节基本没用
- 如果你使用了Netty,并且二进制协议基于长度,考虑使用LengthFieldBasedFrameDecoder吧,通过调整各种参数,一定会满足你
- LengthFieldBasedFrameDecoder的拆包包括合法参数校验,异常包处理,以及最后调用 ByteBuf 的retainedSlice来实现无内存copy的拆包
- 累加字节流
- 调用子类的decode方法进行解析
- 将解析到的ByteBuf向下传播
- 计算需要抽取的数据包长度
- 跳过字节逻辑处理
- 丟弃模式下的处理
- 解码器抽象的解码过程
- netty里面有哪些拆箱即用的解码器