淺談Python協(xié)程
協(xié)程
協(xié)程,又稱微線程,纖程。英文名Coroutine。一句話說(shuō)明什么是線程:協(xié)程是一種用戶態(tài)的輕量級(jí)線程。
協(xié)程擁有自己的寄存器上下文和棧。協(xié)程調(diào)度切換時(shí),將寄存器上下文和棧保存到其他地方,在切回來(lái)的時(shí)候,恢復(fù)先前保存的寄存器上下文和棧。因此:
協(xié)程能保留上一次調(diào)用時(shí)的狀態(tài)(即所有局部狀態(tài)的一個(gè)特定組合),每次過(guò)程重入時(shí),就相當(dāng)于進(jìn)入上一次調(diào)用的狀態(tài),換種說(shuō)法:進(jìn)入上一次離開(kāi)時(shí)所處邏輯流的位置。
協(xié)程的好處:
無(wú)需線程上下文切換的開(kāi)銷(xiāo) 無(wú)需原子操作鎖定及同步的開(kāi)銷(xiāo) '原子操作(atomic operation)是不需要synchronized',所謂原子操作是指不會(huì)被線程調(diào)度機(jī)制打斷的操作;這種操作一旦開(kāi)始,就一直運(yùn)行到結(jié)束,中間不會(huì)有任何 context switch (切換到另一個(gè)線程)。原子操作可以是一個(gè)步驟,也可以是多個(gè)操作步驟,但是其順序是不可以被打亂,或者切割掉只執(zhí)行部分。視作整體是原子性的核心。 方便切換控制流,簡(jiǎn)化編程模型 高并發(fā)+高擴(kuò)展性+低成本:一個(gè)CPU支持上萬(wàn)的協(xié)程都不是問(wèn)題。所以很適合用于高并發(fā)處理。缺點(diǎn):
無(wú)法利用多核資源:協(xié)程的本質(zhì)是個(gè)單線程,它不能同時(shí)將 單個(gè)CPU 的多個(gè)核用上,協(xié)程需要和進(jìn)程配合才能運(yùn)行在多CPU上.當(dāng)然我們?nèi)粘K帉?xiě)的絕大部分應(yīng)用都沒(méi)有這個(gè)必要,除非是cpu密集型應(yīng)用。 進(jìn)行阻塞(Blocking)操作(如IO時(shí))會(huì)阻塞掉整個(gè)程序使用yield實(shí)現(xiàn)協(xié)程操作例子
import timeimport queuedef consumer(name): print('--->starting eating baozi...') while True: new_baozi = yield print('[%s] is eating baozi %s' % (name, new_baozi)) # time.sleep(1)def producer(): # 生產(chǎn)者 r = con.__next__() r = con2.__next__() n = 0 while n < 5: n += 1 con.send(n) con2.send(n) print('033[32;1m[producer]033[0m is making baozi %s' % n)if __name__ == ’__main__’: con = consumer('c1') con2 = consumer('c2') p = producer()
程序執(zhí)行的結(jié)果為:
--->starting eating baozi...--->starting eating baozi...[c1] is eating baozi 1[c2] is eating baozi 1[producer] is making baozi 1[c1] is eating baozi 2[c2] is eating baozi 2[producer] is making baozi 2[c1] is eating baozi 3[c2] is eating baozi 3[producer] is making baozi 3[c1] is eating baozi 4[c2] is eating baozi 4[producer] is making baozi 4[c1] is eating baozi 5[c2] is eating baozi 5[producer] is making baozi 5
問(wèn)題來(lái)了,現(xiàn)在之所以能夠?qū)崿F(xiàn)多并發(fā)的效果,是因?yàn)槊恳粋€(gè)生產(chǎn)者沒(méi)有任何花時(shí)間的代碼,所以他根本沒(méi)有卡住,如果這個(gè)時(shí)候在生產(chǎn)者這里sleep(1),那么速度一下子就變慢了,來(lái)看下下面的函數(shù)
def home(): print('in func 1') time.sleep(5) print('home exec done')
def bbs(): print('in func 2') time.sleep(2)
def login(): print('in func 2')
假如說(shuō)nginx每次來(lái)一個(gè)請(qǐng)求都經(jīng)過(guò)函數(shù)來(lái)處理,但它是一個(gè)單線程的情況,假如說(shuō)nginx請(qǐng)求home頁(yè),因?yàn)閚ginx在后臺(tái)處理是單線程,單線程的情況下同事過(guò)來(lái)三次請(qǐng)求,那該怎么辦?肯定是一次次的串行的執(zhí)行啊,但是我為了讓他實(shí)現(xiàn)感覺(jué)是并發(fā)的效果,我是不是該在各個(gè)協(xié)程之間實(shí)行切換啊,但什么時(shí)候切換呢?那么,我問(wèn)你,如果從一個(gè)請(qǐng)求進(jìn)來(lái)直接打印一個(gè)print,那么我會(huì)在這個(gè)地方立刻切換嗎?因?yàn)檫@里面沒(méi)有任何的阻塞,不會(huì)被卡主,所以不需要立刻切換。如果他需要干一件事,比如整個(gè)home花了5s鐘,單線程是串行的,即便是使用了協(xié)程,那它還是串行的,為了保證并發(fā)的效果,什么時(shí)候進(jìn)行切換?應(yīng)該time.sleep(5)這里切換到bbs請(qǐng)求,那么bbs如果也sleep呢?那它就切換到下一個(gè)login,那么就是這么的切換。怎么才能實(shí)現(xiàn)一個(gè)單線程下實(shí)現(xiàn)上面程序的并發(fā)效果呢?就一句話,遇到io操作就切換,協(xié)程之所以能處理大并發(fā),其實(shí)就是把io操作給擠掉了,就是io操作就切換,也就是這個(gè)程序只有CPU在運(yùn)算,所以速度很快!那么問(wèn)題又來(lái)了切換完之后,那么什么時(shí)候在切換回去啊?也就是說(shuō),怎么實(shí)現(xiàn)程序自動(dòng)監(jiān)測(cè)io操作完成了?那么就看下一個(gè)知識(shí)點(diǎn)吧!
Greenlet
greenlet是一個(gè)用C實(shí)現(xiàn)的協(xié)程模塊,相比與python自帶的yield,它是一塊封裝好了的協(xié)程,可以使你在任意函數(shù)之間隨意切換,而不需把這個(gè)函數(shù)先聲明為generator。
from greenlet import greenletdef test1(): print(12) gr2.switch() # 切換到gr2 print(34) gr2.switch() # 切換到gr2def test2(): print(56) gr1.switch() # 切換到gr1 print(78)gr1 = greenlet(test1) # 啟動(dòng)一個(gè)協(xié)程gr2 = greenlet(test2) #gr1.switch() # 切換到gr1
程序執(zhí)行后的結(jié)果為:
12563478
Gevent
上面的greenlet為手動(dòng)擋的自動(dòng)切換,現(xiàn)在來(lái)看一下自動(dòng)擋的自動(dòng)切換Gevent,遇到IO就切換。
Gevent 是一個(gè)第三方庫(kù),可以輕松通過(guò)gevent實(shí)現(xiàn)并發(fā)同步或異步編程,在gevent中用到的主要模式是Greenlet, 它是以C擴(kuò)展模塊形式接入Python的輕量級(jí)協(xié)程。 Greenlet全部運(yùn)行在主程序操作系統(tǒng)進(jìn)程的內(nèi)部,但它們被協(xié)作式地調(diào)度。
來(lái)看下非常簡(jiǎn)單的協(xié)程切換小程序
import geventdef func1(): print(’033[31;1m李闖在跟海濤搞...033[0m’) gevent.sleep(2) # 模仿IO print(’033[31;1m李闖又回去跟繼續(xù)跟海濤搞...033[0m’)def func2(): print(’033[32;1m李闖切換到了跟海龍搞...033[0m’) gevent.sleep(1) print(’033[32;1m李闖搞完了海濤,回來(lái)繼續(xù)跟海龍搞...033[0m’)gevent.joinall([ gevent.spawn(func1), # spawn 啟動(dòng)一個(gè)協(xié)程 gevent.spawn(func2),])
程序執(zhí)行后的結(jié)果為:
李闖在跟海濤搞...李闖切換到了跟海龍搞...李闖搞完了海濤,回來(lái)繼續(xù)跟海龍搞...李闖又回去跟繼續(xù)跟海濤搞...
協(xié)程之爬蟲(chóng)
現(xiàn)在利用協(xié)程來(lái)實(shí)現(xiàn)簡(jiǎn)單的爬蟲(chóng)
from gevent import monkey; monkey.patch_all() # 把當(dāng)前程序的所有的io操作單獨(dú)給我做上標(biāo)記import gevent # 協(xié)程模塊from urllib.request import urlopen # 爬蟲(chóng)所需要的模塊def f(url): print(’GET: %s’ % url) resp = urlopen(url) data = resp.read() print(’%d bytes received from %s.’ % (len(data), url))gevent.joinall([ # 利用協(xié)程大并發(fā)的爬取網(wǎng)頁(yè) gevent.spawn(f, ’https://www.python.org/’), gevent.spawn(f, ’https://www.yahoo.com/’), gevent.spawn(f, ’https://github.com/’),])
程序執(zhí)行的結(jié)果為:
GET: https://www.python.org/GET: https://www.yahoo.com/GET: https://github.com/59619 bytes received from https://github.com/.495691 bytes received from https://www.yahoo.com/.48834 bytes received from https://www.python.org/.
協(xié)程之Socket
通過(guò)gevent實(shí)現(xiàn)單線程下的多socket并發(fā)
# socket_server #import sysimport socketimport timeimport geventfrom gevent import socket,monkeymonkey.patch_all()def server(port): s = socket.socket() s.bind((’HW-20180425SPSL’, port)) s.listen(500) while True: cli, addr = s.accept() gevent.spawn(handle_request, cli)def handle_request(conn): try: while True: data = conn.recv(1024) print('recv:', data) conn.send(data) if not data: conn.shutdown(socket.SHUT_WR) except Exception as ex: print(ex) finally: conn.close()if __name__ == ’__main__’: server(8001)
# socket_client #import socketHOST = ’HW-20180425SPSL’ # The remote hostPORT = 8001 # The same port as used by the servers = socket.socket(socket.AF_INET, socket.SOCK_STREAM)s.connect((HOST, PORT))while True: msg = bytes(input('>>:'),encoding='utf8') s.sendall(msg) data = s.recv(1024) #print(data) print(’Received’, repr(data)) s.close()
程序執(zhí)行后的結(jié)果為:
socket_client.py
>>:lalaReceived b’lala’>>:
socket_server.py
recv: b’heihei’
論事件驅(qū)動(dòng)和異步IO
通常,我們寫(xiě)服務(wù)器處理模型的程序時(shí),有以下幾種模型:(1)每收到一個(gè)請(qǐng)求,創(chuàng)建一個(gè)新的進(jìn)程,來(lái)處理該請(qǐng)求;
(2)每收到一個(gè)請(qǐng)求,創(chuàng)建一個(gè)新的線程,來(lái)處理該請(qǐng)求;
(3)每收到一個(gè)請(qǐng)求,放入一個(gè)事件列表,讓主進(jìn)程通過(guò)非阻塞I/O方式來(lái)處理請(qǐng)求
上面的幾種方式,各有千秋,
第(1)中方法,由于創(chuàng)建新的進(jìn)程的開(kāi)銷(xiāo)比較大,所以,會(huì)導(dǎo)致服務(wù)器性能比較差,但實(shí)現(xiàn)比較簡(jiǎn)單。
第(2)種方式,由于要涉及到線程的同步,有可能會(huì)面臨死鎖等問(wèn)題。
第(3)種方式,在寫(xiě)應(yīng)用程序代碼時(shí),邏輯比前面兩種都復(fù)雜。
綜合考慮各方面因素,一般普遍認(rèn)為第(3)種方式是大多數(shù)網(wǎng)絡(luò)服務(wù)器采用的方式
看圖說(shuō)話講事件驅(qū)動(dòng)模型
在UI編程中,常常要對(duì)鼠標(biāo)點(diǎn)擊進(jìn)行相應(yīng),首先如何獲得鼠標(biāo)點(diǎn)擊呢?
方式一:創(chuàng)建一個(gè)線程,該線程一直循環(huán)檢測(cè)是否有鼠標(biāo)點(diǎn)擊,那么這個(gè)方式有以下幾個(gè)缺點(diǎn):
1. CPU資源浪費(fèi),可能鼠標(biāo)點(diǎn)擊的頻率非常小,但是掃描線程還是會(huì)一直循環(huán)檢測(cè),這會(huì)造成很多的CPU資源浪費(fèi);如果掃描鼠標(biāo)點(diǎn)擊的接口是阻塞的呢?
2. 如果是堵塞的,又會(huì)出現(xiàn)下面這樣的問(wèn)題,如果我們不但要掃描鼠標(biāo)點(diǎn)擊,還要掃描鍵盤(pán)是否按下,由于掃描鼠標(biāo)時(shí)被堵塞了,那么可能永遠(yuǎn)不會(huì)去掃描鍵盤(pán);
3. 如果一個(gè)循環(huán)需要掃描的設(shè)備非常多,這又會(huì)引來(lái)響應(yīng)時(shí)間的問(wèn)題;所以,該方式是非常不好的。
方式二:就是事件驅(qū)動(dòng)模型
目前大部分的UI編程都是事件驅(qū)動(dòng)模型,如很多UI平臺(tái)都會(huì)提供onClick()事件,這個(gè)事件就代表鼠標(biāo)按下事件。事件驅(qū)動(dòng)模型大體思路如下:
1. 有一個(gè)事件(消息)隊(duì)列;
2. 鼠標(biāo)按下時(shí),往這個(gè)隊(duì)列中增加一個(gè)點(diǎn)擊事件(消息);
3. 有個(gè)循環(huán),不斷從隊(duì)列取出事件,根據(jù)不同的事件,調(diào)用不同的函數(shù),如onClick()、onKeyDown()等;
4. 事件(消息)一般都各自保存各自的處理函數(shù)指針,這樣,每個(gè)消息都有獨(dú)立的處理函數(shù);
什么是事件驅(qū)動(dòng)模型?
其實(shí)就是根據(jù)事件做出反應(yīng)!
事件驅(qū)動(dòng)編程是一種編程范式,這里程序的執(zhí)行流由外部事件來(lái)決定。它的特點(diǎn)是包含一個(gè)事件循環(huán),當(dāng)外部事件發(fā)生時(shí)使用回調(diào)機(jī)制來(lái)觸發(fā)相應(yīng)的處理。另外兩種常見(jiàn)的編程范式是(單線程)同步以及多線程編程。
讓我們用例子來(lái)比較和對(duì)比一下單線程、多線程以及事件驅(qū)動(dòng)編程模型。下圖展示了隨著時(shí)間的推移,這三種模式下程序所做的工作。這個(gè)程序有3個(gè)任務(wù)需要完成,每個(gè)任務(wù)都在等待I/O操作時(shí)阻塞自身。阻塞在I/O操作上所花費(fèi)的時(shí)間已經(jīng)用灰色框標(biāo)示出來(lái)了。
在單線程同步模型中,任務(wù)按照順序執(zhí)行。如果某個(gè)任務(wù)因?yàn)镮/O而阻塞,其他所有的任務(wù)都必須等待,直到它完成之后它們才能依次執(zhí)行。這種明確的執(zhí)行順序和串行化處理的行為是很容易推斷得出的。如果任務(wù)之間并沒(méi)有互相依賴的關(guān)系,但仍然需要互相等待的話這就使得程序不必要的降低了運(yùn)行速度。
在多線程版本中,這3個(gè)任務(wù)分別在獨(dú)立的線程中執(zhí)行。這些線程由操作系統(tǒng)來(lái)管理,在多處理器系統(tǒng)上可以并行處理,或者在單處理器系統(tǒng)上交錯(cuò)執(zhí)行。這使得當(dāng)某個(gè)線程阻塞在某個(gè)資源的同時(shí)其他線程得以繼續(xù)執(zhí)行。與完成類似功能的同步程序相比,這種方式更有效率,但程序員必須寫(xiě)代碼來(lái)保護(hù)共享資源,防止其被多個(gè)線程同時(shí)訪問(wèn)。多線程程序更加難以推斷,因?yàn)檫@類程序不得不通過(guò)線程同步機(jī)制如鎖、可重入函數(shù)、線程局部存儲(chǔ)或者其他機(jī)制來(lái)處理線程安全問(wèn)題,如果實(shí)現(xiàn)不當(dāng)就會(huì)導(dǎo)致出現(xiàn)微妙且令人痛不欲生的bug。
在事件驅(qū)動(dòng)版本的程序中,3個(gè)任務(wù)交錯(cuò)執(zhí)行,但仍然在一個(gè)單獨(dú)的線程控制中。當(dāng)處理I/O或者其他昂貴的操作時(shí),注冊(cè)一個(gè)回調(diào)到事件循環(huán)中,然后當(dāng)I/O操作完成時(shí)繼續(xù)執(zhí)行。回調(diào)描述了該如何處理某個(gè)事件。事件循環(huán)輪詢所有的事件,當(dāng)事件到來(lái)時(shí)將它們分配給等待處理事件的回調(diào)函數(shù)。這種方式讓程序盡可能的得以執(zhí)行而不需要用到額外的線程。事件驅(qū)動(dòng)型程序比多線程程序更容易推斷出行為,因?yàn)槌绦騿T不需要關(guān)心線程安全問(wèn)題。
當(dāng)我們面對(duì)如下的環(huán)境時(shí),事件驅(qū)動(dòng)模型通常是一個(gè)好的選擇:
1、程序中有許多任務(wù),而且…
2、任務(wù)之間高度獨(dú)立(因此它們不需要互相通信,或者等待彼此)而且…
3、在等待事件到來(lái)時(shí),某些任務(wù)會(huì)阻塞。
當(dāng)應(yīng)用程序需要在任務(wù)間共享可變的數(shù)據(jù)時(shí),這也是一個(gè)不錯(cuò)的選擇,因?yàn)檫@里不需要采用同步處理。
網(wǎng)絡(luò)應(yīng)用程序通常都有上述這些特點(diǎn),這使得它們能夠很好的契合事件驅(qū)動(dòng)編程模型。
此處要提出一個(gè)問(wèn)題,就是,上面的事件驅(qū)動(dòng)模型中,只要一遇到IO就注冊(cè)一個(gè)事件,然后主程序就可以繼續(xù)干其它的事情了,只到io處理完畢后,繼續(xù)恢復(fù)之前中斷的任務(wù),這本質(zhì)上是怎么實(shí)現(xiàn)的呢?哈哈,下面我們就來(lái)一起揭開(kāi)這神秘的面紗。。。。
請(qǐng)看詳解Python IO口多路復(fù)用這篇文章
以上就是淺談Python協(xié)程的詳細(xì)內(nèi)容,更多關(guān)于Python協(xié)程的資料請(qǐng)關(guān)注好吧啦網(wǎng)其它相關(guān)文章!
相關(guān)文章:
1. moment轉(zhuǎn)化時(shí)間戳出現(xiàn)Invalid Date的問(wèn)題及解決2. python爬蟲(chóng)實(shí)戰(zhàn)之制作屬于自己的一個(gè)IP代理模塊3. 使用JSP技術(shù)實(shí)現(xiàn)一個(gè)簡(jiǎn)單的在線測(cè)試系統(tǒng)的實(shí)例詳解4. Java剖析工具YourKit 發(fā)布5.0版本5. 解決VUE項(xiàng)目localhost端口服務(wù)器拒絕連接,只能用127.0.0.1的問(wèn)題6. Python中內(nèi)建模塊collections如何使用7. 為什么你的android代碼寫(xiě)得這么亂8. python實(shí)現(xiàn)坦克大戰(zhàn)9. 開(kāi)發(fā)效率翻倍的Web API使用技巧10. 跟我學(xué)XSL(一)第1/5頁(yè)
