白话协程【前端视角】

大家好,我是小雨小雨,致力于分享有趣的、实用的技术文章。

内容分为翻译和原创,如果有问题,欢迎随时评论或私信,希望和大家一起进步。

分享不易,希望能够得到大家的支持和关注。

什么是协程

协程是在单核CPU场景中发展出来的概念,是非抢占的的多任务编程组件,并提供了挂起和恢复的执行接口。通过挂起和恢复多个任务,实现在单个CPU上交叉处理多个任务的并发功能。

有一个更具象的说法,如果大家看过阮一峰的进程与线程的解释,那么对于协程,我们可以理解为是工人的最小组成部分。

就好像人类同时做很多事情其实也是一种并发的现象,并没有真正的一心二用,只是很快的切换工作焦点。和协程异曲同工。

任务调度

线程是什么?要理解这个概念,需要先了解一下操作系统的一些相关概念。大部分操作系统(如Windows、Linux)的任务调度是采用时间片轮转的抢占式调度方式。

在一个进程中,当一个线程任务执行几毫秒后,会由操作系统的内核(负责管理各个任务)进行调度,通过硬件的计数器中断处理器,让该线程强制暂停并将该线程的寄存器放入内存中,通过查看线程列表决定接下来执行哪一个线程,并从内存中恢复该线程的寄存器,最后恢复该线程的执行,从而去执行下一个任务。
上述过程中,任务执行的那一小段时间叫做时间片,任务正在执行时的状态叫运行状态,被暂停的线程任务状态叫做就绪状态,意为等待下一个属于它的时间片的到来。

这种方式保证了每个线程轮流执行,由于CPU的执行效率非常高,时间片非常短,在各个任务之间快速地切换,给人的感觉就是多个任务在“同时进行”,这也就是我们所说的并发(别觉得并发有多高深,它的实现很复杂,但它的概念很简单,就是一句话:多个任务同时执行)。多任务运行过程的示意图如下:

image

为什么引入协程

这里就得比较下线程和协程了。

线程可以让开发者们充分用CPU多核计算资源,但是也引入了一些问题:

  1. 锁竞争

如果多个线程在某个锁上发生竞争,将导致多个线程无法充分的并发执行,此外过度竞争还会导致线程频繁的发生上下文切换,这个锁将成为系统性能的瓶颈

  1. 线程不能太多

超过CPU核数后,多余的线程只能等待时机去抢占CPU资源。在高并发场景,如云计算,会成为瓶颈。

  1. 线程切换成本高,并且创造过多线程会导致OOM(堆空间内存溢出)

而协程就在一定程度上解决了部分问题:

  1. 不使用锁

协程属于线程内,即单核上的并发,每个人物都可以看做原子任务,不需要锁介入。

  1. 海量协程

协程每个任务站的占用空间小,一个进程内包含n个线程,线程又可以包含n个协程,所以理论上可创造海量的协程

  1. 无需切换

不像进程和线程,协程由程序控制(也就是用户),不需要系统切换,成本低


给我的感觉就是在线程上有分了一层子集,是不是有点类似动态规划划分子问题的感觉?直到这的大问题变成一个原子操作,不可拆分。那应该就是最简单的任务,也就是我们想要的。

javascript与协程

我们知道v8执行js代码是单线程的,通过上面的介绍,协程是非常适合于单线程的,可以在单线程的不同执行栈中来回切换,并且消耗要更小,性能要更好。

为了实现generators和协程es6引入了yield关键字,也就是产出或者暂停的意思,可以随时暂停正在执行的函数,并保存当前函数的上下文环境。

不过由于不能指定让步的协程,只能让步给生成器(迭代器)的调用者,所以也称为非对称协程。

现在市面上主要有两种协程的实现,一种是伪·协程,一种是真·协程。

  • 伪·协程

其实还是利用的回调函数,比如co,对js原有的事件循环没有影响

  • 真·协程

比较著名的是node-fibers,但是如果阻塞掉了当前执行的协程,是会阻塞掉主线程的,也就是说,及时加入了协程,js还是单线的,也是时间分片的概念: 同一时间只有一个协程在运行,在协程挂起和执行期间,v8将当前环境保存,然后用对应协程的栈来填充主执行栈。

换句话说,只有所有协程都被挂起或运行结束,才能去任务队列找回调\异步任务。

也就是说真·协程对事件循环是有影响的。

或许了解一下nodejs实现协程源码会更有帮助,但鄙人还未涉猎,这里有篇文章,可以借鉴的查看一下

generator的三个关键点

对于一些不怎么接触generator的朋友,建议记住下面三条概念,即可游刃有余的写出generator

  • next将yield后面的表达式结果作为value
// 下面代码中的的something会作为next方法返回对象中的value
function* fn () {
    yield something;
}
  • yield本身没有返回值,总是返回undefined,但是next可以带一个参数,作为上一个yield的返回值
// 下面代码中的a始终的undefined,除非你在下次调用next的时候,传入参数,那么a就是这个参数
function* fn () {
    const a = yield something;
}
  • next的参数可以传递参数进而改变当前继续执行的函数上下文环境

最后

目前node v12以上使用的是真正的协程,不是语法糖形式的,可以显示堆栈暂停、继续的位置,比如:

async function foo() {
    await bar();
    return 41;
}

async function bar() {
    await Promise.resolve();
    throw new Error('ceshiceshi');
}

foo().catch((error) => {
    console.log(error.stack);
});

// error info:
//
// Error: ceshiceshi
//     at bar (/Users/xx/forTest/app.js:8:11)
//     at async foo (/Users/xx/forTest/app.js:2:5)

有兴趣的朋友可以试一下。

如有不对,欢迎指正。我会第一时间修改。

参考

协程基础概念

进程、线程、协程

协程与事件循环

你可能感兴趣的:(白话协程【前端视角】)