de.learnlib.oracle.parallelism

Class DynamicParallelOracle<I,D>

java.lang.Object

de.learnlib.oracle.parallelism.DynamicParallelOracle<I,D>

Type Parameters:

I - input symbol type

D - output domain type

All Implemented Interfaces:

MembershipOracle<I,D>, QueryAnswerer<I,D>, ParallelOracle<I,D>

@ParametersAreNonnullByDefault
public class DynamicParallelOracle<I,D>
extends Object
implements ParallelOracle<I,D>

A parallel membership oracle that dynamically distributes queries to worker threads.

Author:

Malte Isberner

Nested Class Summary

Nested classes/interfaces inherited from interface de.learnlib.oracle.parallelism.ParallelOracle

ParallelOracle.PoolPolicy

Nested classes/interfaces inherited from interface de.learnlib.api.oracle.MembershipOracle

MembershipOracle.DFAMembershipOracle<I>, MembershipOracle.MealyMembershipOracle<I,O>

Field Summary

Fields

Modifier and Type	Field and Description
static int	BATCH_SIZE
static ParallelOracle.PoolPolicy	POOL_POLICY
static int	POOL_SIZE

Constructor Summary

Constructors

Constructor and Description
DynamicParallelOracle(Supplier<? extends MembershipOracle<I,D>> oracleSupplier, int batchSize, ExecutorService executor)

Method Summary

Modifier and Type	Method and Description
void	processQueries(Collection<? extends Query<I,D>> queries) Processes the specified collection of queries.
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.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface de.learnlib.api.oracle.MembershipOracle

answerQuery, answerQuery, asOracle, processQuery

Field Detail

BATCH_SIZE

public static final int BATCH_SIZE

POOL_SIZE

public static final int POOL_SIZE

POOL_POLICY

public static final ParallelOracle.PoolPolicy POOL_POLICY

Constructor Detail

DynamicParallelOracle

public DynamicParallelOracle(Supplier<? extends MembershipOracle<I,D>> oracleSupplier,
                             @Nonnegative
                             int batchSize,
                             ExecutorService executor)

Method Detail

shutdown

public void shutdown()

Description copied from interface: ParallelOracle

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

Specified by:

shutdown in interface ParallelOracle<I,D>

See Also:

ExecutorService.shutdown()

shutdownNow

public void shutdownNow()

Description copied from interface: ParallelOracle

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

Specified by:

shutdownNow in interface ParallelOracle<I,D>

See Also:

ExecutorService.shutdownNow()

processQueries

public void processQueries(Collection<? extends Query<I,D>> queries)

Description copied from interface: MembershipOracle

Processes the specified collection of queries. When this method returns, each of the contained queries Query.answer(Object) method should have been called with an argument reflecting the SUL response to the respective query.

Specified by:

processQueries in interface MembershipOracle<I,D>

Parameters:

queries - the queries to process

See Also:

Query.answer(Object)