在《libev源码解析——总览》一文中,我们介绍过,libev是一个基于事件的循环库。本文将介绍其和事件及循环之间的关系。(转载请指明出于breaksoftware的csdn博客)
目前ibev支持如下IO事件模型:
- select模型。对应文件是ev_select.c。
- poll模型。对应文件是ev_poll.c。
- epoll模型。对应的文件是ev_epoll.c。
- port模型。对应文件是ev_port.c。
- kqueue模型。对应的文件是ev_kqueue.c。
- iocp模型。即IO完成端口模型(I/O Completion Port)。
这些模型并不是我们这个系列介绍的重点。如果想了解select、poll、epoll模型,可以参阅
《朴素、Select、Poll和Epoll网络编程模型实现和分析》系列博文。(下图是select模型的调用逻辑图)
此处我们只要知道它们是libev可选的事件模型即可。至于选择什么模型。要视loop_init的入参flags。
static void noinline ecb_cold loop_init (EV_P_ unsigned int flags) EV_THROW { …… #if EV_USE_IOCP if (!backend && (flags & EVBACKEND_IOCP )) backend = iocp_init (EV_A_ flags); #endif #if EV_USE_PORT if (!backend && (flags & EVBACKEND_PORT )) backend = port_init (EV_A_ flags); #endif #if EV_USE_KQUEUE if (!backend && (flags & EVBACKEND_KQUEUE)) backend = kqueue_init (EV_A_ flags); #endif #if EV_USE_EPOLL if (!backend && (flags & EVBACKEND_EPOLL )) backend = epoll_init (EV_A_ flags); #endif #if EV_USE_POLL if (!backend && (flags & EVBACKEND_POLL )) backend = poll_init (EV_A_ flags); #endif #if EV_USE_SELECT if (!backend && (flags & EVBACKEND_SELECT)) backend = select_init (EV_A_ flags); #endif …… }backend是一个用于记录libev使用的是哪种IO模型的标记位。
在每个模型初始化函数中,都需要指定两个模型相关的函数指针。比如epoll模型的初始化函数epoll_init中
int inline_size epoll_init (EV_P_ int flags) { …… backend_mintime = 1e-3; /* epoll does sometimes return early, this is just to avoid the worst */ backend_modify = epoll_modify; backend_poll = epoll_poll; …… }而在select模型中则是
int inline_size select_init (EV_P_ int flags) { backend_mintime = 1e-6; backend_modify = select_modify; backend_poll = select_poll; …… }backend_mintime是需要等待事件的超时秒数;backend_modify是轮询中修改事件信息的函数。backend_poll则是等待事件的函数。libev通过上述四个变量,隔离了不同模型选择导致不同函数调用的问题。
但是这儿需要指出的是,libev并没有将这种隔离做彻底。因为在关闭IO模型时,它仍然依靠backend的值,调用了不同函数(ev_loop_destroy中)
#if EV_USE_IOCP if (backend == EVBACKEND_IOCP ) iocp_destroy (EV_A); #endif #if EV_USE_PORT if (backend == EVBACKEND_PORT ) port_destroy (EV_A); #endif #if EV_USE_KQUEUE if (backend == EVBACKEND_KQUEUE) kqueue_destroy (EV_A); #endif #if EV_USE_EPOLL if (backend == EVBACKEND_EPOLL ) epoll_destroy (EV_A); #endif #if EV_USE_POLL if (backend == EVBACKEND_POLL ) poll_destroy (EV_A); #endif #if EV_USE_SELECT if (backend == EVBACKEND_SELECT) select_destroy (EV_A); #endif个人认为,可以在各个模型的初始化中,将其对应的销毁函数指针赋值给一个叫backend_destory的变量。这样上述代表就可以变成一行了。
结合
《libev源码解析——调度策略》的内容,我们可以用下图表达出libev运转的大体流程。
针对上图,可能有人会问:为什么backend_poll函数需要指定超时?我们让其一直等待到有事件发生不是更好么?
还有人会问:“符合条件的监视器”是否可以表述为“本次触发事件对应的监视器”?
对于这些问题,我们将在之后章节给出答案。