A thread pool of workers for parallelized pattern matching
public class WorkerPool
Initializes a new instance of theclass
Tries to ensure the pool contains numThreads for doing work. Returns the number of threads ensured, which may be lower due to a lower number of processors available (but won't be higher, even if another caller requested and was granted more threads).
Executes the work inside task with numThreads
Waits until the tasks were executed
Assembly: lgspBackend (Module: lgspBackend) Version: 18.104.22.168 (22.214.171.124)