微任务队列清空是原子性的，即宏任务结束后引擎用不可中断的同步while循环持续执行直至队列为空，期间不响应任何外部事件、不渲染、不执行新宏任务，且动态追加的新微任务会顺延执行。
微任务队列的清空过程是原子性的——它不被任何外部事件中断，包括用户输入、定时器触发、网络响应或渲染更新。这不是一种“建议行为”，而是 JavaScript 引擎强制保证的执行模型。
原子性体现在执行不可打断
一旦宏任务结束，引擎立即进入微任务清空阶段，用一个同步、无让渡的 while 循环持续执行，直到队列为空。这个循环期间：
- 主线程完全被占用，不会响应鼠标点击、键盘输入、滚动等新事件；这些事件会排队进宏任务队列，等待本轮结束后才被调度
- 已就绪的 setTimeout、setInterval 或 postMessage 回调一律暂停，不插入执行流
- 浏览器暂不进行 UI 渲染（即使 DOM 已修改），渲染被推迟到微任务全部执行完毕之后
- 没有“中途暂停”“分片执行”或“让出控制权”的可能——要么全执行完，要么不开始
原子性不等于“禁止新增”
微任务队列的原子性指执行流程不可中断，但队列本身是动态可写入的：
- 正在执行的 Promise.then 回调里调用 queueMicrotask 或创建新 Promise，新微任务会立刻追加到队尾
- 引擎继续取下一个任务执行，不会因“初始队列已遍历一轮”而停止——退出条件只有 队列长度 === 0
- 这意味着链式 Promise（如 .then().then().then()）能无缝衔接，也意味着一个微任务可以无限递归生成新微任务（需警惕栈溢出或阻塞）
与操作系统级中断的本质区别
JavaScript 中的“微任务清空”不是硬件中断或内核软中断：
- 它不涉及 CPU 上下文切换、寄存器保存或中断屏蔽寄存器操作
- 它不依赖外部信号（如 IRQ 引脚电平变化），而是由 JS 执行引擎在确定时机主动触发的内部机制
- 所谓“不可中断”，是指 V8/SpiderMonkey 等引擎在源码中实现为 同步 while 循环 + 无 yield 点，而非靠底层中断禁用实现
实际影响：避免意外阻塞
理解原子性有助于写出更可控的异步逻辑：
- 不要在微任务中执行耗时计算（如大数组排序、正则回溯），否则会卡住整个主线程，延迟所有后续宏任务和 UI 更新
- 若需分片处理，应主动拆成多个宏任务（如用 setTimeout(0) 或 requestIdleCallback），而非依赖微任务“自动分片”
- 调试时观察到“连续多个 .then 立即执行”，正是原子性在起作用；而“点击后界面迟迟无反应”，很可能就是某个微任务链过长所致
