该文章内容发布已经超过一年,请注意检查文章中内容是否过时。
[getty][3]是一个go语言实现的网络层引擎,可以处理TCP/UDP/websocket三种网络协议。
2016年6月我在上海做一个即时通讯项目时,接口层的底层网络驱动是当时的同事sanbit写的,原始网络层实现了TCP Server,其命名规范学习了著名的netty。当时这个引擎比较简洁,随着我对这个项目的改进这个网络层引擎也就随之进化了(添加了TCP Client、抽象出了 TCP connection 和 TCP session),至2016年8月份(又添加了websocket)其与原始实现已经大异其趣了,征得原作者和相关领导同意后就放到了github上。
将近两年的时间我不间断地对其进行改进,年齿渐增但记忆速衰,觉得有必要记录下一些开发过程中遇到的问题以及解决方法,以备将来回忆之参考。
2018年3月5日 起给 getty 添加了UDP支持。
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 即可。
connected UDP 的优势详见参考文档1。假设有两个 datagram 需要发送,unconnected UDP 的进行 write 时发送过程如下:
每发送一个包都需要进行 connect,操作系统到 routine table cache 中判断本次目的地地址是否与上次一致,如果不一致还需要修改 routine table。
connected UDP 的两次发送过程如下:
这个 case 下,内核只在第一次设定下虚拟链接的 peer address,后面进行连续发送即可。所以 connected UDP 的发送过程减少了 1/3 的等待时间。
2017年5月7日 我曾用 python 程序(https://github.com/alexStocks/python-practice/blob/master/tcp_udp_http_ws/udp/client.py
)
对二者之间的性能做过测试,如果 client 和 server 都部署在本机,测试结果显示发送 100 000 量的 UDP datagram packet 时,connected UDP 比 unconnected UDP 少用了 2
/ 13 的时间。
这个测试的另一个结论是:不管是 connected UDP 还是 unconnected UDP,如果启用了 SetTimeout,则会增大发送延迟。
Go 语言 UDP 编程也对 connected UDP 和 unconnected UDP 进行了明确区分,参考文档2 详细地列明了如何使用相关
API,根据这篇文档个人也写一个 程序(https://github.com/alexstocks/go-practice/blob/master/udp-tcp-http/udp/connected-udp.go
) 测试这些
API,测试结论如下:
综上结论,读统一使用 ReadFromUDP,写则统一使用 WriteMsgUDP。
版本 v0.8.1 Getty 中添加 connected UDP 支持时,其连接函数 dialUDP(https://github.com/alexstocks/getty/blob/master/client.go#L141
)
这是简单调用了 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(https://github.com/alexstocks/getty/blob/master/client.go#L141
) 改进如下:
去年给 getty 添加了 TCP/Websocket compression 支持,Websocket
库使用的是 gorilla/websocket,Go
官网也推荐这个库,因为自 This package("golang.org/x/net/websocket") currently lacks some features
。
最近在对 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(https://github.com/alexstocks/getty/blob/master/conn.go#L228
) 里面的 log
有很多 “io timeout” error。当时查到这个错误很疑惑,因为我已经在 TCP read 之前进行了超时设置【SetReadDeadline】,难道启动 compression
会导致超时设置失效使得socket成了非阻塞的socket?
于是在 getty/conn.go:gettyTCPConn::read(https://github.com/alexstocks/getty/blob/master/conn.go#L228
) 中添加了一个逻辑:启用 TCP
compression 的时不再设置超时时间【默认情况下tcp connection是永久阻塞的】,CPU 100% 的问题很快就得到了解决。
至于为何 启用 TCP compression 会导致 SetDeadline 失效使得socket成了非阻塞的socket
,囿于个人能力和精力,待将来追查出结果后再在此补充之。
TCP compression 的问题解决后,个人猜想 Websocket compression
程序遇到的问题或许也跟 启用 TCP compression 会导致 SetDeadline 失效使得socket成了非阻塞的socket
有关。
于是借鉴 TCP 的解决方法,在 getty/conn.go:gettyWSConn::read(https://github.com/alexstocks/getty/blob/master/conn.go#L527
)
直接把超时设置关闭,然后 CPU 100% 被解决,且程序运转正常。
本节与 getty 无关,仅仅是在使用 unix socket 过程中遇到一些 keypoint 的记录。
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?
On most UNIX implementations, UNIX domain datagram sockets are always reliable and don’t reorder datagrams. —man 7 socketpair
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
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?
随着 [dubbogo/getty][1] 被 [apache/dubbo-go][2] 用作底层 tcp 的 transport 引擎,处于提高系统吞吐的需要,[dubbogo/getty][1] 面临着下一步的进化要求:[针对 dubbo-go 和 Getty 的网络 I/O 与线程派发这一部分进行进一步优化][4]。其中的关键就是添加 Goroutine Pool【下文简称 gr pool】,以分离网络 I/O 和 逻辑处理。
Gr Pool 成员有任务队列【其数目为 M】和 Gr 数组【其数目为 N】以及任务【或者称之为消息】,根据 N 的数目变化其类型分为可伸缩与固定大小,可伸缩 Gr Pool 好处是可以随着任务数目变化增减 N 以节约 CPU 和内存资源,但一般不甚常用,比人以前撸过一个后就躺在我的 [github repo][5] 里面了。
[dubbogo/getty][1] 只关注 N 值固定大小的 gr pool,且不考虑收到包后的处理顺序。譬如,[dubbogo/getty][1] 服务端收到了客户端发来的 A 和 B 两个网络包,不考虑处理顺序的 gr pool 模型可能造成客户端先收到 B 包的 response,后才收到 A 包的 response。
如果客户端的每次请求都是独立的,没有前后顺序关系,则带有 gr pool 特性的 [dubbogo/getty][1] 不考虑顺序关系是没有问题的。如果上层用户关注 A 和 B 请求处理的前后顺序,则可以把 A 和 B 两个请求合并为一个请求,或者把 gr pool 特性关闭。
按照 M 与 N 的比例,固定大小 Gr Pool 又区分为 1:1、1:N、M:N 三类。
1:N 类型的 Gr Pool 最易实现,个人 2017 年在项目 [kafka-connect-elasticsearch][6] 中实现过此类型的 [Gr Pool][7]:作为消费者从 kafka 读取数据然后放入消息队列,然后各个 worker gr 从此队列中取出任务进行消费处理。
向 [dubbogo/getty][1] 中添加 gr pool 时也曾实现过这个版本的 [gr pool][8]。这种模型的 gr pool 整个 pool 只创建一个 chan, 所有 gr 去读取这一个 chan,其缺点是:队列读写模型是 一写多读,因为 go channel 的低效率【整体使用一个 mutex lock】造成竞争激烈,当然其网络包处理顺序更无从保证。
[dubbogo/getty][1] 初始版本的 [gr pool][9] 模型为 1:1,每个 gr 多有自己的 chan,其读写模型是一写一读,其优点是可保证网络包处理顺序性, 如读取 kafka 消息时候,按照 kafka message 的 key 的 hash 值以取余方式【hash(message key) % N】将其投递到某个 task queue,则同一 key 的消息都可以保证处理有序。但望哥 指出了这种模型的缺陷:每个task处理要有时间,此方案会造成某个 gr 的 chan 里面有 task 堵塞,就算其他 gr 闲着,也没办法处理之【任务处理“饥饿”】。
[wenwei86][12] 给出了更进一步的 1:1 模型的改进方案:每个 gr 一个 chan,如果 gr 发现自己的 chan 没有请求,就去找别的 chan,发送方也尽量发往消费快的协程。这个方案类似于 go runtime 内部的 MPG 调度算法,但是对我个人来说算法和实现均太复杂,故而没有采用。
[dubbogo/getty][1] 目前采用了 M:N 模型版本的 [gr pool][11],每个 task queue 被 N/M 个 gr 消费,这种模型的优点是兼顾处理效率和锁压力平衡,可以做到总体层面的任务处理均衡。此版本下 Task 派发采用 RoundRobin 方式。
本文总结了 [getty][3] 近期开发过程中遇到的一些问题,囿于个人水平只能给出目前自认为最好的解决方法【如何你有更好的实现,请留言】。
随着 [getty][3] 若有新的 improvement 或者新 feature,我会及时补加此文。
此记。
http://www.masterraghu.com/subjects/np/introduction/unix_network_programming_v1.3/ch08lev1sec11.html
)1: https://github.com/dubbogo/getty
2: https://github.com/apache/dubbo-go/
3: https://github.com/alexstocks/getty
4: https://www.oschina.net/question/3820517_2306822
5: https://github.com/alexstocks/goext/blob/master/sync/pool/worker_pool.go
6: https://github.com/AlexStocks/kafka-connect-elasticsearch
7: https://github.com/AlexStocks/kafka-connect-elasticsearch/blob/master/app/worker.go
8: https://github.com/dubbogo/getty/pull/6/commits/4b32c61e65858b3eea9d88d8f1c154ab730c32f1
11: https://github.com/dubbogo/getty/pull/6/commits/1991056b300ba9804de0554dbb49b5eb04560c4b