同步/異步與阻塞/非阻塞的差別

1.同步和一部的差別

   首先來解釋同步和異步的概念,這兩個概念與消息的通知機制有關.

舉個例子,比如我去銀行辦理業務,可能選擇排隊等候,也可能取一個小紙條上面有我的号碼,等到排到我這一号時由櫃台的人通知我輪到我去辦理業務了.

前者(排隊等候)就是同步等待消息,而後者(等待别人通知)就是異步等待消息.在異步消息進行中,等待消息者(在這個例子中就是等待辦理業務的人)往往注冊一個回調機制,在所等待的事件被觸發時由觸發機制(在這裡是櫃台的人)通過某種機制(在這裡是寫在小紙條上的号碼)找到等待該事件的人.

而在實際的程式中,同步消息處理就好比簡單的read/write操作,它們需要等待這兩個操作成功才能傳回;而異步處理機制就是類似于select/poll之類的多路複用IO操作,當所關注的消息被觸發時,由消息觸發機制通知觸發對消息的處理.

2.其次再來解釋一下阻塞和非阻塞,這兩個概念與程式等待消息(無所謂同步或者異步)時的狀态有關.

繼續上面的那個例子,不論是排隊還是使用号碼等待通知,如果在這個等待的過程中,等待者除了等待消息之外不能做其它的事情,那麼該機制就是阻塞的,表現在程式中,也就是該程式一直阻塞在該函數調用處不能繼續往下執行.相反,有的人喜歡在銀行辦理這些業務的時候一邊打打電話發發短信一邊等待,這樣的狀态就是非阻塞的,因為他(等待者)沒有阻塞在這個消息通知上,而是一邊做自己的事情一邊等待。

但是需要注意了,第一種同步非阻塞形式實際上是效率低下的,想象一下你一邊打着電話一邊還需要擡頭看到底隊伍排到你了沒有,如果把打電話和觀察排隊的位置看成是程式的兩個操作的話,這個程式需要在這兩種不同的行為之間來回的切換,效率可想而知是低下的;而後者,異步非阻塞形式卻沒有這樣的問題,因為打電話是你(等待者)的事情,而通知你則是櫃台(消息觸發機制)的事情,程式沒有在兩種不同的操作中來回切換.

很多人又會問了,異步操作不會是阻塞的吧?已經通知了有消息可以處理了就一定不是阻塞的了吧?

其實異步操作是可以被阻塞住的,隻不過通常不是在處理消息時阻塞,而是在等待消息被觸發時被阻塞.比如select函數,假如傳入的最後一個timeout參數為NULL,那麼如果所關注的事件沒有一個被觸發,程式就會一直阻塞在這個select調用處.而如果使用異步非阻塞的情況,比如aio_*組的操作,當我發起一個aio_read操作時,函數會馬上傳回不會被阻塞,當所關注的事件被觸發時會調用之前注冊的回調函數進行處理,具體可以參見我上面的連接配接給出的那篇文章.回到上面的例子中,如果在銀行等待辦理業務的人采用的是異步的方式去等待消息被觸發,也就是領了一張小紙條,假如在這段時間裡他不能離開銀行做其它的事情,那麼很顯然,這個人被阻塞在了這個等待的操作上面;但是呢,這個人突然發覺自己煙瘾犯了,需要出去抽根煙,于是他告訴大堂經理說,排到我這個号碼的時候麻煩到外面通知我一下(注冊一個回調函數),那麼他就沒有被阻塞在這個等待的操作上面,自然這個就是異步+非阻塞的方式了.