de.learnlib.api.oracle.parallelism

Interface ThreadPool

All Known Subinterfaces:

ParallelOmegaOracle<S,I,D>, ParallelOracle<I,D>

public interface ThreadPool

A markup interface for a component that manages a pool of threads that may want to be shut down after usage.

Author:

Malte Isberner, frohme

See Also:

ExecutorService

Nested Class Summary

Nested Classes

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

Method Summary

Modifier and Type	Method and 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 Detail

shutdown

void shutdown()

Shuts down all worker threads, but waits for any queued queries to be processed.

See Also:

ExecutorService.shutdown()

shutdownNow

void shutdownNow()

Shuts down all worker threads, and attempts to abort any query processing currently taking place.

See Also:

ExecutorService.shutdownNow()