@salang/sa 0.1.2 → 0.1.4

package/sa_std/thread/prelude.sa

@@ -0,0 +1,4 @@
+// Stable thread namespace aggregation.
+@import "join_handle.sa"
+@import "../thread.sa"
+@import "../thread_local.sa"

package/sa_std/thread/prelude.sal

@@ -0,0 +1,3 @@
+// ABI/layout companion for thread namespace aggregation.
+@import "join_handle.sal"
+@import "../thread.sai"

package/sa_std/thread.sa

@@ -0,0 +1,160 @@
+@import "thread.sai"
+@import "time.sa"
+
+[MACRO] THREAD_SPAWN %out_handle, %entry_ptr, %arg_ptr
+    %out_handle = call @pthread_spawn(%entry_ptr, %arg_ptr)
+[END_MACRO]
+
+[MACRO] THREAD_SPAWN_DETACHED %out_handle, %entry_ptr, %arg_ptr
+    %out_handle = call @pthread_spawn_detached(%entry_ptr, %arg_ptr)
+[END_MACRO]
+
+[MACRO] THREAD_JOIN_STATUS %out_status, %handle, %out_ptr
+    %out_status = call @pthread_join(%handle, *%out_ptr)
+[END_MACRO]
+
+[MACRO] THREAD_DROP %handle
+    call @pthread_drop(%handle)
+[END_MACRO]
+
+[MACRO] THREAD_CURRENT_ID %out_id
+    %out_id = call @sa_thread_current_id()
+[END_MACRO]
+
+// Rust-named aliases for current-thread identity and cooperative yield.
+
+[MACRO] THREAD_CURRENT %out_id
+    EXPAND THREAD_CURRENT_ID %out_id
+[END_MACRO]
+
+[MACRO] THREAD_YIELD %out_status
+    EXPAND THREAD_YIELD_NOW %out_status
+[END_MACRO]
+
+[MACRO] THREAD_YIELD_NOW %out_status
+    %out_status = call @sa_thread_yield_now()
+[END_MACRO]
+
+[MACRO] THREAD_AS_PTHREAD_T %out_status, %out_raw, %handle
+    __thread_as_pthread_slot_%out_raw = stack_alloc 8
+    %out_status = call @sa_thread_as_pthread_t(%handle, &__thread_as_pthread_slot_%out_raw)
+    %out_raw = load __thread_as_pthread_slot_%out_raw+0 as u64
+[END_MACRO]
+
+[MACRO] THREAD_INTO_PTHREAD_T %out_status, %out_raw, %handle
+    __thread_into_pthread_slot_%out_raw = stack_alloc 8
+    %out_status = call @sa_thread_into_pthread_t(%handle, &__thread_into_pthread_slot_%out_raw)
+    %out_raw = load __thread_into_pthread_slot_%out_raw+0 as u64
+[END_MACRO]
+
+[MACRO] THREAD_RAW_PTHREAD_JOIN_STATUS %out_status, %raw, %out_ptr
+    %out_status = call @sa_thread_raw_pthread_join(%raw, *%out_ptr)
+[END_MACRO]
+
+// Builder-style SSA facade over existing spawn helpers.
+// State is a single detached flag (0/1); no stack-size/name runtime ABI yet.
+
+[MACRO] THREAD_BUILDER_NEW %out_detached
+    %out_detached = add 0, 0
+[END_MACRO]
+
+[MACRO] THREAD_BUILDER_WITH_DETACHED %out_detached, %in_detached, %flag
+    __thread_builder_zero_%out_detached = eq %flag, 0
+    br __thread_builder_zero_%out_detached -> L_THREAD_BUILDER_DETACHED_OFF_%out_detached, L_THREAD_BUILDER_DETACHED_ON_%out_detached
+L_THREAD_BUILDER_DETACHED_OFF_%out_detached:
+    %out_detached = add 0, 0
+    !__thread_builder_zero_%out_detached
+    !%in_detached
+    jmp L_THREAD_BUILDER_DETACHED_END_%out_detached
+L_THREAD_BUILDER_DETACHED_ON_%out_detached:
+    %out_detached = add 0, 1
+    !__thread_builder_zero_%out_detached
+    !%in_detached
+    jmp L_THREAD_BUILDER_DETACHED_END_%out_detached
+L_THREAD_BUILDER_DETACHED_END_%out_detached:
+[END_MACRO]
+
+[MACRO] THREAD_BUILDER_SPAWN %out_handle, %detached, %entry_ptr, %arg_ptr
+    __thread_builder_spawn_detached_%out_handle = ne %detached, 0
+    br __thread_builder_spawn_detached_%out_handle -> L_THREAD_BUILDER_SPAWN_DETACHED_%out_handle, L_THREAD_BUILDER_SPAWN_JOINABLE_%out_handle
+L_THREAD_BUILDER_SPAWN_DETACHED_%out_handle:
+    EXPAND THREAD_SPAWN_DETACHED %out_handle, %entry_ptr, %arg_ptr
+    !__thread_builder_spawn_detached_%out_handle
+    jmp L_THREAD_BUILDER_SPAWN_END_%out_handle
+L_THREAD_BUILDER_SPAWN_JOINABLE_%out_handle:
+    EXPAND THREAD_SPAWN %out_handle, %entry_ptr, %arg_ptr
+    !__thread_builder_spawn_detached_%out_handle
+    jmp L_THREAD_BUILDER_SPAWN_END_%out_handle
+L_THREAD_BUILDER_SPAWN_END_%out_handle:
+[END_MACRO]
+
+// Sleep helpers aliased over the existing time facade.
+
+[MACRO] THREAD_SLEEP_NS %ns
+    EXPAND TIME_SLEEP_NS %ns
+[END_MACRO]
+
+[MACRO] THREAD_SLEEP_MS %ms
+    EXPAND TIME_SLEEP_MS %ms
+[END_MACRO]
+
+// Sleep for a concrete Duration-like nanosecond scalar.
+[MACRO] THREAD_SLEEP_DURATION_NS %duration_ns
+    EXPAND THREAD_SLEEP_NS %duration_ns
+[END_MACRO]
+
+// JoinHandle value facade over the pthread-backed thread handle.
+[MACRO] JOIN_HANDLE_NEW %out_join_handle, %raw_handle
+    %out_join_handle = alloc JoinHandle_SIZE
+    store %out_join_handle+JoinHandle_handle, %raw_handle as i32
+    store %out_join_handle+JoinHandle_result, 0 as u64
+[END_MACRO]
+
+[MACRO] JOIN_HANDLE_JOIN_STATUS %out_status, %join_handle, %out_ptr
+    __join_handle_raw_%out_status = load %join_handle+JoinHandle_handle as i32
+    __join_handle_joinable_%out_status = ne __join_handle_raw_%out_status, 0
+    br __join_handle_joinable_%out_status -> L_JOIN_HANDLE_JOIN_CALL_%out_status, L_JOIN_HANDLE_JOINED_%out_status
+L_JOIN_HANDLE_JOIN_CALL_%out_status:
+    %out_status = call @pthread_join(__join_handle_raw_%out_status, *%out_ptr)
+    store %join_handle+JoinHandle_result, %out_status as u64
+    store %join_handle+JoinHandle_handle, 0 as i32
+    !__join_handle_joinable_%out_status
+    !__join_handle_raw_%out_status
+    jmp L_JOIN_HANDLE_JOIN_DONE_%out_status
+L_JOIN_HANDLE_JOINED_%out_status:
+    %out_status = load %join_handle+JoinHandle_result as i32
+    !__join_handle_joinable_%out_status
+    !__join_handle_raw_%out_status
+L_JOIN_HANDLE_JOIN_DONE_%out_status:
+[END_MACRO]
+
+[MACRO] JOIN_HANDLE_IS_FINISHED %out_done, %join_handle
+    __join_handle_state_%out_done = load %join_handle+JoinHandle_handle as i32
+    %out_done = eq __join_handle_state_%out_done, 0
+    !__join_handle_state_%out_done
+[END_MACRO]
+
+[MACRO] JOIN_HANDLE_JOIN %out_status, %join_handle, %out_ptr
+    EXPAND JOIN_HANDLE_JOIN_STATUS %out_status, %join_handle, %out_ptr
+[END_MACRO]
+
+[MACRO] JOIN_HANDLE_DROP %join_handle
+    __join_handle_drop_raw_%join_handle = load %join_handle+JoinHandle_handle as i32
+    __join_handle_drop_live_%join_handle = ne __join_handle_drop_raw_%join_handle, 0
+    br __join_handle_drop_live_%join_handle -> L_JOIN_HANDLE_DROP_CALL_%join_handle, L_JOIN_HANDLE_DROP_DONE_%join_handle
+L_JOIN_HANDLE_DROP_CALL_%join_handle:
+    call @pthread_drop(__join_handle_drop_raw_%join_handle)
+L_JOIN_HANDLE_DROP_DONE_%join_handle:
+    store %join_handle+JoinHandle_handle, 0 as i32
+    !__join_handle_drop_raw_%join_handle
+    !__join_handle_drop_live_%join_handle
+    !%join_handle
+[END_MACRO]
+
+[MACRO] JOIN_HANDLE_AS_RAW %out_raw, %join_handle
+    %out_raw = load %join_handle+JoinHandle_handle as u64
+[END_MACRO]
+
+[MACRO] JOIN_HANDLE_RESULT_STATUS %out_status, %join_handle
+    %out_status = load %join_handle+JoinHandle_result as i32
+[END_MACRO]

package/sa_std/thread.sai

@@ -0,0 +1,11 @@
+// SA-facing contracts for the std::thread runtime facade.
+// Handles are opaque i32 slots owned by the Zig-backed sa_std runtime.
+@extern pthread_spawn(*entry: ptr, *arg: ptr) -> i32
+@extern pthread_spawn_detached(*entry: ptr, *arg: ptr) -> i32
+@extern pthread_join(handle: i32, *out: ptr) -> i32
+@extern pthread_drop(handle: i32) -> void
+@extern sa_thread_current_id() -> u64
+@extern sa_thread_yield_now() -> i32
+@extern sa_thread_as_pthread_t(handle: i32, &out_raw: ptr) -> i32
+@extern sa_thread_into_pthread_t(handle: i32, &out_raw: ptr) -> i32
+@extern sa_thread_raw_pthread_join(raw: u64, *out: ptr) -> i32

package/sa_std/thread.sal

@@ -0,0 +1,4 @@
+#def JoinHandle_SIZE = 16
+#def JoinHandle_handle = +0
+#def JoinHandle_result = +8
+#def THREAD_DEFAULT_ID = 0

package/sa_std/thread_local.sa

@@ -0,0 +1,45 @@
+// Rust `thread_local!` / `LocalKey<T>` storage over the sa_thread_local_slot
+// registry (src/runtime/sa_thread_local.zig). No second implementation lives
+// here: this file is a thin macro facade, reusing only existing SA core
+// (`alloc`/`load`/`store`, `call @extern`) plus the Cell u32/u64 width
+// convention from sa_std/core/cell.sa.
+//
+// Rust mapping (see sarust/STD_MAP.md):
+//   thread_local! { static K: Cell<u32> }  -> key = FNV1a(DefPath), slot u64
+//   LocalKey::with(|c| …)                  -> THREAD_LOCAL_SLOT + call indirect
+//   EagerStorage::get (internal accessor)  -> THREAD_LOCAL_SLOT (the lowered
+//                                            ThreadLocal rvalue shape)
+//   Cell::get / Cell::set                  -> THREAD_LOCAL_U32_GET / SET
+//   Cell<u64> variants                     -> THREAD_LOCAL_U64_GET / SET
+@import "thread_local.sai"
+
+// Resolve (or lazily create) the calling thread's u64 slot for %key.
+// Loud on OOM (registry returns null) via panic(1403), same family as the
+// mpsc 1401/1402 allocation-failure codes.
+[MACRO] THREAD_LOCAL_SLOT %out_slot, %key
+    %out_slot = call @sa_thread_local_slot(%key)
+    __tls_slot_ok_%out_slot = ne %out_slot, 0
+    br __tls_slot_ok_%out_slot -> L_TLS_SLOT_OK_%out_slot, L_TLS_SLOT_OOM_%out_slot
+L_TLS_SLOT_OOM_%out_slot:
+    panic(1403)
+L_TLS_SLOT_OK_%out_slot:
+    !__tls_slot_ok_%out_slot
+[END_MACRO]
+
+// Cell<u32> view of a resolved slot (the TLS_N corpus shape).
+[MACRO] THREAD_LOCAL_U32_GET %out_value, %slot_reg
+    %out_value = load %slot_reg+0 as u32
+[END_MACRO]
+
+[MACRO] THREAD_LOCAL_U32_SET %slot_reg, %value
+    store %slot_reg+0, %value as u32
+[END_MACRO]
+
+// Cell<u64> view of a resolved slot.
+[MACRO] THREAD_LOCAL_U64_GET %out_value, %slot_reg
+    %out_value = load %slot_reg+0 as u64
+[END_MACRO]
+
+[MACRO] THREAD_LOCAL_U64_SET %slot_reg, %value
+    store %slot_reg+0, %value as u64
+[END_MACRO]

package/sa_std/thread_local.sai

@@ -0,0 +1,9 @@
+// SA-facing contracts for Rust `thread_local!` storage.
+//
+// Backed by the pure-Zig registry in src/runtime/sa_thread_local.zig:
+// slots are keyed by (OS thread id, key), zero-initialized, never freed.
+// Each `thread_local!` static maps to one u64 key (FNV-1a of its rustc
+// DefPath, computed by the sarust rsc driver so .sa stays string-free).
+// A slot holds raw u64 bits; Cell<u32>/Cell<u64> narrow/widen at the macros.
+@extern sa_thread_local_slot(key: u64) -> ptr
+@extern sa_thread_local_supported(&out_supported: ptr) -> i32

package/sa_std/time/duration.sa

@@ -0,0 +1,3 @@
+// Duration namespace facade.
+@import "../time.sal"
+@import "../time.sa"

package/sa_std/time/duration.sal

@@ -0,0 +1 @@
+@import "../time.sal"

package/sa_std/time/instant.sa

@@ -0,0 +1,3 @@
+// Instant namespace facade.
+@import "../time.sal"
+@import "../time.sa"

package/sa_std/time/instant.sal

@@ -0,0 +1 @@
+@import "../time.sal"

package/sa_std/time/prelude.sa

@@ -0,0 +1,4 @@
+// Stable time namespace aggregation.
+@import "duration.sa"
+@import "instant.sa"
+@import "../time.sa"

package/sa_std/time/prelude.sal

@@ -0,0 +1,4 @@
+// ABI/layout companion for time namespace aggregation.
+@import "duration.sal"
+@import "instant.sal"
+@import "../time.sai"