依据HTML标准再探Javascript事件循环及其与浏览器渲染的关系

Javascript的一些基础概念

JavaScript执行引擎在宿主环境中是单线程的，这意味着在同一时间内只能执行一个任务。在Javascript运行期间，引擎会创建和维护相应的堆（heap）和栈（stack）这两个数据结构；堆是存放数据变量的地方（这里很多前端er有个误区，认为js的引用类型存放在堆中，基础类型的变量是存放在栈中的），栈就是指执行栈。

对于浏览器来说，当它第一次加载你的<script>标签时，它默认进入了全局执行环境；如果你在全局代码中调用了一个函数，执行流就会进入到这个函数当中，创建一个新的执行环境并且把这个环境添加到执行栈的顶部。如果你在当前的函数中又调用了其他函数，同样的步骤会再来一次。浏览器始终执行当前在栈顶部的执行环境。一旦函数完成了当前的执行环境，它就会被弹出栈的顶部, 把控制权返回给栈中的下个执行环境：

上述任务都是同步执行的，这就会导致一个很常见的问题：如果执行了一段非常耗时的同步代码例如请求数据、上传文件等，浏览器就会长时间无法渲染，页面阻塞不能响应交互。对于需要处理这类IO密集型任务的浏览器来说，Javascript当然是需要异步非阻塞机制的，这就是下面要讲的事件循环机制。

Event Loop

上面讲了执行栈中的所有任务从顶向下同步执行；但当遇到一些需要异步执行的任务，如ajax、setTimeout等时，会立即返回函数，然后将异步操作交给浏览器内核中的其他模块处理（如timer、network、DOM Binding模块等），接着主线程继续往下执行栈中的任务。当这些异步操作完成后如ajax接受完响应、setTimeout到达指定延时；这些任务的回调就会被放入到任务队列中。不同的异步任务的回调函数会被放入不同的任务队列之中。

在浏览器中是有两种不同类型的异步任务，国内的文章好像都是叫做“宏任务”和“微任务”，但在HTML标准(没错，事件循环这玩意是在HTML标准里的而不是ECMAScript标准定的)中并没有这么区分。在标准中，我们常说的“宏任务”就是指Task，常见的来源（Task Source）有：

DOM操作
UI交互
网络请求
History APIs
定时器任务
。。。。。。

不同Task Source所产生的Task还会有自己的队列（Task Queue）；当多个Task Queue都存在Task时，浏览器会自行调度决定先执行哪个；但同一Task Queue里的Task一定是按先进先出（FIFO）的顺序执行的。

后面出的新特性如Promise和MutationObserver，通常就是标准中的'Microtask'。与Task Queue不同的是，Microtask Queue只有一个。

当执行栈中所有任务都执行完了后，就会去Event Loop中去取出任务，放到执行栈中同步执行。Event Loop做了哪些事情呢，参考标准(Processing model)，大概总结如下：

从Task Queue取出一个Task执行；至于如何选择哪个Task Queue（前面说过，Event Loop中会有多个Task Queue）取决于浏览器实现方。
依次执行Microtask Queue中的所有Microtask。注意，在本轮循环中新增的Microtask也会在此执行完。
设置变量now的值。后续如果执行window.requestAnimationFrame或Intersection Observer的话，传入回调函数中的时间戳就是这个变量now。
更新渲染
- 浏览器会根据刷新频率和页面状态等因素来决定是否要跳过该次渲染更新。例如当浏览器试图达到60Hz的刷新频率时，会让更新渲染的次数在一秒内最多达到60次(16.6ms一次)，但如果浏览器发现页面无法稳定维持该帧率的话，就会降到30Hz，那么更新渲染的几率就被降低了一半；或者当前页面的可见性为否时，浏览器可以将该页面降低至每秒4次甚至更低的更新渲染次数；又或者当前的渲染不会有可见的差异等。
- 如果确认需要更新渲染：
  1. 触发resize、scroll和fullscreen等事件的处理函数并传入刚刚前面设置的now作为时间戳；并不是说到这里才会更新视图，窗口大小和滚动是会马上更新的，只是需要在一次事件循环中走到这一步时，才会触发这些事件的分发
  2. 执行帧动画回调，传入刚刚前面设置的now作为时间戳；window.requestAnimationFrame就是在此时执行的
  3. 执行Intersection Observer API的回调
  4. 渲染页面内容并提交
每当一轮循环结束后，会判断Task Queue和Microtask Queue是否为空。都为空的话则再根据空闲周期算法决定是否执行requestIdleCallback回调。