@ai-ecoverse/slicc-kernel 1.134.1 → 1.134.4

package/dist/process-worker.js

@@ -275,6 +275,59 @@ var init_protocol = __esm({
   }
 });
 
+// src/kernel/held-cwd.ts
+var CWD_SLOTS, UNTRACKED, HeldCwd;
+var init_held_cwd = __esm({
+  "src/kernel/held-cwd.ts"() {
+    "use strict";
+    CWD_SLOTS = 1024;
+    UNTRACKED = CWD_SLOTS - 1;
+    HeldCwd = class {
+      view;
+      seen;
+      dead = false;
+      slot;
+      at;
+      ask;
+      constructor(sab, slot2, ask, state) {
+        this.view = new Int32Array(sab);
+        this.slot = slot2;
+        this.ask = ask;
+        this.seen = state.seen;
+        this.dead = state.dead;
+        this.at = state.path;
+      }
+      moved(reply, path) {
+        if (reply.slot === void 0) return false;
+        this.slot = reply.slot;
+        this.seen = reply.seen ?? Atomics.load(this.view, reply.slot);
+        this.dead = reply.dead === true;
+        this.at = path;
+        return true;
+      }
+      follow() {
+        const answer2 = this.ask();
+        if (answer2.slot !== void 0) this.slot = answer2.slot;
+        this.seen = answer2.gen;
+        this.dead = !answer2.alive;
+        return answer2.alive;
+      }
+      alive(path) {
+        if (path !== void 0 && this.at !== void 0 && path !== this.at) {
+          this.at = path;
+          return this.follow();
+        }
+        if (this.dead) return false;
+        if (Atomics.load(this.view, this.slot) === this.seen) return true;
+        return this.follow();
+      }
+      get current() {
+        return this.slot;
+      }
+    };
+  }
+});
+
 // src/kernel/net/loopback-names.ts
 function isKernelLoopbackHost(hostname) {
   const host = hostname.replace(/^\[(.*)\]$/, "$1").replace(/\.$/, "").toLowerCase();
@@ -391,6 +444,31 @@ var init_signals = __esm({
   }
 });
 
+// src/realm/emscripten-held-cwd.ts
+function holdingCwd(Fs, held2, chdirred) {
+  const { chdir, cwd } = Fs;
+  if (!chdir || !cwd) return;
+  Fs.sliccHeldCwd = () => cwd.call(Fs);
+  Fs.sliccCwdGone = () => !held2.alive();
+  Fs.cwd = () => {
+    const path = cwd.call(Fs);
+    return held2.alive() ? path : `${path}${DELETED}`;
+  };
+  Fs.chdir = (path) => {
+    chdir.call(Fs, path);
+    held2.moved(chdirred(cwd.call(Fs)));
+  };
+}
+var DELETED, relativeHere, cwdFor;
+var init_emscripten_held_cwd = __esm({
+  "src/realm/emscripten-held-cwd.ts"() {
+    "use strict";
+    DELETED = " (deleted)";
+    relativeHere = (path) => !path.startsWith("/") && path.split("/")[0] !== "..";
+    cwdFor = (cwd, held2, path) => held2 && relativeHere(path) && !held2.alive() ? `${cwd}${DELETED}` : cwd;
+  }
+});
+
 // src/fs/types.ts
 function normalizePath(path) {
   const parts = [];
@@ -1149,7 +1227,7 @@ function createSyncSabTransport(sab, port2, deps = {}) {
     call(req, timeoutMs2, label, transfer = []) {
       if (deps.memory) publishMemory(sab, deps.memory());
       const id = ++seq;
-      calls += Number(!PATH_OPS.has(req.op));
+      calls += Number(!UNCOUNTED_OPS.has(req.op));
       let out = null;
       let status2 = 0;
       let offset = 0;
@@ -1371,7 +1449,7 @@ function createSyncFsSabBridge(transport, opts = {}) {
     statfs: (path = "/") => parseSyncFsUsage(json2({ op: "statfs", path }, path))
   };
 }
-var PATH_OPS, calls, looks, SPIN_MS, SPIN_STRIDE, SPIN_STRIDES, SPIN_CORES, spinning, SPIN_CAP_MS;
+var UNCOUNTED_OPS, calls, looks, SPIN_MS, SPIN_STRIDE, SPIN_STRIDES, SPIN_CORES, spinning, SPIN_CAP_MS;
 var init_sync_sab_bridge = __esm({
   "src/realm/sync-sab-bridge.ts"() {
     "use strict";
@@ -1379,7 +1457,7 @@ var init_sync_sab_bridge = __esm({
     init_cpu_clock();
     init_sync_fs_wire();
     init_sync_sab_wire();
-    PATH_OPS = new Set(SYNC_FS_OPS);
+    UNCOUNTED_OPS = /* @__PURE__ */ new Set([...SYNC_FS_OPS, "cwd-check", "cwd-chdir"]);
     calls = 0;
     looks = 0;
     SPIN_MS = 0.06;
@@ -2693,7 +2771,7 @@ var KERNEL_VERSION, OS_RELEASE;
 var init_version = __esm({
   "src/version.ts"() {
     "use strict";
-    KERNEL_VERSION = true ? "1.134.1" : "0.0.0-dev";
+    KERNEL_VERSION = true ? "1.134.4" : "0.0.0-dev";
     OS_RELEASE = "6.0.0-slicc";
   }
 });
@@ -3551,6 +3629,15 @@ function kernelChecks(Fs, memory, call2) {
   bridge.access(liveNodePath(node), call2.amode, kind, (call2.flags & AT_SYMLINK_NOFOLLOW) !== 0);
   return 0;
 }
+function goneCwdGetcwd(imports, fs, glue) {
+  wrapImport(
+    imports,
+    "getcwd",
+    glue,
+    (own) => (...args) => fs()?.sliccCwdGone?.() === true ? -44 : own(...args),
+    true
+  );
+}
 function kernelAccess(imports, fs, memory, glue) {
   wrapImport(imports, "faccessat", glue, (own) => (dirfd, path, amode, flags) => {
     const Fs = fs();
@@ -3738,7 +3825,8 @@ var init_process_fds = __esm({
       fdWrite: "fd_write",
       fdRead: "fd_read",
       sleepMs: "slicc_sleep_ms",
-      flock: "__syscall_flock"
+      flock: "__syscall_flock",
+      getcwd: "__syscall_getcwd"
     };
     UTIME_NOW = 1073741823;
     UTIME_OMIT = 1073741822;
@@ -4807,7 +4895,7 @@ function forkRestarted(deps, state, snapshotAt) {
       const live = deps.memory?.();
       if (live) memory = new Uint8Array(live.buffer).slice();
     }
-    const forked = { ...state, memory, streams: streams2, cwd: deps.Fs.cwd() };
+    const forked = { ...state, memory, streams: streams2, cwd: heldCwdOf(deps.Fs) };
     return deps.transport.call(
       { op: "proc-fork", state: forked, restart: true },
       Infinity,
@@ -4947,7 +5035,7 @@ function createProcessKernel(deps) {
       file,
       argv,
       env: env ?? deps.env,
-      cwd: cwd ?? Fs.cwd(),
+      cwd: cwd ?? heldCwdOf(Fs),
       ...cwd !== null ? { chdir: true } : {},
       stdio,
       ...inherit.length > 0 ? { inherit } : {},
@@ -5043,7 +5131,7 @@ function createProcessKernel(deps) {
     }
   };
 }
-var S_IFMT2, UNSEEDED, S_IFDIR2, POLLIN2, POLLOUT2, POLLERR2, POLLHUP2, POLLNVAL, SELECT_SLICE_MS, WUNTRACED, WCONTINUED;
+var S_IFMT2, UNSEEDED, S_IFDIR2, POLLIN2, POLLOUT2, POLLERR2, POLLHUP2, POLLNVAL, SELECT_SLICE_MS, WUNTRACED, WCONTINUED, heldCwdOf;
 var init_process_children = __esm({
   "src/process/process-children.ts"() {
     "use strict";
@@ -5062,6 +5150,7 @@ var init_process_children = __esm({
     SELECT_SLICE_MS = 20;
     WUNTRACED = 2;
     WCONTINUED = 8;
+    heldCwdOf = (Fs) => (Fs.sliccHeldCwd ?? Fs.cwd).call(Fs);
   }
 });
 
@@ -5784,6 +5873,8 @@ var init_procfs = __esm({
         slicc_opfs_calls: (listing2) => `${listing2.opfsCalls ?? 0}
 `,
         slicc_opfs_ops: (listing2) => `${listing2.opfsOps ?? 0}
+`,
+        slicc_cwd_checks: (listing2) => `${listing2.cwdChecks ?? 0}
 `
       }
     };
@@ -6115,6 +6206,7 @@ function kernelWrappers(imports, module, deps) {
   const fsOf = () => ownValue(module, "FS");
   noFollowUtimes(imports, fsOf, kernelGlue?.utimensat ?? utimensatOf(module), memory);
   kernelAccess(imports, fsOf, memory, kernelGlue);
+  goneCwdGetcwd(imports, fsOf, kernelGlue);
   kernelLink(imports, fsOf, memory, kernelGlue);
   devCreations(imports, fsOf, memory, kernelGlue);
   kernelUname(imports, hostnameOf(init.env), memory, kernelGlue);
@@ -6132,6 +6224,19 @@ function kernelWrappers(imports, module, deps) {
   reportGrowth(imports, grown, kernelGlue);
   holdWhileStopped(imports, new Int32Array(init.sab, 0, SAB_HEADER_I32), kernelGlue, deps.poll);
 }
+function heldIn(fs, init, transport) {
+  if (!init.held) return;
+  const ask = (req) => {
+    const r = transport.call(req, Number.POSITIVE_INFINITY, req.op);
+    return r.ok && r.kind === "json" ? r.json : {};
+  };
+  const check = () => ask({ op: "cwd-check" });
+  holdingCwd(
+    fs,
+    new HeldCwd(init.held.sab, init.held.slot, check, init.held),
+    (path) => ask({ op: "cwd-chdir", path })
+  );
+}
 function bridgeFlags(init) {
   return {
     ...init.owners ? { owners: true } : {},
@@ -6262,15 +6367,15 @@ async function runWasmProcess(init, port2, deps = {}) {
     warn: deps.warn ?? say(2),
     cred: init.owners ? init.cred : void 0
   });
+  heldIn(running.FS, init, transport);
   early = () => signals.quiet(() => vfs.flushDirty());
   closeDropsLocks(running.FS, sys);
   const sigpipe = () => running.sliccSigpipe?.() === 1 || sigpipeSpared(gated);
   const restartable = () => signals.restartable();
-  const owners = init.owners ? { owners: true } : {};
   const streams2 = new KernelStreams(running.FS, sys, {
     sigpipe,
     restartable,
-    ...owners,
+    ...init.owners ? { owners: true } : {},
     program: init.argv0
   });
   trackCloseOnExec(running.FS);
@@ -6409,9 +6514,11 @@ var FS_OPS, O_RDONLY2, O_WRONLY3, O_RDWR3, O_ACCMODE5, O_DIRECTORY2, accessMode,
 var init_process_runtime = __esm({
   "src/process/process-runtime.ts"() {
     "use strict";
+    init_held_cwd();
     init_loopback_names();
     init_protocol();
     init_signals();
+    init_emscripten_held_cwd();
     init_emscripten_vfs_hook();
     init_live_vfs_fs();
     init_sync_fs_wire();
@@ -6608,59 +6715,6 @@ var init_physical_path = __esm({
   }
 });
 
-// src/kernel/held-cwd.ts
-var CWD_SLOTS, UNTRACKED, HeldCwd;
-var init_held_cwd = __esm({
-  "src/kernel/held-cwd.ts"() {
-    "use strict";
-    CWD_SLOTS = 1024;
-    UNTRACKED = CWD_SLOTS - 1;
-    HeldCwd = class {
-      view;
-      seen;
-      dead = false;
-      slot;
-      at;
-      ask;
-      constructor(sab, slot2, ask, state) {
-        this.view = new Int32Array(sab);
-        this.slot = slot2;
-        this.ask = ask;
-        this.seen = state.seen;
-        this.dead = state.dead;
-        this.at = state.path;
-      }
-      moved(reply, path) {
-        if (reply.slot === void 0) return false;
-        this.slot = reply.slot;
-        this.seen = reply.seen ?? Atomics.load(this.view, reply.slot);
-        this.dead = reply.dead === true;
-        this.at = path;
-        return true;
-      }
-      follow() {
-        const answer2 = this.ask();
-        if (answer2.slot !== void 0) this.slot = answer2.slot;
-        this.seen = answer2.gen;
-        this.dead = !answer2.alive;
-        return answer2.alive;
-      }
-      alive(path) {
-        if (path !== void 0 && this.at !== void 0 && path !== this.at) {
-          this.at = path;
-          return this.follow();
-        }
-        if (this.dead) return false;
-        if (Atomics.load(this.view, this.slot) === this.seen) return true;
-        return this.follow();
-      }
-      get current() {
-        return this.slot;
-      }
-    };
-  }
-});
-
 // src/process/wasi/dylink.ts
 function dylinkInfo(module) {
   const [section2] = WebAssembly.Module.customSections(module, "dylink.0");
@@ -17667,13 +17721,19 @@ function tracked2(pending, writeAll, writeSome, failed5) {
     })();
   };
 }
+function heldOn(init, lane, syncKernel) {
+  if (!init || lane === noLane) return void 0;
+  const ask = () => syncKernel.json({ op: "cwd-check" });
+  return new HeldCwd(init.sab, init.slot, ask, init);
+}
 function createContext(o) {
   const { kernel } = o;
   const infos = /* @__PURE__ */ new Map();
   const handles = /* @__PURE__ */ new Map();
   const pending = /* @__PURE__ */ new Set();
   const random = o.random ?? cryptoRandom;
-  const resolve = (path) => resolvePath(o.cwd, path);
+  let held2;
+  const resolve = (path) => resolvePath(cwdFor(o.cwd, held2, path), path);
   const tryDev = (abs) => resolveDevAsync(kernel, abs);
   let exiting;
   const exit = (code2 = 0) => {
@@ -17725,6 +17785,7 @@ function createContext(o) {
   const lane = o.lane ?? laneOf(void 0);
   if (o.lane && o.lane !== noLane) kernel.syncLane = o.lane;
   const syncKernel = new JsSyncKernel(lane, kernel, unwind);
+  held2 = heldOn(o.held, lane, syncKernel);
   const terminal = ttyOps(kernel, syncKernel);
   const shared = { pid: o.pid, resolve, random, infos, handles, closing };
   const wasi = wasiFor({ lane, pid: o.pid, cwd: o.cwd, resolve, fs: o.fs, owned: o.owned });
@@ -18007,7 +18068,9 @@ var init_js_context = __esm({
   "src/process/js/js-context.ts"() {
     "use strict";
     init_physical_path();
+    init_held_cwd();
     init_signals();
+    init_emscripten_held_cwd();
     init_sync_fs_wire();
     init_version();
     init_js_children();
@@ -18209,6 +18272,7 @@ async function runJs(init, port2, deps, thread) {
     strays,
     thread: threadContext(port2, thread),
     ...thread?.owned ? { owned: thread.owned } : {},
+    held: init.held,
     failed: () => failedWith
   });
   const say = (text) => ctx.write(2, `${init.argv0}: ${text}