uk.ac.man.cs.rainbow.simulator
Interface SavedState

All Superinterfaces:
Serializable
All Known Implementing Classes:
RainbowThread.SavedRainbowThreadState, ReclaimableSavedState, RASMThread.SavedRASMThreadState, StateEnumerator.SavedEnumeratorState

public interface SavedState
extends Serializable

States saved by threads and schedulers. Note that you should only ever load a saved state back into the object that saved it.

See Also:
StateEnumerator.saveState()

Method Summary
 void dispose()
          Dispose of any state held in this saved state.
 SavedState getState()
          Get the real saved state.
 

Method Detail

getState

public SavedState getState()
Get the real saved state. Note that this is required to allow for future expansion of the system to include a mechanism for cacheing states to disk to reduce peak memory consumption.

dispose

public void dispose()
Dispose of any state held in this saved state. May be a null-op, but can be implemented to allow the VM to reclaim the memory (or any other held resources) sooner.