Module de.learnlib.api
Package de.learnlib.oracle

Interface ThreadPool

All Known Subinterfaces:
ParallelAdaptiveOracle<I,O>, ParallelOmegaOracle<S,I,D>, ParallelOracle<I,D>, ParallelTimedQueryOracle<I,O>
All Known Implementing Classes:
AbstractDynamicBatchProcessor, AbstractStaticBatchProcessor, DynamicParallelAdaptiveOracle, DynamicParallelOmegaOracle, DynamicParallelOracle, DynamicParallelTimedQueryOracle, StaticParallelAdaptiveOracle, StaticParallelOmegaOracle, StaticParallelOracle, StaticParallelTimedQueryOracle
public interface ThreadPool
A markup interface for a component that manages a pool of threads that may want to be shut down after usage.
See Also:

  • Nested Class Summary

    Nested Classes
    Modifier and Type
    Interface
    Description
    static enum 
    ThreadPool.PoolPolicy
    The policy for dealing with thread pools.

  • Method Summary

    Modifier and Type
    Method
    Description
    void
    shutdown()
    Shuts down all worker threads, but waits for any queued queries to be processed.
    void
    shutdownNow()
    Shuts down all worker threads, and attempts to abort any query processing currently taking place.

  • Method Details

    • shutdown

      void shutdown()
      Shuts down all worker threads, but waits for any queued queries to be processed.
      See Also:

    • shutdownNow

      void shutdownNow()
      Shuts down all worker threads, and attempts to abort any query processing currently taking place.
      See Also: