diff --git a/Cargo.lock b/Cargo.lock index a2e1886a..55f7d293 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -1160,7 +1160,7 @@ dependencies = [ [[package]] name = "oxide_builtins" -version = "0.8.93" +version = "0.8.94" dependencies = [ "chrono", "fast-float", @@ -1185,7 +1185,7 @@ dependencies = [ [[package]] name = "oxide_bytecode" -version = "0.8.93" +version = "0.8.94" dependencies = [ "num-bigint", "oxide_log", @@ -1193,7 +1193,7 @@ dependencies = [ [[package]] name = "oxide_cfg" -version = "0.8.93" +version = "0.8.94" dependencies = [ "oxide_bytecode", "oxide_emit", @@ -1204,7 +1204,7 @@ dependencies = [ [[package]] name = "oxide_cli" -version = "0.8.93" +version = "0.8.94" dependencies = [ "ansi_term", "bumpalo", @@ -1226,7 +1226,7 @@ dependencies = [ [[package]] name = "oxide_code_cache" -version = "0.8.93" +version = "0.8.94" dependencies = [ "lru", "oxide_bytecode", @@ -1235,7 +1235,7 @@ dependencies = [ [[package]] name = "oxide_compiler" -version = "0.8.93" +version = "0.8.94" dependencies = [ "oxide_bytecode", "oxide_cfg", @@ -1255,7 +1255,7 @@ dependencies = [ [[package]] name = "oxide_dce" -version = "0.8.93" +version = "0.8.94" dependencies = [ "oxide_bytecode", "oxide_cfg", @@ -1269,7 +1269,7 @@ dependencies = [ [[package]] name = "oxide_emit" -version = "0.8.93" +version = "0.8.94" dependencies = [ "num-bigint", "oxc_allocator", @@ -1284,7 +1284,7 @@ dependencies = [ [[package]] name = "oxide_engine" -version = "0.8.93" +version = "0.8.94" dependencies = [ "oxide_bytecode", "oxide_compiler", @@ -1296,7 +1296,7 @@ dependencies = [ [[package]] name = "oxide_ir" -version = "0.8.93" +version = "0.8.94" dependencies = [ "oxide_bytecode", "oxide_log", @@ -1305,7 +1305,7 @@ dependencies = [ [[package]] name = "oxide_kernel" -version = "0.8.93" +version = "0.8.94" dependencies = [ "bumpalo", "dashmap", @@ -1319,7 +1319,7 @@ dependencies = [ [[package]] name = "oxide_liveness" -version = "0.8.93" +version = "0.8.94" dependencies = [ "oxide_bytecode", "oxide_cfg", @@ -1331,7 +1331,7 @@ dependencies = [ [[package]] name = "oxide_log" -version = "0.8.93" +version = "0.8.94" dependencies = [ "tracing", "tracing-appender", @@ -1340,7 +1340,7 @@ dependencies = [ [[package]] name = "oxide_parser" -version = "0.8.93" +version = "0.8.94" dependencies = [ "oxc_allocator", "oxc_ast", @@ -1355,7 +1355,7 @@ dependencies = [ [[package]] name = "oxide_regalloc" -version = "0.8.93" +version = "0.8.94" dependencies = [ "oxide_bytecode", "oxide_cfg", @@ -1371,7 +1371,7 @@ dependencies = [ [[package]] name = "oxide_runtime_api" -version = "0.8.93" +version = "0.8.94" dependencies = [ "num-bigint", "num-traits", @@ -1384,7 +1384,7 @@ dependencies = [ [[package]] name = "oxide_test262" -version = "0.8.93" +version = "0.8.94" dependencies = [ "oxide_bytecode", "oxide_compiler", @@ -1402,7 +1402,7 @@ dependencies = [ [[package]] name = "oxide_types" -version = "0.8.93" +version = "0.8.94" dependencies = [ "bumpalo", "dashmap", @@ -1415,7 +1415,7 @@ dependencies = [ [[package]] name = "oxide_vm" -version = "0.8.93" +version = "0.8.94" dependencies = [ "bumpalo", "chrono", diff --git a/Cargo.toml b/Cargo.toml index 1a44997c..3bebf681 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -23,7 +23,7 @@ members = [ ] [workspace.package] -version = "0.8.93" +version = "0.8.94" edition = "2021" license = "MIT" rust-version = "1.80" diff --git a/crates/oxide_vm/src/worker/bindings.rs b/crates/oxide_vm/src/worker/bindings.rs index b60ebfe9..e77d9872 100644 --- a/crates/oxide_vm/src/worker/bindings.rs +++ b/crates/oxide_vm/src/worker/bindings.rs @@ -14,7 +14,7 @@ use std::cell::{Cell, RefCell}; -use oxide_builtins::message_value::{detach_message, MessageValue}; +use oxide_builtins::message_value::detach_message; use oxide_kernel::message_queue::Sender; use oxide_kernel::shape_forge::EMPTY_SHAPE_ID; use oxide_runtime_api::{NativeResult, ProtoKind, VmHost}; @@ -23,10 +23,12 @@ use oxide_types::value::JsValue; use crate::vm::Vm; +use super::WorkerOutMail; + // worker → 主线程输出通道（worker realm 专用，`worker_event_loop` 建 Vm 后注入）。 // thread-local：worker 线程独占，不跨线程共享。主 realm 的 Vm 不注入（恒 `None`）。 thread_local! { - static WORKER_OUT_TX: RefCell>> = const { RefCell::new(None) }; + static WORKER_OUT_TX: RefCell>> = const { RefCell::new(None) }; } // worker 自关停请求位（`self.close()` 置位，事件循环每轮检查）。 @@ -38,7 +40,7 @@ thread_local! { /// /// # 副作用 /// - 覆盖本线程的 `WORKER_OUT_TX`（worker 线程内恰好一次）。 -pub(crate) fn set_worker_out_tx(tx: Sender) { +pub(crate) fn set_worker_out_tx(tx: Sender) { WORKER_OUT_TX.with(|slot| *slot.borrow_mut() = Some(tx)); } @@ -256,7 +258,7 @@ pub(crate) fn self_post_message(vm: &mut Vm, args: &[u8]) -> NativeResult { }; WORKER_OUT_TX.with(|slot| { if let Some(tx) = slot.borrow().as_ref() { - let _ = tx.send(mv); + let _ = tx.send(WorkerOutMail::Message(mv)); } }); NativeResult::Ok(JsValue::undefined()) @@ -283,23 +285,29 @@ pub(crate) fn self_location(vm: &mut Vm, _args: &[u8]) -> NativeResult { NativeResult::Ok(vm.new_string("")) } -/// `MessageEvent` 构造辅助：建 MessageEvent 对象（`data` 属性 + `type` 属性）。 +/// 事件构造辅助：建事件对象（`data` + `type` + `message` 属性）。 +/// +/// 消息事件与错误事件同型，共用本辅助：消息事件 `message` 为 undefined， +/// 错误事件 `data` 为 undefined、`message` 为错误串。 /// /// # 步骤 /// 1. 建 PLAIN 对象（`[[Prototype]]` → `%Object.prototype%`）。 /// 2. define `data` 属性（rehydrate 后的消息值，可枚举）。 /// 3. define `type` 属性（事件类型串，可枚举）。 -/// 4. 返回对象。 +/// 4. define `message` 属性（错误消息串，可枚举；消息事件为 undefined）。 +/// 5. 返回对象。 /// /// # 边界与前提 /// - `data` 是 rehydrate 后的消息值（GC 边，经 `alloc_object` 入对象表即成根）。 /// - `type` 是事件类型串（`"message"`/`"error"`/`"messageerror"`）。 +/// - `message` 是错误消息串（仅错误事件定义，消息事件为 undefined）。 /// /// # 副作用 -/// - 新建一个 MessageEvent 对象（经 `alloc_object` 入对象表）。 +/// - 新建一个事件对象（经 `alloc_object` 入对象表）。 pub(crate) fn message_event_constructor(vm: &mut Vm, args: &[u8]) -> NativeResult { let data_val = if args.len() > 1 { vm.reg(args[1]) } else { JsValue::undefined() }; let type_val = if args.len() > 2 { vm.reg(args[2]) } else { JsValue::undefined() }; + let message_val = if args.len() > 3 { vm.reg(args[3]) } else { JsValue::undefined() }; let object_proto = JsValue::from_js_object(vm.builtin_proto(ProtoKind::ObjectProto)); let obj = JsObject::new_empty(EMPTY_SHAPE_ID, object_proto); @@ -311,6 +319,8 @@ pub(crate) fn message_event_constructor(vm: &mut Vm, args: &[u8]) -> NativeResul let _ = vm.define_data_property(event_obj, si_data, data_val, PropAttributes::DEFAULT_DATA); let si_type = vm.perm_intern("type"); let _ = vm.define_data_property(event_obj, si_type, type_val, PropAttributes::DEFAULT_DATA); + let si_message = vm.perm_intern("message"); + let _ = vm.define_data_property(event_obj, si_message, message_val, PropAttributes::DEFAULT_DATA); NativeResult::Ok(JsValue::from_js_object(ptr)) } diff --git a/crates/oxide_vm/src/worker/mod.rs b/crates/oxide_vm/src/worker/mod.rs index 06daef0e..acb8a469 100644 --- a/crates/oxide_vm/src/worker/mod.rs +++ b/crates/oxide_vm/src/worker/mod.rs @@ -7,9 +7,9 @@ //! - 跨线程消息经 `MessageValue`（Send 中间表示，detach/rehydrate），`JsValue` 不 //! 跨线程（session 堆指针是 realm 局部地址，跨线程无效）。 //! - 主线程 → worker 通道载 `WorkerMail`（数据 / 错误 / 关停三面）；worker → 主线程 -//! 通道载 `MessageValue`，主线程轮询时 rehydrate 进主 realm。 -//! - worker 脚本编译失败不 panic：经 worker → 主线程通道上报错误串，worker 继续 -//! 事件循环（可被干净终止）。 +//! 通道载 `WorkerOutMail`（数据 / 错误两面），主线程轮询时 rehydrate 进主 realm。 +//! - worker 脚本编译或执行失败不 panic：经 worker → 主线程通道错误面上报错误串 +//! （主线程交付 onerror），worker 继续事件循环（可被干净终止）。 pub mod bindings; @@ -40,18 +40,39 @@ pub enum WorkerMail { Terminate, } +/// worker 出站邮件（worker 线程 → 主线程）：数据面与错误面分离。 +/// +/// `Send`（`MessageValue` 与 `String` 均 Send），可经 `Sender` 跨线程投递。 +pub enum WorkerOutMail { + /// 数据面：一条结构化克隆消息值，主线程 rehydrate 后交付 onmessage。 + Message(MessageValue), + /// 错误面：worker 脚本编译或执行失败错误串，主线程交付 onerror。 + Error(String), +} + +/// 轮询结果：数据面（rehydrate 后的消息值）、错误面（错误串）与消息交付失败面分离。 +pub struct WorkerPoll { + /// 数据面：rehydrate 进主 realm 的消息值列表。 + pub messages: Vec, + /// 错误面：worker 脚本编译或执行失败错误串列表（交付 onerror）。 + pub errors: Vec, + /// 消息交付失败面：rehydrate 失败的消息描述列表（交付 onmessageerror）。 + /// 当前架构 rehydrate 不可失败，此面恒空（SAB 真传递的前向钩子）。 + pub message_errors: Vec, +} + /// worker 句柄：主线程对单个 worker 的持有。 /// /// `id` 是单调递增的 worker 编号（主线程分配）；`tx` 是主线程 → worker 通道 -/// （发 `WorkerMail`）；`rx_out` 是 worker → 主线程消息通道（收 `MessageValue`， +/// （发 `WorkerMail`）；`rx_out` 是 worker → 主线程消息通道（收 `WorkerOutMail`， /// 轮询时 rehydrate 进主 realm）；`handle` 是 OS 线程句柄（终止时 join）。 pub struct WorkerHandle { /// worker 编号（主线程分配，单调递增）。 pub id: u64, /// 主线程 → worker 通道（发 `WorkerMail`）。 pub tx: Sender, - /// worker → 主线程消息通道（收 `MessageValue`）。 - pub(crate) rx_out: Receiver, + /// worker → 主线程消息通道（收 `WorkerOutMail`）。 + pub(crate) rx_out: Receiver, /// OS 线程句柄（终止时 join）。 pub(crate) handle: JoinHandle<()>, } @@ -60,9 +81,9 @@ pub struct WorkerHandle { /// /// # 步骤 /// 1. 经 `Vm::with_kernel_core` 建专属 Vm（新 realm）并注入编译服务。 -/// 2. 编译 worker 脚本（worker 的程序）；失败则经 worker → 主线程通道上报错误串， -/// 不 panic，worker 继续事件循环（可被干净终止）。 -/// 3. 编译成功则运行脚本（worker 的程序）。 +/// 2. 编译 worker 脚本（worker 的程序）；失败则经 worker → 主线程通道错误面上报 +/// 错误串，不 panic，worker 继续事件循环（可被干净终止）。 +/// 3. 编译成功则运行脚本（worker 的程序）；运行期未捕获异常同样经错误面上报。 /// 4. 循环 `recv_timeout(100ms)`：处理 `Message` / `Error` / `Terminate` / 超时。 /// /// # 边界与前提 @@ -71,32 +92,31 @@ pub struct WorkerHandle { /// /// # 副作用 /// - 创建并 drop 一个 Vm（退出时 drop 触发 `Drop for Vm` → `Drop for Realm`）。 -/// - 每条 `Message` 经 rehydrate → execute_task → drain_microtasks 处理后，把处理 -/// 值 detach 回 worker → 主线程通道（935.3 的回显语义，935.4 的 onmessage 替换之）。 +/// - 每条 `Message` 经 rehydrate → onmessage 交付 → drain_microtasks 处理； +/// 编译或执行失败经 `WorkerOutMail::Error` 上报主线程（主线程交付 onerror）。 fn worker_event_loop( core: Arc, compiler: Arc, script: String, rx: Receiver, - out_tx: Sender, + out_tx: Sender, ) { let mut vm = Vm::with_kernel_core(core); vm.set_compiler_service(Arc::clone(&compiler)); // 注入 worker → 主线程输出通道（self.postMessage 经 thread-local 发回主线程）。 bindings::set_worker_out_tx(out_tx.clone()); - // 编译 worker 脚本（worker 的程序）。失败不 panic：上报错误串后继续循环。 + // 编译 worker 脚本（worker 的程序）。失败不 panic：经错误面上报后继续循环。 let script_module = match compiler.compile_script(&script) { Ok(module) => Some(module), Err(err) => { vm_warn!("worker: script compile failed: {err}"); - let units: Box<[u16]> = err.encode_utf16().collect::>().into(); - let _ = out_tx.send(MessageValue::String(units)); + let _ = out_tx.send(WorkerOutMail::Error(err)); None } }; - // 运行脚本（worker 的程序）。运行期错误记入 last_uncaught_value，不中断循环。 + // 运行脚本（worker 的程序）。运行期未捕获异常经错误面上报，不中断循环。 if let Some(module) = script_module { if let Err(err) = vm.run(&Arc::new(module)) { - vm.last_uncaught_value = Some(vm.new_string(&err)); + let _ = out_tx.send(WorkerOutMail::Error(err)); } } @@ -155,7 +175,7 @@ impl Vm { self.worker_next_id += 1; let (tx, rx) = channel::(); - let (out_tx, out_rx) = channel::(); + let (out_tx, out_rx) = channel::(); let core = Arc::clone(&self.kernel_core); let compiler = Arc::clone(&self.compiler); @@ -213,35 +233,50 @@ impl Vm { Ok(()) } - /// 轮询 worker 消息：排空 worker → 主线程通道，rehydrate 进主 realm。 + /// 轮询 worker 消息：排空 worker → 主线程通道，数据面 rehydrate 进主 realm。 /// /// # 步骤 - /// 1. 取 `WorkerHandle`（`id` 不存在时返回空列表）。 - /// 2. `try_recv` 循环排空 `rx_out`，每条 rehydrate 进主 realm。 + /// 1. 取 `WorkerHandle`（`id` 不存在时返回空轮询结果）。 + /// 2. `try_recv` 循环排空 `rx_out`，逐条按信封分面： + /// - `Message` 臂 rehydrate 进主 realm 归数据面。 + /// - `Error` 臂错误串原样透传归错误面。 /// /// # 返回值 - /// 本批排空的消息值列表（无消息时为空列表）。 + /// 本批排空的轮询结果（数据 / 错误 / 消息交付失败三面，无消息时各面为空）。 /// /// # 边界与前提 /// - 非阻塞（`try_recv`），不等待新消息。 - pub fn poll_worker_messages(&mut self, id: u64) -> Vec { + /// - rehydrate 当前架构不可失败；若未来变可失败，失败面进 `message_errors` + /// （SAB 真传递的前向钩子）。 + pub fn poll_worker_messages(&mut self, id: u64) -> WorkerPoll { + let mut poll = WorkerPoll { + messages: Vec::new(), + errors: Vec::new(), + message_errors: Vec::new(), + }; // 先排空 worker → 主线程通道到本地列表（注册表借用与 rehydrate 借用 // 不重叠，避免对 self 的双重可变借用）。 - let drained: Vec = { + let drained: Vec = { let Some(worker) = self.worker_registry.get_mut(&id) else { - return Vec::new(); + return poll; }; let mut drained = Vec::new(); - while let Ok(mv) = worker.rx_out.try_recv() { - drained.push(mv); + while let Ok(mail) = worker.rx_out.try_recv() { + drained.push(mail); } drained }; - let mut out = Vec::new(); - for mv in &drained { - out.push(rehydrate_message(self, mv)); + for mail in &drained { + match mail { + WorkerOutMail::Message(mv) => { + poll.messages.push(rehydrate_message(self, mv)); + } + WorkerOutMail::Error(err) => { + poll.errors.push(err.clone()); + } + } } - out + poll } /// 列出活跃 worker 编号（升序）。 @@ -274,32 +309,35 @@ impl Vm { self.worker_objects.get(&id).copied() } - /// 主线程事件循环消息交付：排空 worker → 主线程通道、rehydrate 进主 realm， - /// 交付到 Worker 对象的 `onmessage`。 + /// 主线程事件循环消息交付：排空 worker → 主线程通道，数据面 rehydrate 进主 + /// realm 交付到 Worker 对象的 `onmessage`，错误面交付到 `onerror`，消息交付 + /// 失败面交付到 `onmessageerror`。 /// /// # 步骤 /// 1. 遍历活跃 worker 编号。 - /// 2. 对每个 worker `poll_worker_messages` 排空通道并 rehydrate 进主 realm。 - /// 3. 反查 Worker 对象、读 `onmessage` 属性。 - /// 4. `onmessage` 可调用时，逐条消息建 MessageEvent 经 `execute_task` + - /// `call_function_sync` 触发，后 `drain_microtasks`。 + /// 2. 对每个 worker `poll_worker_messages` 排空通道（数据面 rehydrate 进主 realm）。 + /// 3. 反查 Worker 对象（GC 根）。 + /// 4. 错误面逐条交付 `onerror`；消息交付失败面逐条交付 `onmessageerror`。 + /// 5. 数据面读 `onmessage` 属性，可调用时逐条建 MessageEvent 经 + /// `execute_task` + `call_function_sync` 触发，后 `drain_microtasks`。 /// /// # 返回值 - /// 本轮是否交付了消息（false 时调用方 1ms 轮询，避免忙等）。 + /// 本轮是否交付了任何面（false 时调用方 1ms 轮询，避免忙等）。 /// /// # 边界与前提 - /// - `onmessage` 缺失或非可调用时静默跳过（消息已消费，符合浏览器 + /// - 各 handler 缺失或非可调用时静默跳过（邮件已消费，符合浏览器 /// "无 handler 即丢弃"语义）。 /// - 交付前二次 `worker_object` 校验存活（GC 防护）：worker 在事件循环中 /// 被终止（注册表条目移除）即停止交付。 /// /// # 副作用 - /// - 消费 worker → 主线程通道消息；触发 `onmessage` 回调与微任务 drain。 + /// - 消费 worker → 主线程通道邮件；触发 `onmessage` / `onerror` / + /// `onmessageerror` 回调与微任务 drain。 pub fn deliver_worker_messages(&mut self) -> bool { let mut any = false; for id in self.active_workers() { - let messages = self.poll_worker_messages(id); - if messages.is_empty() { + let poll = self.poll_worker_messages(id); + if poll.messages.is_empty() && poll.errors.is_empty() && poll.message_errors.is_empty() { continue; } any = true; @@ -307,7 +345,21 @@ impl Vm { let Some(worker_obj) = self.worker_object(id) else { continue; }; - // 读 onmessage 属性（undefined 或非可调用即静默跳过）。 + // 错误面：逐条交付 onerror（编译 / 执行失败）。 + for err in &poll.errors { + if self.worker_object(id).is_none() { + break; + } + self.deliver_error_event(worker_obj, "onerror", "error", err); + } + // 消息交付失败面：逐条交付 onmessageerror（当前架构不可达，前向钩子）。 + for msg_err in &poll.message_errors { + if self.worker_object(id).is_none() { + break; + } + self.deliver_error_event(worker_obj, "onmessageerror", "messageerror", msg_err); + } + // 数据面：读 onmessage 属性（undefined 或非可调用即静默跳过）。 let si_onmessage = self.perm_intern("onmessage"); let handler = match self.ordinary_get(unsafe { &*worker_obj.as_js_object_ptr() }, si_onmessage, worker_obj) { @@ -317,13 +369,13 @@ impl Vm { if !is_callable(handler) { continue; } - for data in messages { + for data in poll.messages { // 交付前二次校验存活（GC 防护）：worker 在事件循环中被终止 // （注册表条目移除）即停止交付。 if self.worker_object(id).is_none() { break; } - let event = self.build_message_event(data, "message"); + let event = self.build_message_event(data, "message", None); let _ = self.execute_task(|vm| vm.call_function_sync(handler, worker_obj, &[event])); self.drain_microtasks(); } @@ -331,23 +383,60 @@ impl Vm { any } - /// 建 MessageEvent 对象（`data` + `type` 属性），委托 935.4 构造辅助。 + /// 交付错误事件：读 handler 属性、建事件、调用（不可调用时静默）。 /// /// # 步骤 - /// 1. `type` 串物化为 session 串。 - /// 2. `data` 与 `type` 写入寄存器 1 / 2，委托 `message_event_constructor` - /// （按寄存器下标读取）建对象。 + /// 1. 读 `worker_obj` 的 `handler_name` 属性。 + /// 2. 不可调用时静默返回（浏览器语义：无 handler 即丢弃）。 + /// 3. 建错误事件（`type` = `event_type`、`message` = `message`）。 + /// 4. 经 `execute_task` + `call_function_sync` 触发，后 `drain_microtasks`。 /// - /// # 返回值 - /// 新建的 MessageEvent 对象值（构造失败时返回错误对象值）。 + /// # 边界与前提 + /// - `handler_name` 是 `onerror` 或 `onmessageerror`。 + /// - `event_type` 是 `"error"` 或 `"messageerror"`。 + /// - `worker_obj` 与 handler 均为 `JsValue`（Copy），在 `execute_task` 前提取， + /// 不跨 `&mut self` 持引用。 /// /// # 副作用 - /// - 新建一个 MessageEvent 对象（经 `alloc_object` 入对象表）。 - fn build_message_event(&mut self, data: JsValue, type_str: &str) -> JsValue { + /// - 触发 handler 回调与微任务 drain。 + fn deliver_error_event(&mut self, worker_obj: JsValue, handler_name: &str, event_type: &str, message: &str) { + let si_handler = self.perm_intern(handler_name); + let handler = match self.ordinary_get(unsafe { &*worker_obj.as_js_object_ptr() }, si_handler, worker_obj) { + Ok(h) => h, + Err(_) => return, + }; + if !is_callable(handler) { + return; + } + let event = self.build_message_event(JsValue::undefined(), event_type, Some(message)); + let _ = self.execute_task(|vm| vm.call_function_sync(handler, worker_obj, &[event])); + self.drain_microtasks(); + } + + /// 建事件对象（`data` + `type` + `message` 属性），委托 `message_event_constructor` + /// 构造辅助。消息事件 `message` 为 `None`（undefined），错误事件 `data` 为 + /// undefined、`message` 为错误串。 + /// + /// # 步骤 + /// 1. `type` 与 `message` 串物化为 session 串（`message` 为 `None` 时 undefined）。 + /// 2. `data` / `type` / `message` 写入寄存器 1 / 2 / 3，委托 + /// `message_event_constructor`（按寄存器下标读取）建对象。 + /// + /// # 返回值 + /// 新建的事件对象值（构造失败时返回错误对象值）。 + /// + /// # 副作用 + /// - 新建一个事件对象（经 `alloc_object` 入对象表）。 + fn build_message_event(&mut self, data: JsValue, type_str: &str, message: Option<&str>) -> JsValue { let type_val = self.new_string(type_str); + let message_val = match message { + Some(m) => self.new_string(m), + None => JsValue::undefined(), + }; self.set_reg(1, data); self.set_reg(2, type_val); - match bindings::message_event_constructor(self, &[0, 1, 2]) { + self.set_reg(3, message_val); + match bindings::message_event_constructor(self, &[0, 1, 2, 3]) { NativeResult::Ok(v) => v, NativeResult::Err(e) => e, // 构造辅助只建对象，不产生尾调用（防御臂，不可达）。 @@ -391,7 +480,7 @@ impl Vm { /// - 触发 `self.onmessage` 回调与微任务 drain。 pub(crate) fn deliver_self_message(&mut self, value: MessageValue) { let data = rehydrate_message(self, &value); - let event = self.build_message_event(data, "message"); + let event = self.build_message_event(data, "message", None); // 取 worker global 对象指针（Ref 守卫在语句块内消费，不跨 &mut 借用长存）。 let global_ptr = { let session = self.realm.session.borrow(); @@ -439,13 +528,13 @@ mod tests { vm } - /// 轮询至 worker 回显一条消息（带截止，防 flaky）。 - fn poll_until_message(vm: &mut Vm, id: u64) -> Vec { + /// 轮询至 worker 上报任意一面邮件（带截止，防 flaky）。 + fn poll_until_mail(vm: &mut Vm, id: u64) -> WorkerPoll { let deadline = Instant::now() + Duration::from_secs(2); loop { - let messages = vm.poll_worker_messages(id); - if !messages.is_empty() || Instant::now() >= deadline { - return messages; + let poll = vm.poll_worker_messages(id); + if !poll.messages.is_empty() || !poll.errors.is_empty() || Instant::now() >= deadline { + return poll; } std::thread::sleep(Duration::from_millis(10)); } @@ -463,24 +552,26 @@ mod tests { assert_eq!(vm.active_workers(), vec![id], "应有唯一活跃 worker"); vm.worker_post_message(id, MessageValue::Number(42.0)).expect("投递应成功"); - let messages = poll_until_message(&mut vm, id); - assert_eq!(messages.len(), 1, "应回显一条消息"); + let poll = poll_until_mail(&mut vm, id); + assert_eq!(poll.messages.len(), 1, "应回显一条消息"); // 整数值经 number_to_js 归为 Int 表示。 - assert_eq!(messages[0], JsValue::int(42), "回显值应为 42"); + assert_eq!(poll.messages[0], JsValue::int(42), "回显值应为 42"); vm.worker_terminate(id).expect("终止应成功"); assert!(vm.active_workers().is_empty(), "终止后无活跃 worker"); } - /// 编译失败不 panic：worker 上报错误串，主线程可经轮询取回。 + /// 编译失败不 panic：worker 经错误面上报错误串，主线程可经轮询取回。 #[test] fn worker_script_compile_failure_reports_error() { let mut vm = vm_with_compiler(); let id = vm.spawn_worker("function { 语法错误").expect("worker 应派生成功"); - let messages = poll_until_message(&mut vm, id); - assert!(!messages.is_empty(), "编译失败应上报错误串"); - assert!(messages[0].is_string(), "错误串应为字符串值"); + let poll = poll_until_mail(&mut vm, id); + assert!(!poll.errors.is_empty(), "编译失败应经错误面上报错误串"); + assert!(!poll.errors[0].is_empty(), "错误串应非空"); + // 编译失败不再产数据面消息（错误串不伪装成数据）。 + assert!(poll.messages.is_empty(), "编译失败不应产数据面消息"); vm.worker_terminate(id).expect("终止应成功"); } @@ -502,10 +593,10 @@ mod tests { vm.worker_post_message(id_a, MessageValue::Number(1.0)).expect("投递 A 应成功"); vm.worker_post_message(id_b, MessageValue::Number(2.0)).expect("投递 B 应成功"); - let messages_a = poll_until_message(&mut vm, id_a); - assert_eq!(messages_a[0], JsValue::int(1), "A 应回显 1"); - let messages_b = poll_until_message(&mut vm, id_b); - assert_eq!(messages_b[0], JsValue::int(2), "B 应回显 2"); + let poll_a = poll_until_mail(&mut vm, id_a); + assert_eq!(poll_a.messages[0], JsValue::int(1), "A 应回显 1"); + let poll_b = poll_until_mail(&mut vm, id_b); + assert_eq!(poll_b.messages[0], JsValue::int(2), "B 应回显 2"); vm.shutdown_workers(); assert!(vm.active_workers().is_empty(), "shutdown 后无活跃 worker"); @@ -651,4 +742,119 @@ mod tests { vm.shutdown_workers(); let _ = std::fs::remove_file(&worker_path); } + + /// 端到端：worker 脚本编译失败，主线程 onerror 被调用（message 非空、type 为 "error"）。 + #[test] + fn worker_e2e_onerror_compile_failure() { + let mut vm = vm_with_compiler(); + + // worker 脚本：语法错误（编译失败）。 + let worker_path = write_worker_script("function { 语法错误"); + // 主脚本：建 Worker、设 onerror，记录 e.message 与 e.type 是否为 "error"。 + let main_script = format!( + "var w = new Worker('{}'); w.onerror = function(e) {{ globalThis.err = e.message; globalThis.errIsErrorType = (e.type === \"error\"); }};", + worker_path.display() + ); + vm.run(&Arc::new(compile_script(&main_script))).expect("主脚本应运行"); + + // 事件循环轮询至 globalThis.err 为字符串（带截止，防 flaky）。 + let deadline = Instant::now() + Duration::from_secs(5); + loop { + vm.deliver_worker_messages(); + vm.cleanup_disconnected_workers(); + if let Some(v) = global_value_opt(&vm, "err") { + if v.is_string() { + break; + } + } + if Instant::now() >= deadline { + panic!("5 秒内 onerror 未被调用"); + } + std::thread::sleep(Duration::from_millis(10)); + } + // message 非空。 + let err = global_value_opt(&vm, "err").expect("err 应被设置"); + assert!(err.is_string(), "err 应为字符串"); + let err_text = vm.lookup_str(err).expect("err 应可读"); + assert!(!err_text.is_empty(), "err 应非空"); + // type 为 "error"。 + assert_eq!( + global_value_opt(&vm, "errIsErrorType"), + Some(JsValue::bool(true)), + "事件 type 应为 \"error\"" + ); + + vm.shutdown_workers(); + let _ = std::fs::remove_file(&worker_path); + } + + /// 端到端：worker 脚本顶层 throw（执行失败），主线程 onerror 被调用（message 含错误文本）。 + #[test] + fn worker_e2e_onerror_runtime_failure() { + let mut vm = vm_with_compiler(); + + // worker 脚本：顶层 throw（执行失败）。 + let worker_path = write_worker_script("throw new Error('boom');"); + // 主脚本：建 Worker、设 onerror，记录 e.message。 + let main_script = format!( + "var w = new Worker('{}'); w.onerror = function(e) {{ globalThis.err = e.message; }};", + worker_path.display() + ); + vm.run(&Arc::new(compile_script(&main_script))).expect("主脚本应运行"); + + // 事件循环轮询至 globalThis.err 为字符串（带截止，防 flaky）。 + let deadline = Instant::now() + Duration::from_secs(5); + loop { + vm.deliver_worker_messages(); + vm.cleanup_disconnected_workers(); + if let Some(v) = global_value_opt(&vm, "err") { + if v.is_string() { + break; + } + } + if Instant::now() >= deadline { + panic!("5 秒内 onerror 未被调用"); + } + std::thread::sleep(Duration::from_millis(10)); + } + // message 含错误文本 "boom"。 + let err = global_value_opt(&vm, "err").expect("err 应被设置"); + let err_text = vm.lookup_str(err).expect("err 应可读"); + assert!(err_text.contains("boom"), "err 应含错误文本 \"boom\"，实际为 {err_text}"); + + vm.shutdown_workers(); + let _ = std::fs::remove_file(&worker_path); + } + + /// onmessageerror 交付辅助：无自然触发，直接单测交付辅助（handler 被调用、 + /// 事件 type 为 "messageerror"）。不钉触发可达性（当前架构不可达）。 + #[test] + fn onmessageerror_delivery_helper() { + let mut vm = vm_with_compiler(); + + // 建 Worker 对象、设 onmessageerror handler（记录 e.message 与 e.type）。 + let worker_path = write_worker_script("1"); + let main_script = format!( + "var w = new Worker('{}'); w.onmessageerror = function(e) {{ globalThis.me = e.message; globalThis.meIsMessageErrorType = (e.type === \"messageerror\"); }}; globalThis.w = w;", + worker_path.display() + ); + vm.run(&Arc::new(compile_script(&main_script))).expect("主脚本应运行"); + + // 取 Worker 对象，直接调交付辅助（模拟 rehydrate 失败）。 + let worker_obj = global_value_opt(&vm, "w").expect("w 应被设置"); + vm.deliver_error_event(worker_obj, "onmessageerror", "messageerror", "合成 rehydrate 失败"); + + // 断言 handler 被调用、message 为错误串、type 为 "messageerror"。 + let me = global_value_opt(&vm, "me").expect("me 应被设置"); + let me_text = vm.lookup_str(me).expect("me 应可读"); + assert_eq!(me_text, "合成 rehydrate 失败", "message 应为错误串"); + assert_eq!( + global_value_opt(&vm, "meIsMessageErrorType"), + Some(JsValue::bool(true)), + "事件 type 应为 \"messageerror\"" + ); + + vm.shutdown_workers(); + let _ = std::fs::remove_file(&worker_path); + } }