Schemas Grammar Nodes Builtins Standard Library
Array AvlMap CommandLine windows/ConditionVariable sync/Context sync/ContextGroup Deque windows/dispatcher linux/errno · macos/errno · windows/errno windows/gdi32 sync/Event file Function HashTable windows/hardwareConcurrency IntrusiveDeque IntrusiveQueue IntrusiveStack Json windows/kernel32 linux/linux lockGuard memory Mref murmurHash windows/Mutex objectTools windows/ole32 windows/opengl32 Owner Pool linux/posix Pose PriorityQueue linux/Process · windows/Process Quaternion RandomLCG linux/runningTime · windows/runningTime sha1 windows/shell32 sync/Signal linux/socket Span SpanStatic Spinlock String sync/sync sync/TcpAcceptor sync/TcpConnection windows/Thread windows/unicode Union Variant windows/winmm windows/ws2_32 Xml algebra algorithm ascii atomic control conventions interface
windows/Thread

Raw operating-system-thread wrapper with explicit creation, handle-state checks, and completion waiting. The wrapper owns one operating-system thread handle and returns one Nat32 exit code from wait.

Thread

Methods

create (code context stackSize --) Starts one thread from one entry-code pointer, one context value, and one explicit stack size in bytes.

Preconditions

  • The wrapper is not already running.

Postconditions

  • The wrapper becomes handle-owning.
isRunning (-- running) Reports whether the wrapper still owns a thread handle that has not yet been closed by wait or destruction.
wait (-- exitCode) Waits for thread completion, closes the thread handle, and returns the thread exit code as Nat32.

Preconditions

  • The wrapper is running.

Postconditions

  • The wrapper is no longer running.

Helper constructor

toThread3 (code context stackSize -- threadRef) Constructs one Thread, starts it immediately through create, and returns Ref to the handle-owning wrapper.

Lifecycle and exit codes

See also