|View source on GitHub|
Interface defining executor factories.
ExecutorFactory should be considered to own the executors it creates; it
is responsible for their instantiation and management.
ExecutorFactory exposes two methods,
clean_up_executors. There is a particular coupling between these two
methods; any executor returned by
create_executor should not be used
clean_up_executors has been called without reinitialization. That is,
create_executor should be called again, and
ExecutorFactory will ensure
that the returned executor is safe for use.
Releases any resources held by the factory.
Note that calling this method may invalidate the state of any executors
which have previously been returned by the factory;
should be called again if a new executor which is safe to use is desired.
Abstract method to construct instance of
create_executor must accept a dict mapping
ints, and return an
a dict mapping instances of