接下来的三篇文章将对Redis的网络监听流程及涉及到事件库和各个主要方法进行介绍。
在介绍 redis的网络监听流程和事件库之前,我们先设想一下,如果我们不采用 libevent 等流行的开源库进行基于事件的网络监听,而是自己去实现一套基于事件的库去进行网络监听,需要考虑些什么,然后我们带着这些问题去分析 Redis是如果通过少量的代码来完成这个工作的。
在我认为,需要考虑的问题有以下一些(限于水平,暂时只能想到这些 ):
1. 采用何种 事件触发机制 ,是 epoll, select, kquque,抑或 3种都支持
2. 支持那些事件?
3. 如何管理各种事件(数据结构 —响应,查找)?
4. 如何响应 I/O事件?是异步还是同步?是单线程响应还是多线程响应?
5. 如何尽快地响应各种事件?
Redis的作者没有采用 libevent等之类的知名网络库,而是通过少量的代码实现了一个基于反转模式的轻量级网络库,对于这一点, Redis的作者是这样解释的,因为他觉得 libevent之类的知名网络库太过于庞大,而对 Redis来说只需要异步监听的基本功能,因此他不想引入过于“庞大”的第三库。
首先我们从 ae.h文件开始,介绍一下 redis网络监听所涉及的几个结构体和方法
- /* A fired event */
- typedef struct aeFiredEvent {
- int fd;
- int mask;
- } aeFiredEvent;
- /* State of an event based program */
- typedef struct aeEventLoop {
- int maxfd;
- long long timeEventNextId;
- aeFileEvent events[AE_SETSIZE]; /* Registered events */
- aeFiredEvent fired[AE_SETSIZE]; /* Fired events */
- aeTimeEvent *timeEventHead;
- int stop;
- void *apidata; /* This is used for polling API specific data */
- aeBeforeSleepProc *beforesleep;
- } aeEventLoop;
aeEventLoop 是用于网络循环监听一个结构体,其通过 events这个内部数组来维护要要监听的文件事件,通过 fired来维护 select到需要响应的文件事件, timeEventHead则是把定时响应的时间事件通过链表的形式维护起来。
aeFileEvent是文件读写事件的抽象
- /* File event structure */
- typedef struct aeFileEvent {
- int mask; /* one of AE_(READABLE|WRITABLE) */用来区分读写事件
- aeFileProc *rfileProc; 读文件事件的处理函数
- aeFileProc *wfileProc; 写文件事件的处理函数
- void *clientData;
- } aeFileEvent;
- aeTimeEvent则是定时响应的事件的抽象
- /* Time event structure */
- typedef struct aeTimeEvent {
- long long id; /* time event identifier. */
- long when_sec; /* seconds */ 事件响应点的秒时刻
- long when_ms; /* milliseconds */事件响应的毫秒时刻
- aeTimeProc *timeProc; 事件响应函数
- aeEventFinalizerProc *finalizerProc;
- void *clientData;
- struct aeTimeEvent *next; 下一个要响应的时间事件
- } aeTimeEvent
在 Redis的网络监控库里面, aeEventLoop 、 aeFileEvent和 aeTimeEvent之间的关系是:
在了解了 Redis基于事件驱动的网络库所涉及的三个基本组件后,我们来看一下 Redis的网络监听的基本流程: