Redis学习（五）事件机制

Redis服务器是一个事件驱动程序，需要处理两类事件：

• 文件事件：Redis服务器通过socket与客户端连接，而文件事件就是服务器对socket操作的抽象。服务器与客户端的通信会产生相应的文件事件，而服务器则通过监听并处理这些事件来完成一系列网络操作。
• 时间事件：Redis服务器中的一些操作（如ServerCron）需要在给定的时间点执行，而时间事件就是服务器对这类定时操作的抽象。

文件事件

Redis基于Reactor模式开发了自己的网络事件处理器，这个处理器被称为文件事件处理器。

• 文件事件处理器使用I/O多路复用程序来同时监听多个socket，并根据socket目前执行的任务来为socket关联不同的事件处理器。
• 当被监听的socket准备好执行连接应答（accept），读取（read），写入（write），关闭（close）等操作时，与操作相对应的文件事件就会产生，这时文件事件处理器就会调用socket之前关联好的事件处理器来处理这些事件。

文件事件处理器的构成

下图展示了文件事件处理器的四个组成部分：socket，I/O多路复用程序，文件事件分派器，以及事件处理器。

                           

• 文件事件是对socket操作的抽象，当一个socket准备好执行accept， read，等操作时，就会产生一个文件事件。
• I/O多路复用程序负责监听多个socket，并向文件事件分派器传送产生事件的socket。
• 尽管多个文件事件可能会并发的出现，但I/O多路复用程序总是会将所有产生的事件socket都放到一个队列中，然后通过这个队列，以有序，同步，每次一个socket的方式向文件事件分派器传送。当上一个socket处理完毕后（该socket为事件所关联的事件处理器执行完毕），I/O多路复用程序才会继续向文件事件分派器传送下一个socket。
• 文件事件分派器接收I/O多路复用程序传来的socket，并根据socket产生的事件类型，调用相应的事件处理器。

                     

I/O多路复用程序的实现

• Redis的I/O多路复用程序的所有功能都是通过包装select，epoll等函数库实现的。
• Redis为每个I/O多路复用函数库都实现了相同的API，所以I/O多路复用程序的底层实现是可以互换的。
• Redis为I/O多路复用程序定义了相应的规则，程序会在编译时自动选择系统中性能最高的函数库来作为其底层实现。

                           

I/O多路复用程序允许服务器同时监听socket的AE_READABLE事件和AE_WRITABLE事件，如果一个套接字同时产生了这两种事件，则文件事件分派器会优先处理可读事件，后处理可写事件。

文件事件的处理器

Redis为文件事件编写了多个处理器，这些处理器分别用于实现不同的网络通信需求。

1、连接应答处理器 
networking.c/acceptTcpHandler函数是连接应答处理器，这个处理器用于对连接服务器监听socket的客户端进行应答，具体为sys/socket.h/accept函数的封装。

2、命令请求处理器 
networking.c/readQueryFromClient函数是命令请求处理器，负责从socket中读取客户端发送的命令请求内容，具体为对unistd.h/read函数的封装。

3、命令回复处理器 
networking.c/sendReplyToClient函数是Redis命令的回复处理器，这个处理器负责将服务器执行命令后得到的结果通过socket返回客户端，具体为unistd.h/write函数的封装。

4、一次完整的连接事件示例

1. Redis服务器正在运作，这个服务器的监听socket的AE_READABLE事件处于监听状态之下，而该事件所对应的处理器为连接应答处理器。
2. 如果这时有一个客户端向服务器发起连接，则监听socket会产生AE_READABLE事件，触发连接应答处理器执行。处理器对客户端的连接请求进行应答，创建客户端socket，以及客户端状态，并将客户端socket的AE_READABLE事件与命令请求处理器进行关联，使得客户端可以向服务器发送命令请求。
3. 客户端发送命令请求，客户端socket会产生AE_READABLE事件，引发命令请求处理器执行，处理命令内容。
4. 执行命令所产生的回复，服务器将客户端socket的AE_WRITEABLE事件与命令回复处理器进行关联。当客户端尝试读取命令回复的时候，客户端socket将产生AE_WRITEABLE事件，触发命令回复处理器执行，将回复命令写入客户端socket。

                                           

时间事件

Redis的时间事件分为两类： 定时事件，周期性事件。

一个时间事件主要由以下三个属性组成：

• id：服务器为时间事件创建的全局唯一ID。ID号按从小到大的顺序递增，新事件的ID号比旧事件的ID号要大。
• when：毫秒精度的UNIX时间戳，记录了时间事件的到达时间。
• timeProc：时间事件处理器，一个函数。当时间事件到达时，服务器就会调用相应的处理器来处理事件。

一个时间事件是定时时间还是周期性事件取决于时间事件处理器的返回值：

• 如果返回值为ae.h/AE_NOMORE，则这个事件为定时事件：该时间在达到一次之后就会被删除。
• 如果事件处理器返回一个非AE_NOMORE的整数值，则返回值就是周期性时间。

目前Redis版本中，只使用周期性事件，没有使用定时事件。

时间事件实现

服务器将所有时间事件都存放到一个无序链表（无序指的不按照when到达时间属性排序，而采用的是头插法的ID逆序）中，每当时间事件执行运行时，就遍历整个链表，查找所有已到达的时间事件，并调用相应的时间处理器：

目前版本中，正常模式下的Redis服务器只使用serverCron一个时间事件，在这种情况下，服务器几乎是将无序链表退化成一个指针来使用，所以，以链表的方式存储并不会影响其性能。

事件的调度与执行

由于服务器同时存在时间事件和文件事件两种事件类型，所以服务器必须对这两种事件进行调度，决定何时处理文件事件，何时处理时间事件，一句话多少时间来处理它们。

1. aeApiPoll（等待文件事件产生）函数的最大阻塞时间由到达时间最接近当前时间的时间事件决定，这个方法既可以避免服务器对时间事件进行频繁的轮询（忙等待），也可以保证aeApiPoll函数不会阻塞过程时间。
2. 因为文件事件是随机出现的，如果等待并处理完一次文件事件之后，仍未有任何时间事件到达，那么服务器将再次等待并处理文件事件。随着文件事件的不断执行，时间会逐渐向时间事件设置的到达时间逼近，并最终来到到达时间，这是服务器就可以开始处理到达的时间事件了。
3. 对文件事件和时间事件的处理都是同步、有序、原子的执行的，服务器不会中途中断事件处理，也不会对事件进行抢占，因此，不管是文件事件的处理器，还是时间事件的处理器，它们都会尽可能减少程序的阻塞时间，并在有需要的时候主动让出执行权，从而降低造成事件饥饿的可能性。例如，在命令回复处理器将一个命令回复写入到客户端socket时，如果写入字节数超过了一个预设常量的话，命令回复处理器会主动用break跳出写入循环，将余下的数据流到下次再写；另外，时间事件也会将非常耗时的持久化操作放到子进程中执行。
4. 因为时间事件在文件事件执行之后执行，并不会对文件事件进行抢占，所以通常时间事件的实际处理时间，会比所设定的时间稍晚一些。

                                       

因为处理事件的过程不会出现抢占，所以实际处理时间事件的时间比预定的100毫秒晚了30毫秒。

总结

• Redis 服务器是一个事件驱动程序， 服务器处理的事件分为时间事件和文件事件两类。
• 文件事件处理器是基于 Reactor 模式实现的网络通讯程序。
• 文件事件是对套接字操作的抽象： 每次套接字变得可应答（acceptable）、可写（writable）或者可读（readable）时， 相应的文件事件就会产生。
• 文件事件分为 AE_READABLE 事件（读事件）和 AE_WRITABLE 事件（写事件）两类。
• 时间事件分为定时事件和周期性事件： 定时事件只在指定的时间达到一次， 而周期性事件则每隔一段时间到达一次。
• 服务器在一般情况下只执行 serverCron 函数一个时间事件， 并且这个事件是周期性事件。
• 文件事件和时间事件之间是合作关系， 服务器会轮流处理这两种事件， 并且处理事件的过程中也不会进行抢占。
• 时间事件的实际处理时间通常会比设定的到达时间晚一些。

 

参考文章：

《Redis设计与实现》