闭包本身不提供原子性,但能为异步任务队列调度器构建“逻辑原子性”控制层,通过作用域隔离与状态捕获实现任务创建、入队、去重、执行上下文固化等环节的竞态规避。

闭包本身不提供原子性,但它能为异步任务队列调度器构建“逻辑原子性”控制层——即在任务创建、入队、去重、执行上下文固化等关键环节,通过作用域隔离与状态捕获,避免竞态和中间态污染。真正的原子性保障来自闭包封装 + 队列操作节制 + 弱引用缓存协同实现。
用闭包固化任务元信息,杜绝执行时状态漂移
每个异步任务不是直接传函数,而是由闭包工厂生成带完整快照的对象:
- 闭包立即捕获必要参数(如用户ID、请求URL、时间戳),即使后续变量被修改,任务执行时仍使用创建时刻的值
- 任务对象内嵌唯一标识(如 key: `fetch-profile-${userId}`),供后续去重或合并使用
- 优先级、超时阈值、重试策略等元数据随闭包一同固化,不依赖外部配置或运行时查表
双队列结构由闭包私有持有,天然隔离并发访问
调度器主体是一个立即执行函数,其内部变量无法被外部篡改:
- immediateQueue:仅存放需即时响应的任务(如按钮反馈、表单校验),每次 tick 严格 FIFO 执行
- backgroundQueue:存放数据加载、日志上报等后台任务,只在 immediateQueue 清空且主线程空闲时才轮询
- 两个数组均被外层闭包封闭,无全局暴露;所有 push / shift 操作都在同一作用域内完成,避免多线程或多次调用导致的错序
基于 WeakMap 的 key 级去重,实现“提交即生效”的语义原子性
防止重复提交引发资源浪费或状态冲突,闭包配合 WeakMap 实现轻量级原子判断:
- 任务闭包携带 cacheKey,调度器用 WeakMap 缓存该 key 对应的最后提交时间或 Promise 实例
- 新任务到达时,在闭包内同步比对:若 key 已存在且未完成,则直接返回已有 Promise,不重复入队
- WeakMap 不阻止 key 对象被回收,避免内存泄漏;整个判断过程在任务入队前完成,无异步间隙
微任务边界内完成关键操作,确保调度决策不可分割
所有队列调度逻辑(检查优先级、选队列、触发执行)都包裹在 queueMicrotask 或 Promise.resolve().then() 中:
- 微任务在当前 JS 执行栈清空后、渲染前统一执行,不会被其他宏任务(如 setTimeout)打断
- 一次微任务中完成“读队列 → 判优先级 → 取任务 → 执行或跳过”整套流程,避免因事件循环切出导致状态不一致
- 高优任务可插队到 microtask 队列头部(例如用 Promise.resolve().then(() => {...}).then(...) 控制顺序)











