@ai-ecoverse/slicc-kernel 1.124.9 → 1.124.11

package/dist/process-worker.js

@@ -1174,6 +1174,7 @@ function errnoError(code2, path) {
 function createSyncFsSabBridge(transport, opts = {}) {
   const timeoutMs2 = opts.timeoutMs ?? SYNC_FS_REQUEST_TIMEOUT_MS;
   let identity = {};
+  let once = false;
   let last = null;
   function run(req, path, transfer) {
     last = null;
@@ -1192,7 +1193,9 @@ function createSyncFsSabBridge(transport, opts = {}) {
     throw errnoError("EIO", path);
   }
   const changing = (req, path, transfer) => {
-    const r = run({ ...req, ...identity }, path, transfer);
+    const ask = once ? { identity: true } : identity;
+    once = false;
+    const r = run({ ...req, ...ask }, path, transfer);
     if (r.ok && r.kind === "json") last = parseSyncFsStat(r.json);
   };
   const io = (id) => ({
@@ -1289,7 +1292,14 @@ function createSyncFsSabBridge(transport, opts = {}) {
     identify: () => {
       identity = { identity: true };
     },
-    identified: () => last,
+    identifyNext: () => {
+      once = true;
+      last = null;
+    },
+    identified: () => {
+      once = false;
+      return last;
+    },
     lutimes: (path, atimeMs, mtimeMs, now) => {
       run({ op: "lutimes", path, atimeMs, mtimeMs, ...now ? { now } : {} }, path);
     },
@@ -2624,7 +2634,7 @@ var KERNEL_VERSION, OS_RELEASE;
 var init_version = __esm({
   "src/version.ts"() {
     "use strict";
-    KERNEL_VERSION = true ? "1.124.9" : "0.0.0-dev";
+    KERNEL_VERSION = true ? "1.124.11" : "0.0.0-dev";
     OS_RELEASE = "6.0.0-slicc";
   }
 });
@@ -6589,7 +6599,7 @@ function cachingBridge(bridge, now = () => performance.now(), shared) {
   const { stats, lstats } = cache;
   const view = bridge.changes;
   const live = (miss, path) => miss.until > now() && (view === void 0 || miss.gen === void 0 || !view.changedSince(miss.gen, path).changed);
-  const seenAt = /* @__PURE__ */ new Map();
+  const seen = new SeenAt(view, lstats);
   const gone = (path) => {
     for (let at = path.lastIndexOf("/"); at > 0; at = path.lastIndexOf("/", at - 1)) {
       const up = path.slice(0, at);
@@ -6605,13 +6615,14 @@ function cachingBridge(bridge, now = () => performance.now(), shared) {
     if (blind || view?.foreign()) return get();
     cache.fresh();
     let hit = map.get(path);
+    if (hit !== void 0 && !("until" in hit) && seen.changed(map, path)) hit = void 0;
     if (hit === void 0 || "until" in hit && !live(hit, path)) {
       const missing2 = gone(path);
       if (missing2) throw missing2.error;
       const gen = view?.now();
       try {
         hit = get();
-        if (gen !== void 0 && map === lstats) seenAt.set(path, gen);
+        if (gen !== void 0) seen.saw(map, path, gen);
       } catch (e) {
         hit = {
           error: e,
@@ -6649,6 +6660,17 @@ function cachingBridge(bridge, now = () => performance.now(), shared) {
       else cache.mutated([]);
     }
   };
+  const relabeling = (p, op) => {
+    if (exact || !bridge.identifyNext) return rewriting(p, op);
+    bridge.identifyNext();
+    try {
+      return op();
+    } finally {
+      const st = bridge.identified?.() ?? null;
+      if (st) cache.mutated([p], st.ino);
+      else cache.mutated([]);
+    }
+  };
   const rewriting = (p, op, ...also) => {
     if (exact) return identified(p, op, also);
     const ino = cache.inoOf(p, () => bridge.stat(p));
@@ -6664,18 +6686,23 @@ function cachingBridge(bridge, now = () => performance.now(), shared) {
     readFile: (p) => bridge.readFile(p),
     readdir: (p) => bridge.readdir(p),
     readdirStat: (p) => {
+      const gen = view?.now();
       const list = bridge.readdirStat(p);
       const base = p === "/" ? "" : p;
       for (const [name2, st] of list) {
         if (!st || blind) continue;
-        cache.put(lstats, `${base}/${name2}`, st);
-        if (!st.isSymbolicLink) cache.put(stats, `${base}/${name2}`, st);
+        const at = `${base}/${name2}`;
+        cache.put(lstats, at, st);
+        if (gen !== void 0) seen.saw(lstats, at, gen);
+        if (st.isSymbolicLink) continue;
+        cache.put(stats, at, st);
+        if (gen !== void 0) seen.saw(stats, at, gen);
       }
       return list;
     },
     readlink: (p) => {
       const known = blind ? void 0 : (cache.fresh(), lstats.get(p));
-      const gen = seenAt.get(p);
+      const gen = seen.lstat(p);
       const current = view !== void 0 && gen !== void 0 && !view.changedSince(gen, p).changed;
       if (known && current && !("until" in known) && !known.isSymbolicLink) {
         throw syncError("EINVAL", `'${p}' is not a symbolic link`);
@@ -6700,8 +6727,8 @@ function cachingBridge(bridge, now = () => performance.now(), shared) {
     unlink: (p) => mutating(() => bridge.unlink(p)),
     rmdir: (p) => mutating(() => bridge.rmdir(p)),
     symlink: (target, link) => mutating(() => bridge.symlink(target, link), ...entry(link)),
-    chmod: (p, mode) => rewriting(p, () => bridge.chmod(p, mode)),
-    utimes: (p, a, m, now2) => rewriting(p, () => bridge.utimes(p, a, m, now2)),
+    chmod: (p, mode) => relabeling(p, () => bridge.chmod(p, mode)),
+    utimes: (p, a, m, now2) => relabeling(p, () => bridge.utimes(p, a, m, now2)),
     lutimes: (p, a, m, now2) => mutating(() => bridge.lutimes(p, a, m, now2)),
     ...bridge.hold ? { hold: bridge.hold.bind(bridge) } : {},
     ...bridge.access ? { access: bridge.access.bind(bridge) } : {},
@@ -6715,7 +6742,7 @@ function cachingBridge(bridge, now = () => performance.now(), shared) {
       mkfifo: (p, mode) => mutating(() => bridge.mkfifo?.(p, mode), ...entry(p))
     } : {},
     ...chown ? {
-      chown: (p, ...rest2) => rewriting(p, () => chown.call(bridge, p, ...rest2))
+      chown: (p, ...rest2) => relabeling(p, () => chown.call(bridge, p, ...rest2))
     } : {},
     ...bridge.pread && bridge.pwrite && bridge.truncate ? {
       pread: bridge.pread.bind(bridge),
@@ -6746,7 +6773,7 @@ function pinnedIo2(bridge, handle, rewriting) {
     } : {}
   };
 }
-var WasiError, FileBuffer, LocalFile, MAX_LINKS, MISS_TTL_MS, CACHE_CAP, FS_GEN, CRED_GEN, RING2, RING_SIZE2, SLOT2, FD_RING, FD_RING_SIZE, SHARED_IDS_BYTES, StatCache;
+var WasiError, FileBuffer, LocalFile, MAX_LINKS, MISS_TTL_MS, CACHE_CAP, FS_GEN, CRED_GEN, RING2, RING_SIZE2, SLOT2, FD_RING, FD_RING_SIZE, SHARED_IDS_BYTES, StatCache, SEEN_CAP, SeenAt;
 var init_wasi_files = __esm({
   "src/process/wasi/wasi-files.ts"() {
     "use strict";
@@ -7105,6 +7132,37 @@ var init_wasi_files = __esm({
         this.byIno.clear();
       }
     };
+    SEEN_CAP = 4096;
+    SeenAt = class {
+      view;
+      lstats;
+      links = /* @__PURE__ */ new Map();
+      stats = /* @__PURE__ */ new Map();
+      constructor(view, lstats) {
+        this.view = view;
+        this.lstats = lstats;
+      }
+      of(map) {
+        return map === this.lstats ? this.links : this.stats;
+      }
+      lstat(path) {
+        return this.links.get(path);
+      }
+      saw(map, path, gen) {
+        const seen = this.of(map);
+        if (seen.size >= SEEN_CAP) seen.clear();
+        seen.set(path, gen);
+      }
+      changed(map, path) {
+        if (this.view === void 0) return false;
+        const seen = this.of(map);
+        const gen = seen.get(path);
+        if (gen === void 0) return true;
+        const since = this.view.changedSince(gen, path);
+        if (!since.changed) seen.set(path, since.now);
+        return since.changed;
+      }
+    };
   }
 });