Skip to content

Commit 1178a85

Browse files
authored
Merge pull request #446 from chafel/master
事件循环:微任务和宏任务
2 parents 9a0ebf4 + 532da90 commit 1178a85

File tree

3 files changed

+433
-0
lines changed

3 files changed

+433
-0
lines changed
Lines changed: 339 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,339 @@
1+
2+
# 事件循环:微任务和宏任务
3+
4+
JavaScript 在浏览器里的执行流程跟在 Node.js 中一样,是基于**事件循环**的。
5+
6+
理解事件循环如何运行对于代码优化是重要的,有时对于正确的架构也很重要。
7+
8+
在本掌中我们首先覆盖关于这个事情是如何运作的理论细节,然后看看这个知识的实际应用。
9+
10+
## 事件循环
11+
12+
**事件循环**的概念非常简单。它是一个在 JavaScript 引擎等待任务、执行任务和休眠等待更多任务这几个状态之间的无穷无尽的循环。
13+
14+
执行引擎通用的算法:
15+
16+
1. 当有任务时:
17+
- 从最先进入的任务开始执行
18+
2. 休眠到有新的任务进入,然后到第 1 步
19+
20+
当我们浏览一个网页时就是上述这种形式。JavaScript 引擎大多数时候什么也不做,只在一个脚本、处理函数或者事件被激活时运行。
21+
22+
任务举例:
23+
24+
- 当外部脚本 `<script src="...">` 加载进来时,任务就是执行它。
25+
- 当用户移动鼠标时,任务就是派发出 `mousemove` 事件和执行处理函数。
26+
- 当定时器 `setTimeout` 到期时,任务就是运行其回调。
27+
- ……诸如此类。
28+
29+
任务队列就是一个集合,引擎来处理它们,然后等待更多的任务(即休眠,几乎不消耗 CPU 资源)。
30+
31+
一个任务到来时引擎可能正处于运行状态,那么这个任务就被入队。
32+
33+
多个任务组成了一个队列,命名为“宏任务队列”(v8 术语):
34+
35+
![](eventLoop.svg)
36+
37+
例如,当引擎忙于执行一段 `script` 时,还可能有用户移动鼠标产生了 `mousemove` 事件,`setTimeout` 或许也刚好到期等这些事件,这些任务组成一个队列,如上图所示。
38+
39+
队列里的任务执行基于“先进先出”原则。当浏览器引擎执行完 `script`,然后来处理 `mousemove` 事件,然后再执行 `setTimeout` 的执行函数,诸如此类。
40+
41+
到目前为止很简单,是吧?
42+
43+
两个更细节的点:
44+
1. 当引擎处理任务时不会执行渲染。如果执行需要很长一段时间也是如此。对于 DOM 的修改只有当任务执行完成才会被绘制。
45+
2. 如果一个任务执行时间过长,浏览器无法处理其他任务,在一定时间后就会在整个页面抛出一个如“页面未响应”的警示建议终止这个任务。这样的场景经常发生在很多复杂计算或者程序错误执行到死循环里。
46+
47+
这样我们有了一个理论,接下来我们来应用所学到的知识。
48+
49+
## 用例 1:拆分 CPU 耗费型任务
50+
51+
假如我们有一个 CPU 耗费型任务。
52+
53+
例如,语法高亮(用来给本示例页面代码上色)是相当繁重的 CPU 任务。为了高亮代码,它执行分析,创造了很多上色后的元素,并把它们添加到页面文档中,这样长文本就会消耗很多的时间。
54+
55+
当引擎忙于语法高亮时,它就无法处理其他 DOM 相关的事情,执行用户的事件等。这样或许会导致浏览器“中断”甚至是“挂起”一段时间,这没法接受。
56+
57+
我们可以拆分大任务为小片任务来规避问题。高亮前 100 行,然后设定 `setTimeout`(延时参数为 0)来高亮另外的 100 行,以此类推。
58+
59+
为了演示此方法,从简洁性上考虑,我们用从 `1` 数到 `1000000000` 的函数来代替语法高亮。
60+
61+
如果你运行如下代码,引擎会"挂起"一段时间。对于服务端 JS 这会显而易见,当运行在浏览器上,尝试点击页面上其他按钮时,你会注意到没有任何其他的事件被执行知道数数函数执行完成。
62+
63+
```js run
64+
let i = 0;
65+
66+
let start = Date.now();
67+
68+
function count() {
69+
70+
// 执行了一些繁重的任务
71+
for (let j = 0; j < 1e9; j++) {
72+
i++;
73+
}
74+
75+
alert("Done in " + (Date.now() - start) + 'ms');
76+
}
77+
78+
count();
79+
80+
```
81+
82+
浏览器甚至可能会出现“脚本执行时间过长”的警告。
83+
84+
让我们用嵌套的 `setTimeout` 拆分这个任务:
85+
86+
```js run
87+
let i = 0;
88+
89+
let start = Date.now();
90+
91+
function count() {
92+
93+
// 做一个繁重工作的一部分 (*)
94+
do {
95+
i++;
96+
} while (i % 1e6 != 0);
97+
98+
if (i == 1e9) {
99+
alert("Done in " + (Date.now() - start) + 'ms');
100+
} else {
101+
setTimeout(count); // 计划新的调用 (**)
102+
}
103+
104+
}
105+
106+
count();
107+
108+
```
109+
110+
现在浏览器界面在数数执行过程中是完全可用的。
111+
112+
单次运行 `count` 做了一部分工作 `(*)`,然后如果必要的话,重新计划自身的执行 `(**)`
113+
114+
1. 首先运行数数:`i=1...1000000`
115+
2. 然后运行数数:`i=1000001..2000000`
116+
3. 以此类推。
117+
118+
现在,如果一个任务(例如 `onclick` 事件)在引擎忙着执行第一步的时候同时发生,它就会入队然后在第一步执行完成后且第二步之前执行。周期性地在 `count` 的执行返回到事件循环,为 JavaScript 引擎提供了足够的“空间”来做别的事情,比如对用户的行为作出反应。
119+
120+
需要关注的是两者变体 —— 有和没有用 `setTimeout` 拆分任务 —— 在执行速度上是相当的。在执行数数的总耗时是没有多少差异的。
121+
122+
为了使两者耗时更接近,我们来做一个改进。
123+
124+
我们把定时任务放在 `count()` 的一开始:
125+
126+
```js run
127+
let i = 0;
128+
129+
let start = Date.now();
130+
131+
function count() {
132+
133+
// 移动定时任务到开始处
134+
if (i < 1e9 - 1e6) {
135+
setTimeout(count); // 定时发起新的调用
136+
}
137+
138+
do {
139+
i++;
140+
} while (i % 1e6 != 0);
141+
142+
if (i == 1e9) {
143+
alert("Done in " + (Date.now() - start) + 'ms');
144+
}
145+
146+
}
147+
148+
count();
149+
150+
```
151+
152+
现在我们开始调用 `count()`,在发现我们还将需要调用 `count()` 时,就在做具体的任务之前立即定时。
153+
154+
如果你运行它,会注意到耗时明显减少。
155+
156+
为什么?
157+
158+
很简单:你应该还记得,浏览器执行多个嵌套的 `setTimeout` 调用最小延时 4ms。即使设置了 `0` 还是 `4ms`(或者更久一些)。所以我们早一点定时,它就会运行地快一些。
159+
160+
最后,我们拆分 CPU 耗费型任务为几部分,现在它不会阻塞用户的界面了。 而且总耗时并不会多很多。
161+
162+
## 用例 2:进度指示器
163+
164+
另外一个给浏览器脚本拆分繁重任务的好处是我们可以展示进度指示器。
165+
166+
通常浏览器会在当前运行的代码完成后执行渲染。如果一个任务耗时很久也是这样。对 DOM 的修改只有在任务结束后才会被绘制。
167+
168+
从一方面讲,这非常好,因为我们的函数可能创造出很多的元素,把它们挨个地插入到文档中然后改变它们的样式 —— 页面访问者就不会看到任何的 “中间态”,也就是未完成的状态。很重要,对吧?
169+
170+
这是一个样例,`i` 的改变在函数结束前不会有变化,所以我们只会看到最后的值:
171+
172+
```html run
173+
<div id="progress"></div>
174+
175+
<script>
176+
177+
function count() {
178+
for (let i = 0; i < 1e6; i++) {
179+
i++;
180+
progress.innerHTML = i;
181+
}
182+
}
183+
184+
count();
185+
</script>
186+
187+
```
188+
189+
……但是我们可能会想要在执行任务期间展示一些东西,例如进度条。
190+
191+
如果我们用 `setTimeout` 拆分繁重任务为小片段,值的改变就会在它们之间被绘制。
192+
193+
这样看起来好多了:
194+
195+
```html run
196+
<div id="progress"></div>
197+
198+
<script>
199+
let i = 0;
200+
201+
function count() {
202+
203+
// 执行一些繁重的工作 (*)
204+
do {
205+
i++;
206+
progress.innerHTML = i;
207+
} while (i % 1e3 != 0);
208+
209+
if (i < 1e7) {
210+
setTimeout(count);
211+
}
212+
213+
}
214+
215+
count();
216+
</script>
217+
```
218+
219+
现在 `div` 展示了 `i` 的值的增长,跟进度条很类似了。
220+
221+
## 用例 3:在事件之后做一些事情
222+
223+
在事件处理中我们可能要延期一些行为的执行,直到事件冒泡完成并被所有层级接手和处理之后。我们可以把这部分代码放在 0 延迟的 `setTimeout`
224+
225+
[生成自定义事件](https://zh.javascript.info/dispatch-events)章节中,我们看到这样一个例子:自定义事件 `menu-open``setTimeout` 中被派发,所以它发生在“click”事件被完全处理后。
226+
227+
```js
228+
menu.onclick = function() {
229+
// ...
230+
231+
// 创建一个附带被点击菜单项数据的自定义事件
232+
let customEvent = new CustomEvent("menu-open", {
233+
bubbles: true
234+
});
235+
236+
// 异步派发自定义事件
237+
setTimeout(() => menu.dispatchEvent(customEvent));
238+
};
239+
```
240+
241+
## 宏任务和微任务
242+
243+
伴随本章描述的**宏任务**还存在着**微任务**,在章节[微任务](https://zh.javascript.info/microtask-queue)有提及到。
244+
245+
微任务仅仅由我们的代码产生。它们通常由 promises 生成:对于 `.then/catch/finally` 的处理函数变成了一个微任务。微任务通常"隐藏在" `await` 下,因为它也是另一种处理 promise 的形式。
246+
247+
有一个特殊的函数 `queueMicrotask(func)`,可以将 `func` 加入到微任务队列来执行。
248+
249+
**在每个宏任务之后,引擎立即执行所有微任务队列中的任务,比任何其他的宏任务或者渲染或者其他事情都要优先。**
250+
251+
来看看例子:
252+
253+
```js run
254+
setTimeout(() => alert("timeout"));
255+
256+
Promise.resolve()
257+
.then(() => alert("promise"));
258+
259+
alert("code");
260+
```
261+
262+
这里的执行顺序是什么呢?
263+
264+
1. `code` 首先出现,因为它是常规的同步调用。
265+
2. `promise` 第二个出现,因为 `then` 从微任务队列中来,在当前代码之后执行。
266+
3. `timeout` 最后出现,因为它是一个宏任务。
267+
268+
更详细的事件循环图如下:
269+
270+
![](eventLoop-full.svg)
271+
272+
**所有的微任务在任何其他的事件处理或者渲染或者任何其他的宏任务发生之前完成调用。**
273+
274+
这非常重要,因为它保证了微任务中的程序运行环境基本一致(没有鼠标位置改变,没有新的网络返回数据,等等)。
275+
276+
如果我们想要异步执行(在当前代码之后)一个函数,但是要在修改被渲染或者新的事件被处理之前,我们可以用 `queueMicrotask` 来定时执行。
277+
278+
还是跟前面的类似的“数数型进度展示条”的例子,不同的是用 `queueMicrotask` 来代替 `setTimeout`。你可以看到它在最后才渲染。就像写的是同步代码:
279+
280+
```html run
281+
<div id="progress"></div>
282+
283+
<script>
284+
let i = 0;
285+
286+
function count() {
287+
288+
// 执行一些繁重的工作 (*)
289+
do {
290+
i++;
291+
progress.innerHTML = i;
292+
} while (i % 1e3 != 0);
293+
294+
if (i < 1e6) {
295+
queueMicrotask(count);
296+
}
297+
298+
}
299+
300+
count();
301+
</script>
302+
```
303+
304+
## 总结
305+
306+
更具体的事件循环的算法(尽管跟[标准](https://html.spec.whatwg.org/multipage/webappapis.html#event-loop-processing-model)相比是简化过的):
307+
308+
1.**宏任务**队列出列并执行最前面的任务(比如“script”)。
309+
2. 执行所有的**微任务**
310+
- 当微任务队列非空时:
311+
- 出列并运行最前面的微任务。
312+
3. 如有需要执行渲染。
313+
4. 如果宏任务队列为空,休眠直到一个宏任务出现。
314+
5. 到步骤 1 中。
315+
316+
计划一个新的**宏任务**
317+
- 使用 0 延时的 `setTimeout(f)`
318+
319+
它被用来拆分一个计算耗费型任务为小片段,使浏览器可以对用户行为作出反馈和展示计算的进度。
320+
321+
也被用在事件处理函数中来定时执行一个行为,在当前事件被完全处理(冒泡结束)之后。
322+
323+
计划一个新的**微任务**
324+
- 使用 `queueMicrotask(f)`
325+
- promise 的处理函数也是进入到微任务队列。
326+
327+
在微任务中间没有 UI 或者网络事件的处理:它们一个接一个地立即执行。
328+
329+
所以我们可以用 `queueMicrotask` 来异步地执行函数,但是保持环境状态的一致。
330+
331+
```smart header="Web Workers"
332+
为了繁重任务不至于阻塞事件循环,我们可以用 [Web Workers](https://html.spec.whatwg.org/multipage/workers.html)。
333+
334+
这是一个在平行线程中运行代码的办法。
335+
336+
Web Workers 可以跟主线程交换信息,但是它们可以有自己的变量和自己的事件循环。
337+
338+
Web Workers 无权访问 DOM,所以它们主要在计算上有用,用来使用多核 CPU 同时执行的能力。
339+
```

0 commit comments

Comments
 (0)