大家好，我是魚(yú)皮，今天分享一篇關(guān)于協(xié)程作用的文章。
假設(shè)磁盤(pán)上有10個(gè)文件，你需要讀取的內(nèi)存，那么你該怎么用代碼實(shí)現(xiàn)呢？
在接著往下看之前，先自己想一想這個(gè)問(wèn)題，看看自己能想出幾種方法，各自有什么樣的優(yōu)缺點(diǎn)。想清楚了嗎(還在看嗎)，想清楚了我們繼續(xù)往下看。這可能是大多數(shù)同學(xué)都能想到的最簡(jiǎn)單方法，那就是一個(gè)一個(gè)的讀取，讀完一個(gè)接著讀下一個(gè)。for file in files: result = file.read() process(result)
是不是非常簡(jiǎn)單，我們假設(shè)每個(gè)文件讀取需要1分鐘，那么10個(gè)文件總共需要10分鐘才能讀取完成。實(shí)際上這種方法只有一個(gè)問(wèn)題，那就是慢。代碼簡(jiǎn)單，容易理解
可維護(hù)性好，這代碼交給誰(shuí)都能維護(hù)的了(論程序員的核心競(jìng)爭(zhēng)力在哪里)
有的同學(xué)可能已經(jīng)想到了，為啥要一個(gè)一個(gè)讀取呢？并行讀取不就可以加快速度了嗎。顯然，地球人都知道，線程就是用來(lái)并行的。我們可以同時(shí)開(kāi)啟10個(gè)線程，每個(gè)線程中讀取一個(gè)文件。def read_and_process(file): result = file.read() process(result)
def main(): files = [fileA，fileB，fileC......] for file in files: create_thread(read_and_process, file).run()
在開(kāi)啟10個(gè)線程這種問(wèn)題規(guī)模下沒(méi)有問(wèn)題。現(xiàn)在我們把問(wèn)題難度加大，假設(shè)有10000個(gè)文件，需要處理該怎么辦呢？有的同學(xué)可能想10個(gè)文件和10000個(gè)文件有什么區(qū)別嗎，直接創(chuàng)建10000個(gè)線程去讀不可以嗎？實(shí)際上這里的問(wèn)題其實(shí)是說(shuō)創(chuàng)建多個(gè)線程有沒(méi)有什么問(wèn)題。我們知道，雖然線程號(hào)稱“輕量級(jí)進(jìn)程”，雖然是輕量級(jí)但當(dāng)數(shù)量足夠可觀時(shí)依然會(huì)有性能問(wèn)題。創(chuàng)建線程需要消耗系統(tǒng)資源，像內(nèi)存等(想一想為什么？)
調(diào)度開(kāi)銷，尤其是當(dāng)線程數(shù)量較多且都比較繁忙時(shí)(同樣想一想為什么？)
創(chuàng)建多個(gè)線程不一定能加快I/O(如果此時(shí)設(shè)備處理能力已經(jīng)飽和)
既然線程有這樣那樣的問(wèn)題，那么還有沒(méi)有更好的方法？這里的答案就是基于事件驅(qū)動(dòng)編程技術(shù)。沒(méi)錯(cuò)，即使在單個(gè)線程中，使用事件驅(qū)動(dòng)+異步也可以實(shí)現(xiàn)IO并行處理，Node.js就是非常典型的例子。相對(duì)于CPU的處理速度來(lái)說(shuō)，IO是非常慢的
IO不怎么需要計(jì)算資源
因此，當(dāng)我們發(fā)起IO操作后為什么要一直等著IO執(zhí)行完成呢？在IO執(zhí)行完之前的這段時(shí)間處理其它IO難道不香嗎？這就是為什么單線程也可以并行處理多個(gè)IO的本質(zhì)所在。回到我們的例子，該怎樣用事件驅(qū)動(dòng)+異步來(lái)改造上述程序呢？首先我們需要?jiǎng)?chuàng)建一個(gè)event loop，這個(gè)非常簡(jiǎn)單：然后，我們需要往event loop中加入原材料，也就是需要監(jiān)控的event，就像這樣：def add_to_event_loop(event_loop, file): file.asyn_read() event_loop.add(file)
注意當(dāng)執(zhí)行file.asyn_read這行代碼時(shí)會(huì)立即返回，不會(huì)阻塞線程，當(dāng)這行代碼返回時(shí)可能文件還沒(méi)有真正開(kāi)始讀取，這就是所謂的異步。file.asyn_read這行代碼的真正目的僅僅是發(fā)起IO，而不是等待IO執(zhí)行完成。此后我們將該IO放到event loop中進(jìn)行監(jiān)控，也就是event_loop.add(file)這行代碼的作用。一切準(zhǔn)備就緒，接下來(lái)就可以等待event的到來(lái)了：while event_loop: file = event_loop.wait_one_IO_ready() process(file.result)
我們可以看到，event_loop會(huì)一直等待直到有文件讀取完成（event_loop.wait_one_IO_ready()），這時(shí)我們就能得到讀完的文件了，接下來(lái)處理即可。 def add_to_event_loop(event_loop, file): file.asyn_read() event_loop.add(file)
def main(): files = [fileA，fileB，fileC ...] event_loop = EventLoop() for file in files: add_to_event_loop(event_loop, file) while event_loop: file = event_loop.wait_one_IO_ready() process(file.result)
接下來(lái)我們看下程序執(zhí)行的效果。在多線程情況下，假設(shè)有10個(gè)文件，每個(gè)文件讀取需要1秒，那么很簡(jiǎn)單，并行讀取10個(gè)文件需要1秒。那么對(duì)于單線程+event loop呢？我們?cè)俅慰聪耬vent loop + 異步版本的代碼：def add_to_event_loop(event_loop, file): file.asyn_read() event_loop.add(file)
def main(): files = [fileA，fileB，fileC......] event_loop = EventLoop() for file in files: add_to_event_loop(event_loop, file) while event_loop: file = event_loop.wait_one_IO_ready() process(file.result)
對(duì)于add_to_event_loop，由于文件異步讀取，因此該函數(shù)可以瞬間執(zhí)行完成，真正耗時(shí)的函數(shù)其實(shí)就是event loop的等待函數(shù)，也就是這樣：file = event_loop.wait_one_IO_ready()
我們知道，一個(gè)文件的讀取耗時(shí)是1秒，因此該函數(shù)在1s后才能返回，但是，但是，接下來(lái)是重點(diǎn)。但是雖然該函數(shù)wait_one_IO_ready會(huì)等待1s，不要忘了，我們利用這兩行代碼同時(shí)發(fā)起了10個(gè)IO操作請(qǐng)求。for file in files: add_to_event_loop(event_loop, file)
因此在event_loop.wait_one_IO_ready等待的1s期間，剩下的9個(gè)IO也完成了，也就是說(shuō)event_loop.wait_one_IO_ready函數(shù)只是在第一次循環(huán)時(shí)會(huì)等待1s，但是此后的9次循環(huán)會(huì)直接返回，原因就在于剩下的9個(gè)IO也完成了。因此整個(gè)程序的執(zhí)行耗時(shí)也是1秒。是不是很神奇，我們只用一個(gè)線程就達(dá)到了10個(gè)線程的效果。一個(gè)好聽(tīng)的名字：Reactors模式
本質(zhì)上，我們上述給出的event loop簡(jiǎn)單代碼片段做的事情本質(zhì)上和生物一樣：這本質(zhì)上就是所謂的Reactors模式。現(xiàn)在你應(yīng)該明白所謂的Reactors模式是怎么一回事了吧。所謂的一些看上去復(fù)雜的異步框架其核心不過(guò)就是這里給出的代碼片段，只是這些框架可以支持更加復(fù)雜的多階段任務(wù)處理以及各種類型的IO。而我們這里給出的代碼片段只能處理文件讀取這一類IO。如果我們需要處理各種類型的IO上述代碼片段會(huì)有什么問(wèn)題嗎？問(wèn)題就在于上述代碼片段就不會(huì)這么簡(jiǎn)單了，針對(duì)不同類型會(huì)有不同的處理方法，因此上述process方法需要判斷IO類型然后有針對(duì)性的處理，這會(huì)使得代碼越來(lái)越復(fù)雜，越來(lái)越難以維護(hù)。我們可以把IO完成后的處理任務(wù)封裝到回調(diào)函數(shù)中，然后和IO一并注冊(cè)到event loop。def IO_type_1(event_loop, io): io.start() def callback(result): process_IO_type_1(result) event_loop.add((io, callback))
這樣，event_loop在檢測(cè)到有IO完成后就可以把該IO和關(guān)聯(lián)的callback處理函數(shù)一并檢索出來(lái)，直接調(diào)用callback函數(shù)就可以了。while event_loop: io, callback = event_loop.wait_one_IO_ready() callback(io.result)
看到了吧，這樣event_loop內(nèi)部就極其簡(jiǎn)潔了，even_loop根本就不關(guān)心該怎么處理該IO結(jié)果，這是注冊(cè)的callback該關(guān)心的事情，event_loop需要做的僅僅就是拿到event以及相應(yīng)的處理函數(shù)callback，然后調(diào)用該callback函數(shù)就可以了。現(xiàn)在我們可以同單線程來(lái)并發(fā)編程了，也使用callback對(duì)IO處理進(jìn)行了抽象，使得代碼更加容易維護(hù)，想想看還有沒(méi)有什么問(wèn)題？雖然回調(diào)函數(shù)使得event loop內(nèi)部更加簡(jiǎn)潔，但依然有其它問(wèn)題，讓我們來(lái)仔細(xì)看看回調(diào)函數(shù)：def start_IO_type_1(event_loop, io): io.start() def callback(result): process_IO_type_1(result) event_loop.add((io, callback))
在上述代碼中，一次IO處理過(guò)程被分為了兩部分：發(fā)起IO
IO處理
其中第2部分放到了回調(diào)函數(shù)中，這樣的異步處理天然不容易理解，這和我們熟悉的發(fā)起IO，等待IO完成、處理IO結(jié)果的同步模塊有很大差別。這里的給的例子很簡(jiǎn)單，所以你可能不以為意，但是當(dāng)處理的任務(wù)非常復(fù)雜時(shí)，可能會(huì)出現(xiàn)回調(diào)函數(shù)中嵌套回調(diào)函數(shù)，也就是回調(diào)地獄，這樣的代碼維護(hù)起來(lái)會(huì)讓你懷疑為什么要稱為一名苦逼的碼農(nóng)。讓我們?cè)賮?lái)仔細(xì)的看看問(wèn)題出在了哪里？同步編程模式下很簡(jiǎn)單，但是同步模式下發(fā)起IO，線程會(huì)被阻塞，這樣我們就不得不創(chuàng)建多個(gè)線程，但是創(chuàng)建過(guò)多線程又會(huì)有性能問(wèn)題。這樣為了發(fā)起IO后不阻塞當(dāng)前線程我們就不得不采用異步編程+event loop。在這種模式下，異步發(fā)起IO不會(huì)阻塞調(diào)用線程，我們可以使用單線程加異步編程的方法來(lái)實(shí)現(xiàn)多線程效果，但是在這種模式下處理一個(gè)IO的流程又不得不被拆分成兩部分，這樣的代碼違反程序員直覺(jué)，因此難以維護(hù)。那么很自然的，有沒(méi)有一種方法既能有同步編程的簡(jiǎn)單理解又會(huì)有異步編程的非阻塞呢？利用協(xié)程我可以以同步的形式來(lái)異步編程。我們之所以采用異步編程是為了發(fā)起IO后不阻塞當(dāng)前線程，而是用協(xié)程，程序員可以自行決定在什么時(shí)刻掛起當(dāng)前協(xié)程，這樣也不會(huì)阻塞當(dāng)前線程。而協(xié)程最棒的一點(diǎn)就在于掛起后可以暫存執(zhí)行狀態(tài)，恢復(fù)運(yùn)行后可以在掛起點(diǎn)繼續(xù)運(yùn)行，這樣我們就不再需要像回調(diào)那樣將一個(gè)IO的處理流程拆分成兩部分了。因此我們可以在發(fā)起異步IO，這樣不會(huì)阻塞當(dāng)前線程，同時(shí)在發(fā)起異步IO后掛起當(dāng)前協(xié)程，當(dāng)IO完成后恢復(fù)該協(xié)程的運(yùn)行，這樣我們就可以實(shí)現(xiàn)同步的方式來(lái)異步編程了。接下來(lái)我們就用協(xié)程來(lái)改造一下回調(diào)版本的IO處理方式：def start_IO_type_1(io): io.start() yield process_IO_type_1(result)
此后我們要把該協(xié)程放到event loop中監(jiān)控起來(lái)：def add_to_event_loop(io, event_loop): coroutine = start_IO_type_1(io) next(coroutine) event_loop.add(coroutine)
最后，當(dāng)IO完成后event loop檢索出相應(yīng)的協(xié)程并恢復(fù)其運(yùn)行：while event_loop: coroutine = event_loop.wait_one_IO_ready() next(coroutine)
現(xiàn)在你應(yīng)該看出來(lái)了吧，上述代碼中沒(méi)有回調(diào)，也沒(méi)有把處理IO的流程拆成兩部分，整體的代碼都是以同步的方式來(lái)編寫(xiě)，最棒的是依然能達(dá)到異步的效果。實(shí)際上你會(huì)看到，采用協(xié)程后我們依然需要基于事件編程的event loop，因?yàn)楸举|(zhì)上協(xié)程并沒(méi)有改變IO的異步處理本質(zhì)，只要IO是異步處理的那么我們就必須依賴event loop來(lái)監(jiān)控IO何時(shí)完成，只不過(guò)我們采用協(xié)程消除了對(duì)回調(diào)的依賴，整體編程方式上還是采用程序員最熟悉也最容易理解的同步方式。看上去簡(jiǎn)簡(jiǎn)單單的IO實(shí)際上一點(diǎn)都不簡(jiǎn)單吧。為了高效進(jìn)行IO操作，我們采用的技術(shù)是這樣演進(jìn)的：單線程串行 + 阻塞式IO(同步)
多線程并行 + 阻塞式IO(并行)
單線程 + 非阻塞式IO(異步) + event loop
單線程 + 非阻塞式IO(異步) + event loop + 回調(diào)
Reactor模式(更好的單線程 + 非阻塞式IO+ event loop + 回調(diào))
單線程 + 非阻塞式IO(異步) + event loop + 協(xié)程
最終我們采用協(xié)程技術(shù)獲取到了異步編程的高效以及同步編程的簡(jiǎn)單理解，這也是當(dāng)今高性能服務(wù)器常用的一種技術(shù)組合。希望這篇文章能對(duì)你理解高效IO有所幫助。
以上就是本期分享了。
最后,歡迎加入 魚(yú)皮的編程知識(shí)星球（點(diǎn)擊了解詳情），和 8500 多名小伙伴們一起交流學(xué)習(xí)，向魚(yú)皮和大廠同學(xué) 1 對(duì) 1 提問(wèn)、幫你制定學(xué)習(xí)計(jì)劃不迷茫、跟著魚(yú)皮直播做項(xiàng)目（往期項(xiàng)目可無(wú)限回看）、領(lǐng)取魚(yú)皮原創(chuàng)編程學(xué)習(xí)/求職資料等。
