Package galois.runtime

Contains the Galois runtime system.

See:
Description

Interface Summary

Callback	Thunk to be called by runtime system.
ForeachContext<T>	Reference to the context calling GaloisRuntime.foreach(Iterable, util.fn.Lambda2Void, galois.runtime.wl.Priority.Rule).
MapInternalContext	Reference to the context calling a mapInternal method.
NonDeterministicCallback	Interface for callbacks that execute non-deterministically and thus must be recorded specially for deterministic playback.
ReleaseCallback	Function to be called when an Iteration commits or aborts.
Replayable	Classes that can be replayed deterministically between JVM instances.

Class Summary

AbstractExecutorContext<T>
Features
GaloisRuntime	Provides methods to access Galois runtime from application code.
Iteration	Represents data accessed during an iteration.
ReplayFeature	Encapsulates functionality needed to support deterministic replay of Galois iterators.

Exception Summary

IterationAbortException	Thrown when an iteration must abort itself.
WorkNotProgressiveException	This exception is thrown when a piece of work is useful, but does not help an algorithm progress towards completion.
WorkNotUsefulException	This exception is thrown when a piece of work should not be counted as "useful." This can be because it is no longer necessary to process but remains in the worklist until it can be lazily cleaned up.

Package galois.runtime Description

Contains the Galois runtime system.