EPOLL的实现原理

协议栈

  1. 首先明确,网络协议栈中,recv与send都是异步执行,所谓的send与recv只是从buffer中读取或者写入buffer,剩余操作将在kernel中执行。
  2. epoll代码路径:kernel源码中fs/eventpoll.c

为什么要在用户态协议栈实现epoll

  1. epoll的出现大大加强了linux的性能,使得linux从嵌入式专属转向了服务器的跨越。

数据结构

所有fd的集合:红黑树

  1. 选择红黑树,因为查找以及空间利用率更高
  2. 为什么不用数组:作为线性数据结构,查找速度太慢,占用空间太多
  3. 为什么不用hash: 需要创建hash插槽,该插槽类似数组,占用空间太大(特别是刚开始创建的时候),尽管当数据特别多的时候,查找速度很快。
  4. 为什么不用b/b+树:由于对比次数比较多,所以查找性能不会低于红黑树,它主要是用在磁盘操作上,因为层高低,以至于对于磁盘的操作频率就低很多。

就绪fd的集合:队列

  1. 该集合中所有的都需要处理,不需要考虑优先级什么的。
  2. 基于第一点,最好的选择便是线性数据结构
  3. 数据结构有两种:队列与栈
  4. 此处,我们选择队列,由于其先进先出的原则
  5. 就绪队列并不会将之从全集合队列中删除,而是通过前后指针将就绪fd串联到一起。

协议栈如何与epoll通信

  1. 在发生IO操作的时候协议栈将通知epoll
    1.1 三次握手完成(accept之前)
    1.2 接收到数据的时候
    1.3 接收到ACK的时候
    1.4 接收到FIN信号
    1.5 接收到RST信号
  2. 从协议栈回调到epoll(带回信息有fd以及对应的事件:EPOLLIN EPOLLOUT)
    2.1 通过fd查找对应的节点
    2.2 将节点加入到就绪队列
  3. epoll_create 创建一个红黑树根节点
  4. epoll_ctl ADD DEL MOD
  5. epoll_wait 将就绪队列中的节点copy到用户空间

如何对epoll加锁

epoll_create

不加锁

epoll_ctl

  1. 对红黑树加锁
  2. 其中可能出现rbtree_insert,rbtree_delete
  3. 使用互斥锁

epoll_wait

  1. 对就绪队列加锁
  2. 使用自旋锁,因为这里操作简单,消费事件较低

ET与LT的区别

LT

  1. 水平触发
  2. 数据没有读完,将会再次触发

ET

  1. 边沿触发
  2. 数据没有读完,不会再次触发
  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值