@shd101wyy/yo 0.0.33 → 0.1.0

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "@shd101wyy/yo",
   "displayName": "Yo",
-  "version": "0.0.33",
+  "version": "0.1.0",
   "main": "./out/cjs/index.cjs",
   "module": "./out/esm/index.mjs",
   "types": "./out/types/src/index.d.ts",

package/std/thread.yo

@@ -8,7 +8,7 @@ extern "Yo",
 // Low-level runtime types and functions for Thread
 extern "Yo",
   __yo_thread_t : Type,
-  __yo_thread_spawn : (fn(cb : Impl(Fn() -> unit, Send)) -> __yo_thread_t),
+  __yo_thread_spawn : (fn(cb : Impl(Fn(using(io : IO)) -> unit, Send)) -> __yo_thread_t),
   __yo_thread_join : (fn(t : __yo_thread_t) -> unit)
 ;
 
@@ -17,8 +17,9 @@ Thread :: struct(
   handle : __yo_thread_t
 );
 impl(Thread,
-  // Spawn a new OS thread running the given closure
-  spawn : (fn(cb : Impl(Fn() -> unit, Send)) -> Self)({
+  // Spawn a new OS thread running the given closure.
+  // The closure receives its own per-thread IO event loop.
+  spawn : (fn(cb : Impl(Fn(using(io : IO)) -> unit, Send)) -> Self)({
     raw := __yo_thread_spawn(cb);
     Self(raw)
   }),

package/std/worker.yo

@@ -7,9 +7,10 @@
 // Thread-per-core: By default, one worker thread per CPU core.
 // Thread affinity: Each task runs on a specific worker thread.
 // Thread-local GC: Each worker thread has its own GC heap.
+// Per-thread IO: Each worker thread has its own async event loop, shared by all tasks on that thread.
 
 extern "Yo",
-  __yo_worker_spawn : (fn(cb : Impl(Fn() -> unit, Send)) -> unit),
+  __yo_worker_spawn : (fn(cb : Impl(Fn(using(io : IO)) -> unit, Send)) -> unit),
   __yo_worker_get_num_threads : (fn() -> usize),
   __yo_worker_set_num_threads : (fn(num: usize) -> unit)
 ;
@@ -17,7 +18,8 @@ extern "Yo",
 // Spawn a task on the thread pool.
 // Returns immediately, task runs in background.
 // Tasks are distributed round-robin to worker threads.
-spawn :: (fn(cb : Impl(Fn() -> unit, Send)) -> unit)({
+// The closure receives the worker thread's IO event loop.
+spawn :: (fn(cb : Impl(Fn(using(io : IO)) -> unit, Send)) -> unit)({
   __yo_worker_spawn(cb);
 });