Scala.js项目中的Wasm与JavaScript Promise集成技术解析

背景介绍

Scala.js作为将Scala代码编译为JavaScript的工具，近期在WebAssembly(Wasm)后端开发中取得重要进展。其中JavaScript Promise集成(JSPI)方案为Wasm带来了突破性的能力——允许Wasm代码同步调用返回Promise的JS函数，并在Promise未解决时挂起执行。这种能力相当于虚拟线程(又称绿色线程或协程)，是纯JavaScript无法实现的功能。

JSPI的核心价值

JSPI为Wasm提供了独特的"超能力"：它解决了传统异步编程中的"函数着色"问题。在传统异步编程中，函数必须明确标记为async，而JSPI允许任意深度的函数调用栈在Promise未解决时挂起，中间层的函数无需知道它们可能被挂起。这种机制使得每个函数都可以根据调用者的不同而表现出同步或异步行为。

技术实现方案

1. 挂起导入(Suspending Imports)

Scala.js提供了两种实现方案：

方案一：提供基础await原语

def await[A](p: js.Promise[A]): A = throw new Error("stub")

底层实现为：

"await": new WebAssembly.Suspending((x) => x)

方案二：使用@JSImportSuspending注解

@js.native
@JSImportSuspending("readFile", "node:fs")
def readFile(f: String, charset: String): String = js.native

2. 承诺导出(Promising Exports)

最初方案建议使用@JSExportPromising注解，但后续发现更灵活的解决方案是提供suspendable操作：

def suspendable[A](operation: => A): js.Promise[A] =
  throw new Error("stub")

这种方式不强制开发者导出任何内容，同时保持API的简洁性。

实现挑战与解决方案

调用路径限制

在承诺导出和挂起导入之间的调用路径上不能有任何JavaScript帧。虽然这无法静态或动态检查，但运行时引擎会进行验证，违反条件时将导致不可捕获的trap。为解决这一问题，方案已修改为抛出可捕获的异常而非trap。

类型系统集成

为实现类型安全，可以考虑以下方案：

1. 使用scala.Function0(但会使IR特定于Scala)
2. 使用java.util.function.Supplier
3. 在IR中添加TypedClosure支持

最佳实践建议

对于需要导出为Promise的函数，推荐模式为：

@JSExportTopLevel("myPromisingFunc")
def myPromisingFunc(x: Int): js.Promise[String] =
  suspendable { myComputation(x) }

未来发展方向

随着JSPI进入标准化阶段，Scala.js团队计划：

1. 完善js.async和js.awaitAPI
2. 探索基于捕获检查的类型安全抽象
3. 提供更高级的异步编程糖语法

总结

Scala.js通过JSPI集成，为Wasm后端带来了革命性的异步编程能力。这种技术不仅解决了传统异步编程的痛点，还为未来的并发编程模型开辟了新途径。开发者现在可以期待更简洁、更强大的异步编程体验，同时保持Scala类型系统的安全性。