public interface IExecutorFactory
| 限定符和类型 | 方法和说明 |
|---|---|
InterruptableExecutor |
createExecutor(int numThreads,
boolean allowSetSemantics,
InfoflowConfiguration config)
Creates a new executor object for spawning worker threads
|
InterruptableExecutor createExecutor(int numThreads, boolean allowSetSemantics, InfoflowConfiguration config)
numThreads - The number of threads to useallowSetSemantics - True if the executor is allowed to skip new tasks if the same task
has already been scheduled before. False if the executor must
schedule all tasks it is given.config - The configuration of the data flow solverCopyright © 2022 Fraunhofer SIT. All rights reserved.