如何理解阻塞和非阻塞同步和異步

同步與異步

同步和異步關注的是消息通信機制,所謂同步,就是在發出一個調用時,在沒有得到結果之前,該調用就不返回。但是一旦調用返回,就得到返回值了。換句話說,就是由調用者主動等待這個調用的結果。

而異步則是相反,調用在發出之後,這個調用就直接返回了,所以沒有返回結果。換句話說,當一個異步過程調用發出後,調用者不會立刻得到結果,而是在調用發出後,被調用者通過狀態,通知機制來通知調用者,或通過回調函數處理這個調用。

舉例:

你打電話問書店老闆有沒有《分佈式系統》這本書,如果是同步通信機制,書店老闆會說,你稍等,我去查一下,然後開始查啊查,等查好了(可能是5秒,也可能是一天)告訴你結果(返回結果)。

而異步通信機制,書店老闆直接告訴你我查一下,查好了打電話給你,然後直接掛電話了(不返回結果)。然後查好了,他會主動打電話給你,在這裏老闆通過回電這種方式來回調。


阻塞與非阻塞:

阻塞與非阻塞關注的是程序在等待調用結果(消息,返回值)時的狀態。

阻塞調用時指調用結果返回之前,當前線程被掛起。調用線程只有在得到結果之後纔會返回。

非阻塞調用時指在不能立刻得到結果之前,該調用不會阻塞當前線程。


還是上面的例子:

你打電話問書店老闆有沒有《分佈式系統》這本書,你如果是阻塞式調用,你會一直把自己掛起,直到得到這本書有沒有的結果,如果是非阻塞式調用,你不管老闆有沒有告訴你,你自己先一邊玩去了,當然你也要偶爾過幾分鐘check以下老闆有沒有返回結果。


在這裏阻塞與非阻塞與是否同步異步無關,跟老闆通過什麼方式回答你結果無關。


在處理IO的時候,阻塞和非阻塞都是同步IO

只有使用了特殊的API纔是異步IO


五種unix下可用的I/O模型:

阻塞是I/O:

非阻塞是I/O:

I/O複用:

信號驅動I/O

異步I/O(posis的aio系列函數)


阻塞是I/0模型:默認情況下,所有套接字都是阻塞的,一個輸入操作通常包括兩個不同階段:

1. 等待數據尊卑好

2. 從內核向進程複製數據

對於一個套接字上的輸入操作,第一步通常涉及等待數據從中到達。當所有等待分組到達時,它被複制到內核中的某個緩衝區中。第二步就是把數據從內核緩衝區複製到應用程序緩衝區中。下面以阻塞套接字的recvfrom的調用圖來說明阻塞。

 

標紅的這部分過程就是阻塞,直到阻塞結束recvfrom才能返回。


非阻塞式I/O:以下這句話很重要:進程把一個套接字設置成非阻塞是在通知內核,當所請求的I/O操作非得把本進程投入睡眠才能完成時,不要把進程投入睡眠,而是返回一個錯誤。看看非阻塞的套接字recvfrom操作如何進行的。

 

可以看出recvfrom總是立即返回。

/O多路複用:雖然I/O多路複用的函數也是阻塞的,但是其與以上兩種還是有不同的,I/O多路複用是阻塞在select,epoll這樣的系統調用之上,而沒有阻塞在真正的I/O系統調用如recvfrom之上。如圖

 

信號驅動式I/O:

 


異步I/O:這類函數的工作機制是告知內核啓動某個操作,並讓內核在整個操作(包括將數據從內核拷貝到用戶空間)完成後通知我們。如圖:

 

注意紅線標記處說明在調用時就可以立馬返回,等函數操作完成會通知我們。

等等,大家一定要問了,同步這個概念你怎麼沒涉及啊?別急,您先看總結。其實前四種I/O模型都是同步I/O操作,他們的區別在於第一階段,而他們的第二階段是一樣的:在數據從內核複製到應用緩衝區期間(用戶空間),進程阻塞於recvfrom調用。相反,異步I/O模型在這兩個階段都要處理。


阻塞與非阻塞的區別就是:是否會阻塞發起IO的process,同步與異步的區別就是process在發起IO後,內核準備好數據前,是否在做其他事情。但是non-blocking IO雖然沒有阻塞process,但是我覺着在process中non-blocking IO是在一個while循環中不停的發起IO,沒做其他事情,所以屬於同步IO。


首先一個IO操作其實分成了兩個步驟:發起IO請求和實際的IO操作,同步IO和異步IO的區別就在於第二個步驟是否阻塞,如果實際的IO讀寫阻塞請求進程,那麼就是同步IO,因此阻塞IO、非阻塞IO、IO服用、信號驅動IO都是同步IO,如果不阻塞,而是操作系統幫你做完IO操作再將結果返回給你,那麼就是異步IO。阻塞IO和非阻塞IO的區別在於第一步,發起IO請求是否會被阻塞,如果阻塞直到完成那麼就是傳統的阻塞IO,如果不阻塞,那麼就是非阻塞IO。


對unix來講:阻塞式I/O(默認),非阻塞式I/O(nonblock),I/O複用(select/poll/epoll)都屬於同步I/O,因爲它們在數據由內核空間複製回進程緩衝區時都是阻塞的(不能幹別的事)。只有異步I/O模型(AIO)是符合異步I/O操作的含義的,即在1數據準備完成、2由內核空間拷貝回緩衝區後通知進程,在等待通知的這段時間裏可以幹別的事。


老張愛喝茶,廢話不說,煮開水。

出場人物:老張,水壺兩把(普通水壺,簡稱水壺;會響的水壺,簡稱響水壺)。

1 老張把水壺放到火上,立等水開。(同步阻塞)

老張覺得自己有點傻

2 老張把水壺放到火上,去客廳看電視,時不時去廚房看看水開沒有。(同步非阻塞)

老張還是覺得自己有點傻,於是變高端了,買了把會響笛的那種水壺。水開之後,能大聲發出嘀~~~~的噪音。

3 老張把響水壺放到火上,立等水開。(異步阻塞)

老張覺得這樣傻等意義不大

4 老張把響水壺放到火上,去客廳看電視,水壺響之前不再去看它了,響了再去拿壺。(異步非阻塞)

老張覺得自己聰明瞭。



所謂同步異步,只是對於水壺而言。

普通水壺,同步;響水壺,異步。

雖然都能幹活,但響水壺可以在自己完工之後,提示老張水開了。這是普通水壺所不能及的。

同步只能讓調用者去輪詢自己(情況2中),造成老張效率的低下。


所謂阻塞非阻塞,僅僅對於老張而言。

立等的老張,阻塞;看電視的老張,非阻塞。

情況1和情況3中老張就是阻塞的,媳婦喊他都不知道。雖然3中響水壺是異步的,可對於立等的老張沒有太大的意義。所以一般異步是配合非阻塞使用的,這樣才能發揮異步的效用。


看電視節目的時候還要留神聽水壺聲,你確定這是非阻塞嗎?

分多一個線程用來等待響應,主線程可以處理其他響應先。



發表評論
所有評論
還沒有人評論,想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章