1. 异步编程的基本模型与事件循环概览
事件循环是现代 JavaScript 运行时刻的核心机制，它负责调度同步任务和异步任务的执行顺序。在浏览器和 Node.js 中，理解它的行为对写出高性能代码至关重要。本文结合 async/await 的工作原理，揭示事件循环在实际运行中的表现和影响。
在这套模型中，最重要的几个组成部分包括调用栈、宏任务队列（如 setTimeout、setInterval 等）以及微任务队列（如 Promise.then、process.nextTick、MutationObserver 等）。事件循环的循环节奏通常遵循：先执行同步代码栈中的内容，当栈空了之后，依次查看微任务队列并执行所有待处理的微任务，再去处理一个或多个宏任务。通过这种机制，JavaScript 能持续处理 I/O、计时器和 Promise 相关的回调，而不会阻塞用户界面的渲染。
理解这些基本概念后，我们就可以从一个具体例子看清楚异步任务在事件循环中的调度。下方代码展示了一个简单的混合场景：同步输出、微任务输出，以及宏任务输出之间的关系。关键点在于微任务会在当前 macrotask 结束后、下一个宏任务开始前被执行。
console.log('同步1');
setTimeout(() => console.log('宏任务: 1'), 0);
Promise.resolve().then(() => console.log('微任务: 1'));
console.log('同步2');
从上面的输出顺序可以看到：同步代码先执行，随后微任务在当前宏任务结束后执行，最后才进入下一个宏任务的队列。这种机制决定了代码中对异步操作的感知与响应时序，是理解 async/await 行为的基础。
综上所述，事件循环的工作机制为我们提供了一个强大的模型：通过把工作分解为同步执行、微任务清空、宏任务调度三步来实现高效的异步处理。掌握这一点，才能在后续章节中准确分析 async/await 对于调度时序和性能的具体影响。
1.1 事件循环的关键组成与执行顺序
调用栈负责当前正在执行的代码单元；微任务队列与 宏任务队列共同决定了后续的执行顺序。理解它们的关系，有助于避免不易察觉的竞争条件和性能瓶颈。
为进一步直观展示，下面的示例对比了微任务与宏任务在同一轮事件循环中的触发时序。请留意每次输出之间的关系，以及在栈清空后微任务的执行点。关键行为是：微任务在当前宏任务结束后、下一个宏任务开始前被先执行。
console.log('A');
setTimeout(() => console.log('B'), 0);
Promise.resolve().then(() => console.log('C'));
console.log('D');
这段代码的执行顺序通常是：A、D、C、B。这进一步印证了微任务优先于下一个宏任务的执行规则。
2. async/await 的工作原理与在事件循环中的调度
async/await 是对 Promise 异步处理的语法糖。它们在幕后把异步逻辑转化为基于 Promise 的流程，并通过等待点（await）将控制权回收到事件循环中的微任务队列。这意味着，await 暂停 async 函数的执行，直到所等待的 Promise 解决，再继续执行后续代码。
更具体地说，一个标记为 async 的函数在执行遇到 await 时，会把等待的 Promise 置为待解决状态，并把后续代码作为一个微任务在 Promise 的解析阶段执行。这一机制对事件循环的影响是：异步等待会将后续执行推迟到微任务队列的执行阶段，从而避免阻塞当前事件循环的宏任务。
下方代码演示了 async/await 的基本行为，以及它如何与 Promise 的微任务队列协同工作。核心点在于 await 会把后续的代码块延迟到微任务阶段执行，而不是直接在当前栈内继续执行。
async function example() {console.log('start');await Promise.resolve();console.log('end');
}
example();
console.log('next');
2.1 将异步入口转换为微任务的机制
在异步入口被触发时，Promise.resolve().then(...) 这样的微任务会被放入微任务队列，等待当前宏任务完成后统一执行。这就是为什么使用 await 时，后续代码不会立刻执行，而是等到 Promise 解析完成后才被调度执行。
为了进一步说明，下面这个片段展示了在一个宏任务内创建的多次微任务，如何按顺序执行。关键点是：虚拟时间线上的微任务按照队列顺序逐一执行，直到队列为空。
console.log('1');
(async () => {console.log('2');await Promise.resolve();console.log('4');
})();
console.log('3');
3. async/await 如何影响事件循环的调度时序
当代码里出现 async/await 时，事件循环的调度时序会因为等待点而出现短暂的微任务阶段。具体来说，await 让异步路径在 Promise 解析后再次进入执行栈，从而引入新的微任务执行点。把握这一点，能更准确地预测复杂异步场景中的执行顺序与响应时间。
3.1 微任务与宏任务的关系与影响
一个典型示例可以帮助理解在同一个事件循环轮次中的行为：在某些情况下，微任务会把更多工作挤入同一轮循环，从而减少下一轮宏任务的切换次数，提升响应性，但也可能增加单轮执行的开销。
下面的示例展示了一个组合了 IIFE、async/await 与 setTimeout 的混合场景。通过它可以清晰看到：微任务列队的清空时机、以及宏任务切换点对最终输出顺序的影响。
console.log('A');
(async () => {console.log('B');await Promise.resolve();console.log('C');
})();
setTimeout(() => console.log('D'), 0);
console.log('E');
这段代码的典型输出顺序为：A、B、E、C、D。可以看出：在当前事件循环轮次中，await 之后的代码在微任务阶段执行，而下一个宏任务则在微任务队列清空后才进入执行。
4. 在浏览器与 Node.js 环境中的性能与优化注意点
从性能角度看，async/await 的使用要关注微任务的数量与持续时间。虽然它让异步代码的写法更直观，但过多的微任务会增大单轮循环的工作量，带来更高的 CPU 使用和潜在的帧率下降风险。
要避免对事件循环造成过长的阻塞，可以采用分解式异步、避免在微任务中执行耗时逻辑，以及把大规模计算分割成更小的片段通过 setTimeout、setImmediate（在支持的环境中）或自定义队列进行调度。
一个经典的优化思路是将大任务分成多个“小片段”执行，每执行一个片段就让出一次 事件循环，从而让渲染和 I/O 有机会插入。下面的示例对比了两种实现方式：阻塞式与分片式。分片执行可以显著减少单轮循环中的工作量峰值。
// 不良实践：持续阻塞事件循环
let sum = 0;
for (let i = 0; i < 1e7; i++) sum += i;
console.log(sum);// 改善实践：分片执行，释放事件循环
async function runChunks() {let sum = 0;const total = 1e7;const chunkSize = 1e5;for (let i = 0; i < total; i += chunkSize) {for (let j = 0; j < chunkSize; j++) sum += i + j;await new Promise(resolve => setTimeout(resolve, 0)); // 将控制权回给事件循环}console.log(sum);
}
runChunks();
此外，错误处理与异常路径的性能成本也需要关注。try/catch 在同步路径下成本较低，但在大量异步操作中，确保错误路径尽可能少地进入强制性同步捕获，可以降低额外的开销。对于 Node.js，理解 微任务队列与 process.nextTick 的优先级差异，也有助于对比和优化不同异步风格的实现。
在性能分析时，建议结合浏览器开发者工具或 Node 的性能分析工具，关注以下指标：总执行时间、单轮微任务耗时、宏任务执行时长、渲染与合成阶段的帧率。这些数据能够帮助定位是否因为 async/await 的微任务密集导致的响应延迟，以及是否需要对异步结构进行重构。
