@ai-ecoverse/slicc-kernel 1.110.3 → 1.110.4

package/README.md

@@ -324,7 +324,7 @@ A WASI command can name an ES module of its package that provides imports of its
 
 - `memory()`, `instance()` (after instantiation), `tid` (1 for the main thread), `argv`, `env`, `cwd()`;
 - `fs`: the synchronous filesystem the WASI calls use (absolute paths);
-- `fds`: `open(path, { read, write, append, create, exclusive, truncate, directory, nofollow, mode })` returns a WASI descriptor of the program; `mode` is a new file's mode. With `create` and `exclusive` under users `report` or `enforce`, the file is created with it, less the umask, as `open(2)` does, and the name is only checked by the create itself (a symlink there is `EEXIST`). Otherwise the mode is set exactly once the file is open; `close`, `fstat` (`{ kind, path, mode, uid, gid, size, ino, mtimeMs }`), `fchmod`, and `tryLock(fd, exclusive)` / `unlock(fd)`: advisory locks held by the kernel across processes and threads, keyed by path, released on unlock, on closing the descriptor and at exit (`tryLock` returns 0, or 6 when another process holds the lock);
+- `fds`: `open(path, { read, write, append, create, exclusive, truncate, directory, nofollow, mode })` returns a WASI descriptor of the program; `mode` is a new file's mode. With `create` and `exclusive` under users `report` or `enforce`, the file is created with it, less the umask, as `open(2)` does, and the name is only checked by the create itself (a symlink there is `EEXIST`). Otherwise the mode is set exactly once the file is open; `close`, `fstat` (`{ kind, path, mode, uid, gid, size, ino, mtimeMs }`; an open file's size is the descriptor's own, so writes not yet flushed count, while the other fields come from a stat of its path, as WASI's `fd_filestat_get` gives them), `fchmod`, and `tryLock(fd, exclusive)` / `unlock(fd)`: advisory locks held by the kernel across processes and threads, keyed by path, released on unlock, on closing the descriptor and at exit (`tryLock` returns 0, or 6 when another process holds the lock);
 - `syscall(req)`: a kernel syscall, synchronously;
 - `net.connect({ host, port, nonblock })` connects a TCP socket to the kernel's loopback and returns its kernel descriptor. `host` is `localhost` or `127.x.y.z`; anything else, or a port outside 1–65535, is `EINVAL`. A refused connection throws `ECONNREFUSED`. The connection carries the program's own identity, as any connect from its process does, so a [page facade](#page-facades) such as `SLICC_LINK_URL` sees the program's stamp. With `nonblock` it returns at once, and `net.ready(fd)` answers 0 once a connect is complete, `EINPROGRESS` (26) while it isn't, or the connect's WASI errno (`SO_ERROR`). On the loopback a connect completes at once, so `ready` is 0 straight away. `ready` is meant for a descriptor from `net.connect`. The descriptor is read and written with `fd-read` and `fd-write` and closed with `fd-close`, as below, and `fd-select` (`{ op: 'fd-select', read: [fds], write: [fds], timeoutMs }`, answering `{ read, write }` with the ready ones; `timeoutMs: -1` waits without a limit) waits until it's readable or writable;
 - `spawn({ argv, env, cwd, stdin, stdout, stderr })` starts a command (resolved like `kernel.run`) as a child and returns `{ pid, stdin, stdout, stderr }`. `env` is the child's whole environment (the program's own by default), `cwd` the program's by default. Each stdio is `'inherit'` (the default: the program's own), `'null'`, or `'pipe'`: a kernel pipe whose end the result holds as a descriptor, read and written with `fd-read` (`{ op: 'fd-read', fd, max }`, an empty read at the end), `fd-write` (`{ op: 'fd-write', fd, body }`) and `fd-close`, through `syscall` or `async.submit`; the child's ends are closed in the program. A command that does not exist throws `ENOENT`;

package/dist/kernel-worker.js

@@ -6176,7 +6176,7 @@ function satisfies(version, range2) {
 }
 
 // src/version.ts
-var KERNEL_VERSION = true ? "1.110.3" : "0.0.0-dev";
+var KERNEL_VERSION = true ? "1.110.4" : "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

package/dist/node-process-worker.js

@@ -4918,6 +4918,14 @@ function importsContext({
     }
     return void 0;
   };
+  const sizedOf = (fd) => {
+    const e = host.fds.get(fd);
+    if (e.type === "file") return { path: e.file.path, size: e.file.size() };
+    if (e.type === "kernel" && host.fds.kind(fd, e) === "file") {
+      return call2({ op: "fd-vfs-stat", fd });
+    }
+    return { path: pathOf(fd) };
+  };
   const requirePath = (fd) => {
     const path = pathOf(fd);
     if (path === void 0) throw new WasiError("EBADF");
@@ -4948,19 +4956,19 @@ function importsContext({
     },
     fstat(fd) {
       const e = host.fds.get(fd);
-      const path = pathOf(fd);
+      const { path, size } = sizedOf(fd);
       if (path === void 0) {
         const kind = e.type === "device" ? "device" : "stream";
         return { kind, mode: kind === "device" ? 8630 : 4480, ...live(), size: 0 };
       }
-      host.fds.flushPath(path);
+      if (size === void 0) host.fds.flushPath(path);
       const s = fs.stat(path);
       return {
         kind: s.isDirectory ? "dir" : "file",
         path,
         mode: s.mode ?? (s.isDirectory ? 16877 : 33188),
         ...s.uid !== void 0 && s.gid !== void 0 ? { uid: s.uid, gid: s.gid } : live(),
-        size: s.size,
+        size: size ?? s.size,
         ...s.ino !== void 0 ? { ino: s.ino } : {},
         ...s.mtimeMs !== void 0 ? { mtimeMs: s.mtimeMs } : {}
       };
@@ -5204,7 +5212,7 @@ var KERNEL_VERSION, OS_RELEASE;
 var init_version = __esm({
   "src/version.ts"() {
     "use strict";
-    KERNEL_VERSION = true ? "1.110.3" : "0.0.0-dev";
+    KERNEL_VERSION = true ? "1.110.4" : "0.0.0-dev";
     OS_RELEASE = "6.0.0-slicc";
   }
 });