A.55 library(thread_pool): Resource bounded thread management
All
Application
Manual
Name
Summary
Help
Documentation
Reference manual
The SWI-Prolog library
library(thread_pool): Resource bounded thread management
thread_pool_create/3
thread_pool_destroy/1
current_thread_pool/1
thread_pool_property/2
thread_create_in_pool/4
worker_exitted/3
create_pool/1
Packages
Availability:
:- use_module(
library(thread_pool)
).
(can be autoloaded)
[nondet]
current_thread_pool
(
?Name
)
True if
Name
refers to a defined thread pool.
[nondet]current_thread_pool(?Name)True if Name refers to a defined thread pool.