@ai-ecoverse/slicc-kernel 1.133.4 → 1.133.5

package/dist/node.js

@@ -5564,6 +5564,9 @@ var OpfsFs = class {
       }
     }
     await this.meta.remove([found.path]);
+    if (found.handle?.kind === "directory") {
+      await this.meta.update(found.path, (entry) => entry ?? vacatedAt(found.path));
+    }
     this.touch(Date.now(), parentOf4(found.path));
   }
   links() {
@@ -7461,7 +7464,7 @@ function satisfies(version, range2) {
 }
 
 // src/version.ts
-var KERNEL_VERSION = true ? "1.133.4" : "0.0.0-dev";
+var KERNEL_VERSION = true ? "1.133.5" : "0.0.0-dev";
 var OS_RELEASE = "6.0.0-slicc";
 function procVersion() {
   return `Linux version ${OS_RELEASE} (slicc-kernel ${KERNEL_VERSION}) #1 SMP PREEMPT_DYNAMIC
@@ -10795,6 +10798,88 @@ var FifoTable = class {
   }
 };
 
+// src/kernel/held-cwd.ts
+var CWD_SLOTS = 1024;
+var UNTRACKED = CWD_SLOTS - 1;
+var under4 = (path, changed) => changed === "/" || path === changed || path.startsWith(`${changed}/`);
+var CwdTable = class {
+  sab = new SharedArrayBuffer(CWD_SLOTS * 4);
+  view = new Int32Array(this.sab);
+  held = /* @__PURE__ */ new Map();
+  free = [];
+  next = 0;
+  checks = 0;
+  inodeOf;
+  constructor(inodeOf2) {
+    this.inodeOf = inodeOf2;
+  }
+  async hold(path, from) {
+    const shared = from === void 0 ? void 0 : this.held.get(from);
+    if (shared && shared.path === path) return this.share(from);
+    const ino = await this.inodeOf(path).catch(() => void 0);
+    const slot2 = this.free.pop() ?? (this.next < UNTRACKED ? this.next++ : UNTRACKED);
+    if (slot2 === UNTRACKED) return slot2;
+    this.held.set(slot2, {
+      path,
+      ino,
+      refs: 1,
+      dead: false,
+      verified: Atomics.load(this.view, slot2)
+    });
+    return slot2;
+  }
+  share(slot2) {
+    const held = slot2 === void 0 ? void 0 : this.held.get(slot2);
+    if (!held) return UNTRACKED;
+    held.refs++;
+    return slot2;
+  }
+  release(slot2) {
+    const held = slot2 === void 0 ? void 0 : this.held.get(slot2);
+    if (!held || --held.refs > 0) return;
+    this.held.delete(slot2);
+    Atomics.add(this.view, slot2, 1);
+    this.free.push(slot2);
+  }
+  stateOf(slot2) {
+    const held = this.held.get(slot2);
+    return { seen: held?.verified ?? Atomics.load(this.view, slot2), dead: held?.dead === true };
+  }
+  touched(paths, trees = []) {
+    if (this.held.size === 0) return;
+    for (const [slot2, held] of this.held) {
+      if (held.dead) continue;
+      if (paths.some((p) => under4(held.path, p)) || trees.some((t) => under4(held.path, t))) {
+        Atomics.add(this.view, slot2, 1);
+      }
+    }
+  }
+  async check(slot2) {
+    this.checks++;
+    const gen = Atomics.load(this.view, slot2);
+    const held = this.held.get(slot2);
+    if (!held) return { gen, alive: true };
+    if (!held.dead) {
+      const ino = await this.inodeOf(held.path).catch(() => null);
+      held.dead = ino === null || held.ino !== void 0 && ino !== held.ino;
+      held.verified = gen;
+    }
+    return { gen, alive: !held.dead };
+  }
+};
+function heldInit(o) {
+  if (!o.cwds || o.cwdSlot === void 0) return {};
+  const state = o.cwdState ?? { seen: 0, dead: false };
+  return { held: { sab: o.cwds, slot: o.cwdSlot, ...state } };
+}
+function heldHooks(o) {
+  if (!o.cwdCheck || !o.cwdChdir) return {};
+  return { cwdCheck: o.cwdCheck, cwdChdir: o.cwdChdir };
+}
+function inheritedCwd(chdir, parent) {
+  return chdir ? void 0 : parent;
+}
+
 // src/fs/copy.ts
 async function present2(fs, path) {
   return fs.lstat(path).then(
@@ -20994,6 +21079,8 @@ var SYSCALL_OPS = /* @__PURE__ */ new Set([
   "fd-list",
   "proc-alarm",
   "proc-umask",
+  "cwd-check",
+  "cwd-chdir",
   "proc-cred",
   "proc-setcred",
   "dl-log",
@@ -22319,6 +22406,14 @@ var WasmProcess = class {
         return { ok: true, kind: "void" };
       case "proc-umask":
         return { ok: true, kind: "json", json: this.setUmask(req.mask) };
+      case "cwd-check":
+        return {
+          ok: true,
+          kind: "json",
+          json: await this.options.cwdCheck?.() ?? { gen: 0, alive: true }
+        };
+      case "cwd-chdir":
+        return { ok: true, kind: "json", json: await this.options.cwdChdir?.(req.path) ?? {} };
       case "proc-cred":
         return { ok: true, kind: "json", json: copyCred(this.cred) };
       case "proc-setcred":
@@ -22868,6 +22963,7 @@ function processInit(opts, sab, umask, cred, lane) {
     umask,
     cred,
     ...opts.changes ? { changes: opts.changes } : {},
+    ...heldInit(opts),
     ...opts.owners ? { owners: true } : {},
     ...opts.links !== void 0 ? { links: true } : {},
     ...opts.ppid !== void 0 ? { ppid: opts.ppid } : {}
@@ -22941,6 +23037,7 @@ function processOptions(opts, header4, hooks, created4) {
     ...opts.identity ? { identity: opts.identity } : {},
     ...opts.onSyscall ? { onSyscall: opts.onSyscall } : {},
     ...opts.settling ? { settling: opts.settling } : {},
+    ...heldHooks(opts),
     spawner: opts.spawner,
     forker: opts.forker,
     ...opts.fork?.dl ? { dl: opts.fork.dl } : {},
@@ -22991,6 +23088,7 @@ function threadInit(opts, program, sab, cred, thread, main) {
     owners: opts.owners === true,
     ...opts.links !== void 0 ? { links: true } : {},
     ...opts.changes ? { changes: opts.changes } : {},
+    ...heldInit(opts),
     ...opts.ppid !== void 0 ? { ppid: opts.ppid } : {},
     thread,
     signals: main
@@ -26690,6 +26788,11 @@ var Launcher = class {
   hostname;
   watchers = new FsWatchers();
   changes = new FileChanges();
+  cwds = new CwdTable(async (path) => {
+    const { dev, ino } = await this.base.stat(path);
+    return `${dev ?? 0}:${ino}`;
+  });
+  cwdSlots = /* @__PURE__ */ new Map();
   pnpmHome;
   pnpmChain;
   pnpmMade;
@@ -26746,7 +26849,10 @@ var Launcher = class {
     this.sealed.tickets.normalise = (path) => physicalPathAsync(this.base, path);
     this.sealed.userOf = async (uid) => (await this.users.lookup(uid))?.name;
     if (this.owners) options.fs.trackOwners?.();
-    this.watchers.tap((paths) => this.changes.publish(...paths));
+    this.watchers.tap((paths) => {
+      this.changes.publish(...paths);
+      this.cwds.touched(paths);
+    });
     this.watchers.onReshape(() => {
       for (const nodes of this.openFiles) nodes.reshaped();
     });
@@ -26816,6 +26922,7 @@ var Launcher = class {
     options.fs.onPeer?.(() => this.flushOpen());
     options.fs.remoteChanges?.((change) => {
       this.changes.flush();
+      this.cwds.touched(change.paths, change.trees);
       this.rewritten(change.paths, change.trees);
     });
     const holders = [this.held, this.openFiles];
@@ -27598,11 +27705,12 @@ var Launcher = class {
     }
     const done4 = this.heldUrl(program);
     try {
+      const cwdSlot = await this.cwds.hold(cwd, req.cwdFrom);
       const handle = await this.admitted(
         program.abi !== "js",
         req.fds,
-        (fds, quietOom) => this.start({ ...req, fds, quietOom, cwd, program, argv0: target.argv0, args, env })
-      );
+        (fds, quietOom) => this.start({ ...req, fds, quietOom, cwd, program, argv0: target.argv0, args, env, cwdSlot })
+      ).finally(() => this.cwds.release(cwdSlot));
       void handle.exited.finally(done4);
       return handle;
     } catch (err) {
@@ -27689,6 +27797,8 @@ var Launcher = class {
       throw new SpawnError("ESRCH");
     }
     const pid = req.pid ?? this.nextPid++;
+    const cwdSlot = this.cwds.share(req.cwdSlot);
+    this.cwdSlots.set(pid, cwdSlot);
     const scrubs = this.treeScrubs(req);
     const stack = this.stackFor(req.tag);
     const terminal = req.fds.stdioTerminal();
@@ -27723,6 +27833,7 @@ var Launcher = class {
       ...this.dac ? { dac: this.dac } : {},
       program: req.program,
       changes: this.changes.sab,
+      ...this.heldFor(pid, cwdSlot),
       argv0: req.argv0,
       args: req.args,
       env: req.env,
@@ -27797,6 +27908,8 @@ var Launcher = class {
       (state) => state === "stopped" ? this.stopped.add(pid) : this.stopped.delete(pid)
     );
     void handle.exited.then(() => {
+      this.cwds.release(this.cwdSlots.get(pid));
+      this.cwdSlots.delete(pid);
       this.freshModules.forget(pid);
       const spent = handle.times?.();
       if (spent) this.spent.set(pid, spent);
@@ -28028,6 +28141,7 @@ var Launcher = class {
       const handle = await this.launch(planned, {
         ...deciding ? { decided: deciding.promise } : {},
         cwd: req.cwd,
+        cwdFrom: inheritedCwd(req.chdir, this.cwdSlots.get(ppid)),
         ...redeemed,
         fds,
         report,
@@ -28089,6 +28203,24 @@ var Launcher = class {
       for (const resolve2 of waiting) resolve2(true);
     }, 0);
   }
+  heldFor(pid, slot2) {
+    return {
+      cwds: this.cwds.sab,
+      cwdSlot: slot2,
+      cwdState: this.cwds.stateOf(slot2),
+      cwdCheck: async () => {
+        const current = this.cwdSlots.get(pid);
+        return { ...await this.cwds.check(current), slot: current };
+      },
+      cwdChdir: (path) => this.chdirHeld(pid, path)
+    };
+  }
+  async chdirHeld(pid, path) {
+    this.cwds.release(this.cwdSlots.get(pid));
+    const slot2 = await this.cwds.hold(path);
+    this.cwdSlots.set(pid, slot2);
+    return { slot: slot2, ...this.cwds.stateOf(slot2) };
+  }
   forker(ppid, parent) {
     const { exec: _exec, pgid: _pgid, group: _group, pid: _pid, scrub: _scrub, ...image } = parent;
     return async (state, given) => {
@@ -28096,6 +28228,7 @@ var Launcher = class {
         ...image,
         quietOom,
         cwd: state.cwd ?? parent.cwd,
+        cwdSlot: this.cwdSlots.get(ppid),
         fds,
         ppid,
         fork: state,