@ai-ecoverse/slicc-kernel 1.98.3 → 1.99.0

package/dist/process-worker.js

@@ -2454,7 +2454,7 @@ var KERNEL_VERSION, OS_RELEASE;
 var init_version = __esm({
   "src/version.ts"() {
     "use strict";
-    KERNEL_VERSION = true ? "1.98.3" : "0.0.0-dev";
+    KERNEL_VERSION = true ? "1.99.0" : "0.0.0-dev";
     OS_RELEASE = "6.0.0-slicc";
   }
 });
@@ -6644,6 +6644,57 @@ var init_wasi_files = __esm({
   }
 });
 
+// src/process/wasi/slicc-sem.ts
+function remainingMs(deadline, now) {
+  if (deadline <= now) return 0;
+  return Number((deadline - now + NS_PER_MS - 1n) / NS_PER_MS);
+}
+function semImports(host) {
+  const { mem } = host;
+  const call2 = (req) => host.o.kernel.call(req);
+  const name2 = (ptr, len) => mem.string(ptr, len);
+  return {
+    sem_open: (np, nl, oflag, mode, value2, out) => {
+      const handle = call2({
+        op: "sem-open",
+        name: name2(np, nl),
+        create: (oflag & SEM_CREAT) !== 0,
+        exclusive: (oflag & SEM_EXCL) !== 0,
+        mode,
+        value: value2
+      });
+      mem.view().setUint32(out, handle, true);
+    },
+    sem_close: (handle) => void call2({ op: "sem-close", handle }),
+    sem_unlink: (np, nl) => void call2({ op: "sem-unlink", name: name2(np, nl) }),
+    sem_post: (handle) => void call2({ op: "sem-post", handle }),
+    sem_wait: (handle, how, clock, deadline) => {
+      const kind = HOW[how];
+      if (!kind) throw new WasiError("EINVAL");
+      let timeoutMs2 = -1;
+      if (kind === "timed") {
+        if (deadline < 0n) throw new WasiError("EINVAL");
+        if (clock !== CLOCK.REALTIME && clock !== CLOCK.MONOTONIC) throw new WasiError("EINVAL");
+        timeoutMs2 = remainingMs(deadline, host.now(clock));
+      }
+      call2({ op: "sem-wait", handle, how: kind, timeoutMs: timeoutMs2 });
+    },
+    sem_getvalue: (handle, out) => void mem.view().setInt32(out, call2({ op: "sem-getvalue", handle }), true)
+  };
+}
+var SEM_CREAT, SEM_EXCL, HOW, NS_PER_MS;
+var init_slicc_sem = __esm({
+  "src/process/wasi/slicc-sem.ts"() {
+    "use strict";
+    init_wasi_abi();
+    init_wasi_files();
+    SEM_CREAT = 1;
+    SEM_EXCL = 2;
+    HOW = ["block", "try", "timed"];
+    NS_PER_MS = 1000000n;
+  }
+});
+
 // src/kernel/pipe.ts
 var PIPE_CAPACITY;
 var init_pipe = __esm({
@@ -8099,7 +8150,7 @@ function filestatOf(path, s) {
     size: BigInt(s.size),
     ino: s.ino !== void 0 ? BigInt(s.ino) : pathInode(path),
     ...s.nlink !== void 0 ? { nlink: BigInt(s.nlink) } : {},
-    mtimeNs: BigInt(Math.round(s.mtimeMs ?? 0)) * NS_PER_MS
+    mtimeNs: BigInt(Math.round(s.mtimeMs ?? 0)) * NS_PER_MS2
   };
 }
 function kernelFiletype(kind) {
@@ -8149,7 +8200,7 @@ function wrap(table) {
   }
   return out;
 }
-var WasiExit, IDS, NS_PER_MS, AT_SYMLINK_NOFOLLOW2, AT_EACCESS2, ROOT_IDS, GONE, S_IFIFO, DEFAULT_UMASK, MONOTONIC_BASE, MAX_READ, SIGPIPE_EXIT, SIG_IGN, SEALED_MODE, WasiHost;
+var WasiExit, IDS, NS_PER_MS2, AT_SYMLINK_NOFOLLOW2, AT_EACCESS2, ROOT_IDS, GONE, S_IFIFO, DEFAULT_UMASK, MONOTONIC_BASE, MAX_READ, SIGPIPE_EXIT, SIG_IGN, SEALED_MODE, WasiHost;
 var init_wasi_host = __esm({
   "src/process/wasi/wasi-host.ts"() {
     "use strict";
@@ -8157,6 +8208,7 @@ var init_wasi_host = __esm({
     init_physical_path();
     init_cpu_clock();
     init_cred();
+    init_slicc_sem();
     init_wasi_abi();
     init_wasi_fds();
     init_wasi_files();
@@ -8172,14 +8224,14 @@ var init_wasi_host = __esm({
       }
     };
     IDS = ["ruid", "euid", "suid", "rgid", "egid", "sgid"];
-    NS_PER_MS = 1000000n;
+    NS_PER_MS2 = 1000000n;
     AT_SYMLINK_NOFOLLOW2 = 1;
     AT_EACCESS2 = 2;
     ROOT_IDS = Object.freeze({ uid: 0, gid: 0 });
     GONE = /* @__PURE__ */ new Set(["ENOENT", "ENOTDIR"]);
     S_IFIFO = 4096;
     DEFAULT_UMASK = 18;
-    MONOTONIC_BASE = BigInt(Math.round(performance.timeOrigin)) * NS_PER_MS;
+    MONOTONIC_BASE = BigInt(Math.round(performance.timeOrigin)) * NS_PER_MS2;
     MAX_READ = 1024 * 1024;
     SIGPIPE_EXIT = 141;
     SIG_IGN = 1;
@@ -8377,6 +8429,7 @@ var init_wasi_host = __esm({
             });
             void this.o.kernel.call({ op: "proc-setcred", change });
           },
+          ...semImports(this),
           groups_get: (buf, cap, count) => {
             const { groups } = this.o.kernel.call({ op: "proc-cred" });
             if (cap !== 0 && cap < groups.length) throw new WasiError("EINVAL");
@@ -8467,7 +8520,7 @@ var init_wasi_host = __esm({
         return this.cache;
       }
       now(id) {
-        if (id === CLOCK.REALTIME) return BigInt(Date.now()) * NS_PER_MS;
+        if (id === CLOCK.REALTIME) return BigInt(Date.now()) * NS_PER_MS2;
         if (id === CLOCK.MONOTONIC) {
           return MONOTONIC_BASE + BigInt(Math.round(performance.now() * 1e6));
         }
@@ -8976,7 +9029,7 @@ var init_wasi_host = __esm({
           current ??= statOf(path);
           return current[field2] ?? current.mtimeMs ?? now;
         };
-        const pick = (set, setNow, value2, field2) => flags & setNow ? now : flags & set ? Number(value2 / NS_PER_MS) : kept(field2);
+        const pick = (set, setNow, value2, field2) => flags & setNow ? now : flags & set ? Number(value2 / NS_PER_MS2) : kept(field2);
         (follow2 ? this.o.fs.utimes : this.o.fs.lutimes).call(
           this.o.fs,
           path,
@@ -10224,16 +10277,18 @@ function mutableGlobals(exports) {
   }
   return out;
 }
-var UNWINDING, REWINDING, AsyncifyDriver;
+var STACK_POINTER, UNWINDING, REWINDING, AsyncifyDriver;
 var init_wasix_fork = __esm({
   "src/process/wasi/wasix-fork.ts"() {
     "use strict";
     init_wasi_abi();
+    STACK_POINTER = "__stack_pointer";
     UNWINDING = 1;
     REWINDING = 2;
     AsyncifyDriver = class {
       exports = {};
       stackUpper = 0;
+      linked;
       pending;
       answer = 0;
       snapshots = /* @__PURE__ */ new Map();
@@ -10242,10 +10297,12 @@ var init_wasix_fork = __esm({
       constructor(mem) {
         this.mem = mem;
       }
+      useStack(pointer, low) {
+        this.linked = { pointer, low };
+      }
       bind(exports) {
         this.exports = exports;
-        const sp = this.exports.__stack_pointer;
-        this.stackUpper = sp instanceof WebAssembly.Global ? sp.value : 0;
+        this.stackUpper = this.stackPointer();
       }
       get supported() {
         return typeof this.exports.asyncify_start_unwind === "function";
@@ -10280,7 +10337,7 @@ var init_wasix_fork = __esm({
       }
       fork(fork) {
         const sp = this.stackPointer();
-        const globals = mutableGlobals(this.exports);
+        const globals = this.globals();
         return this.unwind((data) => {
           this.answer = fork(data, globals, sp);
         });
@@ -10291,7 +10348,7 @@ var init_wasix_fork = __esm({
         v.setBigUint64(snapPtr, BigInt(retPtr), true);
         v.setBigUint64(snapPtr + 8, BigInt(id), true);
         v.setBigUint64(snapPtr + 16, 0x51cc5117n, true);
-        const globals = mutableGlobals(this.exports);
+        const globals = this.globals();
         return this.unwind((data) => {
           const end = this.mem.view().getUint32(data, true);
           this.snapshots.set(id, { frames: this.mem.bytes(data + 8, end - data - 8).slice(), globals });
@@ -10309,11 +10366,24 @@ var init_wasix_fork = __esm({
           this.answer = Number(val) || 1;
         });
       }
+      stackGlobal() {
+        const g = this.exports[STACK_POINTER];
+        return g instanceof WebAssembly.Global ? g : this.linked?.pointer;
+      }
       stackPointer() {
-        const g = this.exports.__stack_pointer;
-        return g instanceof WebAssembly.Global ? g.value : 0;
+        return this.stackGlobal()?.value ?? 0;
+      }
+      globals() {
+        const out = mutableGlobals(this.exports);
+        if (this.linked && !out.some(([name2]) => name2 === STACK_POINTER)) {
+          out.push([STACK_POINTER, this.linked.pointer.value]);
+        }
+        return out;
       }
       dataPointer() {
+        if (this.linked && !(this.exports[STACK_POINTER] instanceof WebAssembly.Global)) {
+          return this.linked.low + 15 & ~15;
+        }
         const g = this.exports.__data_end;
         const dataEnd = g instanceof WebAssembly.Global ? g.value : 0;
         return dataEnd < this.stackUpper ? dataEnd + 15 & ~15 : 16;
@@ -10333,7 +10403,7 @@ var init_wasix_fork = __esm({
       }
       restoreGlobals(globals) {
         for (const [name2, value2] of globals) {
-          const g = this.exports[name2];
+          const g = name2 === STACK_POINTER ? this.stackGlobal() : this.exports[name2];
           if (g instanceof WebAssembly.Global) g.value = value2;
         }
       }
@@ -10345,7 +10415,7 @@ var init_wasix_fork = __esm({
 function timeoutMs(ns) {
   const value2 = BigInt.asUintN(64, ns);
   if (value2 === FOREVER) return -1;
-  const ms = (value2 + NS_PER_MS2 - 1n) / NS_PER_MS2;
+  const ms = (value2 + NS_PER_MS3 - 1n) / NS_PER_MS3;
   return ms > BigInt(MAX_TIMEOUT_MS) ? -1 : Number(ms);
 }
 function wasixEpollImports(host) {
@@ -10406,7 +10476,7 @@ function wasixEpollImports(host) {
     }
   };
 }
-var EVENT_SIZE, DATA_OFFSET, DATA_SIZE, MAX_EVENTS, FOREVER, MAX_TIMEOUT_MS, NS_PER_MS2, EVENTFD_SEMAPHORE, EVENTFD_NONBLOCK, EVENTFD_MAX, OPS;
+var EVENT_SIZE, DATA_OFFSET, DATA_SIZE, MAX_EVENTS, FOREVER, MAX_TIMEOUT_MS, NS_PER_MS3, EVENTFD_SEMAPHORE, EVENTFD_NONBLOCK, EVENTFD_MAX, OPS;
 var init_wasix_epoll = __esm({
   "src/process/wasi/wasix-epoll.ts"() {
     "use strict";
@@ -10418,7 +10488,7 @@ var init_wasix_epoll = __esm({
     MAX_EVENTS = 4096;
     FOREVER = 0xffffffffffffffffn;
     MAX_TIMEOUT_MS = 2147483647;
-    NS_PER_MS2 = 1000000n;
+    NS_PER_MS3 = 1000000n;
     EVENTFD_SEMAPHORE = 1;
     EVENTFD_NONBLOCK = 4;
     EVENTFD_MAX = 0xfffffffffffffffen;
@@ -12083,6 +12153,7 @@ async function instantiate(host, module, memory, threads, {
     }
   }
   if (sync) bindLinker(host, sync, instance, { thread, forked, path });
+  if (sync && !thread) driver.useStack(sync.linker.stackPointer, sync.linker.stackLow);
   return { instance, driver };
 }
 function bindLinker(host, sync, instance, at) {