@ai-ecoverse/slicc-kernel 1.48.1 → 1.49.0

package/dist/node.js

@@ -9165,6 +9165,8 @@ var SYSCALL_OPS = /* @__PURE__ */ new Set([
   "proc-cred",
   "proc-setcred",
   "dl-log",
+  "dl-closure",
+  "dl-closure-free",
   "fd-renumber",
   "fd-promote",
   "fd-open-tty",
@@ -9203,6 +9205,7 @@ function isWasmSyscall(req) {
   return typeof op === "string" && SYSCALL_OPS.has(op);
 }
 var MAX_READ = 1024 * 1024;
+var KEYBOARD = /* @__PURE__ */ new Set([SIG.INT, SIG.QUIT, SIG.TSTP]);
 var DEFAULT_UMASK = 18;
 var DYING = { ok: false, errno: "EINTR", message: "the process is being killed" };
 var HOSTS_ONLY = new Resolver({ routes: new Routes() });
@@ -9221,6 +9224,8 @@ var WasmProcess = class {
   execTermsig;
   stopped = 0;
   stops = 0;
+  owed = false;
+  waits = 0;
   resumed = Promise.resolve();
   wake;
   stateListeners = [];
@@ -9276,6 +9281,7 @@ var WasmProcess = class {
       return "terminate";
     }
     this.options.onPending?.(sig);
+    if (this.options.jobs?.keyboard && KEYBOARD.has(sig)) this.owed = true;
     const blocked = this.interrupt;
     this.interrupt = new AbortController();
     blocked.abort();
@@ -9320,8 +9326,10 @@ var WasmProcess = class {
       await this.resumed;
       if (this.dying) return DYING;
       const stops = this.stops;
+      const waits = this.waits;
       const result = await this.dispatch(req, cancelled);
       if (this.dying) return DYING;
+      if (!result.ok && result.errno === "EINTR" && this.waits !== waits) this.owed = false;
       const restart = !result.ok && result.errno === "EINTR" && this.stops !== stops;
       if (restart && !this.options.hasPending?.()) continue;
       await this.resumed;
@@ -9374,8 +9382,11 @@ var WasmProcess = class {
   refuseIfPending(restart) {
     if (restart && this.options.hasPending?.()) throw new KernelError("EINTR");
   }
-  blockingSignal(cancelled) {
-    if (this.options.hasPending?.() || cancelled?.aborted) throw new KernelError("EINTR");
+  blockingSignal(cancelled, owing = true) {
+    if (owing) this.waits++;
+    if (this.options.hasPending?.() || cancelled?.aborted || owing && this.owed) {
+      throw new KernelError("EINTR");
+    }
     return cancelled ? AbortSignal.any([this.interrupt.signal, cancelled]) : this.interrupt.signal;
   }
   async read(req, cancelled) {
@@ -9521,7 +9532,7 @@ var WasmProcess = class {
         return { ok: true, kind: "json", json: this.options.jobs?.terminalNames() ?? [] };
       case "fd-select": {
         const { read, write, timeoutMs } = req;
-        const signal = this.blockingSignal(cancelled);
+        const signal = this.blockingSignal(cancelled, timeoutMs !== 0);
         const selected = await selectFds(this.fds, read, write, timeoutMs, signal);
         return { ok: true, kind: "json", json: selected };
       }
@@ -9772,6 +9783,11 @@ var WasmProcess = class {
       case "dl-log":
         if (req.append) this.dlLog.push(req.append);
         return { ok: true, kind: "json", json: this.dlLog.slice(req.from) };
+      case "dl-closure":
+        return { ok: true, kind: "json", json: this.allocateClosure(req.floor) };
+      case "dl-closure-free":
+        this.freeClosure(req.index);
+        return { ok: true, kind: "void" };
       case "sig-mask":
         this.caught = req.caught;
         this.ignored = req.ignored;
@@ -9808,6 +9824,18 @@ var WasmProcess = class {
   }
   alarm;
   dlLog = [];
+  closures = { next: 0, free: [], live: /* @__PURE__ */ new Set() };
+  allocateClosure(floor) {
+    const index = this.closures.free.pop() ?? Math.max(floor, this.closures.next);
+    this.closures.next = Math.max(this.closures.next, index + 1);
+    this.closures.live.add(index);
+    this.dlLog.push({ kind: "closure", index });
+    return index;
+  }
+  freeClosure(index) {
+    if (!this.closures.live.delete(index)) throw new KernelError("EINVAL");
+    this.closures.free.push(index);
+  }
   asyncOps = new AsyncOps(
     (req, cancelled) => this.syscall(req, cancelled),
     () => this.options.onAsync?.()
@@ -10197,6 +10225,7 @@ var JobTable = class {
   handoffs = /* @__PURE__ */ new Map();
   foreground = /* @__PURE__ */ new Map();
   terminals = /* @__PURE__ */ new Map();
+  keyboard = false;
   add(pid, parentPid, signal, terminal) {
     const parent = parentPid === void 0 ? void 0 : this.members.get(parentPid);
     if (!parent && terminal) this.terminals.set(pid, terminal);
@@ -10366,6 +10395,14 @@ var JobTable = class {
   signalForeground(tty, fallback, sig) {
     this.killGroup(this.tcgetpgrp(tty, fallback), sig);
   }
+  fromKeyboard(send) {
+    this.keyboard = true;
+    try {
+      send();
+    } finally {
+      this.keyboard = false;
+    }
+  }
 };
 
 // src/kernel/settling.ts
@@ -11974,6 +12011,7 @@ var Launcher = class {
       module,
       ...memory ? { memory } : {},
       foreign,
+      path: target.wasm,
       ...names ? { names } : {},
       ...imports !== void 0 ? { imports } : {},
       ...target.preopenRoot ? { preopenRoot: true } : {}
@@ -12201,7 +12239,8 @@ var Launcher = class {
   keySignal(tty, fallback, sig, send) {
     const pgid = this.jobs.tcgetpgrp(tty, fallback);
     const foreground = () => this.jobs.tcgetpgrp(tty, fallback);
-    this.settling.deliver(sig, pgid, send, tty.reading ? void 0 : foreground);
+    const keyed = () => this.jobs.fromKeyboard(send);
+    this.settling.deliver(sig, pgid, keyed, tty.reading ? void 0 : foreground);
   }
   umaskOf(pid) {
     return this.processes.get(pid)?.umask?.() ?? DEFAULT_UMASK;
@@ -13533,13 +13572,18 @@ function nodeWorker(file, live, closed) {
     }
   };
   const worker = closed ? void 0 : new Worker(file);
+  let ending = false;
   if (worker) {
     const kill = () => {
+      ending = true;
       void worker.terminate();
       fail3(TERMINATED);
     };
     live.add(kill);
-    worker.once("exit", () => live.delete(kill));
+    worker.once("exit", (code) => {
+      live.delete(kill);
+      if (!ending) fail3(`the process worker exited with ${code}`);
+    });
     worker.on("error", (err) => fail3(String(err)));
   } else {
     setTimeout(() => fail3(TERMINATED), 0);
@@ -13560,7 +13604,10 @@ function nodeWorker(file, live, closed) {
       const listener = messages.get(handler);
       if (listener) worker?.off("message", listener);
     },
-    terminate: () => void worker?.terminate()
+    terminate: () => {
+      ending = true;
+      void worker?.terminate();
+    }
   };
 }
 function textOf(on) {