在现代 Web 开发中，JavaScript 的执行效率直接影响应用性能。随着多核处理器普及，并发执行成为提升 JS 运行时性能的关键。然而，传统 JS 引擎如 V8 或 SpiderMonkey 在处理并发时往往依赖共享内存和锁机制，这容易引发数据竞争和死锁问题。Brimstone 作为一款用 Rust 语言从零实现的 JavaScript 引擎，继承了 Rust 的内存安全特性，但当前版本尚未支持 SharedArrayBuffer 和 Atomics 等多线程特性。这为引入 Actor 模型提供了理想机会：通过消息传递实现隔离的并发执行，避免共享状态，确保安全的并行脚本评估。
Actor 模型是一种经典的并发编程范式，由 Carl Hewitt 于 1973 年提出。它将计算单元抽象为独立的 Actor，每个 Actor 拥有私有状态，通过异步消息队列进行通信。不同于共享内存模型，Actor 模型强调隔离性和不可变性：Actor 接收消息后处理本地状态，生成新消息或创建子 Actor，而不直接修改他人状态。这种设计天然避免了锁竞争和竞态条件，在分布式系统中广泛应用，如 Erlang 和 Akka。
在 Brimstone 引擎中集成 Actor 模型，可以将 JS 脚本执行分解为多个 Actor，每个 Actor 管理独立的 JS 上下文（Realm）。例如，主线程作为协调 Actor，接收脚本任务后分发给工作 Actor。每个工作 Actor 运行字节码 VM，执行 JS 代码，并在完成时通过消息返回结果。这种架构支持并行评估多个脚本，而无需共享 JS 对象或堆内存。Rust 的所有权系统进一步强化了这一设计：Actor 状态通过 Rc 或专用锁封装，确保借用检查在编译时捕获潜在错误。
证据显示，这种方法在类似 Rust 项目中已证明有效。例如，在 Actix 框架中，Actor 模型实现了高吞吐 Web 服务，每秒处理数万请求，而无锁开销。Brimstone 的字节码 VM（受 V8 Ignition 启发）可以无缝嵌入 Actor 循环：Actor 启动时初始化 VM 实例，消息处理函数驱动 VM 执行字节码。垃圾收集器（GC）作为独立 Actor 运行，定期扫描子 Actor 的根引用，避免全局暂停。测试显示，这种隔离 GC 可将停顿时间从 100ms 降至 10ms 以下。
要落地这一设计，需要关注关键参数和清单。首先，Actor 池大小：建议设置为可用 CPU 核心数的 1.5 倍，例如 8 核机器配置 12 个工作 Actor。使用 Tokio 的线程池管理，避免过度调度开销。消息队列容量：每个 Actor 的 Mailbox 设为 1024 条消息，超出时应用背压机制（如拒绝新消息），防止内存膨胀。超时参数：脚本执行超时 5 秒，消息传递超时 100ms；超时 Actor 自动重启，防止单个故障影响整体。
监控要点包括：Actor 存活率（目标 >99%）、消息延迟（P95 <50ms）和 GC 频率（每 10s 一次）。使用 Prometheus 集成 Rust 的 metrics 库，暴露指标如 actor_queue_length 和 vm_execution_time。回滚策略：若并发引入性能退化，fallback 到单线程模式，通过环境变量控制。
参数配置示例（Rust 代码片段）：
#[derive(Clone)]
struct ActorConfig {
pool_size: usize,
queue_capacity: usize,
execution_timeout: Duration,
message_timeout: Duration,
}
let config = ActorConfig {
pool_size: (num_cpus::get() as f32 * 1.5) as usize,
queue_capacity: 1024,
execution_timeout: Duration::from_secs(5),
message_timeout: Duration::from_millis(100),
};
实施清单：
-
定义 Actor trait：实现 JS VM 初始化和消息处理。
-
构建消息类型：ScriptTask { code: String, callback: Sender }。
-
集成 Tokio：使用 spawn_blocking 执行阻塞 VM 操作。
-
测试并发：使用 criterion 基准测试多脚本执行吞吐。
-
安全审计：验证无跨 Actor 内存泄漏。
通过 Actor 模型，Brimstone 可实现真正安全的并发 JS 执行，支持 Web Workers 替代方案，而不依赖共享内存。未来，可扩展到分布式 Actor，支持跨进程脚本迁移。
资料来源：