@ai-ecoverse/slicc-kernel 1.110.3 → 1.110.5

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.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

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.5" : "0.0.0-dev";
     OS_RELEASE = "6.0.0-slicc";
   }
 });
@@ -6476,12 +6484,13 @@ function fetchOp(kernel) {
       throw signal.aborted ? signal.reason : failed(err);
     }
   };
-  const body = (handle, signal) => {
+  const body = (handle, request) => {
+    const { signal } = request;
     let aborted;
     const settle = () => {
       if (aborted) signal.removeEventListener("abort", aborted);
     };
-    return new ReadableStream(
+    const stream = new ReadableStream(
       {
         start(controller) {
           aborted = () => {
@@ -6516,8 +6525,10 @@ function fetchOp(kernel) {
       },
       { highWaterMark: 0 }
     );
+    keptRequests.set(stream, request);
+    return stream;
   };
-  const respond = (head, method, redirected, encoded, signal) => {
+  const respond = (head, method, redirected, encoded, request) => {
     if (head.status < 200 || head.status > 599) {
       void close(head.handle);
       throw failed(new JsCallError("EPROTO", `status ${head.status}`));
@@ -6525,7 +6536,7 @@ function fetchOp(kernel) {
     const empty = method === "HEAD" || NULL_BODY.has(head.status);
     if (empty) void close(head.handle);
     const headers = new Headers(head.headers);
-    let stream = empty ? null : body(head.handle, signal);
+    let stream = empty ? null : body(head.handle, request);
     const coding = headers.get("content-encoding")?.trim().toLowerCase();
     if (stream && encoded && coding && DECODED.has(coding)) {
       const format = coding === "deflate" ? "deflate" : "gzip";
@@ -6533,6 +6544,7 @@ function fetchOp(kernel) {
         new DecompressionStream(format)
       );
       headers.delete("content-length");
+      keptRequests.set(stream, request);
     }
     const response = new Response(stream, {
       status: head.status,
@@ -6578,7 +6590,7 @@ function fetchOp(kernel) {
       const follow2 = known.manualRedirects && REDIRECTS.has(head.status) && location !== void 0 && request.redirect !== "manual";
       if (!follow2) {
         const redirected = hops > 0 || head.redirected === true;
-        return respond(head, hop.method, redirected, known.encodedBodies, signal);
+        return respond(head, hop.method, redirected, known.encodedBodies, request);
       }
       await close(head.handle);
       if (request.redirect === "error") throw failed(new Error("unexpected redirect"));
@@ -6587,7 +6599,7 @@ function fetchOp(kernel) {
     }
   };
 }
-var CHUNK2, MAX_REDIRECTS, NULL_BODY, REDIRECTS, BODY_HEADERS, DECODED, CREDENTIALS, BAD_PORTS, OVER, TOKEN, QUOTABLE, SPACE, BASE64, SLICE;
+var CHUNK2, MAX_REDIRECTS, keptRequests, NULL_BODY, REDIRECTS, BODY_HEADERS, DECODED, CREDENTIALS, BAD_PORTS, OVER, TOKEN, QUOTABLE, SPACE, BASE64, SLICE;
 var init_js_fetch = __esm({
   "src/process/js/js-fetch.ts"() {
     "use strict";
@@ -6595,6 +6607,7 @@ var init_js_fetch = __esm({
     init_js_kernel();
     CHUNK2 = 64 * 1024;
     MAX_REDIRECTS = 20;
+    keptRequests = /* @__PURE__ */ new WeakMap();
     NULL_BODY = /* @__PURE__ */ new Set([101, 103, 204, 205, 304]);
     REDIRECTS = /* @__PURE__ */ new Set([301, 302, 303, 307, 308]);
     BODY_HEADERS = /* @__PURE__ */ new Set([