一、概念
协程,又称微线程,纤程。英文名Coroutine。一句话说明什么是线程:协程是一种用户态的轻量级线程。
协程拥有自己的寄存器上下文和栈。协程调度切换时,将寄存器上下文和栈保存到其他地方,在切回来的时候,恢复先前保存的寄存器上下文和栈。因此:
协程能保留上一次调用时的状态(即所有局部状态的一个特定组合),每次过程重入时,就相当于进入上一次调用的状态,换种说法:进入上一次离开时所处逻辑流的位置。
协程的好处:
- 无需线程上下文切换的开销
- 无需原子操作锁定及同步的开销
- "原子操作(atomic operation)是不需要synchronized",所谓原子操作是指不会被线程调度机制打断的操作;这种操作一旦开始,就一直运行到结束,中间不会有任何 context switch (切换到另一个线程)。原子操作可以是一个步骤,也可以是多个操作步骤,但是其顺序是不可以被打乱,或者切割掉只执行部分。视作整体是原子性的核心。
- 方便切换控制流,简化编程模型
- 高并发+高扩展性+低成本:一个CPU支持上万的协程都不是问题。所以很适合用于高并发处理。
缺点:
- 无法利用多核资源:协程的本质是个单线程,它不能同时将 单个CPU 的多个核用上,协程需要和进程配合才能运行在多CPU上.当然我们日常所编写的绝大部分应用都没有这个必要,除非是cpu密集型应用。
- 进行阻塞(Blocking)操作(如IO时)会阻塞掉整个程序。
二、yield实现协程
2.1、yield实现协程
import time
def consumer(name):
print("--->starting eating baozi...")
while True:
new_baozi = yield #yield设置生成器
print("[{0}] is eating baozi {1}".format(name,new_baozi))
def producer():
r = con.__next__()#调用生成器
r = con2.__next__()
n = 0
while n < 5:
n +=1
con.send(n) #唤醒生成器,并且向生成器传值
con2.send(n)
time.sleep(1)
print("\033[32m[producer]\033[0m is making baozi {0}".format(n))
if __name__ == '__main__':
con = consumer("c1") #创建一个生成器c1
con2 = consumer("c2") #创建一个生产器C2
p = producer()
问题:
1、send有两个作用?
①唤醒生产器 ②给yield传一个值,就是yield接收到的这个值。这个说明yield在被唤醒的时候可以接收数据。
2、怎么实现我们的单线程实现并发的效果呢?
遇到IO操作就切换,IO比较耗时,协程之所以能处理大并发,就是IO操作会挤掉大量的时间。没有IO操作的话,整个程序只有cpu在运算了,因为cpu很快,所以你感觉是在并发执行的。
3、IO操作完成了,程序什么时候切回去?
IO操作一旦完成,我们就自动切回去。
三、手动实现切换IO
3.1、greenlet实现手动切换
说明:通过自带方法swith去手动切换IO
from greenlet import greenlet
def test1():
print(12)
gr2.switch() #切换到test2
print(34)
gr2.switch() #切换到test2
def test2():
print(56)
gr1.switch() #切换到test1
print(78)
gr1 = greenlet(test1) #启动一个协程
gr2 = greenlet(test2)
gr1.switch() #切换到test1
执行的步骤如下:
所以执行的结果如下:
#输出
12
56
34
78
注意了:gr1.switch(),它现在不是遇到IO就切换,就是你手动切换,就像刚才所讲的yield,next一下,就是跟那个意思差不多,就是切换一下。
四、总结
- cpu值认识线程,协程cpu是不认识的,是用户自己控制的,cpu根本都不知道它们的存在。
- 线程的上下文切换保存在cpu的寄存器中,但是协程拥有自己的寄存上下文和栈。
- 协程是串行的,无需锁。
符合协程的条件:
- 必须在只有一个单线程里实现并发
- 修改共享数据不需加锁
- 用户程序里自己保存多个控制流的上下文栈
- 一个协程遇到IO操作自动切换到其它协程