宏任务、微任务 和 事件循环机制

宏任务、微任务 和 事件循环机制

---

JavaScript是单线程的，也就是说，同一个时刻，JavaScript只能执行一个任务，其他任务只能等待。

那么，为什么 JavaScript 是单线程的？

js是运行于浏览器的脚本语言，因其经常涉及操作dom，如果是多线程的，也就意味着，同一个时刻，能够执行多个任务。

试想，如果一个线程修改dom，另一个线程删除dom，那么浏览器就不知道该先执行哪个操作。

所以js执行的时候会按照 一个任务一个任务来执行 。

为什么任务要分为同步任务和异步任务

试想一下，如果 js 的任务都是同步的，那么遇到定时器、网络请求等这类型需要延时执行的任务会发生什么？

页面 可能会瘫痪 ，需要 暂停下来等待这些需要很长时间 才能执行完毕的代码

所以，引入了异步任务。

• 同步任务：同步任务不需要进行等待可立即看到执行结果，比如 console
• 异步任务：异步任务需要等待一定的时候才能看到结果，比如 setTimeout 、网络请求

---

事件循环（Event Loop）

事件循环的比较简单，它是一个在 “JavaScript 引擎等待任务”，"执行任务"和"进入休眠状态等待更多任务"这几个状态之间转换的无限循环。

引擎的一般算法：

1. 当有任务时：从最先进入的任务开始执行。
2. 没有其他任务，休眠直到出现任务，然后转到第 1 步。

---

任务队列

根据规范，事件循环是通过任务队列的机制来进行协调的。一个 Event Loop 中，可以有一个或者多个任务队列(task queue)，一个任务队列便是一系列有序任务(task)的集合；每个任务都有一个任务源(task source)，源自同一个任务源的 task 必须放到同一个任务队列，从不同源来的则被添加到不同队列。setTimeout/Promise 等API便是任务源。

在事件循环中，每进行一次循环的关键步骤如下：

• 在此次循环中选择最先进入队列的任务(oldest task)，如果有则执行(一次)
• 检查是否存在 微任务（Microtasks），如果存在则不停地执行，直至清空 微任务队列（Microtasks Queue）
• 更新 render（DOM渲染）
• 以上为一次循环，主线程重复执行上述步骤

在上述循环的基础上需要了解几点：

• JS分为同步任务和异步任务
• 同步任务都在主线程上执行，形成一个执行栈
• 主线程之外，宿主环境管理着一个任务队列，只要异步任务有了运行结果，就在任务队列之中放置一个事件。
• 一旦执行栈中的所有同步任务执行完毕（此时JS引擎空闲），系统就会读取任务队列，将可运行的异步任务添加到可执行栈中，开始执行。

---

宏任务

(macro)task，可以理解是每次执行栈执行的代码就是一个宏任务（包括每次从事件队列中获取一个事件回调并放到执行栈中执行）。

任务（代码）	宏任务	环境
script	宏任务	浏览器
事件	宏任务	浏览器
网络请求（Ajax）	宏任务	浏览器
setTimeout() 定时器	宏任务	浏览器 / Node
fs.readFile() 读取文件	宏任务	Node

---

微任务

微任务（microtask）是宏任务中的一个部分，它的执行时机是在同步代码执行之后，下一个宏任务执行之前。

Promise.then

---

运行机制

在事件循环中，每进行一次循环操作称为 tick，每一次 tick 的任务处理模型是比较复杂的，但关键步骤如下：

• 执行一个宏任务（执行栈中没有就从事件队列中获取）
• 执行过程中如果遇到微任务，就将它添加到微任务的任务队列中
• 宏任务里的同步代码执行完毕后，立即执行当前微任务队列中的所有微任务（依次执行）
• 当前宏任务执行完毕，开始检查渲染，然后GUI线程接管渲染
• 渲染完毕后，JS线程继续接管，开始下一个宏任务（从事件队列中获取）