基于多反应堆的高并发服务器【C/C++/Reactor】（中）在EventLoop中处理被激活的文件描述符的事件

文件描述符处理与回调函数

一、主要概念

反应堆模型：一种处理系统事件或网络事件的模型，当文件描述符被激活时，可以检测到
文件描述符：在操作系统中，用于标识打开的文件、套接字等的一种数据类型
处理激活的文件描述符的函数：当文件描述符被激活时，需要有一个函数来处理这些事件
dispatch函数：用于分发或处理不同类型事件的函数
channel结构体：存储与文件描述符相关的事件处理动作的结构体
回调函数：在初始化channel对象时指定的读回调和写回调，用于处理不同类型的事件
select函数：用于检测多个文件描述符的状态，看是否有数据可读或可写
fd_set集合：用于存储文件描述符的集合，通过宏函数FD_ISSET判断文件描述符是否被触发

二、处理流程

当反应堆模型启动，检测到被激活的文件描述符
调用dispatch函数，得到文件描述符fd
根据fd从channelMap中取出对应的channel，判断是读事件还是写事件
调用对应的回调函数，处理事件
在select函数中，通过fd_set集合判断是否有数据可读或可写，调用eventActivate函数处理事件
在epoll函数中，通过epoll_wait进行检测，遍历返回的events数组，调用eventActivate函数处理事件
在poll函数中，通过poll进行检测，遍历返回的事件列表,调用eventActivate函数处理事件

三、注意事项

在调用回调函数时，需要传入注册时指定的参数
在使用回调函数时，需要注意处理函数的参数和返回值

四、概括

本文主要介绍了在EventLoop中处理被激活的文件描述符的事件和回调机制
当反应堆模型启动时，可以检测到被激活的文件描述符，并使用dispatch函数获取文件描述符。(EventLoop初始化和启动)
根据文件描述符从ChannelMap中取出对应的channel，判断是读事件还是写事件，并调用相应的回调函数处理

核心观点:

反应堆模型启动后，可以检测到被激活的文件描述符
使用dispatch函数获取文件描述符，并根据文件描述符从ChannelMap中取出对应的channel
根据channel判断是读事件还是写事件，并调用相应的回调函数处理
在select函数中，通过fd_set集合判断是否有数据可读或可写，调用eventActivate函数处理事件
在epoll函数中，通过epoll_wait进行检测，遍历返回的events数组，调用eventActivate函数处理事件
在poll函数中，通过poll进行检测，遍历返回的事件列表,调用eventActivate函数处理事件

>>回顾ChannelMap 模块的实现和Channel 模块的实现

Channel.h

// 定义函数指针
typedef int(*handleFunc)(void* arg);// 定义文件描述符的读写事件
enum FDEvent {TimeOut = 0x01;ReadEvent = 0x02;WriteEvent = 0x04;
};struct Channel {// 文件描述符int fd;// 事件int events;// 回调函数handleFunc readCallback;// 读回调handleFunc writeCallback;// 写回调// 回调函数的参数void* arg;
};

>>在EventLoop中处理被激活的文件描述符的事件

EpollLoop.h

// 处理被激活的文件描述符fd
int eventActivate(struct EventLoop* evLoop,int fd,int event);

EpollLoop.c

// 处理被激活的文件描述符fd
int eventActivate(struct EventLoop* evLoop,int fd,int event) {if(fd < 0 || evLoop == NULL) {+return -1;}// 取出channelstruct Channel* channel = evLoop->channelMap->list[fd];assert(channel->fd == fd);if(event & ReadEvent && channel->readCallback) {channel->readCallback(channel->arg);}if(event & WriteEvent && channel->writeCallback) {channel->writeCallback(channel->arg);}return 0;
}

>>回顾Dispatcher模块,Dispatcher模块的实现思路和定义，补充代码

SelectDispatcher.c

static int selectDispatch(struct EventLoop* evLoop,int timeout) {struct SelectData* data = (struct SelectData*)evLoop->dispatcherData;struct timeval val;val.tv_sec = timeout;val.tv_usec = 0;fd_set rdtmp = data->readSet;fd_set wrtmp = data->writeSet;int count = select(Max,&rdtmp,&wrtmp,NULL,&val);if(count == -1) {perror("select");exit(0);}for(int i=0;i<Max;++i) { if(FD_ISSET(i,&rdtmp)) {// 已续写...eventActivate(evLoop,i,ReadEvent);}if(FD_ISSET(i,&wrtmp)) {// 已续写...eventActivate(evLoop,i,WriteEvent);}}return 0;
}

PollDispatcher.c

static int pollDispatch(struct EventLoop* evLoop,int timeout) {struct PollData* data = (struct PollData*)evLoop->dispatcherData;int count = poll(data->fds,data->maxfd + 1,timeout * 1000);if(count == -1) {perror("poll");exit(0);}for(int i=0;i<=data->maxfd;++i) {if(data->fds[i].fd == -1) {continue;}if(data->fds[i].revents & POLLIN) {// 已续写...eventActivate(evLoop,data->fds[i].fd,ReadEvent);}if(data->fds[i].revents & POLLOUT) {// 已续写...eventActivate(evLoop,data->fds[i].fd,WriteEvent);}}return 0;
}

EpollDispatcher.c

static int epollDispatch(struct EventLoop* evLoop,int timeout) {struct EpollData* data = (struct EpollData*)evLoop->dispatcherData;int count = epoll_wait(data->epfd,data->events,Max,timeout * 1000);for(int i=0;i<count;++i) {int events = data->events[i].events;int fd = data->events[i].data.fd;if(events & EPOLLERR || events & EPOLLHUP) {// 对方断开了连接，删除 fd// epollRemove(&evLoop->channels[fd],evLoop);continue;}if(events & EPOLLIN) {// 已续写...eventActivate(evLoop,fd,ReadEvent);}if(events & EPOLLOUT) {// 已续写...eventActivate(evLoop,fd,WriteEvent);}}return 0;
}

五、回顾select函数、poll函数、epoll_wait函数(CodeGeex生成)

select函数

Linux 中的 select 函数主要用于等待多个文件描述符(fd)就绪,从而可以一次性处理多个文件描述符。select 函数会检查指定的文件描述符是否就绪,如果其中任何一个是就绪的,则 select 函数返回。select 函数的原型为:

#include <sys/select.h>
int select(int nfds,fd_set *readfds,fd_set *writefds,fd_set *exceptfds,const struct timeval *timeout);

其中,nfds 表示要检查的文件描述符数量,readfds、writefds 和 exceptfds 分别表示要检查的读、写和异常文件描述符集合,timeout 表示等待的时间限制。

例如,下面代码等待两个文件描述符(fd)就绪,最多等待 5 秒钟:

int fd1 = open("file1", O_RDONLY);
int fd2 = open("file2", O_RDONLY);fd_set readfds;
FD_ZERO(&readfds);
FD_SET(fd1, &readfds);
FD_SET(fd2, &readfds);struct timeval timeout;
timeout.tv_sec = 5;
timeout.tv_usec = 0;int ret = select(2, &readfds, NULL, NULL, &timeout);if (ret > 0) {if (FD_ISSET(fd1, &readfds)) {// fd1 is ready to read}if (FD_ISSET(fd2, &readfds)) {// fd2 is ready to read}
}

poll函数

Linux 中的 poll 函数与 select 函数类似,用于等待多个文件描述符就绪,但是 poll 函数返回的是一个事件列表,而不是像 select 函数那样返回就绪的文件描述符数量。poll 函数的原型为:

#include <poll.h>
int poll(struct pollfd *fds, nfds_t nfds, int timeout);

其中,fds 是一个 pollfd 结构数组,每个结构中包含一个文件描述符和一个事件掩码,timeout 表示等待的时间限制。

例如,下面代码使用 poll 函数等待两个文件描述符(FD)就绪,最多等待 5 秒钟:

int fd1 = open("file1", O_RDONLY);
int fd2 = open("file2", O_RDONLY);struct pollfd fds[2];
fds[0].fd = fd1;
fds[0].events = POLLIN;
fds[1].fd = fd2;
fds[1].events = POLLIN;int timeout = 5000; // 5 秒int ret = poll(fds, 2, timeout);if (ret > 0) {if (fds[0].revents & POLLIN) {// fd1 is ready to read}if (fds[1].revents & POLLIN) {// fd2 is ready to read}
}

如果 poll 函数返回 0,则表示超时,如果返回值大于 0,则表示有文件描述符就绪。与 select 函数不同的是,poll 函数返回的是一个事件列表,而不是具体的文件描述符。

epoll函数

Linux 中的 epoll 函数是 Linux 2.6.8 引入的一个新的 I/O 模型,它提供了高效的 I/O 事件通知机制,能够处理大量文件描述符,并且具有低延迟和高吞吐量的优点。

epoll 函数的原型为:

#include <sys/epoll.h>
int epoll_create(int size);
int epoll_ctl(int epoll_fd, int op, int fd, int event);
int epoll_wait(int epoll_fd, struct epoll_event *events, int maxevents, int timeout);

其中,epoll_create 函数用于创建一个 epoll 实例,size 参数指定要创建的 epoll 实例可以容纳的最大文件描述符数量。epoll_ctl 函数用于控制 epoll 实例,op 参数指定要进行的操作(例如,添加、修改或删除文件描述符),fd 参数指定要操作的文件描述符,event 参数指定要设置的事件掩码。epoll_wait 函数用于等待 epoll 实例中的文件描述符就绪,events 参数指向一个 epoll_event 结构数组,用于存储就绪的文件描述符和事件信息,maxevents 参数指定最多等待的文件描述符数量,timeout 参数指定等待的时间限制。

例如,下面代码使用 epoll 函数等待两个文件描述符(fd)就绪,最多等待 5 秒钟:

int fd1 = open("file1", O_RDONLY);
int fd2 = open("file2", O_RDONLY);int epoll_fd = epoll_create(10);struct epoll_event event;
event.events = EPOLLIN;
event.data.fd = fd1;int ret = epoll_ctl(epoll_fd, EPOLL_CTL_ADD, fd1, &event);event.data.fd = fd2;
ret = epoll_ctl(epoll_fd, EPOLL_CTL_ADD, fd2, &event);struct epoll_event events[2];
int timeout = 5000; // 5 秒int num = epoll_wait(epoll_fd, events, 2, timeout);if (num > 0) {if (events[0].data.fd == fd1 && events[0].events & EPOLLIN) {// fd1 is ready to read}if (events[1].data.fd == fd2 && events[1].events & EPOLLIN) {// fd2 is ready to read}
}

如果 epoll 函数返回 0,则表示超时,如果返回值大于 0,则表示有文件描述符就绪。与 select 和 poll 函数不同的是,epoll 函数能够处理大量的文件描述符,并且具有低延迟和高吞吐量的优点