Jacket
Search the docs
/
API
Tools
Playground
main
Wasi_Runtime module
← Wasi_Runtime
Procedures
green_control
green_suspend
green_frames_exhausted
main_thread_entry
run_threads
add_thread
remove_thread
next_to_run
block_running
wake
wake_one
wake_all
monotonic_nanoseconds
sleep_nanoseconds
sleep_running
wasi_pthread_create
wasi_pthread_join
wasi_pthread_tryjoin_np
wasi_pthread_mutexattr_init
wasi_pthread_mutexattr_settype
wasi_pthread_mutexattr_destroy
wasi_pthread_mutex_init
wasi_pthread_mutex_destroy
wasi_pthread_mutex_lock
wasi_pthread_mutex_trylock
wasi_pthread_mutex_unlock
wasi_pthread_cond_init
wasi_pthread_cond_destroy
wasi_pthread_cond_signal
wasi_pthread_cond_broadcast
wasi_pthread_cond_wait
wasi_pthread_cond_timedwait
wait_condition
On this page
See also
std
/
Extensions
/
Wasi_Runtime
/
remove_thread
remove_thread
procedure
extension
experimental
Source
remove_thread
:: (thread: *
Green_Thread
) #c_call
Parameters
thread
:
*
Green_Thread
See also
run_threads
add_thread
next_to_run
block_running
Jacket
Jacket