整个libevent本身就是一个Reactor模式;Reactor是一种事件驱动机制,应用程序提供相应的接口并且注册到Reactor中,如果相应的事件发生,Reactor将主动调用应用程序的接口。
Reactor框架需要包含几个组件:事件源,Reactor框架,IO多路复用机制,事件处理程序。
事件源:linux上是文件描述符,
IO多路复用:epoll,select等;程序将关心的fd以及事件(read,write)注册到IO多路复用上(epoll),事件到达后,epoll发出通知。
Reactor反应器:libevent中就是指event_base结构体。
事件处理程序:对应libevent中,就是event结构体。
libevent初始化Reactor:
struct event_base* reactor = event_base_new();
函数实现内容是 对结构体struct event_base的初始化操作:malloc内存,选择适当的IO多路复用(此处以epoll为例),调用IO多路复用的初始化操作,epoll的初始化操作(epoll_init),调用epoll_create创建一个RB树头节点。
事件处理程序:event
使用event_new 或者event_assign函数 获得一个event,二者的区别是event_new 内部对结构体event进行申请空间后再调用event_assign操作。
event_assign(struct event *ev, struct event_base *base, evutil_socket_t fd, short events, void (*callback)(evutil_socket_t, short, void *), void *arg)
函数event_assign完成的功能是对event结构体的初始化工作
以上对base_event和event 进行了初始化相关操作,二者还没有进行关联起来,调用event_add函数是将最终是将此event添加到epoll中的红黑树中,event_add--->event_add_internal -----> evmap_io_add---->evsel->add
这个add函数调用的是之前关联的epoll中的epoll_nochangelist_add,最终是调用epoll_ctl将此event添加到之前申请的RB树中,
epoll_nochangelist_add 调用epoll_apply_one_change函数,epoll_apply_one_change函数核心完成功能如下:
至此,将一个event注册到event_base中了,接下来调用event_base_loop 函数,等待事件的到来,然后调用相关的回调函数。
int event_base_loop(struct event_base *base, int flags)
内部调用 evsel->dispatch函数,对应epoll中的epoll_dispatch函数,
可以看到loop中最终使用epoll_wait等待事件的到来了,有事件到来时进行调用回调函数。
事件返回 的集合,linux下epoll锁使用的是一个evmap_io列表,记录给定的fd上可读或者可写的所有事件,以及每个事件的数量。
res返回后,调用evmap_io_active 激活在event_base上等待给定fd的一组事件。
event_base_loop 中 res = evsel->dispatch(base, tv_p); 返回激活的数量,激活事件存放到了event_base结构体中的activequeues队列中,
最后循环队列执行回调函数。