redis线程模型

文件事件模型

• 
• 事件驱动设计，采用reactor模式——每当一个Event输入到Service Handler之后，该Service Handler会主动的根据不同的Event类型将其分发给对应的Request Handler来处理。

套接字

• 每个套接字准备好执行连接应答、写入、读取、关闭等操作时，都会产生一个文件事件。
• 一个服务通常会连接多个套接字。
• 文件事件：对套接字操作的抽象。
  • 套接字可读（客户端write,close）、新的可应答套接字（客户端connect），套接字产生AE_READABLE事件。
  • 套接字可写（客户端read），套接字产生AE_WRITABLE事件。
  • 同一个套接字优先处理AE_READABLE事件。

I/O多路复用程序

• 监听多个套接字(Socket)，并通过队列传递产生了事件的套接字给下游事件分派器。
  
• 基于 epoll 实现。epoll优势：
  • 不限制最大连接数，连接数上限为文件描述符。
  • 只关注活跃连接，不随socket增长线性下降。
  • mmap共享内存，避免fd列表在内核和用户之间copy。

3种流程

• select：
  • 用户态copy fd(文件描述符)数组至内核态。
  • 内核遍历fd，查看是否有IO事件。此时select阻塞。
  • 返回给用户态可读fd个数，用户态遍历具体可读fd。
• poll:同select，仅取消select 1024个fd的限制。
• epoll：
  • 内核中保存fd数组，每次变更时epoll_ctl通知内核。
  • 内核不轮询，通过异步IO事件唤醒用户线程。
  • 内核将有IO事件的fd返回给用户态。
    

文件事件分派器

• 接收队列中的套接字，并根据事件类型调用相应的事件处理器。
• 上一个套接字关联的事件处理器执行完毕，才继续处理下一个套接字。
• redis单线程指的是事件分派器单线程。

事件处理器

• 是一个个函数，处理对应事件。 常用的有：
  • 连接应答处理器：redis服务器初始化时，关联服务器监听套接字产生的AE_READABLE事件。事件在客户端connect时产生，创建套接字。
  • 命令请求处理器：客户端连接成功后，关联客户端套接字的AE_READABLE事件。该事件在客户端发送请求时产生。
  • 命令回复处理器：服务器有命令回复需要传送给客户端时，关联客户端套接字的AE_WRITABLE事件。事件在客户端尝试读取时产生。

时间事件模型

• 分为定期事件和周期事件。
• 文件事件和时间事件之间是合作关系，服务器轮流处理，不会抢占，所以时间事件实际处理事件通常比设定的晚一点。

命令执行流程

• redis命令执行流程分析
• 

redis高效的原因

• 纯内存操作。mysql之类还涉及耗时更长的读写磁盘。
• 单线程reactor架构。基于epoll的I/O多路复用接入，单线程处理文件事件避免上下文切换开销。
• 高效的对象类型和数据结构。如zset和底层的dict+skiplist。
• C语言，效率高。

redis的3种缓存异常