本文是Netty系列第8篇
上一篇文章我们深入学习了Netty逻辑架构中的核心组件ChannelHandler和ChannelPipeline,并介绍了它在日常开发使用中的最佳实践。文中也提到了,ChannelHandler主要用于数据输入、输出过程中的加工处理,比如编解码、异常处理等。
今天,我们就选取日常开发中最常用的一种ChannelHandler用途来学习——编解码器。
如果说ChannelHandler的学习是Netty的基础招式,那么编解码就是“基础招式”中衍生出的“常用招式“,我们往往会以一个ChannelHandler来实现编解码逻辑。无论是网络编程实战,还是面试八股文,都离不开编解码的知识。
本文预计阅读时间约 15分钟,
将重点围绕以下几个问题展开:
- 学习编解码器,从粘包/拆包开始
- 如何实现自定义编解码器
- Netty有哪些开箱即用的编解码器
1.学习编解码器,从粘包/拆包开始
1.1为什么会有是粘包/拆包
粘包/拆包问题,相信大家都有所耳闻,这个问题的出现主要包括三个原因:
1)MTU 和 MSS 限制
MTU(Maxitum Transmission Unit) 是OSI五层网络模型中 数据链路层 对一次可以发送的最大数据的限制,一般来说大小为 1500 byte。
MSS(Maximum Segement Size) 是指 TCP报文中data部分的最大长度,它是传输层一次发送最大数据的大小限制。
MSS和MTU的关系如下所示:
MSS长度=MTU长度 - IP Header - TCP Header
因此,当 MSS长度 + IP Header + TCP Header > MTU长度 时,就需要拆分多个报文进行发送,会导致“拆包”现象。
2)TCP滑动窗口
TCP的流量控制方法就是“滑动窗口”。当A向B发送数据时,B作为接收端会告知发送端A自己可以接受的窗口数值,以此来控制A的发送流量大小,从而达到流量控制的目的。
假设接收方B告知发送方A的窗口大小为256,意味着发送方最多还可以发送256个字节,而由于发送方的数据大小是518字节,因此只能发送前256字节,等到接收方ack后,才能发送剩余字节。会导致“拆包”现象。
3)Nagle算法
TCP/IP协议中,无论发送多少大小的数据,都要在数据(DATA)前面加上协议头(TCP Header + IP Header)。如果每次需要发送的数据只有 1 字节,加上 20 个字节 IP Header 和 20 个字节 TCP Header,每次发送的数据包大小为 41 字节,但真正有效的信息只有1个字节,这就造成了非常大的浪费。
因此,TCP/IP中使用Nagle 算法来提高效率。
Nagle 算法核心思想在于“化零为整“。它是在数据未得到确认之前先写入缓冲区,等待数据确认或者缓冲区积攒到一定大小再把数据包发送出去。
多个小数据包合并后一起发送出去,就造成了粘包。
Q: 如果禁用了Nagle算法,还需要对粘包情况进行处理吗?
A: 需要。除了Nagle算法外,接收端不及时也可能会造成粘包现象。当上一个数据包还在缓冲区未被接收端处理时,下一个数据包已经到达了,然后接收端根据缓冲区大小取到的数据有可能会取到多个数据包。
1.2 怎么处理粘包/拆包
对于TCP,其实我们都知道它的一个特点就是“面向字节流”的传输协议,本身并没有数据包的界限。所以不管什么原因造成了“粘包/拆包”,TCP协议本身的数据传输是可靠且正确的。
我们首先要明确一点:“粘包/拆包”导致的问题,本质上是应用层的数据解析问题。
因此,解决拆包/粘包问题的核心方法:定义应用层的通信协议。
核心在于定义正确的数据边界。
常见协议的解决方案包括三种:
1)固定长度
每个数据报文都约定一个固定的长度。
当接收方累计读取到固定长度的报文后,就认为已经获得一个完整的消息。
比如我们要发送一个ABCDEFGHIJKLM的消息,约定固定消息长度为4,那么接收方就可以按照4的长度来解析。如下所示。
|
|
|
|
ABCD |
EFGH |
IJKL |
MN00 |
当发送方的数据小于固定长度时,比如最后一个数据包,只有MN两个字符,这时候就需要空位补齐。
这种方案非常简单,但是缺点也非常明显,非常不灵活。
如果固定长度定义太长,就会浪费数据传输空间。如果定义太短,就会影响正确的数据传输。
这种方法一般不采用。
2)特定分隔符
除了固定长度外,我们比较容易想到的区分“数据边界”的方法,就是用“特定分隔符”。当接收方读到特定的分隔符,就认为拿到了一个完整的消息。
比如我们使用换行符 \n 来区分。
AB\nCDEFG\nHIJK\nLMN\n
这种方法就比较灵活了,适应不同长度的消息。但是,必须要注意,“特殊分隔符”不能和消息内容重复,否则就会解析失败了。
因此,我们在实践过程中,可以考虑把消息进行编码(如base64),然后用编码字符集之外的符号作为“特定分隔符”。
这种方案一般用在协议比较简单的场景中。
3)消息长度+内容
一般项目开发中,最通用的方式还是采用 消息长度+内容 的方式进行处理。
比如定义一个这样的消息格式:
消息长度(比如4字节长度存储) |
消息内容 |
3 |
ABC |
以这样一个格式存储,消息接收方在解析时,先读取4字节长度的信息作为”消息长度“,这里是3,表示消息长度为3字节。然后就读取3字节的消息内容作为 完整 的消息。
举个例子:
2AB5CDEFG4HIJK3LMN
消息长度+内容 的方式非常灵活,可以应用于各种场景中。
注意,在消息头中,除了定义消息长度外,还可以自定义其他扩展字段,比如消息版本、算法类型等。
2.如何在Netty中实现自定义编解码器
上面我们了解了出现“粘包/拆包”的原因以及常用的解决方法。下面看看如何在Netty中实现自定义编解码器。
Netty作为一个优秀的网络通信框架,已经提供了非常丰富的处理编解码的抽象类,我们只需要自定义编解码算法扩展即可。
2.1 自定义编码器
我们先来看看自定义编码器。因为编码器比较简单,不需要关注「粘包/拆包问题」。
常用的编码抽象类包括MessageToByteEncoder 和 MessageToMessageEncoder,继承自
ChannelOutboundHandlerAdapter,操作的是Outbound相关数据。
1)MessageToByteEncoder<I>
这个编码器用于消息对象编码成字节流。它提供了encode的抽象方法,我们只需要实现encode方法,就能进行自定义编码了。
编码器实现非常简单,不需要关注拆包/粘包问题。
我们举一个栗子,将String类型消息转换为字节流:
2)MessageToMessageEncoder
这个编码器用于将一种消息对象编码成另一种消息对象。这里的第二个Message可以理解为任意一个对象。如果是使用ByteBuf对象的话,就和上面的MessageToByteEncoder是一样的了。
我们找一个Netty自带的栗子看看,StringEncoder:
2.2 自定义解码器
解码器比编码器要复杂一些,因为需要考虑“拆包/粘包”问题。
由于接收方有可能没有接收到完整的消息,所以解码框架需要对入站的数据做缓冲操作,直至获取到完整的消息。
常用的解码器抽象类包括 ByteToMessageDecoder 和 MessageToMessageDecoder,继承自
ChannelInboundHandlerAdapter,操作的是Inbbound相关数据。
一般通用的做法是使用 ByteToMessageDecoder 解析 TCP 协议,解决拆包/粘包问题。解析得到有效的 ByteBuf 数据,然后传递给后续的 MessageToMessageDecoder 做数据对象的转换。
1)ByteToMessageDecoder
ByteToMessageDecoder解码器用于字节流解码成消息对象。
拿上面的“固定长度法”解决“粘包/拆包”举一个栗子,Netty自带的FixedLengthFrameDecoder。
通过固定长度frameLength,来对消息进行解析。
生产实践中,可能会使用更加复杂的协议来实现自定义编解码,比如protobuf。
2)MessageToMessageDecoder
MessageToMessageDecoder解码器用于将一种消息对象解码成另一种消息对象。如果你需要对解析后的字节数据做对象模型的转换,这时候便需要用到这个解码器。
3.Netty有哪些开箱即用的解码器
作为一个优秀的网络编程框架,Netty除了支持扩展自定义编解码器外,还提供了非常丰富的开箱即用的编解码器。尤其是针对我们上文1.2节中提过的三种解决「粘包/拆包问题」的方式,都有开箱即用的实现。
3.1 固定长度解码器 FixedLengthFrameDecoder
这个解码器上文已经提到过,对应1.2节中的「固定长度解码」,这里再稍微展开一下。
通过构造函数配置固定长度 frameLength,然后在decode时,按照frameLength 进行解码。
- 当读取到长度大小为 frameLength 的消息,那么解码器认为已经获取到了一个完整的消息。
- 当消息长度小于 frameLength,FixedLengthFrameDecoder 解码器会一直等后续数据包的到达,直至获得完整的消息。
3.2 特殊分隔符解码器 DelimiterBasedFrameDecoder
这个解码器对应1.2节中的「特殊分隔符解码」,也是一个继承自ByteToMessageDecoder的解码器。
这个解码器会使用 1个 或 多个 符号delimiter 对传入的消息(ByteBuf)进行解码。
我们看一下构造器,了解一下几个重要参数。
- maxFranmeLength
maxFranmeLength 是待处理消息的最大长度限制。如果超过 maxFranmeLength 还没有检测到指定分隔符,将会抛出 TooLongFrameException。
- stripDelimiter
stripDelimiter是一个boolean类型, 用于判断解码后得到的消息是否移除分隔符。如果 stripDelimiter=false,那么解码后的消息内容就会保留分隔符信息。
- failFast
failFast是一个boolean类型。如果为true,那么消息在超出 maxFranmeLength 后,会立即抛出 TooLongFrameException。如果为false,那么会等到解码出一个完整的消息后才会抛出TooLongFrameException。
- delimiters
delimiters 的类型是 ByteBuf 数组,可以在构造器中同时传入多个分隔符,但是在解析时,最终会选择长度最短的分隔符进行消息拆分。
例如收到的数据为:
ABCD\nEFG\r\n
如果指定的分隔符为 \n 和 \r\n,那么会解码出两个消息。
ABCD EFG
如果指定的特定分隔符只有 \r\n,那么只会解码出一个消息:
ABCD\nEFG
3.3 长度域解码器 LengthFieldBasedFrameDecoder
这个解码器是生产实践中运用比较广泛的一种(比如RocketMQ),相对复杂,但是特别灵活,基本能覆盖各种基于长度进行拆包的方案,比如1.2节中提到的「消息长度+内容」的方案。
使用这个解码器的时候,重点需要了解4个参数,掌握了参数的设置,就能快速实现不同的基于长度的拆包解码方案。
参数名 |
类型 |
含义 |
lengthFieldOffset |
int |
长度字段的偏移量。表示「长度域」的起始位置 |
lengthFieldLength |
int |
长度字段所占用的字节数 |
lengthAdjustment |
int |
消息长度的修正值。表示一些复杂协议中,会在「长度域」添加一些其他内容,如版本号、消息类型等,这就需要修正值进行修正处理 |
initialBytesToStrip |
int |
解码后需要跳过的初始字节数。表示消息内容数据的起始位置 |
1)解码方案一:基于消息长度 + 消息内容,解码结果不截断消息头
报文只包含消息长度 Length 和消息内容 Content 字段,其中 Length 为 16 进制表示,共占用 2 字节,Length 的值 0x000C 代表 Content 占用 12 字节。
参数名 |
取值 |
lengthFieldOffset |
0 |
lengthFieldLength |
2 |
lengthAdjustment |
0 |
initialBytesToStrip |
0(表示解码结果不截断消息头) |
解码示例:
2)解码方案二:基于消息长度 + 消息内容,解码结果截断
与方案一不同之处在于,解码结果会截断消息头(跳过2字节)
参数名 |
取值 |
lengthFieldOffset |
0 |
lengthFieldLength |
2 |
lengthAdjustment |
0 |
initialBytesToStrip |
2(表示跳过 Length 字段的字节长度,解码后 只包含 消息内容) |
解码示例:
3)解码方案三:基于消息头 + 消息长度 + 消息内容
消息起始位置添加特殊消息头,消息长度 Length字段 后移。
参数名 |
取值 |
lengthFieldOffset |
2 |
lengthFieldLength |
3 |
lengthAdjustment |
0 |
initialBytesToStrip |
0(表示解码结果不截断消息头) |
解码示例:
4)解码方案四:基于消息长度 + 消息头 + 消息内容
消息起始位置为消息长度 Length字段,后面并不直接添加 消息内容,而是先添加 消息头header,再添加 消息内容。
参数名 |
取值 |
lengthFieldOffset |
0 |
lengthFieldLength |
3 |
lengthAdjustment |
2 (Header1的长度) |
initialBytesToStrip |
0(表示解码结果不截断消息头) |
解码示例:
由于 Length 后面不是马上添加content,所以需要加上 lengthAdjustment(2 字节)才能得到 Header + Content 的内容(14 字节)。
4.小结
来简单回顾下吧。
本文主要介绍了ChannelHandler的一种典型应用场景——编解码器。
编解码器核心关注点在于「粘包/拆包」的处理,我们介绍了「粘包/拆包」产生的原因以及常用解决方案。然后说明了如何使用Netty框架实现自定义编解码器。
最后,介绍了Netty中非常好用的几个开箱即用的编解码器。
参考书目:
《Netty in Action》
都看到最后了,原创不易,点个关注,点个赞吧~
文章持续更新,可以微信搜索「阿丸笔记 」第一时间阅读,回复【笔记】获取Canal、MySQL、HBase、JAVA实战笔记,回复【资料】获取一线大厂面试资料。
知识碎片重新梳理,构建Java知识图谱:github.com/saigu/JavaK…(历史文章查阅非常方便)