本文将从一个使用libevent的小例子出发,解释libevent处理事件的流程.
例子如下:
static void fifo_read(int fd, short event, void *arg) {...} int main (int argc, char **argv) { int socket = open ("/tmp/event.fifo", O_RDONLY | O_NONBLOCK, 0); fprintf(stdout, "Please write data to %s\n", fifo); event_init(); struct event evfifo; event_set(&evfifo, socket, EV_READ, fifo_read, &evfifo); event_add(&evfifo, NULL); event_dispatch(); }
libevent库的使用方法大体上就像例子展示的那样,先由event_init()得到一个event_base实例(也就是反应堆实例),然后由 event_set()初始化一个event,接着用event_add()将event绑定到event_base,最后调用event_dispatch()进入时间主循环.
event_init()和event_set()功能都很简单,它们分别对event_base结构体和event结构体做初始化.我们直接看看event_add():
//为了思路清晰,这里分析的是I/O事件,暂不考虑信号和定时器相关处理代码. //函数将ev注册到ev->ev_base上,事件类型由ev->ev_events指明.如果注册成功,ev将被插入到已注册链表中. int event_add(struct event *ev, const struct timeval *tv) { //得到ev对应的反应堆实例event_base struct event_base *base = ev->ev_base; //得到libevent选择的已封装的I/O多路复用技术 const struct eventop *evsel = base->evsel; void *evbase = base->evbase; int res = 0; //ev->ev_events表示事件类型 //如果ev->ev_events是 读/写/信号 事件,而且ev不在 已注册队列 或 已就绪队列, //那么调用evbase注册ev事件 if ((ev->ev_events & (EV_READ|EV_WRITE|EV_SIGNAL)) && !(ev->ev_flags & (EVLIST_INSERTED|EVLIST_ACTIVE))) { //实际执行操作的是evbase res = evsel->add(evbase, ev); //注册成功,把事件ev插入已注册队列中 if (res != -1) event_queue_insert(base, ev, EVLIST_INSERTED); } return (res); }
注释已经很明了了,如果一个事件不在已注册队列或者已激活队列,而且它是I/O事件或者信号事件,那么调用select_add()将ev插入到selectop的内部数据结构中(本文以select为例,下文不再说明.).select_add()代码如下:
//略去信号处理的相关代码 static int select_add(void *arg, struct event *ev) { struct selectop *sop = arg; //如果是读类型事件,把该事件的文件描述符加入到selectop维护的读fd_set集 //event_readset_in中,并且把该事件插入到读事件队列. if (ev->ev_events & EV_READ) { FD_SET(ev->ev_fd, sop->event_readset_in); sop->event_r_by_fd[ev->ev_fd] = ev; } //略去对写事件的处理 }
小结一下,结合event_add()代码和select_add()代码,可以看出在调用event_add()时,事件将被插入其对应的反应堆实例event_base的已注册事件队列中,而且还会被加入到selectop维护的内部数据结构中进行监视.
现在可以看看event_dispatch()代码了:
//略去信号事件和定时器事件处理的相关代码 int event_dispatch(void) { return (event_loop(0)); } int event_loop(int flags) { return event_base_loop(current_base, flags); } //事件主循环 int event_base_loop(struct event_base *base, int flags) { const struct eventop *evsel = base->evsel; void *evbase = base->evbase; struct timeval *tv_p; int res, done; done = 0; while (!done) { //从定时器最小堆中取出根节点,其时间值作为select最大等待时间 //如果定时器最小堆没有元素,那么select最大等待时间为0 timeout_next(base, &tv_p); //调用select_dispatch(),它会将已经准备好的事件移到已就绪事件队列中 res = evsel->dispatch(base, evbase, tv_p); //有就绪事件了,那就处理就绪事件吧. if (base->event_count_active) event_process_active(base); } }
event_base_loop()先从定时器最小堆中取出根节点作为select的最大等待时间,然后调用select_dispatch()将已经准备好的事件移到已就绪事件队列中,最后调用event_process_active()处理已就绪事件队列.
//略去信号事件和定时器事件处理的相关代码 static int select_dispatch(struct event_base *base, void *arg, struct timeval *tv) { int res, j; struct selectop *sop = arg; //根据前面对select_add()的解释,事件fd已被加入到fd_set集中进行监视. res = select(sop->event_fds + 1, sop->event_readset_out, sop->event_writeset_out, NULL, tv); for (j = 0, res = 0; j <= sop->event_fds; ++j, res = 0) { struct event *r_ev = NULL, *w_ev = NULL; //找出已经准备好读的事件 if (FD_ISSET(j, sop->event_readset_out)) { r_ev = sop->event_r_by_fd[i]; res |= EV_READ; } //将已经准备好读的事件移到已就绪事件队列 if (r_ev && (res & r_ev->ev_events)) event_active(r_ev, res & r_ev->ev_events, 1); //略去对已经准备好写的事件的处理 } }
看看在event_base_loop()中被调用的event_process_active()代码:
static void event_process_active(struct event_base *base) { struct event *ev; struct event_list *activeq = NULL; int i; short ncalls; //寻找最高优先级(priority值越小优先级越高)的已就绪事件队列 for (i = 0; i < base->nactivequeues; ++i) { if (TAILQ_FIRST(base->activequeues[i]) != NULL) { activeq = base->activequeues[i]; break; } } for (ev = TAILQ_FIRST(activeq); ev; ev = TAILQ_FIRST(activeq)) { //如果有persist标志,则只从激活队列中移除此事件, if (ev->ev_events & EV_PERSIST) event_queue_remove(base, ev, EVLIST_ACTIVE); else //否则则从激活事件列表,以及已注册事件中双杀此事件 event_del(ev); ncalls = ev->ev_ncalls; ev->ev_pncalls = &ncalls; //每个事件的回调函数的调用次数 while (ncalls) { ncalls--; ev->ev_ncalls = ncalls; //调用回调函数 (*ev->ev_callback)((int)ev->ev_fd, ev->ev_res, ev->ev_arg); } } }
现在,看看这个被阉割的只考虑I/O事件的libevent主循环框架:
event_base_loop: while() { //从定时器最小堆取出select最大等待时间 //select出已准备事件,将它们移到已就绪事件队列中 //处理已就绪事件 }
这真是篇节能环保的文章啊,哈哈.因为libevent代码太恶心了,描述出来都觉得恶心,有空得拿来重构下..下篇文章会讲讲libevent中非常恶心的信号集成处理.
很敬佩博主,分析的很好,文笔相当的不错
最近在看libevent,博主的解释算是我看到的最清晰的解释,另外博主在win32下用过木有,表示现在还没编过
没在win32下编译过.