你真的了解epoll吗?深入epoll的五个问题

news2024/11/8 16:48:15

由于epoll用的比较多,最近看到一些网友关于epoll的问答,所以我就想整理成一篇文章,这样看起来和理解起来都方便一些。

问题1:什么是epoll的ET/LT模式,select/poll支持吗?

ET是edge trigger,也就是边缘触发,它是指当可读/可写事件到来时触发,重点是它只触发一次,见下图:

LT是level trigger,也就是水平触发,它是重点是可以触发多次,

代码实现实际上很简单,只有一行代码,没有想到吧。

do_epoll_wait
|--ep_poll
    |--ep_send_events
        |--ep_send_events_proc
 static __poll_t ep_send_events_proc(struct eventpoll *ep, struct list_head *head,
             void *priv)
{
    ....
    list_for_each_entry_safe(epi, tmp, head, rdllink) {
    ....
    if (epi->event.events & EPOLLONESHOT)
      epi->event.events &= EP_PRIVATE_BITS;
    //就是这句,如果不是ET,就把epi重新加入ep的就绪列表中,
    //这样下次再调用epoll_wait时,还能再就绪列表中看到这个epi,
    //然后再看看该epi是否可读。
    else if (!(epi->event.events & EPOLLET)) {
      /*
       * If this file has been added with Level
       * Trigger mode, we need to insert back inside
       * the ready list, so that the next call to
       * epoll_wait() will check again the events
       * availability. At this point, no one can insert
       * into ep->rdllist besides us. The epoll_ctl()
       * callers are locked out by
       * ep_scan_ready_list() holding "mtx" and the
       * poll callback will queue them in ep->ovflist.
       */
      list_add_tail(&epi->rdllink, &ep->rdllist);
      ep_pm_stay_awake(epi);
    }

问题2:为啥我们总建议ET触发模式跟non-block的socket一起使用呢?那能不能跟block的socket一起用呢?

  • 由于ET仅触发一次,所以很多资料都建议说ET要跟non-block的socket一起使用,很多也都没有解释原因,我来解答一下:

首先ET模式可以跟block的socket使用,没有问题,可以工作,原因是epoll只是一种让用户态知道socket是可读可写的方式或方法,epoll本身并不能影响socket本身的读写。为啥用户态要知道socket是否可读可写呢?原因是假如我们有1000个socket,每次只有两个socket是可读/可写的,这个时候我们肯定不希望遍历1000个socket,都去内核使用read/write去尝试的,我们希望内核能一次性告诉我们哪两个socket是可读/可写的。

  • 那为啥建议ET跟non-block配合使用呢?

因为有ET的特性,当告诉我们socket可读时,我们要一直读,读到没有数据为止,可是如果是block的socket的话,这个时候就会阻塞再read中,导致我们不能等待再epoll_wait中:

//伪码
while(true){
    struct epoll_event *events;
    events = (struct epoll_event *) calloc (MAXEVENTS, sizeof event);
    //如果fd是非阻塞的,就会阻塞再epoll_wait中
    int n = epoll_wait(ep, events,...);
    for(int i=0; i<n; i++){
        //如果fd是阻塞的,就会阻塞再read中
        while(read(events[i].data.fd,...) >);
    }    
}

问题3:我们能不能把一个句柄(socket)添加到不同的epoll_event中?

可以的,甚至可以把socket添加到epoll_event后,还可以使用select/poll,原因是因为sock使用一个列表来管理等待唤醒列表,当然我们可以添加多个。

|--tcp_poll
   |--sock_poll_wait
static inline void sock_poll_wait(struct file *filp, struct socket *sock,
          poll_table *p)
{
  if (!poll_does_not_wait(p)) {
     //sock->wq.wait是队列头,可以添加多个订阅者着
    poll_wait(filp, &sock->wq.wait, p);
    /* We need to be sure we are in sync with the
     * socket flags modification.
     *
     * This memory barrier is paired in the wq_has_sleeper.
     */
    smp_mb();
  }
}

我们可以构造一种使用场景,client两个线程,一个读,而另一个写同一个socket,server侧也有两个线程,同样是一个读一个写这个socket,拓扑如下:

​相关视频推荐

10道面试必问的经典网络八股文,让你在面试中逼格满满

6种epoll的设计方法(单线程epoll、多线程epoll、多进程epoll)及每种epoll的应用场景

epoll的具体实现与epoll线程安全

免费学习地址:c/c++ linux服务器开发/后台架构师

需要C/C++ Linux服务器架构师学习资料加qun812855908获取(资料包括C/C++,Linux,golang技术,Nginx,ZeroMQ,MySQL,Redis,fastdfs,MongoDB,ZK,流媒体,CDN,P2P,K8S,Docker,TCP/IP,协程,DPDK,ffmpeg等),免费分享

问题4:EPOLLONESHOT时,如果缓冲区有未读取的数据,会立刻触发事件么?

首先我们得知道什么是EPOLLONESHOT,顾名思义就是一次性,这个一次性是指我只接收一次该fd的可读/可写等通知,后续有的话也不要通知我了,如果我再想要得到通知的话,就再使用:epoll_ctl (efd, EPOLL_CTL_ADD, fd, &event) 来添加一下。

do_epoll_wait
|--ep_poll
    |--ep_send_events
        |--ep_send_events_proc
 static __poll_t ep_send_events_proc(struct eventpoll *ep, struct list_head *head,
             void *priv)
{
    ....
    list_for_each_entry_safe(epi, tmp, head, rdllink) {
    ....
    if (epi->event.events & EPOLLONESHOT)
      //清掉EPOLLIN EPOLLOUT EPOLLERR等event
      epi->event.events &= EP_PRIVATE_BITS;

这个时候就有个问题,那就是等我调用epoll_ctl (efd, EPOLL_CTL_ADD, fd, &event)来把socket的fd添加到ep中时,那如果这个时候该socket是可读/可写的,后面我epoll_wait时能通知到我吗?

答案是:可以的。

我们来解释一下原因,

1)重设EPOLLONESHOT在前,数据到来在后,这没有问题,因为重设EPOLLONESHOT时,同时app要带原有的event标志,等数据来时,就可以放入就绪列表中了

2) 数据到来在前,重设EPOLLONESHOT在后,在重设EPOLLONESHOT时,设置完event标志后,内核会做一次poll动作,如果是就绪状态(可读、可写等),内核就把这个fd放入就绪列表中。当app重设EPOLLONESHOT时,内核会调用到下面函数:

fs/eventpoll.c
static int ep_modify(struct eventpoll *ep, struct epitem *epi,
         const struct epoll_event *event)
{
    ...
     epi->event.events = event->events; /* need barrier below */
  epi->event.data = event->data; /* protected by mtx */
        ...
                 //执行poll,
          if (ep_item_poll(epi, &pt, 1)) {
    write_lock_irq(&ep->lock);
                //如果可用且没有在就绪列表,就放入就绪列表
    if (!ep_is_linked(epi)) {
      list_add_tail(&epi->rdllink, &ep->rdllist);

le data-draft-node="block" data-draft-type="table" data-size="normal" data-row-style="normal">

这个是可以的,我们不要忘了epoll是做什么的,epoll是实现多路IO通知机制的,比如我有1000个socket,我得知道哪些是可读/可写的,然后我再去读/写它,比如下面的伪码:

while(1)
{
    int n = epoll_wait (efd, events, MAXEVENTS, -1);
    //精确知道哪个可读可写
    for(int i=0; i<n;i++)
    {
        read(events[i].data.fd,...);
    }
}

然而如果我们不使用epoll这样的通知机制我们要怎么做呢?

实际上我们也可以做,只是效率低下:

while(1)
{
    for(int i=0; i<n;i++) //不知道哪个socket是可读/可写,我们
                           //全部遍历
    {
        read(socket[i],...); //socket可以是block和non-block
    }
    sleep(1);//休息一会,避免当socket全是non-block时,持续占CPU
}

所以即使你把fd添加到epoll/select/poll中,不会影响fd的可读可写的。

总结:

相比select/poll来说epoll是比较的高效,这跟它的实现是有关的,然而select/poll的实现是简单的,目的都是相同的,都是为了实现多路IO复用,然而它们不会影响到fd(包括socket)的读写,任何使用你都可以使用write/read去读写数据的,只是你如果想在读写之前知道该fd是否可读/可写的话,就要使用select/poll/epoll。

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.coloradmin.cn/o/606287.html

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈,一经查实,立即删除!

相关文章

K8s in Action 阅读笔记——【9】Deployments: updating applications declaratively

K8s in Action 阅读笔记——【9】Deployments: updating applications declaratively 集群配置&#xff1a; 本章介绍如何更新运行在Kubernetes集群中的应用&#xff0c;以及Kubernetes如何帮助你实现真正的零停机更新过程。虽然这可以仅使用ReplicationControllers或ReplicaSe…

【Spring】javaBean、依赖注入、面向切面AOP、使用注解开发

文章目录 JavaBeanIoC理论基础使用IoC容器使用Spring 生命周期与继承生命周期继承 依赖注入 Dependency Injection基本类型注入非基本类型注入集合注入自动装配注入 面向切面AOP使用SpringAOP环绕方法 使用接口实现AOP 使用注解开发注解实现配置文件注解实现AOP操作其他注解配置…

MongoDB6.0.6 副本集搭建(CentOs8)

本文只说如何操作配置副本集&#xff0c;历程艰难&#xff0c;官网文档看了半天也只说了怎么添加单个&#xff0c;没有给出来一个完整的流程。 1.第一步安装&#xff0c;参考前一篇安装即可。 配置三台虚拟机&#xff1a; 192.168.182.142 192.168.182.143 192.168.182.14…

钉钉小程序页面之间传递数据如何传递对象

今天写代码的时候&#xff0c;发现了一个问题&#xff0c;在钉钉小程序页面之间传递对象数据的时候&#xff0c;如果直接传递一个对象那个的话&#xff0c;接收的那个页面得到的是一个【object Object】&#xff0c;而并非里面的数据&#xff0c;所以针对上述问题&#xff0c;下…

基于Spring Boot的学生志愿者管理系统的设计与实现

摘 要 信息化社会内需要与之针对性的信息获取途径&#xff0c;但是途径的扩展基本上为人们所努力的方向&#xff0c;由于站在的角度存在偏差&#xff0c;人们经常能够获得不同类型信息&#xff0c;这也是技术最为难以攻克的课题。针对学生志愿者管理等问题&#xff0c;对学生…

项目计划软件 project安装包的下载和安装教程

目录 简介 安装配置过程 总结&#xff1a; 简介 Project是由微软公司开发的项目管理软件&#xff0c;旨在帮助个人和团队有效地管理项目进度、资源分配、协作和报告等工作&#xff0c;从而提高项目的质量和效率。Project维护项目的进程表、资源清单、成本预算、工作表和报告…

CSS-HTML知识点与高频考题解析

知识点梳理 选择器的权重和优先级 盒模型 盒子大小计算margin 的重叠计算 浮动 float浮动布局概念清理浮动 定位 position文档流概念定位分类fixed 定位特点绝对定位计算方式 flex布局 如何实现居中对齐&#xff1f; 理解语义化 CSS3 动画 重绘和回流 选择器的权重和优…

VTK 开发中遇到问题整理

1 Generic Warning VTK 开发 中是到 vtkOutputWindow 弹窗并提示Generic Warning&#xff1a;… vtkOutputWindow 弹窗 解决方法&#xff1a; 添加&#xff1a; #include <vtkOutputWindow.h> 在 main.cpp函数中添加&#xff1a; vtkOutputWindow::SetGlobalWarningD…

petalinux2022.2在ubantu20.04下的安装

1.Petalinux的下载路径 Downloads 这个是下载petalinux的官网路径。默认是2022.2版本&#xff0c;后期更新的均是以petalinux2022.2版本做的更新。 2.安装流程 在官网下载完成之后&#xff0c;会得到一个名为petalinux-v2022.2-10141622-installer.run的文件&#xff0c;这个文…

linux|磁盘管理工作|lvm逻辑管理卷的创建和使用总结(包括扩容,根目录扩容演示)

前言&#xff1a; 对于运维工作来说&#xff0c;磁盘管理是一个非常重要的工作。当然了&#xff0c;此类工作也是比较偏向底层的一项工作。 一个合理的磁盘分区设置&#xff0c;文件系统格式&#xff0c;以及准确的lvm逻辑管理会对我们的后期的扩展工作&#xff0c;管理工作带…

深入理解设计原则之单一职责原则(SRP)【软件架构设计】

系列文章目录 C高性能优化编程系列 深入理解软件架构设计系列 深入理解设计模式系列 高级C并发线程编程 SRP&#xff1a;单一职责原则 系列文章目录1、单一职责原则的定义和解读2、单一职责原则案例解读2.1、违背单一职责原则反面案例2.2、违背单一职责原则反面案例 - 解决方…

Openwrt_XiaoMiR3G路由器_刷入Breed固件

当我刷完Breed后&#xff0c;重启没有进入原来的小米路由器固件&#xff0c;但可以进入breed控制台。目前不清楚那个环节出错了。所以本过程会导致路由器无法再直接使用&#xff01;&#xff01;&#xff01;。 本过程只刷入Breed&#xff0c;接着编译OpenWrt和刷入OpenWrt请参…

git命令的使用

1. 查看文件 git cat-file -p 仓库路径下右键 Git Bash Here 打开git命令窗口&#xff1a; 复制某个文件的版本号&#xff1a; 粘贴到git命令窗口&#xff0c;会显示文件的提交信息&#xff1a; 查看 tree后面的版本号&#xff0c;则会看到详细提交信息&#xff1a; 查看hell…

第8章 泛型程序设计

文章目录 为什么要使用泛型程序设计类型参数的好处谁想成为泛型程序员 定义简单泛型类泛型方法类型变量的限定泛型代码和虚拟机类型擦除转换泛型表达式转换泛型方法类型擦除与多态会发生冲突桥方法实现多态桥方法与可协变的返回类型 调用遗留代码 限制与局限性泛型类型的继承规…

基于SpringBoot+Mybatis+Mysql+vue校园二手交易市场

基于SpringBootMybatisMysqlvue校园二手交易市场 一、系统介绍1、系统主要功能&#xff1a;2、环境配置 二、功能展示1.主页(客户)2.登陆、注册&#xff08;客户&#xff09;3.我的购物车(客户)4.我的商品详情(客户)5.我的商铺&#xff08;客户、商家&#xff09;6.我的信息&am…

zabbix5配置QQ邮件告警

1、服务端配置 编写邮件发送脚本 [fieldyangwww alertscripts]$ pwd /usr/lib/zabbix/alertscripts [fieldyangwww alertscripts]$ ll 总用量 8 -rwxr-xr-x 1 root root 136 5月 16 23:28 mail.sh -rwxr-xr-x 1 root root 751 5月 16 23:56 send_mail.py [fieldyangw…

信息与编码 SCUEC DDDD 期末考试整理(2)

1.求下面三种信道的信道容量 行列数量相等的情况 行比列多的情况 列比行多的情况 小贴士 2.客观世界三大基本要素&#xff1a;物质&#xff0c;能量&#xff0c;信息。 3.信息&#xff1a;是对事物运动状态和变化方式的表征&#xff0c;它存在于任何事物之中&#xff0c;可以…

机器学习算法系列(六)-- 朴素贝叶斯

.# 机器学习算法系列之 – 朴素贝叶斯 朴素贝叶斯法是基于概率统计&#xff0c;特征条件独立假设的分类方法&#xff0c;是一种非常常用的机器学习算法&#xff1b;通常用于处理文本分类和情感分析等自然语言处理任务中。相对于其他复杂的模型&#xff0c;朴素贝叶斯算法具有简…

提防利用 zip 域的新型网络钓鱼技术“浏览器中的文件归档器”

“浏览器中的文件存档器”是一种新的网络钓鱼技术,当受害者访问 .ZIP 域时,网络钓鱼者可以利用该技术。当受害者访问 .ZIP 域时,网络钓鱼者可以使用一种称为“浏览器中的文件存档器”的新型网络钓鱼技术在 Web 浏览器中“模拟”文件存档器软件。安全研究员 mr.d0x 详细介绍了…

A-可达鸭数学

题目链接 示例1 输入 9 1 -1 0 6 54 -8 520 1907 -2023输出 w m b wmb wmbbb mbw wmbwwmw wbmbmmbm mbwmbbwm备注: 请注意&#xff0c;在可达鸭数学里是没有负号的。 请注意&#xff0c;不要输出多余的前导b&#xff0c;否则会被判Wrong Answer。&#xff08;例如&#xff…