@ai-ecoverse/slicc-kernel 1.133.4 → 1.134.0

package/dist/process-worker.js

@@ -2693,7 +2693,7 @@ var KERNEL_VERSION, OS_RELEASE;
 var init_version = __esm({
   "src/version.ts"() {
     "use strict";
-    KERNEL_VERSION = true ? "1.133.4" : "0.0.0-dev";
+    KERNEL_VERSION = true ? "1.134.0" : "0.0.0-dev";
     OS_RELEASE = "6.0.0-slicc";
   }
 });
@@ -6608,6 +6608,59 @@ 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");
@@ -8799,6 +8852,7 @@ var init_wasi_fds = __esm({
           e.path = path;
           this.kernel.call({ op: "fd-meta", fd, meta: metaOf(e) });
         }
+        this.held?.moved(this.kernel.call({ op: "cwd-chdir", path }), path);
         this.bump();
       }
       promote(fd, moved = false) {
@@ -9085,9 +9139,21 @@ var init_wasi_fds = __esm({
           this.buffers.set(next2, buffer);
         }
       }
+      held;
+      cwdEntry(dir) {
+        return dir.preopen === "." || dir.preopen === "./";
+      }
+      goneCwd(dir) {
+        return this.held !== void 0 && this.cwdEntry(dir) && !this.held.alive(dir.path);
+      }
       resolve(dirfd, path) {
         if (path === "") throw new WasiError("ENOENT");
-        const joined2 = path.startsWith("/") ? path : `${this.dir(dirfd).path}/${path}`;
+        if (path.startsWith("/")) return this.joined(path);
+        const dir = this.dir(dirfd);
+        if (path.split("/")[0] !== ".." && this.goneCwd(dir)) throw new WasiError("ENOENT");
+        return this.joined(`${dir.path}/${path}`);
+      }
+      joined(joined2) {
         return joined2.split("/").includes("..") ? physical(this.fs, joined2) : normalize(joined2);
       }
       openKernelDevice(path, oflags, fdflags, rights) {
@@ -10384,6 +10450,7 @@ var init_wasi_host = __esm({
         this.o = { ...o, kernel: { sys, call: call2 } };
         this.startCwd = o.cwd;
         this.fds = new WasiFds(this.o.kernel, o.fs);
+        if (o.held) this.fds.held = o.held;
         this.creds = new CredCache(
           () => this.o.kernel.call({ op: "proc-cred" }),
           o.credGen ?? o.shared
@@ -11465,7 +11532,9 @@ var init_wasi_host = __esm({
       }
       readdir(fd, buf, len, cookie, usedPtr) {
         const dir = this.fds.dir(fd);
-        if (cookie === 0 || !dir.listing) dir.listing = this.list(dir.path);
+        if (cookie === 0 || !dir.listing) {
+          dir.listing = this.fds.goneCwd(dir) ? { names: [], stats: /* @__PURE__ */ new Map() } : this.list(dir.path);
+        }
         const { names, stats } = dir.listing;
         let at = 0;
         for (let i = cookie; i < names.length && at < len; i++) {
@@ -14704,6 +14773,12 @@ function ownersOf(init) {
     ...init.changes ? { changes: init.changes } : {}
   };
 }
+function heldOf2(init, call2) {
+  const { held: held2 } = init;
+  if (!held2) return {};
+  const ask = () => call2({ op: "cwd-check" });
+  return { held: new HeldCwd(held2.sab, held2.slot, ask, { ...held2, path: init.cwd }) };
+}
 async function runWasiProcess(init, port2) {
   captureBacktraces(init.env);
   const signals = new WasiSignals(
@@ -14761,6 +14836,7 @@ async function runWasiProcess(init, port2) {
       call2
     ),
     ...descriptors(init, fork, threads),
+    ...heldOf2(init, call2),
     ...threads ? { credGen: threads.ids } : {}
   });
   host.sigmask = sigmaskOf(module, init.sab, gate, threads);
@@ -14869,7 +14945,8 @@ async function runWasiThread(init, port2) {
       ),
       call2
     ),
-    shared: threads.ids
+    shared: threads.ids,
+    ...heldOf2(init, call2)
   });
   host.tid = thread.tid;
   host.sigmask = sigmaskOf(init.program.module, init.sab, gate, threads, init.signals);
@@ -14920,6 +14997,7 @@ var init_wasi_runtime = __esm({
   "src/process/wasi/wasi-runtime.ts"() {
     "use strict";
     init_physical_path();
+    init_held_cwd();
     init_protocol();
     init_signals();
     init_sync_sab_bridge();