領導者/追隨者(Leader/Followers)模型和半同步/半異步(half-sync/half-async)模型都是常用的客戶-服務器編程模型.
這幾天翻了些文章,發現對領導者/追隨者模型說的比較少,下面就這個模型打個比方:
- 話說一個地方有一群有組織無紀律的人從事山賊這個很有前途的職業。
- 一般就是有一個山賊在山路口察看,其他人在林子里面睡覺。
- 假如發現有落單的過往客商,望風的山賊就會弄醒一個睡覺的山賊,然后自己去打劫。
- 醒來的山賊接替作望風的事情。
- 打劫的山賊搞定以后,就會去睡覺,直到被其他望風的山賊叫醒來望風為止。
- 有時候過往客商太多,而山賊數量不夠,有些客商就能僥幸平安通過山嶺(所有山賊都去打劫其他客商了)。
下面是這個模式的計算機版本:
- 有若干個線程(一般組成線程池)用來處理大量的事件
- 有一個線程作為領導者,等待事件的發生;其他的線程作為追隨者,僅僅是睡眠。
- 假如有事件需要處理,領導者會從追隨者中指定一個新的領導者,自己去處理事件。
- 喚醒的追隨者作為新的領導者等待事件的發生。
- 處理事件的線程處理完畢以后,就會成為追隨者的一員,直到被喚醒成為領導者。
- 假如需要處理的事件太多,而線程數量不夠(能夠動態創建線程處理另當別論),則有的事件可能會得不到處理。
這個模型其實并不難于理解,但是我想假如是中國人給起的名字的話,也許會叫作 "皇帝輪流做,今年到我家" 模型更加貼切,因為領導者追隨者之間是一種平等的關系。這不符合大部分人對于"領導者-追隨者"的通常意義的理解。說句實話,個人認為半同步/半異步模型叫做"領導者-追隨者'更加適合,不相信可以看看例子:
- 話說一個地方有一群有組織無紀律的人從事山賊這個很有前途的職業。
- 他們有一個山賊頭頭,他專門負責望風,其他的嘍羅待命。
- 假如發現有落單的過往客商,山賊頭頭會到路口攔路,讓客商雙手抱頭蹲在地上,然后讓一個小嘍羅為這個倒霉鬼"服務"。
- 假如客商很多,山賊頭頭會讓客商在地上蹲成一排(嚴肅點,排隊啦,打劫啦)。 一群小嘍羅挨個為大家"服務"。
- 頭頭的工作很重要,對于每個客商他都不會花費太多時間,攔路以后,他會讓客商排隊等待打劫。
- 過往客商太多而山賊數量不夠,客商的排隊可能需要等待較長的時間。
這個就是半同步/半異步模型的比喻,可以參考一下 http://www.javaeye.com/article/60414
大家可以看到這兩個模式之間的區別,最顯著的,就是半同步/半異步模型擁有一個顯式的待處理事件隊列,而領導者-追隨者模型沒有一個顯式的隊列(很多IO機制操作系統一般會有一個隱式的隊列)。因為這個事件隊列,半同步/半異步模型可以獲得處理上的靈活性,但是因為上下文的切換,效率上卻比領導者-追隨者模型稍有不及。
BTW,昨晚試驗live writer,結果這個軟件自動post了一篇blog,而我一時半會沒有發現,望大家海涵阿。說句實話,覺得這個軟件雖然不錯,但是不是太適應中國國情阿,國內大部分blog都沒法支持,csdn的支持也不是很好,居然上傳不了圖片,本來想以后可以寫文章同時發到多個blog,看來是不現實了。