GrGen.NET v4.4 API: the libGr class library (the type exact interface gets generated)
WorkerPool Class
Namespacesde.unika.ipd.grGen.lgspWorkerPool
A thread pool of workers for parallelized pattern matching
Declaration Syntax
C#
public class WorkerPool
Members
All MembersConstructorsMethodsProperties



IconMemberDescription
WorkerPool()()()()
Initializes a new instance of the WorkerPool class

EnsurePoolSize(Int32)
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).

GetPoolSize()()()()
StartWork(Int32)
Executes the work inside task with numThreads

Task
ThreadId
WaitForWorkDone()()()()
Waits until the tasks were executed

Inheritance Hierarchy
Object
WorkerPool

Assembly: lgspBackend (Module: lgspBackend) Version: 4.4.0.0 (4.4.0.0)