SDFstateSpaceDeadlockAnalysis::TransitionSystem Class Reference
Classes | |
class | State |
Public Types | |
typedef list< State > | States |
typedef States::iterator | StatesIter |
Public Member Functions | |
TransitionSystem (SDFgraph *gr) | |
~TransitionSystem () | |
bool | execSDFgraph () |
Private Member Functions | |
bool | actorReadyToFire (SDFactor *a) |
void | fireActor (SDFactor *a) |
Private Attributes | |
SDFgraph * | g |
State | initialState |
State | currentState |
Member Typedef Documentation
typedef list<State> SDFstateSpaceDeadlockAnalysis::TransitionSystem::States |
typedef States::iterator SDFstateSpaceDeadlockAnalysis::TransitionSystem::StatesIter |
Constructor & Destructor Documentation
SDFstateSpaceDeadlockAnalysis::TransitionSystem::TransitionSystem | ( | SDFgraph * | gr | ) | [inline] |
References g.
SDFstateSpaceDeadlockAnalysis::TransitionSystem::~TransitionSystem | ( | ) | [inline] |
Member Function Documentation
bool SDFstateSpaceDeadlockAnalysis::TransitionSystem::actorReadyToFire | ( | SDFactor * | a | ) | [private] |
actorReadyToFire () The function returns true when the actor is ready to fire in state s. Else it returns false.
References c, CH_TOKENS, SDFport::getChannel(), SDFcomponent::getId(), SDFport::getRate(), SDFport::getType(), SDFactor::portsBegin(), and SDFactor::portsEnd().
Referenced by execSDFgraph().
bool SDFstateSpaceDeadlockAnalysis::TransitionSystem::execSDFgraph | ( | ) |
execSDFgraph() Execute the SDF graph till a deadlock is found or a recurrent state. The throughput is returned.
References a, actorReadyToFire(), SDFgraph::actorsBegin(), SDFgraph::actorsEnd(), c, CH, SDFgraph::channelsBegin(), SDFgraph::channelsEnd(), SDFstateSpaceDeadlockAnalysis::TransitionSystem::State::clear(), FSMSADF::computeRepetitionVector(), currentState, fireActor(), g, SDFcomponent::getId(), SDFchannel::getInitialTokens(), SDFstateSpaceDeadlockAnalysis::TransitionSystem::State::init(), initialState, SDFgraph::nrActors(), and SDFgraph::nrChannels().
Referenced by SDFstateSpaceDeadlockAnalysis::isDeadlockFree().
void SDFstateSpaceDeadlockAnalysis::TransitionSystem::fireActor | ( | SDFactor * | a | ) | [private] |
fireActor () Fire an actor. Remove tokens from all input channels and produce tokens on all output channels.
References c, CONSUME, SDFport::getChannel(), SDFcomponent::getId(), SDFport::getRate(), SDFport::getType(), SDFactor::portsBegin(), SDFactor::portsEnd(), and PRODUCE.
Referenced by execSDFgraph().
Member Data Documentation
Referenced by execSDFgraph().
Referenced by execSDFgraph(), and TransitionSystem().
Referenced by execSDFgraph().
The documentation for this class was generated from the following files: