大家好,我是前端西瓜哥,今天来认识一下什么是 Event Loop。
Event Loop,简单翻译就是 事件循环,是 JS 语言下实现运行时的一个机制。
JS 的异步并不像其他语言(比如 Java)的异步那样可以实现真正的并发执行,本身其实是个单线程。
JS 是维护了一个 任务队列,每当要执行一些异步任务,比如定时器或者是点击按钮触发的事件响应函数。它们不会立即执行,而是放到这个队列里,等待已经在排队的其他任务先执行完,才轮到它们。
队列是一个操作受限的有序列表,表现为为先进入的元素必须先出去,即 “先进先出”,很像排队的感觉。
不过也有一些特殊的队列,比如优先级队列,它是优先级高的元素先出队。
之所以叫 Event Loop,因为它的逻辑可以描述为下面代码:
while (queue.waitForMessage()) {
queue.processNextMessage();
}
当一个任务被完成后,队列会变成等待下一个任务状态,然后处理下一个任务,如此循环往复。
因为 JS 的代码执行本身是一个单线程,为了不让执行阻塞,JS 会把网络请求操作、渲染浏览器页面等操作,交给其他的线程,等待其他线程处理好把结果返回给 JS。
所以 JS 不合适 CPU 密集型,更适合 IO 密集型的场景。因为它只有一个线程,如果计算耗时太长,就会阻塞其他要执行的任务,导致卡顿,甚至崩溃。
setTimeout 定时器并不准
setTimeout 在特定时间后要执行的函数,并不会立即执行,而是会先放到任务队列中,先等待前面的任务同步执行完成了,才能执行我们这个。
下面看一个例子,因为第一个 setTimout 有一个非常耗时的同步任务,导致下一个 setTimeout 的执行阻塞,比前面一个 setTimeout 执行要慢半秒。
const start = new Date().getTime();
setTimeout(() => {
console.log('1:', new Date().getTime() - start);
let num = 0;
for (let i = 0; i < 999999999; i++) {
num = i;
}
}, 1000);
setTimeout(() => {
console.log('2:', new Date().getTime() - start);
}, 1000);
/**
* 输出结果:
* 1: 1001
* 2: 1505
*/
定时器的时间,指的是能执行的最早时间,但不能保证一定能在这个时间点立即执行。
宏任务和微任务
任务队列并不是严格意义上的先进先出的正常队列,是可以调整执行顺序的。
我们将要执行的任务分为宏任务和微任务,其中宏任务是正常的先进先出,而微任务则是可以插队,优先于宏任务先执行。宏任务必须在所有微任务执行后才能执行。
当我们给任务队列添加一个微任务时,它会跑到任务队列宏任务前。多个微任务入队时,会保持它们的相对顺序。
宏任务有:
- script,即 HTML 嵌入的脚本。
- setTimeout / setInterval 定时器。
- setImmediate,这是 nodejs 特有的 API。
- requestAnimationFrame,会在页面重绘前执行。
- I/O 操作,比如网络请求完成的回调函数执行任务、还比如点击按钮要执行的回调等。这些操作其实是其他的线程完成后触发的,暂且归纳为 I/O 操作。
微任务有:
- Promise 从 pending 状态转换为其他状态时,触发 then/catch/finaly 中的函数,比如 Promise.resolve().then(fn)。这是最常见的微任务。
- MutationObserver,用于监听 DOM 的变化。
- process.nextTick,nodejs 特有的 API。
任务队列,理论上一个就够了,但也可以是多个队列的组合,没有强行要求。
多个任务队列的实现可以更好地实现优先级的控制,比如对于定时器任务,理论上应该是在多个宏任务中最先执行比较好。浏览器没考虑这种情况,但 nodejs 给宏任务中也设置优先级,会让定时器任务最先执行。
Event Loop 还是挺复杂的,标准文档也比较长,我也没怎么看,感兴趣可以看看。
https://html.spec.whatwg.org/multipage/webappapis.html#event-loops。
一道经典异步题
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");
});
console.log('script end')
解题思路为:
- 找到同步代码。同步代码有:普通同步代码、new Promise(fn) 执行传入的回调函数、async 执行时遇到 await 的前面部分(包括 await 的右侧函数执行也是同步的,这里是易错点)。
- 看看任务队列中有哪些微任务和宏任务,记住微任务全执行完了才会执行宏任务。
- 执行任务,任务里面的异步任务又按顺序进入到任务队列。
结果是:
// 同步代码
script start
async1 start
async2
promise1
script end
// 微任务
async1 end
promise2
// 宏任务
setTimeout
结尾
JS 运行机制是单线程,当有多个异步任务要同时执行,并不能并发执行,必须让优先级高的任务执行完才能执行后面的。如果正在执行的任务比较耗时,会导致后面的任务被阻塞。
Event Loop 的机制中,最基本的一条就是:微任务比宏任务先执行。