Redis真的是單線程嗎？網上有很多關于這個問題的討論，得出的結論也幾乎是一致的。本文在討論這個問題之前，先定義好問題中“單線程”的概念邊界：

1.單線程指的是“核心網絡模型”

2.單線程指的是Redis整個服務端架構的設計

對于邊界1，那么答案是肯定的，在Redis v6.0 版本以前，Redis的網絡模型一直都是單線程模式的，即使到了v6.0版本，所有客戶端命令的執行依然是在主線程上完成的；對于邊界2，答案是否定的，Redis從發布之出就有兩個BIO(background I/O service)線程來異步處理aof持久化、關閉文件的任務，在Redis v4.0版本中又添加了一個BIO線程，將比較耗時的命令異步化，到了Redis v6.0，Redis核心的網絡模型也被改造成了多線程。

在概念邊界2的限制下，我們可以得出結論：Redis從來都不是單線程工作的 ！在Redis發布近十年來，在系統架構演進過程中都遇到了哪些問題？作者antirez對這些問題是怎樣思考的？采取了什么樣的方案來改進？探索這些問題對于開發者的成長很有價值，也是本文的寫作目的，筆者會結合相關源碼與讀者共同解答這些問題。

1. Redis基礎架構設計

性能優異的服務離不開好的架構設計，Redis使用 I/O multiplexing 實現了單線程接收海量客戶端請求；通過單線程Reactor模型實現了高性能的事件處理；基于條件變量實現的生產者消費者模型構建了自己的BIO系統。本節先簡單介紹一下這些從Redis誕生以來就一直使用的基礎架構設計。

1.1 Redis對 I/O multiplexing 的封裝

I/O multiplexing 指的是多個網絡socket I/O 復用同一個線程，它解決了C10K的問題。Redis將不同的 I/O 多路復用函數封裝成相同的 API 提供給上層使用，僅僅以單線程處理網絡I/O，就可以為成千上萬的客戶端提供服務。

Redis的I/O多路復用模塊提供的API:

//下面的方法不同版本的redis在src目錄下的ae_epoll.c、ae_evport.c、ae_kqueue.c、ae_select.c代碼文件中都有實現
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)

Redis可以在多個平臺上運行，所以會通過宏定義，根據編譯平臺的不同，選擇不同的I/O多路復用函數作為子模塊，提供給上層接口做封裝。

/*下面代碼在Redis不同版本的ae.c源碼文件中均包含
?*Include?the?best?multiplexing?layer?supported?by?this?system.
?*?The?following?should?be?ordered?by?performances,?descending.?*/
#ifdef?HAVE_EVPORT
#include?"ae_evport.c"
#else
????#ifdef?HAVE_EPOLL
????#include?"ae_epoll.c"
????#else
????????#ifdef?HAVE_KQUEUE
????????#include?"ae_kqueue.c"
????????#else
????????#include?"ae_select.c"
????????#endif
????#endif
#endif

Redis 會優先選擇時間復雜度為

編輯：黃飛