在《libev源码解析——总览》一文中,我们介绍过,libev是一个基于事件的循环库。本文将介绍其和事件及循环之间的关系。(转载请指明出于breaksoftware的csdn博客)
目前ibev支持如下IO事件模型:
这些模型并不是我们这个系列介绍的重点。如果想了解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函数需要指定超时?我们让其一直等待到有事件发生不是更好么?
还有人会问:“符合条件的监视器”是否可以表述为“本次触发事件对应的监视器”?
对于这些问题,我们将在之后章节给出答案。