冒號課堂
第二課 重要范式(4）
2.4并發(fā)范式——合作與競爭
在合作中競爭，在競爭中合作 ——《競合》
關(guān)鍵詞：編程范式,并發(fā)式編程,線程,進(jìn)程,過程式,函數(shù)式,邏輯式,對象式
摘要：并發(fā)式編程簡談
？提問
- 并發(fā)式編程有何特點(diǎn)？
- 并發(fā)式編程有哪些好處？
- 合理的并發(fā)式編程設(shè)計應(yīng)滿足哪些條件？
：講解
逗號好奇地問：“還有其他類型的編程范式嗎？”
“不但有，而且有很多。”冒號喝了一口水，悠悠地說，“并發(fā)式編程（concurrent programming）就是其中之一。”
嘆號有些驚訝：“并發(fā)式編程也算一種范式？它似乎更像是提供運(yùn)行效率的一種手段。”
“大謬不然。”冒號搖搖頭，“真正的并發(fā)式編程，絕不只是調(diào)用線程[1]API或使用synchronized、lock之類的關(guān)鍵字那么簡單。從宏觀的架構(gòu)設(shè)計，到微觀的數(shù)據(jù)結(jié)構(gòu)、流程控制乃至算法，相比通常的串行式編程都可能發(fā)生變化。隨著硬件性能和用戶需求的雙重提升，并發(fā)式編程已成為不可回避的主題。毫不夸張地說，并發(fā)式編程是繼OOP之后又一場思想和技術(shù)上的革命。只是相比OOP，盡管年齡相仿，但語言上不夠支持，標(biāo)準(zhǔn)上不夠統(tǒng)一，理論上不夠完善，因而這場革命更具破壞性和建設(shè)性。現(xiàn)在我們來看一個例子，比較兩種燒水泡茶的方案。”
說著冒號在黑板上寫下——
方案一：洗茶杯；放茶葉；灌水壺；燒水；水開后泡茶。
方案二：灌水壺；在燒水的同時，洗茶杯；放茶葉；水開后泡茶。
引號見多識廣：“我記得這好像是運(yùn)籌學(xué)中的例子，顯然方案二更佳。從編程的角度來看，方案一是串行式編程，方案二是并發(fā)式編程——燒水的線程與洗茶杯放茶葉的線程是同時進(jìn)行的。”
“如果方案一也用并發(fā)式編程呢？”冒號追問。
引號一愣，隨即道：“必須先洗茶杯后放茶葉，洗茶杯放茶葉的同時也沒法燒水，至于泡茶，更得等水開之后了。”
句號明白了冒號的用意：“這就是說，單憑并發(fā)式編程并不能保證提高程序性能，還必須在程序設(shè)計上下功夫。”
問號繼續(xù)深究：“即便如此，如果硬件不支持，并發(fā)式編程也未必能提高效率啊。比如在一臺單處理器的主機(jī)上，多個線程只能是模擬的、邏輯上的并行，而非真正物理上的并行。”
“這話有一定道理。”冒號有限度地表示贊同，“但設(shè)計者應(yīng)該未雨綢繆，總不能等到有了多處理器才想到并發(fā)式編程吧？再者，沒有多處理器，是不是可以利用多臺單處理器的主機(jī)同時運(yùn)算呢？退一步講，即使在一臺單處理器的情況下，并發(fā)式編程同樣可能提高性能。最典型的一個例子：當(dāng)一個線程因為等待某種資源而被堵塞時，可以切換到其他線程而不至讓CPU閑置。更重要的一點(diǎn)是，難道除了縮短程序運(yùn)行時間外，并發(fā)式編程就沒有別的好處嗎？譬如打開一個網(wǎng)頁，你是希望瀏覽器邊下載邊顯示網(wǎng)頁呢，還是下載完成后再顯示？”
“當(dāng)然是邊下載邊顯示啦。” 嘆號毫不猶豫地說，“如果每個網(wǎng)頁都是下載完成后再顯示，那還不把人給憋壞了！”
逗號加了一句：“瀏覽器加載文字和加載圖像也應(yīng)分開在不同的線程，如果用戶對文字部分不感興趣，不等圖像顯示就可直接關(guān)閉網(wǎng)頁了。”
“如果網(wǎng)頁被提前關(guān)閉，那也是假用戶之手變相縮短了程序運(yùn)行時間。”冒號接過話來，“還有一個常見的例子，包括瀏覽器在內(nèi)的許多應(yīng)用軟件在運(yùn)行中都會顯示一個進(jìn)程條。該進(jìn)程條的更新需要一個單獨(dú)的線程，從效率上看它起的作用是負(fù)面的，但大大提高了用戶體驗，是軟件人性化的表現(xiàn)。再舉一例，媒體播放器一般都會提供暫停、快進(jìn)、倒退、快放、慢放等按鈕，如果不采用多線程，它們將形同虛設(shè)。此處并發(fā)式編程的作用在于提高了軟件的響應(yīng)能力，也改善了用戶體驗——有誰愿意駕駛一輛啟動后不能剎車、不能倒車、不能變速、油盡方停的汽車呢？”
“豈止是不愿意，簡直是恐怖！”嘆號加重了語氣。
“對于操作系統(tǒng)、各種實(shí)時系統(tǒng)和諸如數(shù)據(jù)庫、網(wǎng)絡(luò)服務(wù)器等基于服務(wù)的系統(tǒng)來說，在響應(yīng)用戶請求的時間上和資源的合理分配上有著極高的要求，并發(fā)式編程更是不可或缺。”句號接著補(bǔ)充。
問號隨即又問：“并發(fā)式編程還有其他用處嗎？”
冒號應(yīng)道：“不同編程范式采用不同的視角和方法來設(shè)計和開發(fā)軟件。并發(fā)式編程以進(jìn)程為導(dǎo)向（Process-Oriented）、以任務(wù)為中心將系統(tǒng)模塊化。我們都知道，模塊化在編程中是個好東西。”
引號心存疑惑：“過程式中引入了函數(shù)模塊，對象式中引入了對象模塊，但并發(fā)式似乎沒有在語法上引入新型模塊，比如C和Java中的線程其實(shí)不過是函數(shù)或方法的包裝而已。”
“我猜你的意思是：在定義一個線程之前，其主函數(shù)已經(jīng)模塊化了，不能把功勞記在并發(fā)式編程上，對吧？”冒號笑問，“你不能孤立靜止地看待每個模塊，還要考慮到模塊之間的相互關(guān)聯(lián)和作用。相比串行式，并發(fā)式在模塊之間引入了新的通訊和控制方式。也就是說，原先的一些模塊的定義和劃分一定是建立在線程機(jī)制的基礎(chǔ)上的。如果失去線程的支持，它們的合理性自然會打上問號，說不定整體設(shè)計都會受到牽連。這也體現(xiàn)了編程范式的滲透性和全局影響力。”
教室上空彌漫的疑云一消而散。
冒號進(jìn)一步指出：“除了用戶主觀上的需求和硬件客觀上的可能外，并發(fā)式顯得格外重要的另一深層原因是：許多程序是現(xiàn)實(shí)世界的模擬，而我們生活的世界不折不扣是并發(fā)式的。從某種意義上看，并發(fā)式的模擬比對象式的模擬更貼近世界。”
引號再次提問：“并發(fā)式編程在設(shè)計上有什么要求？”
“并發(fā)式編程以資源共享與競爭為主線——又是對當(dāng)今世界形勢的一個逼真模擬。這意味著程序設(shè)計將圍繞進(jìn)程的劃分與調(diào)度、進(jìn)程之間的通訊與同步等等來展開。合理的并發(fā)式設(shè)計需要諸多方面的權(quán)衡考量。”冒號說著，放出一段幻燈片——
- 軟件易于重用、維護(hù)、測試
- 公平有效地利用資源，優(yōu)化程序性能如增大吞吐量、減少響應(yīng)時間、提高效率等
- 保障進(jìn)程安全，防止競態(tài)條件（Race Condition）
- 保持進(jìn)程活性，避免死鎖、饑餓、活鎖、資源枯竭等
- 減少鎖開銷、上下文切換等帶來的性能損失
- 妥善處理多進(jìn)程在算法、調(diào)試等方面帶來的復(fù)雜性
嘆號蹙眉：“并發(fā)式編程好是好，就是太復(fù)雜。”
“天下沒有免費(fèi)的午餐。有所得，必有所失。” 冒號淡淡地說，“并發(fā)式編程當(dāng)然不容易，但也并非難以掌握。最重要的是，作為一個程序員，你不得不面對它。即使你不直接用并發(fā)式編程，你依賴的代碼和依賴你的代碼也可能用到；即使現(xiàn)在沒有用并發(fā)式，將來也可能用到。如果采取避而不理的鴕鳥政策，早晚會被人點(diǎn)中你的死穴。雖然目前不會對并發(fā)式編程作更深入的探討，但希望能引起你們足夠的重視。”
句號談及他的感受：“相比OOP在語言上得到的支持，并發(fā)式的支持力度好像很不夠。”
冒號點(diǎn)頭稱是：“這是由并發(fā)式的復(fù)雜性和成熟度決定的。另外，在究竟是在語言級別上支持并發(fā)、還是交由操作系統(tǒng)處理的問題上，仁者見仁，智者見智。Ada、Java和C#等選擇前者，在語法上對并發(fā)式編程有一定的支持；C和C++等選擇后者，除了關(guān)鍵字volatile外，主要靠庫函數(shù)支持。專門為并發(fā)式而設(shè)計的語言大多僅限于學(xué)術(shù)研究而非商業(yè)應(yīng)用，Erlang語言[2]是少數(shù)的例外。順帶提一下，前面提到的聲明式語言具有無副作用的特性，尤其適合于并發(fā)式編程。”
問號提了一個聽似奇怪的問題：“并發(fā)式與前面提到的對象式有無共通之處？”
“并發(fā)式與對象式雖是互相正交的兩種范式，倒真有些相通呢。”冒號回答，“它們均與三大核心范式正交，并且越來越廣泛地向它們滲透著；均為傳統(tǒng)編程的一種推廣——并發(fā)式進(jìn)程的個數(shù)為一時即為傳統(tǒng)的串行式編程，對象的方法個數(shù)為為零即為傳統(tǒng)的數(shù)據(jù)類型；均將整個程序系統(tǒng)分解為若干獨(dú)立的子系統(tǒng)，不同的是一個以任務(wù)為單位，一個以對象為單位；子系統(tǒng)之間均能交流與合作，不同的是一個以競爭為主題，一個以服務(wù)為主題。如果將程序系統(tǒng)視作公司，那么并發(fā)式系統(tǒng)是產(chǎn)品型公司，每個進(jìn)程是一名工人，其職責(zé)是執(zhí)行單一任務(wù)；對象式系統(tǒng)是服務(wù)型公司，每個對象是一名服務(wù)員，其職責(zé)是提供系列服務(wù)。由此可見，一名優(yōu)秀的程序設(shè)計師也應(yīng)該是一名優(yōu)秀的管理者。”
句號提出：“迄今為止我們談到了五種范式，能否對它們簡單概括一下？”
“你提問的時機(jī)把握得不錯嘛。”冒號開始如數(shù)家珍，“為便于記憶，我們不妨用‘一二三四五’來概括編程范式之最：最傳統(tǒng)的一個是命令式；最基本的兩個是命令式和聲明式；最核心的三個是命令式、函數(shù)式和邏輯式；最主要的四個是命令式、函數(shù)式、邏輯式和對象式；最重要的五個是命令式、函數(shù)式、邏輯式、對象式和并發(fā)式。最后，我們來對比一下五大范式。”
少頃，黑板上出現(xiàn)幾行排比句——
過程式：以過程為模塊的君主體系，模塊之間互相授命與聽命
函數(shù)式：以函數(shù)為模塊的數(shù)學(xué)體系，模塊之間互相替換與合成
邏輯式：以斷言為模塊的邏輯體系，模塊之間互相歸納與演繹
對象式：以對象為模塊的民主體系，模塊之間互相交流與服務(wù)
并發(fā)式：以進(jìn)程為模塊的生產(chǎn)體系，模塊之間互相競爭與合作
“說回并發(fā)式編程，它要求我們擺脫以往習(xí)慣的按部就班的思維方式，對編程提出了更高的挑戰(zhàn)。程序世界與現(xiàn)實(shí)世界一樣，呈百舸爭流、千帆競發(fā)之勢，不進(jìn)則退?。?#8221;言訖，冒號宣布，“第二堂課到此為止，歡迎下次光臨。”
，插語
[1] 并發(fā)式編程中以進(jìn)程（process）或線程（thread）為基本單位。盡管它們有很大的差異，但為簡明起見，這里不加區(qū)分地交替使用兩個術(shù)語。
[2] Erlang是由愛立信開發(fā)的一種通用編程語言，支持函數(shù)式和并發(fā)式。
。總結(jié)
· 并發(fā)式編程以進(jìn)程為導(dǎo)向、以任務(wù)為中心、以資源共享與競爭為主線。
· 并發(fā)式編程有助于提高運(yùn)行效率、充分利用資源、提高軟件的響應(yīng)能力、改善用戶體驗，同時以進(jìn)程為單位將系統(tǒng)模塊化，更加真實(shí)地模擬現(xiàn)實(shí)世界。
· 合理的并發(fā)式設(shè)計應(yīng)該做到：軟件易于重用、維護(hù)和測試；有效地利用資源，優(yōu)化程序性能；保障進(jìn)程安全和活性；減少性能損失和復(fù)雜度。
· 對象式和并發(fā)式在傳統(tǒng)編程的基礎(chǔ)上，分別從不同的方向進(jìn)行拓展：對象式在數(shù)據(jù)類型上進(jìn)行推廣——允許運(yùn)算作為數(shù)據(jù)類型的成員；并發(fā)式在執(zhí)行順序上進(jìn)行推廣——允許不同運(yùn)算的執(zhí)行在時間上交替或者重合。它們與三大核心范式一道，組成了最重要的五大編程范式。
· 五大重要范式對比：
|
范式
|
體系
|
模塊
|
模塊關(guān)系
|
|
過程式
|
君主體系
|
過程
|
授命與聽命
|
|
函數(shù)式
|
數(shù)學(xué)體系
|
函數(shù)
|
替換與合成
|
|
邏輯式
|
邏輯體系
|
斷言
|
歸納與演繹
|
|
對象式
|
民主體系
|
對象
|
交流與服務(wù)
|
|
并發(fā)式
|
生產(chǎn)體系
|
進(jìn)程
|
競爭與合作
|
“”參考
[1] Abraham Silberschatz，Peter Galvin．Operating System Concepts，5ed.．Reading,MA：Addison-Wesley，1998．155-235
課后思考
· 在你所掌握的語言當(dāng)中，有哪些是命令式的？哪些是聲明式的？其中，命令式語言里有哪些聲明式的特征？聲明式的語言里有哪些命令式的特征？它們各自有哪些優(yōu)點(diǎn)和缺點(diǎn)？
· 你編寫的程序符合結(jié)構(gòu)化編程的原則嗎？
· 你接觸過函數(shù)式語言和邏輯式語言嗎？如果沒有，試著閱讀相關(guān)的入門書籍，體會它們與過程式迥然不同的風(fēng)味。（函數(shù)式語言推薦Haskell和 Scheme，邏輯式語言推薦Prolog）
· 相比純過程式的編程語言（如C語言），你認(rèn)為OO語言主要有哪些優(yōu)勢？又有哪些劣勢？
· 你認(rèn)為在并發(fā)式編程設(shè)計中，最重要的是什么？最困難的是什么？