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)
[det]
thread_pool_destroy
(
+Name
)
Destroy the thread pool named
Name
.
Errors
existence_error(thread_pool, Name)
.
[det]thread_pool_destroy(+Name)Destroy the thread pool named Name.