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)
).
worker_exitted
(
+PoolName, +WorkerId, :AtExit
)
It is possible that’__thread_pool_manager' no longer exists while closing down the process because the manager was killed before the worker.
To be done
Find a way to discover that we are terminating Prolog.
worker_exitted(+PoolName,
+WorkerId, :AtExit)worker_exitted(+PoolName,
+WorkerId, :AtExit)