EventLoop也就那么回事

239 阅读9分钟

浏览器中的JavaScript

之所以JS能在浏览器中运行,那是因为浏览器都默认提供了一个JavaScript引擎,为JS提供一个运行环境 下图是一个JavaScript引擎的简化图:

图中左侧是内存堆heap,是浏览器为了给代码分配运行内存; 图中右侧是调用栈stack,每当运行一段代码JS代码时,都会将代码压入调用栈中,然后在执行完毕以后出栈

对于内存堆本篇文章我们就不做过多的了解,后面是用写一篇详细的介绍javascript的代码的执行流程

1.调用栈

什么是调用栈?这里有一段代码,我们通过它来分析一下调用栈的运行过程

function multiply(a, b) {
  return a * b
}

function calculate(n) {
  return multiply(n, n)
}

function print(n) {
  let res = calculate(n)
  console.log(res)
}

print(5)

当这段代码在浏览器中运行时,会先查询三个定义好了的函数 multiply 、calculate 和 print ;然后执行 print(5) 这段代码,因为这三个函数是有调用关系的,因此接下来依次调用了 calculate 函数 、multiply 函数

现在,我们来看一下这段代码在执行过程中,调用栈stack内部的情况如何

这里,还有一种方式可以来验证一下调用栈的存在以及其内容,我们来编写一段这样的代码:

function fn() {
    throw new Error('isErr')
}

function foo() {
    fn()
}

function main() {
    foo()
}

main()

然后在浏览器中运行一下,就会得到如下结果:

在代码运行过程中抛出错误时,浏览器将整个调用栈里的内容都打印了出来,正如我们所期望的一样,此时的调用栈是这个样子的:

以上的过程涉及到的都是同步的代码,那么对于异步的代码来说,是如何像我们上面所说的一样,开辟一个新的空间去给异步代码运行的呢?

这里就要引入 Event Loop 的概念了

2.Event Loop

Event Loop 又叫做事件循环,那到底是什么事件在循环呢?这里我们给出完整的浏览器的事件循环简图,来看一下

浏览器中的各种 Web API 为异步的代码提供了一个单独的运行空间,当异步的代码运行完毕以后,会将代码中的回调送入到 Task Queue(任务队列)中去,等到调用栈空时,再将队列中的回调函数压入调用栈中执行,等到栈空以及任务队列也为空时,调用栈仍然会不断检测任务队列中是否有代码需要执行,这一过程就是完整的Event Loop 了

我们可以用一个简单的例子,来感受一下事件循环的过程

console.log('1')

setTimeout(function callback(){
  console.log('2')
}, 1000)

console.log('3')

3.宏任务和微任务

console.log('1')

setTimeout(function callback(){
  console.log('2')
}, 1000)

new Promise((resolve, reject) => {
    console.log('3')
    resolve()
})
.then(res => {
    console.log('4');
})

console.log('5')
// 这段代码的打印结果顺序如何呢?

下面公布一下答案

1,3,5,4,2

这里你是否又有个疑问了,为什么 promise 和 setTimeout 同样是异步,为什么前者优先于后者? 这里就要引入另外两个概念了,即 macrotask(宏任务) 和 microtask(微任务)

下面列举了我们浏览器中常用的宏任务和微任务

并且规定,当宏任务和微任务都处于 Task Queue 中时,会先执行宏任务,然后在执行该宏任务的所有的微任务队列。

因此,上述代码先打印了 4 ,再打印了 2

当然,既然区分了宏任务和微任务,那么存放它们的队列也就分为两种,分别为macro task queue(宏队列) 和 micro task queue(微队列),如图所示

Node.js中的JavaScript

node中的Event Loop

我们来看一张Node.js的 Event Loop 简图

Node.js的Event Loop 是基于libuv实现的 通过 Node.js 的官方文档可以得知,其事件循环的顺序分为以下六个阶段,每个阶段都会处理专门的任务:

  • timers: 计时器阶段,用于处理setTimeout以及setInterval的回调函数
  • pending callbacks: 用于执行某些系统操作的回调,例如TCP错误
  • idle, prepare: Node内部使用,不用做过多的了解
  • poll: 轮询阶段,执行队列中的 I/O 队列,并检查定时器是否到时
  • check: 执行setImmediate的回调
  • close callbacks: 处理关闭的回调,例如 socket.destroy()

以上六个阶段,我们需要重点关注的只有四个,分别是 timers 、poll 、check 、close callbacks

这四个阶段都有各自的宏队列,只有当本阶段的宏队列中的任务处理完以后,才会进入下一个阶段。在执行的过程中会不断检测微队列中是否存在待执行任务,若存在,则执行微队列中的任务,等到微队列为空了,再执行宏队列中的任务(这一点与浏览器非常类似,但在Node 11.x版本之前,并不是这样的运行机制,而是运行完当前阶段队列中的所有宏任务以后才会去检测微队列。

同理,Node.js也有宏任务和微任务之分,我们来看一下常用的都有哪些

可以看到,在Node.js对比浏览器多了两个任务,分别是宏任务 setImmediate 和 微任务 process.nextTick

setImmediate 会在 check 阶段被处理

process.nextTick 是Node.js中一个特殊的微任务,因此会为它单独提供一个队列,称为 next tick queue,并且其优先级大于其它的微任务,即若同时存在 process.nextTick 和 promise,则会先执行前者

在了解了基本过程以后,我们先来写一道简单的题

setTimeout(() => {
    console.log(1);
}, 0)

setImmediate(() => {
    console.log(2);
})

new Promise(resolve => {
    console.log(3);
    resolve()
    console.log(4);
})
.then(() => {
    console.log(5);
})

console.log(6);

process.nextTick(() => {
    console.log(7);
})

console.log(8);

// 答案:3,4,6,8,7,5,1,2

先毫无疑问,同步的代码一定是最先打印的,因此先打印的分别是 3 4 6 8

再来判断一下异步的代码,setTimeout 被送入 timers queue ;setImmediate 被送入 check queue ; then() 被送入 other microtask queue ;process.nextTick 被送入 next tick queue

然后我们按照上面图中的流程,首先检测到微队列中有待执行任务,并且我们说过,next tick queue 的优先级高于 other microtask queue,因此先打印了 7,然后打印了 5 ;到此为止微队列中的任务都被执行完了,接着就进入 timers queue 中阶段,所以打印了 1,当前阶段的队列为空了,按照顺序进入 poll 阶段,但发现队列为空,所以进入了 check 阶段,上面说过了这个阶段是专门处理 setImmediate 的,因此最后就打印了 2

setTimeout和setImmediate

大家有没有发现,一个循环中,timers 阶段是先于 check 阶段的,那么是不是就意味着 setTimeout 就一定比 setImmediate 先执行呢?我们来看个例子

setTimeout(() => {
    console.log('setTimeout');
}, 0)

setImmediate(() => {
    console.log('setImmediate');
})

我们用node运行该段代码多次,发现得到了如下两种结果:

// 第一种结果
setTimeout
setImmediate

// 第二种结果
setImmediate
setTimeout

这里我们给 setTimeout 设置的延迟时间是 0,表面上看上去好像是没有延迟,但其实运行起来延迟时间是大于0的

然后node开启一个事件循环是需要一定时间的。假设node开启事件循环需要2毫秒,然后 setTimeout 实际运行的延迟时间是10毫秒,即事件循环开始得比 setTimeout 早,那么在第一轮事件循环运行到 timers 时,发现并没有 setTimeout 的回调需要执行,因此就进入了下一阶段,尽管此时 setTimeout 的延迟时间到了,但它只能在下一轮循环时被执行了,所以本次事件循环就先打印了 setImmediate,然后在下一次循环时打印了 setTimeout。

这就是刚才第二种结果出现的原因

那么为何存在第一种情况也就更好理解了,那就是 setTimeout 的实际的延迟事件小于node事件循环的开启事件,所以能在第一轮循环中被执行

了解了为何出现上述原因以后,这里提出两个问题:

  1. 如何能做到一定先打印 setTimeout ,后打印 setImmediate
  2. 如何能做到一定先打印 setImmediate ,后打印 setTimeout

既然要让 setTimeout 先打印,那么就让它在第一轮循环时就被执行,那么我们只需要让事件循环开启的事件晚一点就好了。所以可以写一段同步的代码,让同步的代码执行事件长一点,然后就可以保证在进入 timers 阶段时,setTimeout 的回调已被送入 timers queue

先打印 setTimeout ,后打印 setImmediate

setTimeout(() => {
    console.log('setTimeout');
}, 0)

setImmediate(() => {
    console.log('setImmediate');
})

let start = Date.now()
// 让同步的代码运行30毫秒
while(Date.now() - start < 30)

多次运行代码发现,每次都是先打印了 setTimeout,然后才打印的 setImmediate

先打印 setImmediate ,后打印 setTimeout

既然要让 setTimeout 后打印,那么就要想办法让它在第二轮循环时被执行,那么我们可以让 setTimeout 在第一轮事件循环跳过 timers 阶段后执行

刚开始我们讲过,poll 阶段是为了处理各种 I/O 事件的,例如文件的读取就属于 I/O 事件,所以我们可以把 setTimeout 和 setImmediate 的代码放在一个文件读取操作的回调内,这样在第一轮循环到达 poll 阶段时,会将 setTimeout 送入 timers queue,但此时早已跳过了 timers 阶段,所以其只会在下一轮循环时被打印 ;同时 setImmediate 此时被送入了 check queue ,那么在离开 poll 阶段以后就可以顺利得先打印 setImmediate 了

const fs = require('fs');

fs.readFile(__filename, () => {
  setTimeout(() => {
    console.log('setTimeout');
  }, 0);
  setImmediate(() => {
    console.log('setImmediate');
  });
});

多次运行代码发现,每次都是先打印了 setImmediate,然后才打印的 setTimeout

浏览器Event Loop题目

1、宏任务和微任务的执行顺序

setTimeout(() => {
  console.log("timeout");
}, 0);

const promise = new Promise(resolve => {
  console.log("promise init");
  resolve(1);
  console.log("promise end");
});

promise.then(res => {
  console.log("promise result:", res);
});

//  结果:promise init-->promise end-->promise result: 1-->timeout

2、宏任务微任务交错执行

setTimeout(() => {
  console.log("timeout1");
  Promise.resolve().then(() => {
    console.log("promise1");
  });
}, 0);

Promise.resolve().then(() => {
  console.log("promise2");
  setTimeout(() => {
    console.log("timeout2");
  }, 0);
});

//  结果: promise2-->timeout1-->promise1-->timeout2

3、使用 async await 顺序判断(将 async await 转换成我们熟悉的 Promise)

async function async1() {
  console.log("async1 start");
  // 可转换
  await async2();
  console.log("async1 end");
  //   new Promise(resolve => {
  //     console.log("async2")
  //     resolve()
  //   }).then(res => console.log("async1 end"))
}
async function async2() {
  console.log("async2");
}
async1();
console.log('script')

//  结果: async1 start-->async2-->script-->async1 end

4、如果 promise 没有 resolve 或 reject。

async function async1 () {
    console.log('async1 start');
    await new Promise(resolve => {
      console.log('promise1')
    })
    console.log('async1 success');
    return 'async1 end'
  }
  console.log('srcipt start')
  async1().then(res => console.log(res))
  console.log('srcipt end')

//  结果:srcipt start-->async1 start-->promise1-->srcipt end

5、经典题目

async function async1() {
      console.log("async1 start");
      await async2();
      console.log("async1 end");
    }

    async function async2() {
      console.log("async2");
    }

    console.log("script start");

    setTimeout(function () {
      console.log("setTimeout");
    }, 0);

    async1();

    new Promise(function (resolve) {
      console.log("promise1");
      resolve();
    })
      .then(function () {
        console.log("promise2");
      })
      .then(function () {
        console.log("promise3");
      })
      .then(function () {
        console.log("promise4");
      });
    console.log("script end");

//  结果:script start-->async1 start-->async2-->promise1-->script end-->async1 end
        -->promise2-->promise3-->promise4

6、经典题目变形--resolve 处理 thenable ,也会包裹一层 promise。async的函数也会包裹一层promise

async function async1() {
  console.log("async1 start");
  return new Promise(resolve => {
    resolve(async2());
  }).then(() => {
    console.log("async1 end");
  });
}

async function async2() {
  console.log("async2");
}

setTimeout(function() {
  console.log("setTimeout");
}, 0);

async1();

new Promise(function(resolve) {
  console.log("promise1");
  resolve();
})
  .then(function() {
    console.log("promise2");
  })
  .then(function() {
    console.log("promise3");
  })
  .then(function() {
    console.log("promise4");
  });


//  结果:async1 start-->async2-->promise1-->promise2-->promise3-->async1 end-->promise4-->setTimeout

参考

juejin.cn/post/688699…