目录
协议栈
- 首先明确,网络协议栈中,recv与send都是异步执行,所谓的send与recv只是从buffer中读取或者写入buffer,剩余操作将在kernel中执行。
- epoll代码路径:kernel源码中fs/eventpoll.c
为什么要在用户态协议栈实现epoll
- epoll的出现大大加强了linux的性能,使得linux从嵌入式专属转向了服务器的跨越。
数据结构
所有fd的集合:红黑树
- 选择红黑树,因为查找以及空间利用率更高
- 为什么不用数组:作为线性数据结构,查找速度太慢,占用空间太多
- 为什么不用hash: 需要创建hash插槽,该插槽类似数组,占用空间太大(特别是刚开始创建的时候),尽管当数据特别多的时候,查找速度很快。
- 为什么不用b/b+树:由于对比次数比较多,所以查找性能不会低于红黑树,它主要是用在磁盘操作上,因为层高低,以至于对于磁盘的操作频率就低很多。
就绪fd的集合:队列
- 该集合中所有的都需要处理,不需要考虑优先级什么的。
- 基于第一点,最好的选择便是线性数据结构
- 数据结构有两种:队列与栈
- 此处,我们选择队列,由于其先进先出的原则
- 就绪队列并不会将之从全集合队列中删除,而是通过前后指针将就绪fd串联到一起。
协议栈如何与epoll通信
- 在发生IO操作的时候协议栈将通知epoll
1.1 三次握手完成(accept之前)
1.2 接收到数据的时候
1.3 接收到ACK的时候
1.4 接收到FIN信号
1.5 接收到RST信号 - 从协议栈回调到epoll(带回信息有fd以及对应的事件:EPOLLIN EPOLLOUT)
2.1 通过fd查找对应的节点
2.2 将节点加入到就绪队列 - epoll_create 创建一个红黑树根节点
- epoll_ctl ADD DEL MOD
- epoll_wait 将就绪队列中的节点copy到用户空间
如何对epoll加锁
epoll_create
不加锁
epoll_ctl
- 对红黑树加锁
- 其中可能出现rbtree_insert,rbtree_delete
- 使用互斥锁
epoll_wait
- 对就绪队列加锁
- 使用自旋锁,因为这里操作简单,消费事件较低
ET与LT的区别
LT
- 水平触发
- 数据没有读完,将会再次触发
ET
- 边沿触发
- 数据没有读完,不会再次触发