@ai-ecoverse/slicc-kernel 1.55.0 → 1.56.1

package/dist/process-worker.js

@@ -5696,6 +5696,7 @@ var init_wasi_host = __esm({
       muted;
       signals;
       interrupted;
+      quietly = (fn) => fn();
       listening;
       o;
       constructor(o) {
@@ -7355,6 +7356,10 @@ var init_wasix_fork = __esm({
       get supported() {
         return typeof this.exports.asyncify_start_unwind === "function";
       }
+      get idle() {
+        const state = this.exports.asyncify_get_state;
+        return !this.supported || typeof state !== "function" || state() === 0;
+      }
       resume() {
         if (this.exports.asyncify_get_state?.() !== UNWINDING) return false;
         this.exports.asyncify_stop_unwind?.();
@@ -9085,13 +9090,49 @@ var wasi_runtime_exports = {};
 __export(wasi_runtime_exports, {
   FALLBACK_MAXIMUM_PAGES: () => FALLBACK_MAXIMUM_PAGES,
   LinkSync: () => LinkSync,
+  UNDELIVERED: () => UNDELIVERED,
   captureBacktraces: () => captureBacktraces,
+  catchUpFirst: () => catchUpFirst,
   createImportedMemory: () => createImportedMemory,
+  delivering: () => delivering,
   runWasiProcess: () => runWasiProcess,
   runWasiThread: () => runWasiThread,
   trapMessage: () => trapMessage,
-  unsupportedImport: () => unsupportedImport
+  unsupportedImport: () => unsupportedImport,
+  wireSignals: () => wireSignals
 });
+function wireSignals(host, gate) {
+  host.interrupted = () => gate.interrupt();
+  host.quietly = (fn) => gate.quiet(fn);
+}
+function catchUpFirst(host, sync) {
+  return sync && (() => host.quietly(() => sync.current()));
+}
+function deliverAll(imports, host, driver, before) {
+  for (const ns of DELIVERED) {
+    const table = imports[ns];
+    if (table) imports[ns] = delivering(ns, table, host, driver, before);
+  }
+}
+function delivering(ns, table, host, driver, before) {
+  const exempt = new Set(UNDELIVERED[ns]);
+  const out = {};
+  for (const [name2, value2] of Object.entries(table)) {
+    if (exempt.has(name2) || typeof value2 !== "function") {
+      out[name2] = value2;
+      continue;
+    }
+    const fn = value2;
+    out[name2] = (...args) => {
+      if (driver.idle) {
+        before?.();
+        host.interrupted?.();
+      }
+      return fn(...args);
+    };
+  }
+  return out;
+}
 function enosys(module, name2, foreign) {
   const type = foreign?.[module]?.[name2];
   if (type === "other") throw new Error(noErrno(`${module}.${name2}`));
@@ -9290,6 +9331,7 @@ async function instantiate(host, module, memory, threads, {
     sliccFs,
     sliccTty2
   );
+  deliverAll(hostImports, host, driver, catchUpFirst(host, sync));
   const imports = sync ? merge(hostImports, sync.linker.mainImports(module)) : hostImports;
   instance = await WebAssembly.instantiate(module, imports);
   stats?.phase("instantiate");
@@ -9417,7 +9459,7 @@ async function runWasiProcess(init, port2) {
   if (importsSigactionHook(module)) signals.useHook();
   if (fork?.signals) signals.restore(fork.signals);
   host.signals = signals;
-  host.interrupted = () => gate.interrupt();
+  wireSignals(host, gate);
   host.onRaise = (sig) => signals.raised(sig);
   host.muted = (fd, data) => signals.muted(fd, data);
   const exports = instance.exports;
@@ -9497,7 +9539,7 @@ async function runWasiThread(init, port2) {
   });
   signals.bind(instance.exports);
   signals.register(SIGNAL_CALLBACK);
-  host.interrupted = () => gate.interrupt();
+  wireSignals(host, gate);
   host.onRaise = (sig) => signals.raised(sig);
   const start2 = instance.exports.wasi_thread_start;
   try {
@@ -9523,7 +9565,7 @@ async function runWasiThread(init, port2) {
     throw e;
   }
 }
-var TRAPPED, PREVIEW1, WASIX, SLICC, SIGNAL_CALLBACK, takeDefault, SLICC_FS, SLICC_TTY, RESERVED2, importsSigactionHook, noErrno, FALLBACK_MAXIMUM_PAGES, LinkSync, DL_GEN, BACKTRACE_FRAMES;
+var TRAPPED, PREVIEW1, WASIX, SLICC, SIGNAL_CALLBACK, takeDefault, SLICC_FS, SLICC_TTY, RESERVED2, UNDELIVERED, DELIVERED, importsSigactionHook, noErrno, FALLBACK_MAXIMUM_PAGES, LinkSync, DL_GEN, BACKTRACE_FRAMES;
 var init_wasi_runtime = __esm({
   "src/process/wasi/wasi-runtime.ts"() {
     "use strict";
@@ -9560,6 +9602,13 @@ var init_wasi_runtime = __esm({
     SLICC_FS = "slicc_fs";
     SLICC_TTY = "slicc_tty";
     RESERVED2 = RESERVED_NAMESPACES;
+    UNDELIVERED = {
+      [PREVIEW1]: ["proc_exit", "clock_time_get"],
+      [WASIX]: ["proc_exit2", "thread_exit", "thread_spawn_v2", "callback_signal"],
+      [SLICC]: ["sigaction_set"],
+      wasi: ["thread-spawn"]
+    };
+    DELIVERED = [PREVIEW1, WASIX, SLICC, SLICC_FS, SLICC_TTY];
     importsSigactionHook = (module) => WebAssembly.Module.imports(module).some((i) => i.module === SLICC && i.name === "sigaction_set");
     noErrno = (key) => `imports ${key}: its result cannot carry ENOSYS, and this host does not provide it`;
     FALLBACK_MAXIMUM_PAGES = 32768;
@@ -9611,6 +9660,9 @@ var init_wasi_runtime = __esm({
         this.bump();
         this.catchUp();
       }
+      current() {
+        if (this.ids && Atomics.load(this.ids, DL_GEN) !== this.gen) this.catchUp();
+      }
       catchUp() {
         for (; ; ) {
           const gen = this.ids ? Atomics.load(this.ids, DL_GEN) : 0;
@@ -9630,9 +9682,9 @@ var init_wasi_runtime = __esm({
           Object.entries(table).map(([name2, fn]) => [
             name2,
             ((...args) => {
-              if (Atomics.load(ids, DL_GEN) !== this.gen) this.catchUp();
+              this.current();
               const result = fn(...args);
-              if (Atomics.load(ids, DL_GEN) !== this.gen) this.catchUp();
+              this.current();
               return result;
             })
           ])