Start worker threads.
Declared in <util/threadpool.h>
[[requires_capability(0x7f2e2046a148)]]
void
Start(int num_workers);
Creates and launches num_workers threads that begin executing tasks from the queue. If the pool is already started, throws.
Must be called from a controller (non-worker) thread.
| Name | Description |
|---|---|
| num_workers | Number of worker threads to create and launch. |