Did you know ... | Search Documentation: |
library(thread_pool) |
create_pool/1 | Hook to create a thread pool lazily. |
current_thread_pool/1 | True if Name refers to a defined thread pool. |
thread_create_in_pool/4 | Create a thread in Pool. |
thread_pool_create/3 | Create a pool of threads. |
thread_pool_destroy/1 | Destroy the thread pool named Name. |
thread_pool_property/2 | True if Property is a property of thread pool Name. |
worker_exitted/3 | It is possible that’__thread_pool_manager’no longer exists while closing down the process because the manager was killed before the worker. |