您好,登錄后才能下訂單哦!
這篇文章主要講解了“Redis中命令的原子性是什么”,文中的講解內(nèi)容簡單清晰,易于學(xué)習(xí)與理解,下面請大家跟著小編的思路慢慢深入,一起來研究和學(xué)習(xí)“Redis中命令的原子性是什么”吧!
業(yè)務(wù)中有時候我們會用 Redis 處理一些高并發(fā)的業(yè)務(wù)場景,例如,秒殺業(yè)務(wù),對于庫存的操作。。。
先來分析下,并發(fā)場景下會發(fā)生什么問題
并發(fā)問題主要發(fā)生在數(shù)據(jù)的修改上,對于客戶端修改數(shù)據(jù),一般分成下面兩個步驟:
1、客戶端先把數(shù)據(jù)讀取到本地,在本地進行修改;
2、客戶端修改完數(shù)據(jù)后,再寫回Redis。
我們把這個流程叫做讀取-修改-寫回
操作(Read-Modify-Write
,簡稱為 RMW 操作)。如果客戶端并發(fā)進行 RMW 操作的時候,就需要保證 讀取-修改-寫回
是一個原子操作,進行命令操作的時候,其他客戶端不能對當前的數(shù)據(jù)進行操作。
錯誤的栗子:
統(tǒng)計一個頁面的訪問次數(shù),每次刷新頁面訪問次數(shù)+1,這里使用 Redis 來記錄訪問次數(shù)。
如果每次的讀取-修改-寫回
操作不是一個原子操作,那么就可能存在下圖的問題,客戶端2在客戶端1操作的中途,也獲取 Redis 的值,也對值進行+1,操作,這樣就導(dǎo)致最終數(shù)據(jù)的錯誤。
對于上面的這種情況,一般會有兩種方式解決:
1、使用 Redis 實現(xiàn)一把分布式鎖,通過鎖來保護每次只有一個線程來操作臨界資源;
2、實現(xiàn)操作命令的原子性。
栗如,對于上面的錯誤栗子,如果讀取-修改-寫回
是一個原子性的命令,那么這個命令在操作過程中就不有別的線程同時讀取操作數(shù)據(jù),這樣就能避免上面栗子出現(xiàn)的問題。
下面從原子性和鎖兩個方面,具體分析下,對并發(fā)訪問問題的處理
為了實現(xiàn)并發(fā)控制要求的臨界區(qū)代碼互斥執(zhí)行,如果使用 Redis 中命令的原子性,可以有下面兩種處理方式:
1、借助于 Redis 中的原子性的單命令;
2、把多個操作寫到一個Lua腳本中,以原子性方式執(zhí)行單個Lua腳本。
在探討 Redis 原子性的時候,先來探討下 Redis 中使用到的編程模型
Redis 中使用到了 Reactor 模型,Reactor 是非阻塞 I/O 模型,這里來看下 Unix 中的 I/O 模型。
操作系統(tǒng)上的 I/O 是用戶空間和內(nèi)核空間的數(shù)據(jù)交互,因此 I/O 操作通常包含以下兩個步驟:
1、等待網(wǎng)絡(luò)數(shù)據(jù)到達網(wǎng)卡(讀就緒)/等待網(wǎng)卡可寫(寫就緒) –> 讀取/寫入到內(nèi)核緩沖區(qū);
2、從內(nèi)核緩沖區(qū)復(fù)制數(shù)據(jù) –> 用戶空間(讀)/從用戶空間復(fù)制數(shù)據(jù) -> 內(nèi)核緩沖區(qū)(寫);
Unix 中有五種基本的 I/O 模型
阻塞式 I/O;
非阻塞式 I/O;
I/O 多路復(fù)用;
信號驅(qū)動 I/O;
異步 I/O;
而判定一個 I/O 模型是同步還是異步,主要看第二步:數(shù)據(jù)在用戶和內(nèi)核空間之間復(fù)制的時候是不是會阻塞當前進程,如果會,則是同步 I/O,否則,就是異步 I/O。
這里主要分下下面三種 I/O 模型
阻塞型 I/O;
當用戶程序執(zhí)行 read ,線程會被阻塞,一直等到內(nèi)核數(shù)據(jù)準備好,并把數(shù)據(jù)從內(nèi)核緩沖區(qū)拷貝到應(yīng)用程序的緩沖區(qū)中,當拷貝過程完成,read 才會返回。
阻塞等待的是「內(nèi)核數(shù)據(jù)準備好」和「數(shù)據(jù)從內(nèi)核態(tài)拷貝到用戶態(tài)」這兩個過程。
非阻塞同步 I/O;
非阻塞的 read 請求在數(shù)據(jù)未準備好的情況下立即返回,可以繼續(xù)往下執(zhí)行,此時應(yīng)用程序不斷輪詢內(nèi)核,直到數(shù)據(jù)準備好,內(nèi)核將數(shù)據(jù)拷貝到應(yīng)用程序緩沖區(qū),read 調(diào)用才可以獲取到結(jié)果。
這里最后一次 read 調(diào)用,獲取數(shù)據(jù)的過程,是一個同步的過程,是需要等待的過程。這里的同步指的是內(nèi)核態(tài)的數(shù)據(jù)拷貝到用戶程序的緩存區(qū)這個過程。
非阻塞異步 I/O;
發(fā)起異步 I/O,就立即返回,內(nèi)核自動將數(shù)據(jù)從內(nèi)核空間拷貝到用戶空間,這個拷貝過程同樣是異步的,內(nèi)核自動完成的,和前面的同步操作不一樣,應(yīng)用程序并不需要主動發(fā)起拷貝動作。
舉個你去飯?zhí)贸燥埖睦?,你好比?yīng)用程序,飯?zhí)煤帽炔僮飨到y(tǒng)。
阻塞 I/O 好比,你去飯?zhí)贸燥?,但是飯?zhí)玫牟诉€沒做好,然后你就一直在那里等啊等,等了好長一段時間終于等到飯?zhí)冒⒁贪巡硕肆顺鰜恚〝?shù)據(jù)準備的過程),但是你還得繼續(xù)等阿姨把菜(內(nèi)核空間)打到你的飯盒里(用戶空間),經(jīng)歷完這兩個過程,你才可以離開。
非阻塞 I/O 好比,你去了飯?zhí)?,問阿姨菜做好了沒有,阿姨告訴你沒,你就離開了,過幾十分鐘,你又來飯?zhí)脝柊⒁?,阿姨說做好了,于是阿姨幫你把菜打到你的飯盒里,這個過程你是得等待的。
異步 I/O 好比,你讓飯?zhí)冒⒁虒⒉俗龊貌巡舜虻斤埡欣锖螅扬埡兴偷侥忝媲?,整個過程你都不需要任何等待。
在 web 服務(wù)中,處理 web 請求通常有兩種體系結(jié)構(gòu),分別為:thread-based architecture
(基于線程的架構(gòu))、event-driven architecture
(事件驅(qū)動模型)
thread-based architecture(基于線程的架構(gòu)):這種比較容易理解,就是多線程并發(fā)模式,服務(wù)端在處理請求的時候,一個請求分配一個獨立的線程來處理。
因為每個請求分配一個獨立的線程,所以單個線程的阻塞不會影響到其他的線程,能夠提高程序的響應(yīng)速度。
不足的是,連接和線程之間始終保持一對一的關(guān)系,如果是一直處于 Keep-Alive 狀態(tài)的長連接將會導(dǎo)致大量工作線程在空閑狀態(tài)下等待,例如,文件系統(tǒng)訪問,網(wǎng)絡(luò)等。此外,成百上千的連接還可能會導(dǎo)致并發(fā)線程浪費大量內(nèi)存的堆棧空間。
事件驅(qū)動的體系結(jié)構(gòu)由事件生產(chǎn)者和事件消費者組,是一種松耦合、分布式的驅(qū)動架構(gòu),生產(chǎn)者收集到某應(yīng)用產(chǎn)生的事件后實時對事件采取必要的處理后路由至下游系統(tǒng),無需等待系統(tǒng)響應(yīng),下游的事件消費者組收到是事件消息,異步的處理。
事件驅(qū)動架構(gòu)具有以下優(yōu)勢:
降低耦合;
降低事件生產(chǎn)者和訂閱者的耦合性。事件生產(chǎn)者只需關(guān)注事件的發(fā)生,無需關(guān)注事件如何處理以及被分發(fā)給哪些訂閱者。任何一個環(huán)節(jié)出現(xiàn)故障,不會影響其他業(yè)務(wù)正常運行。
異步執(zhí)行;
事件驅(qū)動架構(gòu)適用于異步場景,即便是需求高峰期,收集各種來源的事件后保留在事件總線中,然后逐步分發(fā)傳遞事件,不會造成系統(tǒng)擁塞或資源過剩的情況。
可擴展性;
事件驅(qū)動架構(gòu)中路由和過濾能力支持劃分服務(wù),便于擴展和路由分發(fā)。
Reactor 模式和 Proactor 模式都是 event-driven architecture
(事件驅(qū)動模型)的實現(xiàn)方式,這里具體分析下
Reactor 模式,是指通過一個或多個輸入同時傳遞給服務(wù)處理器的服務(wù)請求的事件驅(qū)動處理模式。
在處理?絡(luò) IO 的連接事件、讀事件、寫事件。Reactor 中引入了三類角色
reactor:監(jiān)聽和分配事件,連接事件交給 acceptor 處理,讀寫事件交給 handler 處理;
acceptor:接收連接請求,接收連接后,會創(chuàng)建 handler ,處理網(wǎng)絡(luò)連接上對后續(xù)讀寫事件的處理;
handler:處理讀寫事件。
Reactor 模型又分為 3 類:
單線程 Reactor 模式;
建立連接(Acceptor)、監(jiān)聽accept、read、write事件(Reactor)、處理事件(Handler)都只用一個單線程;
多線程 Reactor 模式;
與單線程模式不同的是,添加了一個工作者線程池,并將非 I/O
操作從 Reactor 線程中移出轉(zhuǎn)交給工作者線程池(Thread Pool)來執(zhí)行。
建立連接(Acceptor)和 監(jiān)聽accept、read、write事件(Reactor),復(fù)用一個線程。
工作線程池:處理事件(Handler),由一個工作線程池來執(zhí)行業(yè)務(wù)邏輯,包括數(shù)據(jù)就緒后,用戶態(tài)的數(shù)據(jù)讀寫。
主從 Reactor 模式;
對于多個CPU的機器,為充分利用系統(tǒng)資源,將 Reactor 拆分為兩部分:mainReactor 和 subReactor。
mainReactor:負責(zé)監(jiān)聽server socket
,用來處理網(wǎng)絡(luò)新連接的建立,將建立的socketChannel指定注冊給subReactor,通常一個線程就可以處理;
subReactor:監(jiān)聽accept、read、write
事件(Reactor
),包括等待數(shù)據(jù)就緒時,內(nèi)核態(tài)的數(shù)據(jù)讀寫,通常使用多線程。
工作線程:處理事件(Handler)可以和 subReactor 共同使用同一個線程,也可以做成線程池,類似上面多線程 Reactor 模式下的工作線程池的處理方式。
reactor 流程與 Reactor 模式類似
不同點就是
Reactor 是非阻塞同步網(wǎng)絡(luò)模式,感知的是就緒可讀寫事件。
在每次感知到有事件發(fā)生(比如可讀就緒事件)后,就需要應(yīng)用進程主動調(diào)用 read 方法來完成數(shù)據(jù)的讀取,也就是要應(yīng)用進程主動將 socket 接收緩存中的數(shù)據(jù)讀到應(yīng)用進程內(nèi)存中,這個過程是同步的,讀取完數(shù)據(jù)后應(yīng)用進程才能處理數(shù)據(jù)。
Proactor 是異步網(wǎng)絡(luò)模式,感知的是已完成的讀寫事件。
在發(fā)起異步讀寫請求時,需要傳入數(shù)據(jù)緩沖區(qū)的地址(用來存放結(jié)果數(shù)據(jù))等信息,這樣系統(tǒng)內(nèi)核才可以自動幫我們把數(shù)據(jù)的讀寫工作完成,這里的讀寫工作全程由操作系統(tǒng)來做,并不需要像 Reactor 那樣還需要應(yīng)用進程主動發(fā)起 read/write
來讀寫數(shù)據(jù),操作系統(tǒng)完成讀寫工作后,就會通知應(yīng)用進程直接處理數(shù)據(jù)。
因此,Reactor 可以理解為「來了事件操作系統(tǒng)通知應(yīng)用進程,讓應(yīng)用進程來處理」,而 Proactor 可以理解為「來了事件操作系統(tǒng)來處理,處理完再通知應(yīng)用進程」。
舉個實際生活中的例子,Reactor 模式就是快遞員在樓下,給你打電話告訴你快遞到你家小區(qū)了,你需要自己下樓來拿快遞。而在 Proactor 模式下,快遞員直接將快遞送到你家門口,然后通知你。
Redis 中使用是單線程,可能處于以下幾方面的考慮
1、Redis 是純內(nèi)存的操作,執(zhí)行速度是非??斓?,因此這部分操作通常不會是性能瓶頸,性能瓶頸在于網(wǎng)絡(luò) I/O;
2、避免過多的上下文切換開銷,單線程則可以規(guī)避進程內(nèi)頻繁的線程切換開銷;
3、避免同步機制的開銷,多線程必然會面臨對于共享資源的訪問,這時候通常的做法就是加鎖,雖然是多線程,這時候就會變成串行的訪問。也就是多線程編程模式會面臨的共享資源的并發(fā)訪問控制問題;
4、簡單可維護,多線程也會引入同步原語來保護共享資源的并發(fā)訪問,代碼的可維護性和易讀性將會下降。
Redis 在 v6.0 版本之前,Redis 的核心網(wǎng)絡(luò)模型一直是一個典型的單 Reactor 模型:利用 epoll/select/kqueue
等多路復(fù)用技術(shù),在單線程的事件循環(huán)中不斷去處理事件(客戶端請求),最后回寫響應(yīng)數(shù)據(jù)到客戶端:
這里來看下 Redis 如何使用單線程處理任務(wù)
Redis 的網(wǎng)絡(luò)框架實現(xiàn)了 Reactor 模型,并且自行開發(fā)實現(xiàn)了一個事件驅(qū)動框架。
事件驅(qū)動框架的邏輯簡單點講就是
事件初始化;
事件捕獲;
分發(fā)和處理主循環(huán)。
來看下 Redis 中事件驅(qū)動框架實現(xiàn)的幾個主要函數(shù)
// 執(zhí)行事件捕獲,分發(fā)和處理循環(huán) void aeMain(aeEventLoop *eventLoop); // 用來注冊監(jiān)聽的事件和事件對應(yīng)的處理函數(shù)。只有對事件和處理函數(shù)進行了注冊,才能在事件發(fā)生時調(diào)用相應(yīng)的函數(shù)進行處理。 int aeCreateFileEvent(aeEventLoop *eventLoop, int fd, int mask, aeFileProc *proc, void *clientData); // aeProcessEvents 函數(shù)實現(xiàn)的主要功能,包括捕獲事件、判斷事件類型和調(diào)用具體的事件處理函數(shù),從而實現(xiàn)事件的處理 int aeProcessEvents(aeEventLoop *eventLoop, int flags);
使用 aeMain 作為主循環(huán)來對事件進行持續(xù)監(jiān)聽和捕獲,其中會調(diào)用 aeProcessEvents 函數(shù),實現(xiàn)事件捕獲、判斷事件類型和調(diào)用具體的事件處理函數(shù),從而實現(xiàn)事件的處理。
// https://github.com/redis/redis/blob/5.0/src/ae.c#L496 void aeMain(aeEventLoop *eventLoop) { eventLoop->stop = 0; while (!eventLoop->stop) { if (eventLoop->beforesleep != NULL) eventLoop->beforesleep(eventLoop); aeProcessEvents(eventLoop, AE_ALL_EVENTS|AE_CALL_AFTER_SLEEP); } } // https://github.com/redis/redis/blob/5.0/src/ae.c#L358 int aeProcessEvents(aeEventLoop *eventLoop, int flags) { ... if (eventLoop->maxfd != -1 || ((flags & AE_TIME_EVENTS) && !(flags & AE_DONT_WAIT))) { ... //調(diào)用aeApiPoll函數(shù)捕獲事件 numevents = aeApiPoll(eventLoop, tvp); ... } ... }
可以看到 aeProcessEvents 中對于 IO 事件的捕獲是通過調(diào)用 aeApiPoll 來完成的。
aeApiPoll 是 I/O 多路復(fù)用 API,是基于 epoll_wait/select/kevent
等系統(tǒng)調(diào)用的封裝,監(jiān)聽等待讀寫事件觸發(fā),然后處理,它是事件循環(huán)(Event Loop)中的核心函數(shù),是事件驅(qū)動得以運行的基礎(chǔ)。
Redis 是依賴于操作系統(tǒng)底層提供的 IO 多路復(fù)用機制,來實現(xiàn)事件捕獲,檢查是否有新的連接、讀寫事件發(fā)生。為了適配不同的操作系統(tǒng),Redis 對不同操作系統(tǒng)實現(xiàn)的網(wǎng)絡(luò) IO 多路復(fù)用函數(shù),都進行了統(tǒng)一的封裝。
// https://github.com/redis/redis/blob/5.0/src/ae.c#L49 #ifdef HAVE_EVPORT #include "ae_evport.c" // Solaris #else #ifdef HAVE_EPOLL #include "ae_epoll.c" // Linux #else #ifdef HAVE_KQUEUE #include "ae_kqueue.c" // MacOS #else #include "ae_select.c" // Windows #endif #endif #endif
ae_epoll.c:對應(yīng) Linux 上的 IO 復(fù)用函數(shù) epoll;
ae_evport.c:對應(yīng) Solaris 上的 IO 復(fù)用函數(shù) evport;
ae_kqueue.c:對應(yīng) macOS 或 FreeBSD 上的 IO 復(fù)用函數(shù) kqueue;
ae_select.c:對應(yīng) Linux(或 Windows)的 IO 復(fù)用函數(shù) select。
監(jiān)聽 socket 的讀事件,當有客戶端連接請求過來,使用函數(shù) acceptTcpHandler 和客戶端建立連接
當 Redis 啟動后,服務(wù)器程序的 main 函數(shù)會調(diào)用 initSever 函數(shù)來進行初始化,而在初始化的過程中,aeCreateFileEvent 就會被 initServer 函數(shù)調(diào)用,用于注冊要監(jiān)聽的事件,以及相應(yīng)的事件處理函數(shù)。
// https://github.com/redis/redis/blob/5.0/src/server.c#L2036 void initServer(void) { ... // 創(chuàng)建一個事件處理程序以接受 TCP 和 Unix 中的新連接 for (j = 0; j < server.ipfd_count; j++) { if (aeCreateFileEvent(server.el, server.ipfd[j], AE_READABLE, acceptTcpHandler,NULL) == AE_ERR) { serverPanic( "Unrecoverable error creating server.ipfd file event."); } } ... }
可以看到 initServer 中會根據(jù)啟用的 IP 端口個數(shù),為每個 IP 端口上的網(wǎng)絡(luò)事件,調(diào)用 aeCreateFileEvent,創(chuàng)建對 AE_READABLE 事件的監(jiān)聽,并且注冊 AE_READABLE 事件的處理 handler,也就是 acceptTcpHandler 函數(shù)。
然后看下 acceptTcpHandler 的實現(xiàn)
// https://github.com/redis/redis/blob/5.0/src/networking.c#L734 void acceptTcpHandler(aeEventLoop *el, int fd, void *privdata, int mask) { int cport, cfd, max = MAX_ACCEPTS_PER_CALL; char cip[NET_IP_STR_LEN]; UNUSED(el); UNUSED(mask); UNUSED(privdata); while(max--) { // 用于accept客戶端的連接,其返回值是客戶端對應(yīng)的socket cfd = anetTcpAccept(server.neterr, fd, cip, sizeof(cip), &cport); if (cfd == ANET_ERR) { if (errno != EWOULDBLOCK) serverLog(LL_WARNING, "Accepting client connection: %s", server.neterr); return; } serverLog(LL_VERBOSE,"Accepted %s:%d", cip, cport); // 會調(diào)用acceptCommonHandler對連接以及客戶端進行初始化 acceptCommonHandler(cfd,0,cip); } } // https://github.com/redis/redis/blob/5.0/src/networking.c#L664 static void acceptCommonHandler(int fd, int flags, char *ip) { client *c; // 分配并初始化新客戶端 if ((c = createClient(fd)) == NULL) { serverLog(LL_WARNING, "Error registering fd event for the new client: %s (fd=%d)", strerror(errno),fd); close(fd); /* May be already closed, just ignore errors */ return; } // 判斷當前連接的客戶端是否超過最大值,如果超過的話,會拒絕這次連接。否則,更新客戶端連接數(shù)的計數(shù) if (listLength(server.clients) > server.maxclients) { char *err = "-ERR max number of clients reached\r\n"; /* That's a best effort error message, don't check write errors */ if (write(c->fd,err,strlen(err)) == -1) { /* Nothing to do, Just to avoid the warning... */ } server.stat_rejected_conn++; freeClient(c); return; } ... } // 使用多路復(fù)用,需要記錄每個客戶端的狀態(tài),client 之前通過鏈表保存 typedef struct client { int fd; // 字段是客戶端套接字文件描述符 sds querybuf; // 保存客戶端發(fā)來命令請求的輸入緩沖區(qū)。以Redis通信協(xié)議的方式保存 int argc; // 當前命令的參數(shù)數(shù)量 robj **argv; // 當前命令的參數(shù) redisDb *db; // 當前選擇的數(shù)據(jù)庫指針 int flags; list *reply; // 保存命令回復(fù)的鏈表。因為靜態(tài)緩沖區(qū)大小固定,主要保存固定長度的命令回復(fù),當處理一些返回大量回復(fù)的命令,則會將命令回復(fù)以鏈表的形式連接起來。 // ... many other fields ... char buf[PROTO_REPLY_CHUNK_BYTES]; } client; client *createClient(int fd) { client *c = zmalloc(sizeof(client)); // 如果fd為-1,表示創(chuàng)建的是一個無網(wǎng)絡(luò)連接的偽客戶端,用于執(zhí)行l(wèi)ua腳本的時候。 // 如果fd不等于-1,表示創(chuàng)建一個有網(wǎng)絡(luò)連接的客戶端 if (fd != -1) { // 設(shè)置fd為非阻塞模式 anetNonBlock(NULL,fd); // 禁止使用 Nagle 算法,client向內(nèi)核遞交的每個數(shù)據(jù)包都會立即發(fā)送給server出去,TCP_NODELAY anetEnableTcpNoDelay(NULL,fd); // 如果開啟了tcpkeepalive,則設(shè)置 SO_KEEPALIVE if (server.tcpkeepalive) anetKeepAlive(NULL,fd,server.tcpkeepalive); // 創(chuàng)建一個文件事件狀態(tài)el,且監(jiān)聽讀事件,開始接受命令的輸入 if (aeCreateFileEvent(server.el,fd,AE_READABLE, readQueryFromClient, c) == AE_ERR) { close(fd); zfree(c); return NULL; } } ... // 初始化client 中的參數(shù) return c; }
1、acceptTcpHandler 主要用于處理和客戶端連接的建立;
2、其中會調(diào)用函數(shù) anetTcpAccept 用于 accept 客戶端的連接,其返回值是客戶端對應(yīng)的 socket;
3、然后調(diào)用 acceptCommonHandler 對連接以及客戶端進行初始化;
4、初始化客戶端的時候,同時使用 aeCreateFileEvent 用來注冊監(jiān)聽的事件和事件對應(yīng)的處理函數(shù),將 readQueryFromClient 命令讀取處理器綁定到新連接對應(yīng)的文件描述符上;
5、服務(wù)器會監(jiān)聽該文件描述符的讀事件,當客戶端發(fā)送了命令,觸發(fā)了 AE_READABLE 事件,那么就會調(diào)用回調(diào)函數(shù) readQueryFromClient() 來從文件描述符 fd 中讀發(fā)來的命令,并保存在輸入緩沖區(qū)中 querybuf。
readQueryFromClient 是請求處理的起點,解析并執(zhí)行客戶端的請求命令。
// https://github.com/redis/redis/blob/5.0/src/networking.c#L1522 // 讀取client的輸入緩沖區(qū)的內(nèi)容 void readQueryFromClient(aeEventLoop *el, int fd, void *privdata, int mask) { client *c = (client*) privdata; int nread, readlen; size_t qblen; UNUSED(el); UNUSED(mask); ... // 輸入緩沖區(qū)的長度 qblen = sdslen(c->querybuf); // 更新緩沖區(qū)的峰值 if (c->querybuf_peak < qblen) c->querybuf_peak = qblen; // 擴展緩沖區(qū)的大小 c->querybuf = sdsMakeRoomFor(c->querybuf, readlen); // 調(diào)用read從描述符為fd的客戶端socket中讀取數(shù)據(jù) nread = read(fd, c->querybuf+qblen, readlen); ... // 處理讀取的內(nèi)容 processInputBufferAndReplicate(c); } // https://github.com/redis/redis/blob/5.0/src/networking.c#L1507 void processInputBufferAndReplicate(client *c) { // 當前客戶端不屬于主從復(fù)制中的Master // 直接調(diào)用 processInputBuffer,對客戶端輸入緩沖區(qū)中的命令和參數(shù)進行解析 if (!(c->flags & CLIENT_MASTER)) { processInputBuffer(c); // 客戶端屬于主從復(fù)制中的Master // 調(diào)用processInputBuffer函數(shù),解析客戶端命令, // 調(diào)用replicationFeedSlavesFromMasterStream 函數(shù),將主節(jié)點接收到的命令同步給從節(jié)點 } else { size_t prev_offset = c->reploff; processInputBuffer(c); size_t applied = c->reploff - prev_offset; if (applied) { replicationFeedSlavesFromMasterStream(server.slaves, c->pending_querybuf, applied); sdsrange(c->pending_querybuf,applied,-1); } } } // https://github.com/redis/redis/blob/5.0/src/networking.c#L1428 void processInputBuffer(client *c) { server.current_client = c; /* Keep processing while there is something in the input buffer */ // 持續(xù)讀取緩沖區(qū)的內(nèi)容 while(c->qb_pos < sdslen(c->querybuf)) { ... /* Multibulk processing could see a <= 0 length. */ // 如果參數(shù)為0,則重置client if (c->argc == 0) { resetClient(c); } else { /* Only reset the client when the command was executed. */ // 執(zhí)行命令成功后重置client if (processCommand(c) == C_OK) { if (c->flags & CLIENT_MASTER && !(c->flags & CLIENT_MULTI)) { /* Update the applied replication offset of our master. */ c->reploff = c->read_reploff - sdslen(c->querybuf) + c->qb_pos; } // 命令處于阻塞狀態(tài)中的客戶端,不需要進行重置 if (!(c->flags & CLIENT_BLOCKED) || c->btype != BLOCKED_MODULE) resetClient(c); } /* freeMemoryIfNeeded may flush slave output buffers. This may * result into a slave, that may be the active client, to be * freed. */ if (server.current_client == NULL) break; } } /* Trim to pos */ if (server.current_client != NULL && c->qb_pos) { sdsrange(c->querybuf,c->qb_pos,-1); c->qb_pos = 0; } server.current_client = NULL; }
1、readQueryFromClient(),從文件描述符 fd 中讀出數(shù)據(jù)到輸入緩沖區(qū) querybuf 中;
2、使用 processInputBuffer 函數(shù)完成對命令的解析,在其中使用 processInlineBuffer 或者 processMultibulkBuffer 根據(jù) Redis 協(xié)議解析命令;
3、完成對一個命令的解析,就使用 processCommand 對命令就行執(zhí)行;
4、命令執(zhí)行完成,最后調(diào)用 addReply 函數(shù)族的一系列函數(shù)將響應(yīng)數(shù)據(jù)寫入到對應(yīng) client 的寫出緩沖區(qū):client->buf 或者 client->reply ,client->buf 是首選的寫出緩沖區(qū),固定大小 16KB,一般來說可以緩沖足夠多的響應(yīng)數(shù)據(jù),但是如果客戶端在時間窗口內(nèi)需要響應(yīng)的數(shù)據(jù)非常大,那么則會自動切換到 client->reply 鏈表上去,使用鏈表理論上能夠保存無限大的數(shù)據(jù)(受限于機器的物理內(nèi)存),最后把 client 添加進一個 LIFO 隊列 clients_pending_write;
在 Redis 事件驅(qū)動框架每次循環(huán)進入事件處理函數(shù)前,來處理監(jiān)聽到的已觸發(fā)事件或是到時的時間事件之前,都會調(diào)用 beforeSleep 函數(shù),進行一些任務(wù)處理,這其中就包括了調(diào)用 handleClientsWithPendingWrites 函數(shù),它會將 Redis sever
客戶端緩沖區(qū)中的數(shù)據(jù)寫回客戶端。
// https://github.com/redis/redis/blob/5.0/src/server.c#L1380 void beforeSleep(struct aeEventLoop *eventLoop) { UNUSED(eventLoop); ... // 將 Redis sever 客戶端緩沖區(qū)中的數(shù)據(jù)寫回客戶端 handleClientsWithPendingWrites(); ... } // https://github.com/redis/redis/blob/5.0/src/networking.c#L1082 int handleClientsWithPendingWrites(void) { listIter li; listNode *ln; // 遍歷 clients_pending_write 隊列,調(diào)用 writeToClient 把 client 的寫出緩沖區(qū)里的數(shù)據(jù)回寫到客戶端 int processed = listLength(server.clients_pending_write); listRewind(server.clients_pending_write,&li); while((ln = listNext(&li))) { client *c = listNodeValue(ln); c->flags &= ~CLIENT_PENDING_WRITE; listDelNode(server.clients_pending_write,ln); ... // 調(diào)用 writeToClient 函數(shù),將客戶端輸出緩沖區(qū)中的數(shù)據(jù)寫回 if (writeToClient(c->fd,c,0) == C_ERR) continue; // 如果輸出緩沖區(qū)的數(shù)據(jù)還沒有寫完,此時,handleClientsWithPendingWrites 函數(shù)就 // 會調(diào)用 aeCreateFileEvent 函數(shù),創(chuàng)建可寫事件,并設(shè)置回調(diào)函數(shù) sendReplyToClien if (clientHasPendingReplies(c)) { int ae_flags = AE_WRITABLE; if (server.aof_state == AOF_ON && server.aof_fsync == AOF_FSYNC_ALWAYS) { ae_flags |= AE_BARRIER; } // 將文件描述符fd和AE_WRITABLE事件關(guān)聯(lián)起來,當客戶端可寫時,就會觸發(fā)事件,調(diào)用sendReplyToClient()函數(shù),執(zhí)行寫事件 if (aeCreateFileEvent(server.el, c->fd, ae_flags, sendReplyToClient, c) == AE_ERR) { freeClientAsync(c); } } } return processed; } // https://github.com/redis/redis/blob/5.0/src/networking.c#L1072 // 寫事件處理程序,只是發(fā)送回復(fù)給client void sendReplyToClient(aeEventLoop *el, int fd, void *privdata, int mask) { UNUSED(el); UNUSED(mask); writeToClient(fd,privdata,1); } // https://github.com/redis/redis/blob/5.0/src/networking.c#L979 // 將輸出緩沖區(qū)的數(shù)據(jù)寫給client,如果client被釋放則返回C_ERR,沒被釋放則返回C_OK int writeToClient(int fd, client *c, int handler_installed) { ssize_t nwritten = 0, totwritten = 0; size_t objlen; clientReplyBlock *o; // 如果指定的client的回復(fù)緩沖區(qū)中還有數(shù)據(jù),則返回真,表示可以寫socket while(clientHasPendingReplies(c)) { // 固定緩沖區(qū)發(fā)送未完成 if (c->bufpos > 0) { // 將緩沖區(qū)的數(shù)據(jù)寫到fd中 nwritten = write(fd,c->buf+c->sentlen,c->bufpos-c->sentlen); ... // 如果發(fā)送的數(shù)據(jù)等于buf的偏移量,表示發(fā)送完成 if ((int)c->sentlen == c->bufpos) { c->bufpos = 0; c->sentlen = 0; } // 固定緩沖區(qū)發(fā)送完成,發(fā)送回復(fù)鏈表的內(nèi)容 } else { // 回復(fù)鏈表的第一條回復(fù)對象,和對象值的長度和所占的內(nèi)存 o = listNodeValue(listFirst(c->reply)); objlen = o->used; if (objlen == 0) { c->reply_bytes -= o->size; listDelNode(c->reply,listFirst(c->reply)); continue; } // 將當前節(jié)點的值寫到fd中 nwritten = write(fd, o->buf + c->sentlen, objlen - c->sentlen); if (nwritten <= 0) break; c->sentlen += nwritten; totwritten += nwritten; ... } ... } ... // 如果指定的client的回復(fù)緩沖區(qū)中已經(jīng)沒有數(shù)據(jù),發(fā)送完成 if (!clientHasPendingReplies(c)) { c->sentlen = 0; // 刪除當前client的可讀事件的監(jiān)聽 if (handler_installed) aeDeleteFileEvent(server.el,c->fd,AE_WRITABLE); /* Close connection after entire reply has been sent. */ // 如果指定了寫入按成之后立即關(guān)閉的標志,則釋放client if (c->flags & CLIENT_CLOSE_AFTER_REPLY) { freeClient(c); return C_ERR; } } return C_OK; }
1、beforeSleep 函數(shù)調(diào)用的 handleClientsWithPendingWrites 函數(shù),會遍歷 clients_pending_write(待寫回數(shù)據(jù)的客戶端) 隊列,調(diào)用 writeToClient 把 client 的寫出緩沖區(qū)里的數(shù)據(jù)回寫到客戶端,然后調(diào)用 writeToClient 函數(shù),將客戶端輸出緩沖區(qū)中的數(shù)據(jù)發(fā)送給客戶端;
2、如果輸出緩沖區(qū)的數(shù)據(jù)還沒有寫完,此時,handleClientsWithPendingWrites 函數(shù)就會調(diào)用 aeCreateFileEvent 函數(shù),注冊 sendReplyToClient 到該連接的寫就緒事件,等待將后續(xù)將數(shù)據(jù)寫回給客戶端。
上面的執(zhí)行流程總結(jié)下來就是
1、Redis Server
啟動后,主線程會啟動一個時間循環(huán)(Event Loop),持續(xù)監(jiān)聽事件;
2、client 到 server 的新連接,會調(diào)用 acceptTcpHandler 函數(shù),之后會注冊讀事件 readQueryFromClient 函數(shù),client 發(fā)給 server 的數(shù)據(jù),都會在這個函數(shù)處理,這個函數(shù)會解析 client 的數(shù)據(jù),找到對應(yīng)的 cmd 函數(shù)執(zhí)行;
3、cmd 邏輯執(zhí)行完成后,server 需要寫回數(shù)據(jù)給 client,調(diào)用 addReply 函數(shù)族的一系列函數(shù)將響應(yīng)數(shù)據(jù)寫入到對應(yīng) client 的寫出緩沖區(qū):client->buf
或者 client->reply
,client->buf
是首選的寫出緩沖區(qū),固定大小 16KB,一般來說可以緩沖足夠多的響應(yīng)數(shù)據(jù),但是如果客戶端在時間窗口內(nèi)需要響應(yīng)的數(shù)據(jù)非常大,那么則會自動切換到 client->reply
鏈表上去,使用鏈表理論上能夠保存無限大的數(shù)據(jù)(受限于機器的物理內(nèi)存),最后把 client 添加進一個 LIFO 隊列 clients_pending_write
;
4、在 Redis 事件驅(qū)動框架每次循環(huán)進入事件處理函數(shù)前,來處理監(jiān)聽到的已觸發(fā)事件或是到時的時間事件之前,都會調(diào)用 beforeSleep 函數(shù),進行一些任務(wù)處理,這其中就包括了調(diào)用 handleClientsWithPendingWrites 函數(shù),它會將 Redis sever 客戶端緩沖區(qū)中的數(shù)據(jù)寫回客戶端;
beforeSleep 函數(shù)調(diào)用的 handleClientsWithPendingWrites 函數(shù),會遍歷 clients_pending_write(待寫回數(shù)據(jù)的客戶端) 隊列,調(diào)用 writeToClient 把 client 的寫出緩沖區(qū)里的數(shù)據(jù)回寫到客戶端,然后調(diào)用 writeToClient 函數(shù),將客戶端輸出緩沖區(qū)中的數(shù)據(jù)發(fā)送給客戶端;
如果輸出緩沖區(qū)的數(shù)據(jù)還沒有寫完,此時,handleClientsWithPendingWrites 函數(shù)就會調(diào)用 aeCreateFileEvent 函數(shù),注冊 sendReplyToClient 到該連接的寫就緒事件,等待將后續(xù)將數(shù)據(jù)寫回給客戶端。
在 Redis6.0 的版本中,引入了多線程來處理 IO 任務(wù),多線程的引入,充分利用了當前服務(wù)器多核特性,使用多核運行多線程,讓多線程幫助加速數(shù)據(jù)讀取、命令解析以及數(shù)據(jù)寫回的速度,提升 Redis 整體性能。
Redis6.0 之前的版本用的是單線程 Reactor 模式,所有的操作都在一個線程中完成,6.0 之后的版本使用了主從 Reactor 模式。
由一個 mainReactor 線程接收連接,然后發(fā)送給多個 subReactor 線程處理,subReactor 負責(zé)處理具體的業(yè)務(wù)。
來看下 Redis 多IO線程的具體實現(xiàn)過程
使用 initThreadedIO 函數(shù)來初始化多 IO 線程。
// https://github.com/redis/redis/blob/6.2/src/networking.c#L3573 void initThreadedIO(void) { server.io_threads_active = 0; /* We start with threads not active. */ /* Don't spawn any thread if the user selected a single thread: * we'll handle I/O directly from the main thread. */ // 如果用戶只配置了一個 I/O 線程,不需要創(chuàng)建新線程了,直接在主線程中處理 if (server.io_threads_num == 1) return; if (server.io_threads_num > IO_THREADS_MAX_NUM) { serverLog(LL_WARNING,"Fatal: too many I/O threads configured. " "The maximum number is %d.", IO_THREADS_MAX_NUM); exit(1); } /* Spawn and initialize the I/O threads. */ // 初始化線程 for (int i = 0; i < server.io_threads_num; i++) { /* Things we do for all the threads including the main thread. */ io_threads_list[i] = listCreate(); // 編號為0是主線程 if (i == 0) continue; /* Thread 0 is the main thread. */ /* Things we do only for the additional threads. */ pthread_t tid; // 初始化io_threads_mutex數(shù)組 pthread_mutex_init(&io_threads_mutex[i],NULL); // 初始化io_threads_pending數(shù)組 setIOPendingCount(i, 0); // 主線程在啟動 I/O 線程的時候會默認先鎖住它,直到有 I/O 任務(wù)才喚醒它。 pthread_mutex_lock(&io_threads_mutex[i]); /* Thread will be stopped. */ // 調(diào)用pthread_create函數(shù)創(chuàng)建IO線程,線程運行函數(shù)為IOThreadMain if (pthread_create(&tid,NULL,IOThreadMain,(void*)(long)i) != 0) { serverLog(LL_WARNING,"Fatal: Can't initialize IO thread."); exit(1); } io_threads[i] = tid; } }
可以看到在 initThreadedIO 中完成了對下面四個數(shù)組的初始化工作
io_threads_list 數(shù)組:保存了每個 IO 線程要處理的客戶端,將數(shù)組每個元素初始化為一個 List 類型的列表;
io_threads_pending 數(shù)組:保存等待每個 IO 線程處理的客戶端個數(shù);
io_threads_mutex 數(shù)組:保存線程互斥鎖;
io_threads 數(shù)組:保存每個 IO 線程的描述符。
Redis server
在和一個客戶端建立連接后,就開始了監(jiān)聽客戶端的可讀事件,處理可讀事件的回調(diào)函數(shù)就是 readQueryFromClient
// https://github.com/redis/redis/blob/6.2/src/networking.c#L2219 void readQueryFromClient(connection *conn) { client *c = connGetPrivateData(conn); int nread, readlen; size_t qblen; /* Check if we want to read from the client later when exiting from * the event loop. This is the case if threaded I/O is enabled. */ // 判斷是否從客戶端延遲讀取數(shù)據(jù) if (postponeClientRead(c)) return; ... } // https://github.com/redis/redis/blob/6.2/src/networking.c#L3746 int postponeClientRead(client *c) { // 當多線程 I/O 模式開啟、主線程沒有在處理阻塞任務(wù)時,將 client 加入異步隊列。 if (server.io_threads_active && server.io_threads_do_reads && !ProcessingEventsWhileBlocked && !(c->flags & (CLIENT_MASTER|CLIENT_SLAVE|CLIENT_PENDING_READ|CLIENT_BLOCKED))) { // 給客戶端的flag添加CLIENT_PENDING_READ標記,表示推遲該客戶端的讀操作 c->flags |= CLIENT_PENDING_READ; // 將可獲得加入clients_pending_write列表 listAddNodeHead(server.clients_pending_read,c); return 1; } else { return 0; } }
使用 clients_pending_read 保存了需要進行延遲讀操作的客戶端之后,這些客戶端又是如何分配給多 IO 線程執(zhí)行的呢?
handleClientsWithPendingWritesUsingThreads 函數(shù):該函數(shù)主要負責(zé)將 clients_pending_write 列表中的客戶端分配給 IO 線程進行處理。
看下如何實現(xiàn)
// https://github.com/redis/redis/blob/6.2/src/networking.c#L3766 int handleClientsWithPendingReadsUsingThreads(void) { // 當多線程 I/O 模式開啟,才能執(zhí)行下面的流程 if (!server.io_threads_active || !server.io_threads_do_reads) return 0; int processed = listLength(server.clients_pending_read); if (processed == 0) return 0; // 遍歷待讀取的 client 隊列 clients_pending_read, // 根據(jù)IO線程的數(shù)量,讓clients_pending_read中客戶端數(shù)量對IO線程進行取模運算 // 取模的結(jié)果就是客戶端分配給對應(yīng)IO線程的編號 listIter li; listNode *ln; listRewind(server.clients_pending_read,&li); int item_id = 0; while((ln = listNext(&li))) { client *c = listNodeValue(ln); int target_id = item_id % server.io_threads_num; listAddNodeTail(io_threads_list[target_id],c); item_id++; } // 設(shè)置當前 I/O 操作為讀取操作,給每個 I/O 線程的計數(shù)器設(shè)置分配的任務(wù)數(shù)量, // 讓 I/O 線程可以開始工作:只讀取和解析命令,不執(zhí)行 io_threads_op = IO_THREADS_OP_READ; for (int j = 1; j < server.io_threads_num; j++) { int count = listLength(io_threads_list[j]); setIOPendingCount(j, count); } // 主線程自己也會去執(zhí)行讀取客戶端請求命令的任務(wù),以達到最大限度利用 CPU。 listRewind(io_threads_list[0],&li); while((ln = listNext(&li))) { client *c = listNodeValue(ln); readQueryFromClient(c->conn); } listEmpty(io_threads_list[0]); // 忙輪詢,等待所有 IO 線程完成待讀客戶端的處理 while(1) { unsigned long pending = 0; for (int j = 1; j < server.io_threads_num; j++) pending += getIOPendingCount(j); if (pending == 0) break; } // 遍歷待讀取的 client 隊列,清除 CLIENT_PENDING_READ標記, // 然后解析并執(zhí)行所有 client 的命令。 while(listLength(server.clients_pending_read)) { ln = listFirst(server.clients_pending_read); client *c = listNodeValue(ln); c->flags &= ~CLIENT_PENDING_READ; listDelNode(server.clients_pending_read,ln); serverAssert(!(c->flags & CLIENT_BLOCKED)); // client 的第一條命令已經(jīng)被解析好了,直接嘗試執(zhí)行。 if (processPendingCommandsAndResetClient(c) == C_ERR) { /* If the client is no longer valid, we avoid * processing the client later. So we just go * to the next. */ continue; } // 解析并執(zhí)行 client 命令 processInputBuffer(c); // 命令執(zhí)行完成之后,如果 client 中有響應(yīng)數(shù)據(jù)需要回寫到客戶端,則將 client 加入到待寫出隊列 clients_pending_write if (!(c->flags & CLIENT_PENDING_WRITE) && clientHasPendingReplies(c)) clientInstallWriteHandler(c); } /* Update processed count on server */ server.stat_io_reads_processed += processed; return processed; }
1、當客戶端發(fā)送命令請求之后,會觸發(fā) Redis 主線程的事件循環(huán),命令處理器 readQueryFromClient 被回調(diào),多線程模式下,則會把 client 加入到 clients_pending_read 任務(wù)隊列中去,后面主線程再分配到 I/O 線程去讀取客戶端請求命令;
2、主線程會根據(jù) clients_pending_read 中客戶端數(shù)量對IO線程進行取模運算,取模的結(jié)果就是客戶端分配給對應(yīng)IO線程的編號;
3、忙輪詢,等待所有的線程完成讀取客戶端命令的操作,這一步用到了多線程的請求;
4、遍歷 clients_pending_read,執(zhí)行所有 client 的命令,這里就是在主線程中執(zhí)行的,命令的執(zhí)行是單線程的操作。
完成命令的讀取、解析以及執(zhí)行之后,客戶端命令的響應(yīng)數(shù)據(jù)已經(jīng)存入 client->buf 或者 client->reply 中。
主循環(huán)在捕獲 IO 事件的時候,beforeSleep 函數(shù)會被調(diào)用,進而調(diào)用 handleClientsWithPendingWritesUsingThreads ,寫回響應(yīng)數(shù)據(jù)給客戶端。
// https://github.com/redis/redis/blob/6.2/src/networking.c#L3662 int handleClientsWithPendingWritesUsingThreads(void) { int processed = listLength(server.clients_pending_write); if (processed == 0) return 0; /* Return ASAP if there are no clients. */ // 如果用戶設(shè)置的 I/O 線程數(shù)等于 1 或者當前 clients_pending_write 隊列中待寫出的 client // 數(shù)量不足 I/O 線程數(shù)的兩倍,則不用多線程的邏輯,讓所有 I/O 線程進入休眠, // 直接在主線程把所有 client 的相應(yīng)數(shù)據(jù)回寫到客戶端。 if (server.io_threads_num == 1 || stopThreadedIOIfNeeded()) { return handleClientsWithPendingWrites(); } // 喚醒正在休眠的 I/O 線程(如果有的話)。 if (!server.io_threads_active) startThreadedIO(); /* Distribute the clients across N different lists. */ // 和上面的handleClientsWithPendingReadsUsingThreads中的操作一樣分配客戶端給IO線程 listIter li; listNode *ln; listRewind(server.clients_pending_write,&li); int item_id = 0; while((ln = listNext(&li))) { client *c = listNodeValue(ln); c->flags &= ~CLIENT_PENDING_WRITE; /* Remove clients from the list of pending writes since * they are going to be closed ASAP. */ if (c->flags & CLIENT_CLOSE_ASAP) { listDelNode(server.clients_pending_write, ln); continue; } int target_id = item_id % server.io_threads_num; listAddNodeTail(io_threads_list[target_id],c); item_id++; } // 設(shè)置當前 I/O 操作為寫出操作,給每個 I/O 線程的計數(shù)器設(shè)置分配的任務(wù)數(shù)量, // 讓 I/O 線程可以開始工作,把寫出緩沖區(qū)(client->buf 或 c->reply)中的響應(yīng)數(shù)據(jù)回寫到客戶端。 // 可以看到寫回操作也是多線程執(zhí)行的 io_threads_op = IO_THREADS_OP_WRITE; for (int j = 1; j < server.io_threads_num; j++) { int count = listLength(io_threads_list[j]); setIOPendingCount(j, count); } // 主線程自己也會去執(zhí)行讀取客戶端請求命令的任務(wù),以達到最大限度利用 CPU。 listRewind(io_threads_list[0],&li); while((ln = listNext(&li))) { client *c = listNodeValue(ln); writeToClient(c,0); } listEmpty(io_threads_list[0]); /* Wait for all the other threads to end their work. */ // 等待所有的線程完成對應(yīng)的工作 while(1) { unsigned long pending = 0; for (int j = 1; j < server.io_threads_num; j++) pending += getIOPendingCount(j); if (pending == 0) break; } // 最后再遍歷一次 clients_pending_write 隊列,檢查是否還有 client 的寫出緩沖區(qū)中有殘留數(shù)據(jù), // 如果有,那就為 client 注冊一個命令回復(fù)器 sendReplyToClient,等待客戶端寫就緒再繼續(xù)把數(shù)據(jù)回寫。 listRewind(server.clients_pending_write,&li); while((ln = listNext(&li))) { client *c = listNodeValue(ln); // 檢查 client 的寫出緩沖區(qū)是否還有遺留數(shù)據(jù)。 if (clientHasPendingReplies(c) && connSetWriteHandler(c->conn, sendReplyToClient) == AE_ERR) { freeClientAsync(c); } } listEmpty(server.clients_pending_write); /* Update processed count on server */ server.stat_io_writes_processed += processed; return processed; }
1、也是會將 client 分配給所有的 IO 線程;
2、忙輪詢,等待所有的線程將緩存中的數(shù)據(jù)寫回給客戶端,這里寫回操作使用的多線程;
3、最后再遍歷 clients_pending_write,為那些還殘留有響應(yīng)數(shù)據(jù)的 client 注冊命令回復(fù)處理器 sendReplyToClient,等待客戶端可寫之后在事件循環(huán)中繼續(xù)回寫殘余的響應(yīng)數(shù)據(jù)。
通過上面的分析可以得出結(jié)論,Redis 多IO線程中多線程的應(yīng)用
1、解析客戶端的命令的時候用到了多線程,但是對于客戶端命令的執(zhí)行,使用的還是單線程;
2、給客戶端回復(fù)數(shù)據(jù)的時候,使用到了多線程。
來總結(jié)下 Redis 中多線程的執(zhí)行過程
1、Redis Server 啟動后,主線程會啟動一個時間循環(huán)(Event Loop),持續(xù)監(jiān)聽事件;
2、client 到 server 的新連接,會調(diào)用 acceptTcpHandler 函數(shù),之后會注冊讀事件 readQueryFromClient 函數(shù),client 發(fā)給 server 的數(shù)據(jù),都會在這個函數(shù)處理;
3、客戶端發(fā)送給服務(wù)端的數(shù)據(jù),不會類似 6.0 之前的版本使用 socket 直接去讀,而是會將 client 放入到 clients_pending_read 中,里面保存了需要進行延遲讀操作的客戶端;
4、處理 clients_pending_read 的函數(shù) handleClientsWithPendingReadsUsingThreads,在每次事件循環(huán)的時候都會調(diào)用;
1、主線程會根據(jù) clients_pending_read 中客戶端數(shù)量對IO線程進行取模運算,取模的結(jié)果就是客戶端分配給對應(yīng)IO線程的編號;
2、忙輪詢,等待所有的線程完成讀取客戶端命令的操作,這一步用到了多線程的請求;
3、遍歷 clients_pending_read,執(zhí)行所有 client 的命令,這里就是在主線程中執(zhí)行的,命令的執(zhí)行是單線程的操作。
5、命令執(zhí)行完成以后,回復(fù)的內(nèi)容還是會被寫入到 client 的緩存區(qū)中,這些 client 和6.0之前的版本處理方式一樣,也是會被放入到 clients_pending_write(待寫回數(shù)據(jù)的客戶端);
6、6.0 對于clients_pending_write 的處理使用到了多線程;
1、也是會將 client 分配給所有的 IO 線程;
2、忙輪詢,等待所有的線程將緩存中的數(shù)據(jù)寫回給客戶端,這里寫回操作使用的多線程;
3、最后再遍歷 clients_pending_write,為那些還殘留有響應(yīng)數(shù)據(jù)的 client 注冊命令回復(fù)處理器 sendReplyToClient,等待客戶端可寫之后在事件循環(huán)中繼續(xù)回寫殘余的響應(yīng)數(shù)據(jù)。
通過上面的分析,我們知道,Redis 的主線程是單線程執(zhí)行的,所有 Redis 中的單命令,都是原子性的。
所以對于一些場景的操作盡量去使用 Redis 中單命令去完成,就能保證命令執(zhí)行的原子性。
比如對于上面的讀取-修改-寫回
操作可以使用 Redis 中的原子計數(shù)器, INCRBY(自增)、DECRBR(自減)、INCR(加1) 和 DECR(減1) 等命令。
這些命令可以直接幫助我們處理并發(fā)控制
127.0.0.1:6379> incr test-1 (integer) 1 127.0.0.1:6379> incr test-1 (integer) 2 127.0.0.1:6379> incr test-1 (integer) 3
分析下源碼,看看這個命令是如何實現(xiàn)的
// https://github.com/redis/redis/blob/6.2/src/t_string.c#L617 void incrCommand(client *c) { incrDecrCommand(c,1); } void decrCommand(client *c) { incrDecrCommand(c,-1); } void incrbyCommand(client *c) { long long incr; if (getLongLongFromObjectOrReply(c, c->argv[2], &incr, NULL) != C_OK) return; incrDecrCommand(c,incr); } void decrbyCommand(client *c) { long long incr; if (getLongLongFromObjectOrReply(c, c->argv[2], &incr, NULL) != C_OK) return; incrDecrCommand(c,-incr); }
可以看到 INCRBY(自增)、DECRBR(自減)、INCR(加1) 和 DECR(減1)這幾個命令最終都是調(diào)用的 incrDecrCommand
// https://github.com/redis/redis/blob/6.2/src/t_string.c#L579 void incrDecrCommand(client *c, long long incr) { long long value, oldvalue; robj *o, *new; // 查找有沒有對應(yīng)的鍵值 o = lookupKeyWrite(c->db,c->argv[1]); // 判斷類型,如果value對象不是字符串類型,直接返回 if (checkType(c,o,OBJ_STRING)) return; // 將字符串類型的value轉(zhuǎn)換為longlong類型保存在value中 if (getLongLongFromObjectOrReply(c,o,&value,NULL) != C_OK) return; // 備份舊的value oldvalue = value; // 判斷 incr 的值是否超過longlong類型所能表示的范圍 // 長度的范圍,十進制 64 位有符號整數(shù) if ((incr < 0 && oldvalue < 0 && incr < (LLONG_MIN-oldvalue)) || (incr > 0 && oldvalue > 0 && incr > (LLONG_MAX-oldvalue))) { addReplyError(c,"increment or decrement would overflow"); return; } // 計算新的 value值 value += incr; if (o && o->refcount == 1 && o->encoding == OBJ_ENCODING_INT && (value < 0 || value >= OBJ_SHARED_INTEGERS) && value >= LONG_MIN && value <= LONG_MAX) { new = o; o->ptr = (void*)((long)value); } else { new = createStringObjectFromLongLongForValue(value); // 如果之前的 value 對象存在 if (o) { // 重寫為 new 的值 dbOverwrite(c->db,c->argv[1],new); } else { // 如果之前沒有對應(yīng)的 value,新設(shè)置 value 的值 dbAdd(c->db,c->argv[1],new); } } // 進行通知 signalModifiedKey(c,c->db,c->argv[1]); notifyKeyspaceEvent(NOTIFY_STRING,"incrby",c->argv[1],c->db->id); server.dirty++; addReply(c,shared.colon); addReply(c,new); addReply(c,shared.crlf); }
感謝各位的閱讀,以上就是“Redis中命令的原子性是什么”的內(nèi)容了,經(jīng)過本文的學(xué)習(xí)后,相信大家對Redis中命令的原子性是什么這一問題有了更深刻的體會,具體使用情況還需要大家實踐驗證。這里是億速云,小編將為大家推送更多相關(guān)知識點的文章,歡迎關(guān)注!
免責(zé)聲明:本站發(fā)布的內(nèi)容(圖片、視頻和文字)以原創(chuàng)、轉(zhuǎn)載和分享為主,文章觀點不代表本網(wǎng)站立場,如果涉及侵權(quán)請聯(lián)系站長郵箱:is@yisu.com進行舉報,并提供相關(guān)證據(jù),一經(jīng)查實,將立刻刪除涉嫌侵權(quán)內(nèi)容。