原文地址：https://www.xilidou.com/2018/03/22/redis-event/
Redis 是一个事件驱动的内存数据库，服务器需要处理两种类型的事件。
下面就会介绍这两种事件的实现原理。
文件事件
Redis 服务器通过 socket 实现与客户端（或其他redis服务器）的交互,文件事件就是服务器对 socket 操作的抽象。 Redis 服务器，通过监听这些 socket 产生的文件事件并处理这些事件，实现对客户端调用的响应。
Reactor
Redis 基于 Reactor 模式开发了自己的事件处理器。
这里就先展开讲一讲 Reactor 模式。看下图：
“I/O 多路复用模块”会监听多个 FD ，当这些FD产生，accept，read，write 或 close 的文件事件。会向“文件事件分发器（dispatcher）”传送事件。
文件事件分发器（dispatcher）在收到事件之后，会根据事件的类型将事件分发给对应的 handler。
我们顺着图，从上到下的逐一讲解 Redis 是怎么实现这个 Reactor 模型的。
I/O 多路复用模块
Redis 的 I/O 多路复用模块，其实是封装了操作系统提供的 select，epoll，avport 和 kqueue 这些基础函数。向上层提供了一个统一的接口，屏蔽了底层实现的细节。
一般而言 Redis 都是部署到 Linux 系统上，所以我们就看看使用 Redis 是怎么利用 linux 提供的 epoll 实现I/O 多路复用。
首先看看 epoll 提供的三个方法：
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
int epoll_create(int size)；
int epoll_ctl(int epfd, int op, int fd, struct epoll_event *event)；
int epoll_wait(int epfd, struct epoll_event * events, int maxevents, int timeout);
|
再看 Redis 对文件事件，封装epoll向上提供的接口：
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
|
typedef struct aeApiState {
int epfd;
struct epoll_event *events;
} aeApiState;
static int aeApiCreate(aeEventLoop *eventLoop)
static int aeApiResize(aeEventLoop *eventLoop, int setsize)
static void aeApiFree(aeEventLoop *eventLoop)
static int aeApiAddEvent(aeEventLoop *eventLoop, int fd, int mask)
static void aeApiDelEvent(aeEventLoop *eventLoop, int fd, int mask)
static int aeApiPoll(aeEventLoop *eventLoop, struct timeval *tvp)
|
所以看看这个ae_peoll.c 如何对 epoll 进行封装的：
aeApiCreate() 是对 epoll.epoll_create() 的封装。aeApiAddEvent()和aeApiDelEvent() 是对 epoll.epoll_ctl()的封装。aeApiPoll() 是对 epoll_wait()的封装。
这样 Redis 的利用 epoll 实现的 I/O 复用器就比较清晰了。
再往上一层次我们需要看看 ea.c 是怎么封装的？
首先需要关注的是事件处理器的数据结构：
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
typedef struct aeFileEvent {
int mask;
aeFileProc *rfileProc;
aeFileProc *wfileProc;
void *clientData;
} aeFileEvent;
|
mask 就是可以理解为事件的类型。
除了使用 ae_peoll.c 提供的方法外,ae.c 还增加 “增删查” 的几个 API。
- 增:
aeCreateFileEvent
- 删:
aeDeleteFileEvent
- 查: 查包括两个维度
aeGetFileEvents 获取某个 fd 的监听类型和aeWait等待某个fd 直到超时或者达到某个状态。
事件分发器（dispatcher）
Redis 的事件分发器 ae.c/aeProcessEvents 不但处理文件事件还处理时间事件，所以这里只贴与文件分发相关的出部分代码，dispather 根据 mask 调用不同的事件处理器。
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
numevents = aeApiPoll(eventLoop, tvp);
for (j = 0; j < numevents; j++) {
aeFileEvent *fe = &eventLoop->events[eventLoop->fired[j].fd];
int mask = eventLoop->fired[j].mask;
int fd = eventLoop->fired[j].fd;
int rfired = 0;
if (fe->mask & mask & AE_READABLE) {
rfired = 1;
fe->rfileProc(eventLoop,fd,fe->clientData,mask);
}
if (fe->mask & mask & AE_WRITABLE) {
if (!rfired || fe->wfileProc != fe->rfileProc)
fe->wfileProc(eventLoop,fd,fe->clientData,mask);
}
processed++;
}
|
可以看到这个分发器，根据 mask 的不同将事件分别分发给了读事件和写事件。
文件事件处理器的类型
Redis 有大量的事件处理器类型，我们就讲解处理一个简单命令涉及到的三个处理器：
- acceptTcpHandler 连接应答处理器，负责处理连接相关的事件，当有client 连接到Redis的时候们就会产生 AE_READABLE 事件。引发它执行。
- readQueryFromClinet 命令请求处理器，负责读取通过 sokect 发送来的命令。
- sendReplyToClient 命令回复处理器，当Redis处理完命令，就会产生 AE_WRITEABLE 事件，将数据回复给 client。
文件事件实现总结
我们按照开始给出的 Reactor 模型，从上到下讲解了文件事件处理器的实现，下面将会介绍时间时间的实现。
时间事件
Reids 有很多操作需要在给定的时间点进行处理，时间事件就是对这类定时任务的抽象。
先看时间事件的数据结构：
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
typedef struct aeTimeEvent {
long long id;
long when_sec;
long when_ms;
aeTimeProc *timeProc;
aeEventFinalizerProc *finalizerProc;
void *clientData;
struct aeTimeEvent *next;
} aeTimeEvent;
|
看见 next 我们就知道这个 aeTimeEvent 是一个链表结构。看图：
注意这是一个按照id倒序排列的链表，并没有按照事件顺序排序。
processTimeEvent
Redis 使用这个函数处理所有的时间事件，我们整理一下执行思路：
- 记录最新一次执行这个函数的时间，用于处理系统时间被修改产生的问题。
- 遍历链表找出所有 when_sec 和 when_ms 小于现在时间的事件。
- 执行事件对应的处理函数。
- 检查事件类型，如果是周期事件则刷新该事件下一次的执行事件。
- 否则从列表中删除事件。
综合调度器（aeProcessEvents）
综合调度器是 Redis 统一处理所有事件的地方。我们梳理一下这个函数的简单逻辑：
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
shortest = aeSearchNearestTimer(eventLoop);
timeval = shortest - nowTime;
if(timeval < 0){
timeval = 0
}
numevents = aeApiPoll(eventLoop, timeval);
if (AE_READABLE) {
rfileProc(eventLoop,fd,fe->clientData,mask);
}
if (AE_WRITABLE) {
wfileProc(eventLoop,fd,fe->clientData,mask);
}
|
以上的伪代码就是整个 Redis 事件处理器的逻辑。
我们可以再看看谁执行了这个 aeProcessEvents:
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
void aeMain(aeEventLoop *eventLoop) {
eventLoop->stop = 0;
while (!eventLoop->stop) {
if (eventLoop->beforesleep != NULL)
eventLoop->beforesleep(eventLoop);
aeProcessEvents(eventLoop, AE_ALL_EVENTS);
}
}
|
然后我们再看看是谁调用了 eaMain:
1
2
3
4
5
6
7
8
| int main(int argc, char **argv) {
...
aeMain(server.el);
...
}
|
我们在 Redis 的 main 方法中找个了它。
这个时候我们整理出的思路就是:
所以我们说 Redis 是一个事件驱动的程序，期间我们发现，Redis 没有 fork 过任何线程。所以也可以说 Redis 是一个基于事件驱动的单线程应用。
总结
在后端的面试中 Redis 总是一个或多或少会问到的问题。
读完这篇文章你也许就能回答这几个问题：
- 为什么 Redis 是一个单线程应用？
- 为什么 Redis 是一个单线程应用，却有如此高的性能？
如果你用本文提供的知识点回答这两个问题，一定会在面试官心中留下一个高大的形象。
大家还可以阅读我的 Redis 相关的文章：
Redis 的基础数据结构（一） 可变字符串、链表、字典
Redis 的基础数据结构（二） 整数集合、跳跃表、压缩列表
Redis 的基础数据结构（三）对象
Redis 数据库、键过期的实现
欢迎关注我的微信公众号：
