基於協程的Python網路庫gevent介紹

發表於2017-01-04

繼續Python協程方面的介紹,這次要講的是gevent,它是一個併發網路庫。它的協程是基於greenlet的,並基於libev實現快速事件迴圈(Linux上是epoll,FreeBSD上是kqueue,Mac OS X上是select)。有了gevent,協程的使用將無比簡單,你根本無須像greenlet一樣顯式的切換,每當一個協程阻塞時,程式將自動排程,gevent處理了所有的底層細節。讓我們看個例子來感受下吧。

解釋下,”gevent.spawn()”方法會建立一個新的greenlet協程物件,並執行它。”gevent.joinall()”方法會等待所有傳入的greenlet協程執行結束後再退出,這個方法可以接受一個”timeout”引數來設定超時時間,單位是秒。執行上面的程式,執行順序如下:

  1. 先進入協程test1,列印12
  2. 遇到”gevent.sleep(0)”時,test1被阻塞,自動切換到協程test2,列印56
  3. 之後test2被阻塞,這時test1阻塞已結束,自動切換回test1,列印34
  4. 當test1執行完畢返回後,此時test2阻塞已結束,再自動切換回test2,列印78
  5. 所有協程執行完畢,程式退出

所以,程式執行下來的輸出就是:

注意,這裡與上一篇greenlet中第一個例子執行的結果不一樣,greenlet一個協程執行完後,必須顯式切換,不然會返回其父協程。而在gevent中,一個協程執行完後,它會自動排程那些未完成的協程。

我們換一個更有意義的例子:

我們通過協程分別獲取三個網站的IP地址,由於開啟遠端地址會引起IO阻塞,所以gevent會自動排程不同的協程。另外,我們可以通過協程物件的”value”屬性,來獲取協程函式的返回值。

猴子補丁 Monkey patching

細心的朋友們在執行上面例子時會發現,其實程式執行的時間同不用協程是一樣的,是三個網站開啟時間的總和。可是理論上協程是非阻塞的,那執行時間應該等於最長的那個網站開啟時間呀?其實這是因為Python標準庫裡的socket是阻塞式的,DNS解析無法併發,包括像urllib庫也一樣,所以這種情況下用協程完全沒意義。那怎麼辦?

一種方法是使用gevent下的socket模組,我們可以通過”from gevent import socket”來匯入。不過更常用的方法是使用猴子布丁(Monkey patching):

上述程式碼的第一行就是對socket標準庫打上猴子補丁,此後socket標準庫中的類和方法都會被替換成非阻塞式的,所有其他的程式碼都不用修改,這樣協程的效率就真正體現出來了。Python中其它標準庫也存在阻塞的情況,gevent提供了”monkey.patch_all()”方法將所有標準庫都替換。

使用猴子補丁褒貶不一,但是官網上還是建議使用”patch_all()”,而且在程式的第一行就執行。

獲取協程狀態

協程狀態有已啟動和已停止,分別可以用協程物件的”started”屬性和”ready()”方法來判斷。對於已停止的協程,可以用”successful()”方法來判斷其是否成功執行且沒拋異常。如果協程執行完有返回值,可以通過”value”屬性來獲取。另外,greenlet協程執行過程中發生的異常是不會被丟擲到協程外的,因此需要用協程物件的”exception”屬性來獲取協程中的異常。下面的例子很好的演示了各種方法和屬性的使用。

協程執行超時

之前我們講過在”gevent.joinall()”方法中可以傳入timeout引數來設定超時,我們也可以在全域性範圍內設定超時時間:


上例中,我們將超時設為2秒,此後所有協程的執行,如果超過兩秒就會丟擲”Timeout”異常。我們也可以將超時設定在with語句內,這樣該設定只在with語句塊中有效:

此外,我們可以指定超時所丟擲的異常,來替換預設的”Timeout”異常。比如下例中超時就會丟擲我們自定義的”TooLong”異常。

協程間通訊

greenlet協程間的非同步通訊可以使用事件(Event)物件。該物件的”wait()”方法可以阻塞當前協程,而”set()”方法可以喚醒之前阻塞的協程。在下面的例子中,5個waiter協程都會等待事件evt,當setter協程在3秒後設定evt事件,所有的waiter協程即被喚醒。

除了Event事件外,gevent還提供了AsyncResult事件,它可以在喚醒時傳遞訊息。讓我們將上例中的setter和waiter作如下改動:

佇列 Queue

佇列Queue的概念相信大家都知道,我們可以用它的put和get方法來存取佇列中的元素。gevent的佇列物件可以讓greenlet協程之間安全的訪問。執行下面的程式,你會看到3個消費者會分別消費佇列中的產品,且消費過的產品不會被另一個消費者再取到:

put和get方法都是阻塞式的,它們都有非阻塞的版本:put_nowait和get_nowait。如果呼叫get方法時佇列為空,則丟擲”gevent.queue.Empty”異常。

訊號量

訊號量可以用來限制協程併發的個數。它有兩個方法,acquire和release。顧名思義,acquire就是獲取訊號量,而release就是釋放。當所有訊號量都已被獲取,那剩餘的協程就只能等待任一協程釋放訊號量後才能得以執行:

上面的例子中,我們初始化了”BoundedSemaphore”訊號量,並將其個數定為2。所以同一個時間,只能有兩個worker協程被排程。程式執行後的結果如下:

如果訊號量個數為1,那就等同於同步鎖。

協程本地變數

同執行緒類似,協程也有本地變數,也就是隻在當前協程內可被訪問的變數:

通過將變數存放在local物件中,即可將其的作用域限制在當前協程內,當其他協程要訪問該變數時,就會丟擲異常。不同協程間可以有重名的本地變數,而且互相不影響。因為協程本地變數的實現,就是將其存放在以的”greenlet.getcurrent()”的返回為鍵值的私有的名稱空間內。

實際應用

講到這裡,大家肯定很想看一個gevent的實際應用吧,這裡有一個簡單的聊天室程式,基於Flask實現,大家可以參考下。

更多參考資料

gevent的官方文件
gevent社群提供的教程

本文中的示例程式碼可以在這裡下載

相關文章