文档

getty 开发日志


written by Alex Stocks on 2018/03/19,版权所有,无授权不得转载

0 说明


getty是一个 go 语言实现的网络层引擎,可以处理 TCP/UDP/websocket 三种网络协议。

2016 年 6 月我在上海做一个即时通讯项目时,接口层的底层网络驱动是  当时的同事sanbit写的, 原始网络层实现了 TCP Server,其命名规范学习了著名的 netty。当时这个引擎比较简洁,随着我对这个项目的改进这个网络层引擎也就随之进化了(添加了 TCP Client、抽象出了 TCP connection 和 TCP session),至 2016 年 8 月份(又添加了 websocket)其与原始实现已经大异其趣了,征得原作者和  相关领导同意后就放到了 github 上。

将近两年的时间我不间断地对其进行改进,年齿渐增但记忆速衰,觉得有必要记录下一些开发过程中遇到的问题  以及解决方法,以备将来回忆之参考。

1 UDP connection


2018 年 3 月 5 日 起给 getty 添加了 UDP 支持。

1.1 UDP connect


UDP 自身分为 unconnected UDP 和 connected UDP 两种,connected UDP 的底层原理见下图。

当一端的 UDP endpoint 调用 connect 之后,os 就会在内部的 routing table 上把 udp socket 和另一个 endpoint 的地址关联起来,在发起 connect 的 udp endpoint 端建立起一个单向的连接四元组:发出的 datagram packet 只能发往这个 endpoint(不管 sendto 的时候是否指定了地址)且只能接收这个 endpoint 发来的 udp datagram packet(如图???发来的包会被 OS 丢弃)。

UDP endpoint 发起 connect 后,OS 并不会进行 TCP 式的三次握手,操作系统共仅仅记录下 UDP socket 的 peer udp endpoint 地址后就理解返回,仅仅会核查对端地址是否存在网络中。

至于另一个 udp endpoint 是否为 connected udp 则无关紧要,所以称 udp connection 是单向的连接。如果 connect 的对端不存在或者对端端口没有进程监听,则发包后对端会返回 ICMP “port unreachable” 错误。

如果一个 POSIX 系统的进程  发起 UDP write 时没有指定 peer UDP address,则会收到 ENOTCONN 错误,而非 EDESTADDRREQ。

一般发起 connect 的为 UDP client,典型的场景是 DNS 系统,DNS client 根据/etc/resolv.conf 里面指定的 DNS server 进行 connect 动作。

至于 UDP server 发起 connect 的情形有 TFTP,UDP client 和 UDP server 需要进行长时间的通信, client 和 server 都需要调用 connect 成为 connected UDP。

如果一个 connected UDP 需要更换 peer endpoint address,只需要重新 connect 即可。

1.2 connected UDP 的性能


connected UDP 的优势详见参考文档 1。假设  有两个 datagram 需要发送,unconnected UDP 的进行 write 时发送过程如下:

* Connect the socket
* Output the first datagram
* Unconnect the socket
* Connect the socket
* Output the second datagram
* Unconnect the socket

每发送一个包都需要进行 connect,操作系统到 routine table cache 中判断本次目的地地址是否与上次一致,如果不一致  还需要修改 routine table。

connected UDP 的两次发送过程如下:

* Connect the socket
* Output first datagram
* Output second datagram

这个 case 下,内核只在第一次设定下虚拟链接的 peer address,后面进行连续发送即可。所以 connected UDP 的发送  过程减少了 1/3 的等待时间。

2017 年 5 月 7 日  我曾  用 python 程序 对二者之间的性能做过测试,如果 client 和 server 都部署在本机,测试结果显示发送 100 000 量的 UDP datagram packet 时,connected UDP 比 unconnected UDP 少用了 2 / 13 的时间。

这个测试的另一个结论是:不管是 connected UDP 还是 unconnected UDP,如果启用了 SetTimeout,则会增大发送延迟。

1.3 Go UDP


Go 语言 UDP 编程也对 connected UDP 和 unconnected UDP 进行了明确区分,参考文档 2 详细地列明了如何使用相关 API,根据这篇文档个人也写一个 程序 测试这些 API,测试结论如下:

* 1 connected UDP 读写方法是 Read 和 Write;
* 2 unconnected UDP 读写方法是 ReadFromUDP 和 WriteToUDP(以及 ReadFrom 和 WriteTo);
* 3 unconnected UDP 可以调用 Read,只是无法获取 peer addr;
* 4 connected UDP 可以调用 ReadFromUDP(填写的地址会被忽略)
* 5 connected UDP 不能调用 WriteToUDP,”即使是相同的目标地址也不可以”,否则会得到错误 “use of WriteTo with pre-connected connection”;
* 6 unconnected UDP 不能调用 Write, “因为不知道目标地址”, error:”write: destination address requiredsmallnestMBP:udp smallnest”;
* 7 connected UDP 可以调用 WriteMsgUDP,但是地址必须为 nil;
* 8 unconnected UDP 可以调用 WriteMsgUDP,但是必须填写 peer endpoint address。

综上结论,读统一使用 ReadFromUDP,写则统一使用 WriteMsgUDP。

1.4 Getty UDP


版本 v0.8.1 Getty 中添加 connected UDP 支持时,其连接函数 dialUDP 这是简单调用了 net.DialUDP 函数,导致昨日(20180318 22:19 pm)测试的时候遇到一个怪现象:把 peer UDP endpoint 关闭,local udp endpoint 进行 connect 时 net.DialUDP 函数返回成功,然后 lsof 命令查验结果时看到确实存在这个单链接:

COMMAND     PID USER   FD   TYPE             DEVICE SIZE/OFF NODE NAME
echo_clie 31729 alex    9u  IPv4 0xa5d288135c97569d      0t0  UDP localhost:63410->localhost:10000

然后当 net.UDPConn 进行 read 动作的时候,会得到错误 “read: connection refused”。

于是模仿 C 语言中对 TCP client connect 成功与否判断方法,对 dialUDP 改进如下:

* 1 net.DialUDP 成功之后,判断其是否是自连接,是则退出;
* 2 connected UDP 向对端发送一个无用的 datagram packet【”ping”字符串,对端会因其非正确 datagram 而丢弃】,失败则退出;
* 3 connected UDP 发起读操作,如果对端返回 “read: connection refused” 则退出,否则就判断为 connect 成功。

2 Compression


去年给 getty 添加了 TCP/Websocket compression 支持,Websocket 库使用的是 gorilla/websocketGo 官网也推荐这个库,因为自 This package("golang.org/x/net/websocket") currently lacks some features

2.1 TCP compression


最近在对 Websocket compression 进行测试的时候,发现 CPU 很容易就跑到 100%,且程序启动后很快就 panic 退出了。

根据 panic 信息提示查到 gorilla/websocket/conn.go:ReadMsg 函数调用 gorilla/websocket/conn.go:NextReader 后就立即 panic 退出了。panic 的 表层原因 到是很容易查明:

但是为何发生读超时错误则毫无头绪。

2018/03/07 日测试 TCP compression 的时候发现启动 compression 后,程序 CPU 也会很快跑到 100%,进一步追查后发现函数 getty/conn.go:gettyTCPConn::read 里面的 log 有很多 “io timeout” error。当时查到这个错误很疑惑,因为我已经在 TCP read 之前进行了超时设置【SetReadDeadline】,难道启动 compression 会导致超时设置失效使得 socket 成了非阻塞的 socket?

于是在 getty/conn.go:gettyTCPConn::read 中添加了一个逻辑:启用 TCP compression 的时不再设置超时时间【默认情况下 tcp connection 是永久阻塞的】,CPU 100% 的问题很快就得到了解决。

至于为何 启用 TCP compression 会导致 SetDeadline 失效使得socket成了非阻塞的socket,囿于个人能力和精力,待将来追查出结果后再在此补充之。

2.2 Websocket compression


TCP compression 的问题解决后,个人猜想 Websocket compression 程序遇到的问题或许也跟 启用 TCP compression 会导致 SetDeadline 失效使得socket成了非阻塞的socket 有关。

于是借鉴 TCP 的解决方法,在 getty/conn.go:gettyWSConn::read 直接把超时设置关闭,然后 CPU 100% 被解决,且程序运转正常。

3 unix socket

本节与 getty 无关,仅仅是在使用 unix socket 过程中遇到一些 keypoint 的记录。

3.1 reliable

unix socket datagram 形式的包也是可靠的,每次写必然要求对应一次读,否则写方会被阻塞。如果是 stream 形式,则 buffer 没有满之前,写者是不会被阻塞的。datagram 的优势在于 api 简单。

Unix sockets are reliable. If the reader doesn't read, the writer blocks. If the socket is a datagram socket, each write is paired with a read. If the socket is a stream socket, the kernel may buffer some bytes between the writer and the reader, but when the buffer is full, the writer will block. Data is never discarded, except for buffered data if the reader closes the connection before reading the buffer.  ---[Do UNIX Domain Sockets Overflow?](https://unix.stackexchange.com/questions/283323/do-unix-domain-sockets-overflow)
On most UNIX implementations, UNIX domain datagram sockets are always reliable and don't reorder
       datagrams.   ---[man 7 socketpair](http://www.man7.org/linux/man-pages/man7/unix.7.html)

---Do UNIX Domain Sockets Overflow?

3.2 buffer size

datagram 形式的 unix socket 的单个 datagram 包最大长度是 130688 B。

AF_UNIX SOCK_DATAGRAM/SOCK_SEQPACKET datagrams need contiguous memory. Contiguous physical memory is hard to find, and the allocation fails. The max size actually is 130688 B.  --- [the max size of AF_UNIX datagram message that can be sent in linux](https://stackoverflow.com/questions/4729315/what-is-the-max-size-of-af-unix-datagram-message-that-can-be-sent-in-linux)
It looks like AF_UNIX sockets don't support scatter/gather on current Linux. it is a fixed size 130688 B.                      --- [Difference between UNIX domain STREAM and DATAGRAM sockets?](https://stackoverflow.com/questions/13953912/difference-between-unix-domain-stream-and-datagram-sockets)

4 Goroutine Pool

随着 dubbogo/gettyapache/dubbo-go 用作底层 tcp 的 transport 引擎,处于提高系统吞吐的需要,dubbogo/getty 面临着下一步的进化要求:针对 dubbo-go 和 Getty 的网络 I/O 与线程派发这一部分进行进一步优化。其中的关键就是添加 Goroutine Pool【下文简称 gr pool】,以分离网络 I/O 和 逻辑处理。

Gr Pool 成员有任务队列【其数目为 M】和 Gr 数组【其数目为 N】以及任务【或者称之为消息】,根据 N 的数目变化其类型分为可伸缩与固定大小,可伸缩 Gr Pool 好处是可以随着任务数目变化增减 N 以节约 CPU 和内存资源,但一般不甚常用,比人以前撸过一个后就躺在我的 github repo 里面了。

dubbogo/getty 只关注 N 值固定大小的 gr pool,且不考虑收到包后的处理顺序。譬如,dubbogo/getty 服务端收到了客户端发来的 A 和 B 两个网络包,不考虑处理顺序的 gr pool 模型可能造成客户端先收到 B 包的 response,后才收到 A 包的 response。

如果客户端的每次请求都是独立的,没有前后顺序关系,则带有 gr pool 特性的 dubbogo/getty 不考虑顺序关系是没有问题的。如果上层用户关注 A 和 B 请求处理的前后顺序,则可以把 A 和 B 两个请求合并为一个请求,或者把 gr pool 特性关闭。

4.1 固定大小 Gr Pool

按照 M 与 N 的比例,固定大小 Gr Pool 又区分为 1:1、1:N、M:N 三类。

1:N 类型的 Gr Pool 最易实现,个人 2017 年在项目 kafka-connect-elasticsearch 中实现过此类型的 Gr Pool:作为消费者从 kafka 读取数据然后放入消息队列,然后各个 worker gr 从此队列中取出任务进行消费处理。

dubbogo/getty 中添加 gr pool 时也曾实现过这个版本的 gr pool。这种模型的 gr pool 整个 pool 只创建一个 chan, 所有 gr 去读取这一个 chan,其缺点是:队列读写模型是 一写多读,因为 go channel 的低效率【整体使用一个 mutex lock】造成竞争激烈,当然其网络包处理顺序更无从保证。

dubbogo/getty 初始版本的 gr pool 模型为 1:1,每个 gr 多有自己的 chan,其读写模型是一写一读,其优点是可保证网络包处理顺序性,
如读取 kafka 消息时候,按照 kafka message 的 key 的 hash 值以取余方式【hash(message key) % N】将其投递到某个 task queue,则同一 key 的消息都可以保证处理有序。但 望哥 指出了这种模型的缺陷:每个 task 处理要有时间,此方案会造成某个 gr 的 chan 里面有 task 堵塞,就算其他 gr 闲着,也没办法处理之【任务处理“饥饿”】。

wenwei86 给出了更进一步的 1:1 模型的改进方案:每个 gr 一个 chan,如果 gr 发现自己的 chan 没有请求,就去找别的 chan,发送方也尽量发往消费快的协程。这个方案类似于 go runtime 内部的 MPG 调度算法,但是对我个人来说算法和实现均太复杂,故而没有采用。

dubbogo/getty 目前采用了 M:N 模型版本的 gr pool,每个 task queue 被 N/M 个 gr 消费,这种模型的优点是兼顾处理效率和锁压力平衡,可以做到总体层面的任务处理均衡。此版本下 Task 派发采用 RoundRobin 方式。

总结


本文总结了 getty 近期开发过程中遇到的一些问题,囿于个人水平只能给出目前自认为最好的解决方法【如何你有更好的实现,请留言】。

随着 getty 若有新的 improvement 或者新 feature,我会及时补加此文。

此记。

参考文档