@ai-ecoverse/slicc-kernel 1.146.2 → 1.146.4

package/dist/process-worker.js

@@ -931,6 +931,10 @@ var init_ranged = __esm({
       pin() {
         this.pinned = true;
         this.pages.pin();
+        this.prefetch();
+      }
+      prefetch() {
+        this.fresh();
         this.fetch(this.pages.missing(0, this.pages.length));
       }
       reset(size) {
@@ -1301,6 +1305,9 @@ function errnoError(code2, path, direct) {
   const err = syncError(code2, `sync-sab bridge, '${path}'`);
   return direct ? Object.assign(err, { direct }) : err;
 }
+function holdSeen(seen) {
+  return { gen: seen.gen, ino: seen.ino, ...seen.nofollow ? { nofollow: true } : {} };
+}
 function createSyncFsSabBridge(transport, opts = {}) {
   const direct = opts.direct ? { direct: true } : {};
   const timeoutMs2 = opts.timeoutMs ?? SYNC_FS_REQUEST_TIMEOUT_MS;
@@ -1473,9 +1480,7 @@ function createSyncFsSabBridge(transport, opts = {}) {
     hold: (path, held2, open, handle, want = 0, seen = {}) => {
       const mode = (held2 ? 1 : 0) | (open ? 2 : 0);
       if (mode === 3) {
-        const at = seen.gen !== void 0 ? { gen: seen.gen } : {};
-        const link = seen.nofollow ? { nofollow: true } : {};
-        return json2({ op: "hold", path, mode: mode | want, ...at, ...link }, path);
+        return json2({ op: "hold", path, mode: mode | want, ...holdSeen(seen) }, path);
       }
       run({ op: "hold", path, mode, ...handle !== void 0 ? { handle } : {} }, path);
       return void 0;
@@ -1757,6 +1762,7 @@ function renameFollower(Fs, bridgeOf, call2) {
     open,
     follow: follow3,
     track(node, on) {
+      node.live.bound = on && node.live.stat?.ino !== void 0 ? node.live.stat : void 0;
       if (!on) {
         open.delete(node);
         return;
@@ -1782,6 +1788,35 @@ function followingOnce(write2, follow3) {
     write2();
   }
 }
+function openReplaced(h, dir, name2, moving) {
+  let node;
+  try {
+    node = h.Fs.lookupNode?.(dir, name2);
+  } catch {
+    return void 0;
+  }
+  if (!node || node === moving || node.live?.openCount === 0 || !h.Fs.isFile(node.mode))
+    return void 0;
+  const st = freshStat(h, node);
+  if ((st.nlink ?? 1) > 1) return void 0;
+  const ranged = h.rangedOf(node);
+  if (ranged) ranged.prefetch();
+  else h.ensureLoaded(node);
+  return { node, st };
+}
+function renamedOver(h, dir, name2, moving, rename) {
+  const replaced = openReplaced(h, dir, name2, moving);
+  rename();
+  if (replaced) {
+    h.rangedOf(replaced.node)?.pin();
+    orphaned(h, replaced.node, replaced.st);
+  }
+  try {
+    const existing = h.Fs.lookupNode?.(dir, name2);
+    if (existing && existing !== moving) h.Fs.hashRemoveNode?.(existing);
+  } catch {
+  }
+}
 function renameThrough(h, node, from, to) {
   const seq = h.call(() => h.bridgeOf(node).rename(from, to));
   h.ownRename(h.bridgeOf(node), typeof seq === "number" ? seq : void 0);
@@ -1798,6 +1833,13 @@ function heldStream(h, stream, change) {
     }
   }
 }
+function adopted(node, st, asked) {
+  const bound = node.live.openCount > 0 ? node.live.bound : void 0;
+  if (bound && st.ino !== bound.ino) return false;
+  filled(node.live, st, asked);
+  node.mode = modeFromStat(st, exactIn(node));
+  return true;
+}
 function createHelpers(Fs, ops) {
   const bridgeOf = (node) => node.mount.opts.bridge;
   const fileIo = (node) => pinnedIo(bridgeOf(node), node.live.handle);
@@ -1854,8 +1896,7 @@ function createHelpers(Fs, ops) {
     if (!cachedStat(node, Fs.isDir(node.mode), view)) {
       const asked = { statGen: view?.now(), filledAt: performance.now() };
       const st = call2(() => bridgeOf(node).lstat(liveNodePath(linked.holder(node))));
-      filled(node.live, st, asked);
-      node.mode = modeFromStat(st, exactIn(node));
+      if (!adopted(node, st, asked)) return node.live.bound;
     }
     return node.live.stat;
   }
@@ -2107,12 +2148,7 @@ function createNodeOps(h) {
       const from = liveNodePath(oldNode);
       const to = childPath(newDir, newName);
       flushNode(oldNode);
-      renameThrough(h, oldNode, from, to);
-      try {
-        const existing = Fs.lookupNode?.(newDir, newName);
-        if (existing && existing !== oldNode) Fs.hashRemoveNode?.(existing);
-      } catch {
-      }
+      renamedOver(h, newDir, newName, oldNode, () => renameThrough(h, oldNode, from, to));
       oldNode.name = newName;
       oldNode.parent = newDir;
       oldNode.live.stat = void 0;
@@ -2192,7 +2228,7 @@ function appendThrough(h, stream, bytes) {
 }
 function holdLive(bridge, node, on, want) {
   const s = node.live;
-  const seen = on && s.stat ? { gen: s.stat.gen } : void 0;
+  const seen = on && s.stat ? { gen: s.stat.gen, ...s.stat.ino !== void 0 ? { ino: s.stat.ino } : {} } : void 0;
   return bridge.hold?.(liveNodePath(node), on, true, s.handle, want, seen);
 }
 function dropOpen(s) {
@@ -2927,7 +2963,7 @@ var KERNEL_VERSION, OS_RELEASE;
 var init_version = __esm({
   "src/version.ts"() {
     "use strict";
-    KERNEL_VERSION = true ? "1.146.2" : "0.0.0-dev";
+    KERNEL_VERSION = true ? "1.146.4" : "0.0.0-dev";
     OS_RELEASE = "6.0.0-slicc";
   }
 });
@@ -6075,6 +6111,8 @@ var init_procfs = __esm({
         slicc_cwd_checks: (listing2) => `${listing2.cwdChecks ?? 0}
 `,
         slicc_rename_ack_busy: (listing2) => `${listing2.renameAcks?.busy ?? 0}
+`,
+        slicc_stale_fds: (listing2) => `${listing2.staleFds ?? 0}
 `,
         slicc_rename_acks: (listing2) => {
           const samples = [...listing2.renameAcks?.ackMs ?? []].sort((a, b) => a - b);
@@ -7326,6 +7364,7 @@ var init_wasi_files = __esm({
       maxFile;
       handle;
       moved;
+      bound;
       constructor(fs, path, empty, maxFile, size, version, watch) {
         this.fs = fs;
         this.where = path;
@@ -7372,6 +7411,10 @@ var init_wasi_files = __esm({
         if (this.ranged) this.ranged.pin();
         else this.load();
       }
+      prefetch() {
+        if (this.ranged) this.ranged.prefetch();
+        else this.load();
+      }
       load() {
         const view = this.watch?.view;
         if (this.data && view && this.watch && !this.dirty) {
@@ -9389,6 +9432,15 @@ var init_wasi_fds = __esm({
         for (const p of this.buffers.keys()) if (within(p, path)) return true;
         return false;
       }
+      replacing(path) {
+        for (const [p, buffer] of this.buffers) {
+          if (!within(p, path)) continue;
+          try {
+            buffer.prefetch();
+          } catch {
+          }
+        }
+      }
       unlinking(path, linked) {
         const buffer = this.buffers.get(path);
         if (buffer && this.survives(buffer, linked)) buffer.flush();
@@ -9525,10 +9577,9 @@ var init_wasi_fds = __esm({
         if (exclusive && !(oflags & OFLAGS.DIRECTORY) && this.madeAtOnce(path, mode)) {
           return this.regular(path, void 0, oflags, rights, fdflags, mode, true);
         }
-        if ((exclusive || nofollow) && this.isLink(path)) {
-          throw new WasiError(exclusive ? "EEXIST" : "ELOOP");
-        }
-        const s = this.statOrMissing(path);
+        if (exclusive && !nofollow && this.isLink(path)) throw new WasiError("EEXIST");
+        const s = nofollow ? this.lstatOrMissing(path) : this.statOrMissing(path);
+        if (s?.isSymbolicLink) throw new WasiError(exclusive ? "EEXIST" : "ELOOP");
         if (exclusive && s) throw new WasiError("EEXIST");
         if (s?.escape !== void 0) {
           refuseWrite({ readonly: true }, oflags, rights);
@@ -9547,6 +9598,11 @@ var init_wasi_fds = __esm({
         return this.regular(path, s, oflags, rights, fdflags, mode);
       }
       nofollow = false;
+      inos = /* @__PURE__ */ new WeakMap();
+      otherFile(buffer, st) {
+        const ino = this.inos.get(buffer);
+        return ino !== void 0 && st?.ino !== void 0 && ino !== st.ino;
+      }
       openSpecial(path, oflags, rights, fdflags, exclusive) {
         if (exclusive && namedDevice(path)) throw new WasiError("EEXIST");
         const device2 = deviceOf(path);
@@ -9604,6 +9660,7 @@ var init_wasi_fds = __esm({
           buffer = void 0;
         }
         buffer ??= this.sharing(path, existing);
+        if (buffer && this.nofollow && this.otherFile(buffer, existing)) buffer = void 0;
         const want = wantOf2(oflags, rights);
         if (buffer) {
           if (this.fs.owners) this.fs.access?.(path, want, "open");
@@ -9628,7 +9685,8 @@ var init_wasi_fds = __esm({
         const asked = (want & 4 ? HOLD_READ : 0) | (want & 2 ? HOLD_WRITE : 0) | (made ? HOLD_CREATED : 0);
         const handle = this.fs.hold?.(path, true, true, void 0, this.fs.owners ? asked : 0, {
           gen: st.gen,
-          ...this.nofollow ? { nofollow: true } : {}
+          ...this.nofollow ? { nofollow: true } : {},
+          ...st.ino !== void 0 ? { ino: st.ino } : {}
         });
         const io = handle !== void 0 && this.fs.pinned ? this.fs.pinned(handle) : this.fs;
         const view = this.fs.changes;
@@ -9647,7 +9705,9 @@ var init_wasi_fds = __esm({
         );
         const buffer = new FileBuffer(io, path, empty, st.maxFile, ranged, st.version, watch);
         buffer.moved = (missing2) => this.followRenames(missing2);
+        buffer.bound = st;
         buffer.handle = handle;
+        if (st.ino !== void 0) this.inos.set(buffer, st.ino);
         this.buffers.set(path, buffer);
         const id = this.identity(st);
         if (id !== void 0) this.know(buffer, id);
@@ -9730,6 +9790,14 @@ var init_wasi_fds = __esm({
           return false;
         }
       }
+      lstatOrMissing(path) {
+        try {
+          return this.fs.lstat(path);
+        } catch (e) {
+          if (e.code === "ENOENT") return void 0;
+          throw e;
+        }
+      }
       statOrMissing(path) {
         try {
           return this.fs.stat(path);
@@ -11404,6 +11472,7 @@ var init_wasi_host = __esm({
             const to = at(fd2, p2, l2);
             fds.flushPath(from);
             const replaced = fds.holdsUnder(to) ? linkedElsewhere(o.fs, to) : void 0;
+            if (replaced === void 0) fds.replacing(to);
             const seq = o.fs.rename(from, to);
             fds.renamed(from, to, replaced);
             fds.ownRename(typeof seq === "number" ? seq : void 0);
@@ -11704,13 +11773,21 @@ var init_wasi_host = __esm({
       }
       localFilestat(file) {
         const { buffer } = file;
-        if (buffer.isOrphan()) return this.statOrphanable(file.path, file.size(), false, true);
+        if (buffer.isOrphan()) {
+          const bound2 = buffer.bound;
+          if (!bound2) return this.statOrphanable(file.path, file.size(), false, true);
+          return { ...this.sized(file.path, bound2, file.size()), nlink: 0n };
+        }
         let s;
         try {
           s = this.o.fs.stat(file.path);
         } catch {
           s = this.keptStat(buffer.handle);
         }
+        const bound = buffer.bound;
+        if (s && bound?.ino !== void 0 && s.ino !== bound.ino) {
+          s = this.keptStat(buffer.handle) ?? bound;
+        }
         return this.sized(file.path, s, file.size());
       }
       keptStat(handle) {