关键在于隔离 promise 构造与 microtask 执行环境,重写沙箱 promise 并劫持 async 函数调用链,统一调度所有异步回调至沙箱上下文,同时拦截并重写 fetch 等全局异步 api 返回的 promise。

直接用 async/await 写微沙箱底座,本身不难;真正关键的是:**不能让 await 后的 Promise 逃逸出沙箱作用域,更不能让外部代码污染沙箱内的全局状态或原型链**。async/await 是语法糖,背后仍是 Promise 和 microtask 调度,而 Promise 的 resolve/reject 回调默认在全局上下文中执行——这正是隔离失效的常见入口。
隔离 Promise 构造与 microtask 执行环境
原生 Promise 构造函数无法被完全代理(new Promise() 会绕过 Proxy),因此必须重写并封装一个沙箱内专用的 Promise 实现(可轻量封装 native Promise,但所有 resolve/reject 回调必须显式绑定沙箱执行上下文):
- 在沙箱初始化时,用 Object.freeze + Object.defineProperty 创建只读的 sandbox.Promise,并指向自定义构造器
- 自定义 Promise 构造器中,对传入的 executor 函数做包裹:用沙箱的 globalThis 作为 this,并确保其内部调用的 resolve/reject 也运行在沙箱上下文中
- 关键点:所有 then/catch 回调,需通过 sandbox.runInContext(fn) 统一调度,而非直接透传给原生 Promise.then
async 函数体必须运行在受控执行上下文内
async 函数声明本身不触发执行,但一旦调用,其内部 await 表达式会将后续逻辑推入 microtask 队列——这个队列默认属于全局事件循环。要隔离,就必须劫持整个 async 函数的调用链:
- 不直接执行用户传入的 async 函数,而是用 Function 构造器+with(已废弃)或更安全的 eval(配合严格作用域)重编译为闭包形式
- 推荐做法:用 sandbox.evaluate(code) 动态执行含 async/await 的代码字符串,且该 evaluate 内部使用自定义 Promise + 沙箱 globalThis + 重写的 async 函数包装器
- 示例:sandbox.evaluate(`async () => { await fetch('/api'); return 'done'; }`) 返回的函数,其内部所有 await 均走沙箱 Promise 链路
拦截并重写全局异步钩子(fetch、setTimeout、WebSocket 等)
即使 Promise 隔离了,若 fetch 返回的原生 Promise 被 await,回调仍会跳出沙箱。因此所有异步 API 必须返回沙箱 Promise:
- 在沙箱 globalThis 上挂载沙箱版 fetch:它调用原生 fetch 后,将 response 包裹进 sandbox.Promise,并重写其 json()、text() 等方法返回沙箱 Promise
- setTimeout/setInterval 返回的 timer ID 无需隔离,但回调函数必须经 sandbox.runInContext 包裹后执行
- 对 WebSocket、EventSource 等,需代理其 onmessage/onopen 等属性访问器,确保事件处理器运行在沙箱上下文中
禁止跨沙箱引用与原型污染防御
async/await 容易隐式暴露 this 或闭包变量,导致原型链穿透:
- 沙箱 globalThis 的原型链必须设为 null(Object.setPrototypeOf(globalThis, null)),禁用继承自 window/Object.prototype 的方法
- 所有从沙箱内传出的对象(包括 Promise resolve 的值),需经 deepClone 或 Proxy 拦截(get/set/construct),切断对原生对象的引用
- 特别注意:await 一个跨沙箱 Promise 时,必须先用 sandbox.importPromise(p) 将其“导入”为沙箱 Promise,否则 then 回调脱离控制
不复杂但容易忽略:async/await 的优雅,建立在对 Promise 生命周期和 microtask 队列的全程掌控之上。语法糖只是表象,真正的隔离力来自对执行上下文、构造器、回调调度三者的联合约束。











