LINUX epoll实现原理介绍_epoll监听串口-CSDN博客

本文链接：https://blog.csdn.net/lickylin/article/details/123195292

本文深入介绍了Linux内核中的epoll机制，包括epoll_create、epoll_ctl和epoll_wait三个API接口的用法。文章详细阐述了epoll相对于select和poll的优势，特别是epoll内核层的实现原理，如eventpoll结构、epitem、ep_pqueue等数据结构以及它们之间的关联。epoll通过红黑树存储监听的文件描述符，当事件发生时，能高效地返回有事件的文件描述符，减少了遍历的开销。此外，文章还探讨了epoll的水平触发和边缘触发模式的实现。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

好久没有更新了，今天更新一篇epoll的介绍文档，后续继续更新linux 设备驱动。

针对linux支持select、poll、epoll等IO多路复用机制，本篇文章主要介绍epoll的实现原理。本篇文章主要分

为如下几部分：

Epoll api接口说明；
epoll内核层实现原理说明（eventpoll）。

Epoll api接口说明

epoll向应用层提供三个api接口，分别为epoll_create、epoll_ctrl、epoll_wait，下面分别说明这三个接口的用处。

epoll_create

int epoll_create(int size);

该接口用于创建一个epoll描述符，其中size表示该epoll描述符可监控文件描述符的最大数目。从 linux2.6.8版本以后，该值

已不再使用，但需要传递一个大于0的值。

既然size值已不起作用，那是不是epoll可监听任意多的文件描述符呢？

一个epoll可监听的文件描述符的最大值，由系统中max_user_watches决定的，可通过修改该值确定系统中每一个epoll可监

听的文件个数，路径如下所示。

epoll_ctl

int epoll_ctl(int epfd, int op, int fd, struct epoll_event *event);

该接口实现向epoll中增加/修改/删除待监控的文件句柄。其中op表示类型主要有

EPOLL_CTL_ADD、EPOLL_CTL_MOD、EPOLL_CTL_DEL;epfd为epoll描述符；fd为待监听的文件描述符；event则表示监听文件描述符的哪些事件（可读、可写等），传递的数据指针等，具体定义如下两个结构体。

typedef union epoll_data {

void *ptr;

int fd;

uint32_t u32;

uint64_t u64;

} epoll_data_t;

struct epoll_event {

uint32_t events; /* Epoll events */

epoll_data_t data; /* User data variable */

};

epoll_wait

int epoll_wait(int epfd, struct epoll_event *events, int maxevents, int timeout);

该接口用于等待监听的事件触发，其中epfd为epoll描述符；events、maxevents分别表示所有已经准备好的事件描述符

相关联的 epoll_event以及单次返回的最大监听事件个数；timeout为未监听到事件的超时返回时间，单位为毫秒。

以上就是epoll提供的api接口，通过这三个接口即可实现事件监听操作。

epoll内核层实现原理说明（eventpoll）

select、poll、epoll均是i/o多路复用机制，相比于select、poll，epoll有哪些优势呢？

select、poll由于其内核中并没有存储注册监听的描述符，因此当事件到达后，应用程序需要遍历所有文件描述符，确认哪些文件描述符的事件到达；而针对epoll，其内部存储所有监听的描述符（通过epoll_ctl系统调用，每个监听的文件描述符对应一个struct epitem变量），因此当监听的文件描述符事件到达后，epoll仅返回有事件到达的文件描述符信息。

下面我们通过数据结构及处理流程分析epoll的实现机制（本文并不详细介绍代码实现，仅介绍大致的处理流程）。

数据结构介绍

针对epoll，内核实现文件为eventpoll.c，涉及的数据结构包括struct eventpoll、struct epitem、struct ep_pqueue、、struct epoll_filefd、struct eppoll_entry，其中：

struct eventpoll、struct epitem分别对应epoll fd、监听的文件描述符，其中epitem作为红黑树节点插入到struct eventpoll中；
struct ep_pqueue、struct poll_table_struct、struct eppoll_entry则用于将epitem与struct file的poll接口结合，并借助等待队列，实现对文件描述符事件监听。当该文件描述符可读/可写时，在该文件描述符的中断处理函数中，则可以wakeup等待队列（struct eppoll_entry），并执行等待队列成员的回调函数ep_poll_callback，从而唤醒epoll fd的线程，并从eventpoll的rdlist中获取有事件到达的文件描述符，并发送到应用层中。

如下是这几个数据结构之间的关联，增加了进程描述符及进程描述符中文件资源管理等结构体的管理（进程是资源分配的

基本单位，因此epoll fd、同进程下各线程打开的文件描述符均由进程描述符task_struct管理）。

Epoll fd的文件描述符的私有数据指针指向struct event_poll对象；
注册到epoll fd的文件描述符，通过struct epoll_filefd，完成与epitem的关联；而epitem则作为一个节点插入event poll管理的红黑树中；
借助file->f_ops->poll--->poll_wait、epitem对应的eppoll_entry、ep_ptable_queue_proc，将epitem对应的等待队列成员(eppoll_entry->wait)添加到文件描述符的等待队列头中（即eppoll_entry->whead）；则当文件描述符事件到达时，则文件描述相关的设备可通过wake_up接口，唤醒epitem，从而调用epitem对应等待队列的回调函数ep_poll_callback中；而ep_poll_callback则将该epitem添加到eventpoll的rdlist中，然后唤醒eventpoll的等待队列；即将epoll_wait唤醒，遍历eventpoll的rdlist，获取所有事件到达的文件描述符及事件类型，然后将信息返回给应用层。