【Linux 事件驱动模型】selet/epoll 里程碑意义记录

关键思想

在Linux内核中，当使用select/epoll系统调用等待事件发生时，内核会使用poll_wait函数将当前进程添加到等待某个事件的等待队列中。当有事件发生时，内核会使用中断或轮询等机制来感知事件的发生。

具体来说，当进程调用select/epoll系统调用时，内核会将进程的文件描述符集合复制到内核空间，并使用poll_wait函数将进程添加到每个文件描述符对应的等待队列中。当有事件发生时，内核会使用中断或轮询等机制来感知事件的发生，并将发生事件的文件描述符集合传递给select/epoll系统调用的核心函数，让它检查哪些文件描述符有事件发生。

在使用中断机制时，内核会将文件描述符对应的设备驱动程序注册到中断控制器中，并在事件发生时触发中断。当中断发生时，内核会调用中断处理程序来处理事件，并将发生事件的文件描述符集合传递给select/epoll系统调用的核心函数。

在使用轮询机制时，内核会定期轮询文件描述符对应的设备驱动程序，以检查是否有事件发生。当有事件发生时，内核会将发生事件的文件描述符集合传递给select/epoll系统调用的核心函数。

需要注意的是，不同的设备驱动程序可能使用不同的机制来感知事件的发生。例如，网络设备驱动程序通常使用中断机制来感知数据包的到达，而磁盘设备驱动程序通常使用轮询机制来感知磁盘操作的完成。

Epoll 关键流程

1. 通过 epoll_create 创建并初始化 eventpoll 对象；
2. 通过 epoll_ctl 将监听的 fd （如 socket 文件描述符）封装成 epitem 对象，并添加到 eventpoll 对象的红黑树中进行统一管理；
3. 通过 epoll_wait 等待被监听的文件状态发生变化；
4. 当被监听的文件状态发生改变时（如 socket 接收到数据），将会把文件句柄对应的 epitem 对象添加到就绪队列 rdllist 中，并把就绪队列的 fd 队列表复制到 epoll_wait 的 events 参数中;
5. 唤醒调用 epoll_wait 被阻塞的进程；