@ai-ecoverse/slicc-kernel 1.16.0 → 1.17.0

package/dist/process-worker.js

@@ -211,6 +211,7 @@ function createHelpers(Fs, ops) {
   }
   function truncate(node, size) {
     const s = node.live;
+    if (!s.orphan && statOf(node).readonly) throw new Fs.ErrnoError(ERRNO_BY_CODE.EROFS);
     if (s.openCount > 0) {
       if (size > 0) ensureLoaded(node);
       else s.loaded = true;
@@ -399,6 +400,14 @@ function createStreamOps(h) {
   return {
     open(stream) {
       if (!Fs.isFile(stream.node.mode)) return;
+      if ((stream.flags & 3) !== 0) {
+        try {
+          if (statOf(stream.node).readonly) throw new Fs.ErrnoError(ERRNO_BY_CODE.EROFS);
+        } catch (err) {
+          if (stream.fd !== void 0) Fs.closeStream?.(stream.fd);
+          throw err;
+        }
+      }
       stream.node.live.openCount++;
       held(stream, 1);
     },
@@ -741,7 +750,8 @@ function parseSyncFsStat(json) {
     ...typeof s.atimeMs === "number" ? { atimeMs: s.atimeMs } : {},
     ...typeof s.ctimeMs === "number" ? { ctimeMs: s.ctimeMs } : {},
     ...typeof s.ino === "number" ? { ino: s.ino } : {},
-    ...typeof s.dev === "number" ? { dev: s.dev } : {}
+    ...typeof s.dev === "number" ? { dev: s.dev } : {},
+    ...s.readonly === true ? { readonly: true } : {}
   };
 }
 var SYNC_FS_REQUEST_TIMEOUT_MS;
@@ -1010,22 +1020,29 @@ var init_wasi_errno = __esm({
       EPROTONOSUPPORT: 66,
       EOPNOTSUPP: 138,
       EBADF: 8,
+      EBUSY: 10,
       ECHILD: 12,
       EFAULT: 21,
       EINTR: 27,
       EINVAL: 28,
       EIO: 29,
       EMFILE: 33,
+      ENODEV: 43,
       ENOENT: 44,
       ENOEXEC: 45,
       ENOSYS: 52,
+      ENOTDIR: 54,
       ENOTTY: 59,
       ENXIO: 60,
       EPERM: 63,
       EPIPE: 64,
       ESPIPE: 70,
       ESRCH: 71,
-      ETIMEDOUT: 73
+      ETIMEDOUT: 73,
+      EFBIG: 22,
+      ENOSPC: 51,
+      EROFS: 69,
+      ENOMEDIUM: 148
     };
     EIO2 = 29;
   }
@@ -1378,6 +1395,16 @@ function number(r) {
   if (!r.ok) return -wasiErrno(r.errno);
   return r.kind === "json" && typeof r.json === "number" ? r.json : -wasiErrno("EIO");
 }
+function flushed(beforeSpawn) {
+  try {
+    beforeSpawn();
+    return 0;
+  } catch (err) {
+    const errno2 = err?.errno;
+    if (typeof errno2 !== "number") throw err;
+    return -errno2;
+  }
+}
 function drain(Fs, stream) {
   const chunks = [];
   const buffer = new Uint8Array(65536);
@@ -1423,6 +1450,7 @@ function createProcessKernel(deps) {
   const { transport, Fs } = deps;
   const reaped = /* @__PURE__ */ new Map();
   const call2 = (req, label) => transport.call(req, Infinity, label);
+  const at = (path) => path === "" || path.startsWith("/") ? path : `${Fs.cwd()}/${path}`;
   const slot = (fd, n, promote) => {
     const stream = fd >= 0 ? Fs.getStream(fd) : null;
     if (!stream) return { none: true };
@@ -1461,7 +1489,8 @@ function createProcessKernel(deps) {
   };
   return {
     spawn(file, argv, env, cwd, fds, actions) {
-      deps.beforeSpawn();
+      const unflushed = flushed(deps.beforeSpawn);
+      if (unflushed < 0) return unflushed;
       const promote = deps.stdioPromoter?.();
       const stdio = [0, 1, 2].map((n) => slot(fds[n] ?? -1, n, promote));
       const inherit = deps.inherit?.(actions) ?? [];
@@ -1489,7 +1518,8 @@ function createProcessKernel(deps) {
       return pid;
     },
     fork(state) {
-      deps.beforeSpawn();
+      const unflushed = flushed(deps.beforeSpawn);
+      if (unflushed < 0) return unflushed;
       const streams = deps.describeFork();
       const r = transport.call(
         { op: "proc-fork", state: { ...state, streams, cwd: Fs.cwd() } },
@@ -1528,6 +1558,13 @@ function createProcessKernel(deps) {
     pause() {
       return status(call2({ op: "sig-pause" }, "pause"));
     },
+    mount(source, target, type, flags, data) {
+      const req = { op: "mount", source, target: at(target), type, flags, data };
+      return status(call2(req, `mount ${target}`));
+    },
+    umount2(target, flags) {
+      return status(call2({ op: "umount", target: at(target), flags }, `umount ${target}`));
+    },
     kill(pid, sig) {
       if (pid === deps.pid) {
         if (sig !== 0) deps.raise?.(sig);
@@ -1947,6 +1984,7 @@ function mountTable(mounts = []) {
   const lines = [`${root} / ${root} rw 0 0`, "devfs /dev devfs rw 0 0", "proc /proc proc rw 0 0"];
   for (const m of mounts) {
     const options = Object.entries(m.options).map(([k, v]) => v === "" ? k : `${k}=${v}`);
+    if (m.state !== "ok") options.push(m.state);
     const access = options.includes("ro") ? [] : ["rw"];
     lines.push(
       `${field(m.source)} ${field(m.target)} ${m.type} ${[...access, ...options].join(",")} 0 0`
@@ -3056,6 +3094,7 @@ async function runWasmProcess(init, port, deps = {}) {
   const restartable = () => signals.restartable();
   const streams = new KernelStreams(running.FS, sys, { sigpipe, restartable });
   trackCloseOnExec(running.FS);
+  quietQuit(running.FS);
   useMounts(running.FS, init.env, true);
   useProcfs(running.FS, sys, init.pid);
   if (init.fork) restoreForkedStreams(running.FS, streams, init.fork.streams ?? []);
@@ -3094,9 +3133,29 @@ async function runWasmProcess(init, port, deps = {}) {
   try {
     return runMain(running, init);
   } finally {
-    vfs.flush();
+    try {
+      vfs.flush();
+    } catch {
+    }
   }
 }
+function quietQuit(Fs) {
+  const { quit, close } = Fs;
+  if (!quit) return;
+  Fs.quit = () => {
+    Fs.close = (stream) => {
+      try {
+        close.call(Fs, stream);
+      } catch {
+      }
+    };
+    try {
+      quit.call(Fs);
+    } finally {
+      Fs.close = close;
+    }
+  };
+}
 function hasStreams(module) {
   return typeof ownValue(module, "FS")?.getStream === "function";
 }
@@ -3624,6 +3683,13 @@ function entryOf(info) {
     append: ((info.flags ?? 0) & O_APPEND) !== 0
   };
 }
+function openAccess(existing, oflags, rights) {
+  const readonly = existing?.readonly === true;
+  const mutating = readonly ? OFLAGS.TRUNC : OFLAGS.CREAT | OFLAGS.TRUNC;
+  const writable = (rights & RIGHTS.FD_WRITE) !== 0n || (oflags & mutating) !== 0;
+  if (writable && readonly) throw new WasiError("EROFS");
+  return { readable: (rights & RIGHTS.FD_READ) !== 0n || !writable, writable };
+}
 function promoteRequest(fd, f, handed) {
   const orphan = f.buffer.isOrphan();
   const joins = !orphan && handed.has(f.buffer);
@@ -4022,8 +4088,7 @@ var init_wasi_fds = __esm({
         return this.install({ type: "file", file: this.file(path, s, oflags, rights, fdflags) });
       }
       file(path, existing, oflags, rights, fdflags) {
-        const writable = (rights & RIGHTS.FD_WRITE) !== 0n || (oflags & (OFLAGS.CREAT | OFLAGS.TRUNC)) !== 0;
-        const readable = (rights & RIGHTS.FD_READ) !== 0n || !writable;
+        const { readable, writable } = openAccess(existing, oflags, rights);
         let buffer = this.buffers.get(path);
         if (buffer) {
           if (oflags & OFLAGS.TRUNC) buffer.truncate(0);
@@ -4036,8 +4101,7 @@ var init_wasi_fds = __esm({
         return new LocalFile(buffer, readable, writable, (fdflags & FDFLAGS.APPEND) !== 0);
       }
       kernelFile(path, existing, oflags, rights, fdflags) {
-        const writable = (rights & RIGHTS.FD_WRITE) !== 0n || (oflags & (OFLAGS.CREAT | OFLAGS.TRUNC)) !== 0;
-        const readable = (rights & RIGHTS.FD_READ) !== 0n || !writable;
+        const { readable, writable } = openAccess(existing, oflags, rights);
         const append = (fdflags & FDFLAGS.APPEND) !== 0;
         const flags = (writable ? readable ? O_RDWR4 : O_WRONLY3 : 0) | (append ? O_APPEND : 0);
         if (!existing) this.fs.writeFile(path, new Uint8Array(0));
@@ -4362,6 +4426,24 @@ var init_wasi_host = __esm({
       get cwd() {
         return this.fds.cwd() ?? this.startCwd;
       }
+      sliccImports() {
+        const { mem } = this;
+        const path = (p, l) => {
+          const text = mem.string(p, l);
+          return text === "" || text.startsWith("/") ? text : normalize(`${this.cwd}/${text}`);
+        };
+        return wrap({
+          mount: (sp, sl, tp, tl, fp, fl, flags, dp, dl) => void this.o.kernel.call({
+            op: "mount",
+            source: mem.string(sp, sl),
+            target: path(tp, tl),
+            type: mem.string(fp, fl),
+            flags,
+            data: mem.string(dp, dl)
+          }),
+          umount2: (tp, tl, flags) => void this.o.kernel.call({ op: "umount", target: path(tp, tl), flags })
+        });
+      }
       imports() {
         this.cache ??= wrap({
           ...this.processImports(),
@@ -4450,7 +4532,7 @@ var init_wasi_host = __esm({
           fd_datasync: (fd) => void this.sync(fd),
           fd_advise: (fd) => void fds.get(fd),
           fd_allocate: (fd, offset, len) => {
-            const file = this.positional(fd);
+            const file = this.positional(fd, "write");
             const end = Number(offset + len);
             if (end > file.size()) file.truncate(end);
           }
@@ -4463,7 +4545,7 @@ var init_wasi_host = __esm({
           fd_fdstat_set_flags: (fd, flags) => void fds.setFlags(fd, (flags & FDFLAGS.NONBLOCK) !== 0, (flags & FDFLAGS.APPEND) !== 0),
           fd_fdstat_set_rights: (fd) => void fds.get(fd),
           fd_filestat_get: (fd, out) => void this.writeFilestat(out, this.fdFilestat(fd)),
-          fd_filestat_set_size: (fd, size) => void this.positional(fd).truncate(Number(size)),
+          fd_filestat_set_size: (fd, size) => void this.positional(fd, "write").truncate(Number(size)),
           fd_filestat_set_times: (fd, atim, mtim, flags) => {
             const e = fds.get(fd);
             if (e.type === "file") {
@@ -6497,12 +6579,14 @@ function unsupportedImport(module, memory, extended = false, foreign = {}) {
   }
   return void 0;
 }
-function linkImports(module, preview1, wasix, memory, threads, program = {}, foreign) {
+function linkImports(module, preview1, wasix, memory, threads, program = {}, foreign, slicc = {}) {
   for (const ns of Object.keys(program)) {
-    if (RESERVED.has(ns)) throw new Error(`the imports module may not define ${ns}`);
+    if (RESERVED.has(ns) || ns === SLICC)
+      throw new Error(`the imports module may not define ${ns}`);
   }
   const imports = {
     ...program,
+    [SLICC]: { ...slicc },
     [PREVIEW1]: preview1,
     ...wasix ? { [WASIX]: { ...wasix } } : {},
     ...threads ? { wasi: { "thread-spawn": (arg) => threads.spawn(arg) } } : {}
@@ -6628,7 +6712,8 @@ async function instantiate(host, module, memory, threads, {
     () => memory ?? instance?.exports.memory,
     () => instance
   );
-  const hostImports = linkImports(module, preview1, wasix, memory, threads, extra, foreign);
+  const slicc = traced(stats, "slicc", host.sliccImports());
+  const hostImports = linkImports(module, preview1, wasix, memory, threads, extra, foreign, slicc);
   const imports = sync ? merge(hostImports, sync.linker.mainImports(module)) : hostImports;
   instance = await WebAssembly.instantiate(module, imports);
   stats?.phase("instantiate");
@@ -6804,7 +6889,7 @@ async function runWasiThread(init, port) {
     throw e;
   }
 }
-var TRAPPED, PREVIEW1, WASIX, RESERVED, noErrno, FALLBACK_MAXIMUM_PAGES, LinkSync, DL_GEN, BACKTRACE_FRAMES;
+var TRAPPED, PREVIEW1, WASIX, SLICC, RESERVED, noErrno, FALLBACK_MAXIMUM_PAGES, LinkSync, DL_GEN, BACKTRACE_FRAMES;
 var init_wasi_runtime = __esm({
   "src/process/wasi/wasi-runtime.ts"() {
     "use strict";
@@ -6829,6 +6914,7 @@ var init_wasi_runtime = __esm({
     TRAPPED = 134;
     PREVIEW1 = "wasi_snapshot_preview1";
     WASIX = "wasix_32v1";
+    SLICC = "slicc";
     RESERVED = RESERVED_NAMESPACES;
     noErrno = (key) => `imports ${key}: its result cannot carry ENOSYS, and this host does not provide it`;
     FALLBACK_MAXIMUM_PAGES = 32768;