协程
协程,英文Coroutines,是一种基于线程之上,但又比线程更加轻量级的存在,这种由程序员自己写程序来管理的轻量级线程叫做『用户空间线程』,具有对内核来说不可见的特性。
因为是自主开辟的异步任务,所以很多人也更喜欢叫它们纤程(Fiber),或者绿色线程(GreenThread)。正如一个进程可以拥有多个线程一样,一个线程也可以拥有多个协程。
协程的优点:
- i/O阻塞的时候 利用协程来处理
- 不需要锁机制(可以创建多个协程 按顺序执行 不存在竞争关系)
协程的缺点: - 不能利用多核CPU
协程的目的
在传统的J2EE系统中都是基于每个请求占用一个线程去完成完整的业务逻辑(包括事务)。所以系统的吞吐能力取决于每个线程的操作耗时。如果遇到很耗时的I/O行为,则整个系统的吞吐立刻下降,因为这个时候线程一直处于阻塞状态,如果线程很多的时候,会存在很多线程处于空闲状态(等待该线程执行完才能执行),造成了资源应用不彻底。
最常见的例子就是JDBC(它是同步阻塞的),这也是为什么很多人都说数据库是瓶颈的原因。这里的耗时其实是让CPU一直在等待I/O返回,说白了线程根本没有利用CPU去做运算,而是处于空转状态。而另外过多的线程,也会带来更多的ContextSwitch开销。
对于上述问题,现阶段行业里的比较流行的解决方案之一就是单线程加上异步回调。其代表派是node.js以及Java里的新秀Vert.x。
而协程的目的就是当出现长时间的I/O操作时,通过让出目前的协程调度,执行下一个任务的方式,来消除ContextSwitch上的开销。
协程的特点
- 线程的切换由操作系统负责调度,协程由用户自己进行调度,因此减少了上下文切换,提高了效率。
- 线程的默认Stack大小是1M,而协程更轻量,接近1K。因此可以在相同的内存中开启更多的协程。
- 由于在同一个线程上,因此可以避免竞争关系而使用锁。
- 适用于被阻塞的,且需要大量并发的场景。但不适用于大量计算的多线程,遇到此种情况,更好实用线程去解决。
利用操作系统接口实现协程
1.liunx 的ucontext
2.Windows的fiber
ucontext
- getcontext: 保存上下文 ,将当前运行到寄存器的信息报错到ucontext_t结构体中
- setcontext: 恢复上再问,将ucontext_t结构体变量中的上下文信息 恢复到cpu中并执行
- makecontext:修改上下文,给ucontext_t上下文执行一个程序的接口 ,让程序从该接口函数开始执行
- swapcontext:切换上下文,并将下一个要执行的上下文恢复到cpu中
参考文章
一文读懂什么是进程 线程 协程
c++协程库理解—ucontext组件实践
C++实现一个协程框架
c++20协程太难用了,我还是自己设计一个吧