@ai-ecoverse/slicc-kernel 1.71.0 → 1.72.0

package/dist/process-worker.js

@@ -6025,6 +6025,7 @@ var init_wasi_fds = __esm({
         }
       }
       resolve(dirfd, path) {
+        if (path === "") throw new WasiError("ENOENT");
         const joined2 = path.startsWith("/") ? path : `${this.dir(dirfd).path}/${path}`;
         return joined2.split("/").includes("..") ? physical(this.fs, joined2) : normalize(joined2);
       }
@@ -6935,7 +6936,11 @@ var init_wasi_host = __esm({
             o.fs.rename(from, to);
             fds.renamed(from, to, replaced);
           },
-          path_symlink: (tp, tl, dirfd, p, l) => void o.fs.symlink(mem.string(tp, tl), at(dirfd, p, l)),
+          path_symlink: (tp, tl, dirfd, p, l) => {
+            const path = at(dirfd, p, l);
+            if (tl === 0) throw new WasiError("ENOENT");
+            o.fs.symlink(mem.string(tp, tl), path);
+          },
           path_readlink: (dirfd, p, l, buf, len, used) => {
             const target = new TextEncoder().encode(o.fs.readlink(at(dirfd, p, l)));
             const n = Math.min(len, target.length);
@@ -10950,6 +10955,11 @@ var init_js_kernel = __esm({
       freeze() {
         while (Atomics.load(this.header, SAB_I_STOP) === 1) Atomics.wait(this.header, SAB_I_STOP, 1);
       }
+      disposition(sig) {
+        if (this.handlers.has(sig)) return "caught";
+        if (this.ignored & sigbit(sig)) return "ignored";
+        return defaultAction(sig);
+      }
       setHandler(sig, handler) {
         if (sig === SIG.KILL || sig === SIG.STOP) {
           return Promise.reject(new JsCallError("EINVAL", "signal"));
@@ -11603,7 +11613,7 @@ function settled(lane, writes) {
   });
   return out;
 }
-function exitAtOnce(lane, writes, modes, status2) {
+function exitAtOnce(lane, writes, modes, status2, last = { op: "proc-exit", status: status2 & 255 }) {
   const done = settled(lane, writes);
   const broken = /* @__PURE__ */ new Set();
   for (const w of writes) {
@@ -11613,7 +11623,7 @@ function exitAtOnce(lane, writes, modes, status2) {
     if (!writeOut(lane, w.fd, w.data.subarray(w.at + (sent ?? 0)))) broken.add(w.fd);
   }
   for (const mode of modes) restoreMode(lane, mode);
-  lane({ op: "proc-exit", status: status2 & 255 });
+  lane(last);
   const parked = new Int32Array(new SharedArrayBuffer(4));
   for (; ; ) Atomics.wait(parked, 0, 0);
 }
@@ -12180,7 +12190,7 @@ var init_js_run = __esm({
 
 // src/process/js/js-sync.ts
 function laneOf(lane) {
-  if (!lane) return () => ({ ok: false, errno: "ENOSYS", message: "no sync lane" });
+  if (!lane) return noLane;
   const transport = createSyncSabTransport(lane.sab, lane.port);
   return (req) => transport.call(req, Number.POSITIVE_INFINITY, req.op);
 }
@@ -12381,7 +12391,7 @@ function syncPathOps(kernel, resolve, statOf, open) {
     }
   };
 }
-var encoder3, JsSyncKernel;
+var encoder3, noLane, JsSyncKernel;
 var init_js_sync = __esm({
   "src/process/js/js-sync.ts"() {
     "use strict";
@@ -12392,6 +12402,7 @@ var init_js_sync = __esm({
     init_js_io();
     init_js_kernel();
     encoder3 = new TextEncoder();
+    noLane = () => ({ ok: false, errno: "ENOSYS", message: "no sync lane" });
     JsSyncKernel = class {
       lane;
       kernel;
@@ -12706,6 +12717,30 @@ function resolvePath(cwd, path) {
   }
   return `/${parts.join("/")}`;
 }
+function killer(d) {
+  return (pid, signal = "SIGTERM") => {
+    const sig = signal === 0 ? 0 : signalNumber(signal);
+    const self = sig !== 0 && includesSelf(d.syncKernel, d.self, pid);
+    if (!self || d.kernel.disposition(sig) !== "terminate") {
+      d.syncKernel.call({ op: "proc-kill", pid, sig });
+      return;
+    }
+    const target = pid === d.self ? {} : { target: pid };
+    const r = d.lane({ op: "proc-kill-self", sig, ...target, probe: true });
+    if (!r.ok) throw new JsCallError(r.errno, "kill");
+    if (r.kind === "void") return;
+    exitAtOnce(d.lane, [...d.writes], d.modes(), 128 + sig, {
+      op: "proc-kill-self",
+      sig,
+      ...target
+    });
+  };
+}
+function includesSelf(kernel, self, pid) {
+  if (pid === self || pid === 0) return true;
+  if (pid > 0 || pid === -1) return false;
+  return kernel.json({ op: "proc-getpgid", pid: 0 }) === -pid;
+}
 function writer(kernel, info, pid) {
   const writes = /* @__PURE__ */ new Set();
   const sendAll = async (fd, data, i, w, signal) => {
@@ -12817,7 +12852,7 @@ function createContext(o) {
   };
   const fs = pathOps(kernel, resolve, statOf, open);
   const lane = o.lane ?? laneOf(void 0);
-  if (o.lane) kernel.syncLane = o.lane;
+  if (o.lane && o.lane !== noLane) kernel.syncLane = o.lane;
   const syncKernel = new JsSyncKernel(lane, kernel, unwind);
   const terminal = ttyOps(kernel);
   const sync = {
@@ -12826,7 +12861,8 @@ function createContext(o) {
     exit: (status2 = 0) => {
       exiting ??= status2 & 255;
       return exitAtOnce(lane, [...writes], terminal.modes(), exiting);
-    }
+    },
+    kill: killer({ self: o.pid, kernel, syncKernel, lane, writes, modes: terminal.modes })
   };
   const io = { read: read2, send: writeAll, close: (fd) => ctx.close(fd) };
   const children = childOps(kernel, io, { env: o.env, cwd: o.cwd, signal: signalNumber });