SDFstateSpaceListScheduler::TransitionSystem Class Reference
Classes | |
class | State |
Public Types | |
typedef list< State > | States |
typedef States::iterator | StatesIter |
Public Member Functions | |
TransitionSystem (BindingAwareSDFG *bg) | |
~TransitionSystem () | |
TDtime | execSDFgraph () |
Private Member Functions | |
bool | storeState (State &s, StatesIter &pos) |
void | clearStoredStates () |
TDtime | computeThroughput (const StatesIter cycleIter) |
bool | actorReadyToFire (SDFactor *a) |
void | startActorFiring (TimedSDFactor *a) |
bool | actorReadyToEnd (SDFactor *a) |
void | endActorFiring (SDFactor *a) |
SDFtime | clockStep () |
void | initOutputActor () |
void | initStaticOrderSchedules () |
Private Attributes | |
BindingAwareSDFG * | bindingAwareSDFG |
SDFactor * | outputActor |
TCnt | outputActorRepCnt |
State | currentState |
State | previousState |
States | storedStates |
vector< SDFactors > | actorReadyList |
vector< bool > | procIdle |
Member Typedef Documentation
typedef list<State> SDFstateSpaceListScheduler::TransitionSystem::States |
typedef States::iterator SDFstateSpaceListScheduler::TransitionSystem::StatesIter |
Constructor & Destructor Documentation
SDFstateSpaceListScheduler::TransitionSystem::TransitionSystem | ( | BindingAwareSDFG * | bg | ) | [inline] |
References bindingAwareSDFG, initOutputActor(), and initStaticOrderSchedules().
SDFstateSpaceListScheduler::TransitionSystem::~TransitionSystem | ( | ) | [inline] |
Member Function Documentation
bool SDFstateSpaceListScheduler::TransitionSystem::actorReadyToEnd | ( | SDFactor * | a | ) | [private] |
actorReadyToEnd () The function returns true when the actor is ready to end its firing. Else the function returns false.
References SDFstateSpaceListScheduler::TransitionSystem::State::actClk, currentState, and SDFcomponent::getId().
Referenced by execSDFgraph().
bool SDFstateSpaceListScheduler::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 actorReadyList, bindingAwareSDFG, c, CH_TOKENS, BindingAwareSDFG::getBindingOfActorToTile(), SDFport::getChannel(), SDFcomponent::getId(), SDFport::getRate(), SDFport::getType(), SDFactor::portsBegin(), SDFactor::portsEnd(), and procIdle.
Referenced by execSDFgraph().
void SDFstateSpaceListScheduler::TransitionSystem::clearStoredStates | ( | ) | [inline, private] |
References storedStates.
Referenced by execSDFgraph().
SDFtime SDFstateSpaceListScheduler::TransitionSystem::clockStep | ( | ) | [private] |
clockStep () The function progresses time till the first end of firing transition becomes enabled. The time step is returned. In case of deadlock, the time step is equal to UINT_MAX.
References a, SDFstateSpaceListScheduler::TransitionSystem::State::actClk, bindingAwareSDFG, currentState, BindingAwareSDFG::getTDMAsizeOnTile(), SDFstateSpaceListScheduler::TransitionSystem::State::glbClk, SDFgraph::nrActors(), BindingAwareSDFG::nrTilesInPlatformGraph(), and SDFstateSpaceListScheduler::TransitionSystem::State::tdmaPos.
Referenced by execSDFgraph().
TDtime SDFstateSpaceListScheduler::TransitionSystem::computeThroughput | ( | const StatesIter | cycleIter | ) | [private] |
computeThroughput () The function calculates the throughput of the states on the cycle. Its value is equal to the average number of firings of an actor per time unit.
References SDFstateSpaceListScheduler::TransitionSystem::State::glbClk, and storedStates.
Referenced by execSDFgraph().
void SDFstateSpaceListScheduler::TransitionSystem::endActorFiring | ( | SDFactor * | a | ) | [private] |
endActorFiring () Produce tokens on all output channels and remove the actor firing from the list of active firings.
References SDFstateSpaceListScheduler::TransitionSystem::State::actClk, bindingAwareSDFG, c, currentState, BindingAwareSDFG::getBindingOfActorToTile(), SDFport::getChannel(), SDFcomponent::getId(), SDFport::getRate(), SDFport::getType(), SDFactor::portsBegin(), SDFactor::portsEnd(), procIdle, and PRODUCE.
Referenced by execSDFgraph().
TDtime SDFstateSpaceListScheduler::TransitionSystem::execSDFgraph | ( | ) |
execSDFgraph() Execute the SDF graph till a deadlock is found or a recurrent state. The throughput is returned.
References a, actorReadyList, actorReadyToEnd(), actorReadyToFire(), SDFgraph::actorsBegin(), SDFgraph::actorsEnd(), bindingAwareSDFG, c, SDFstateSpaceListScheduler::TransitionSystem::State::ch, CH, SDFgraph::channelsBegin(), SDFgraph::channelsEnd(), SDFstateSpaceListScheduler::TransitionSystem::State::clear(), clearStoredStates(), clockStep(), computeThroughput(), currentState, endActorFiring(), BindingAwareSDFG::getBindingOfActorToTile(), SDFport::getChannel(), SDFcomponent::getId(), SDFchannel::getInitialTokens(), SDFport::getRate(), SDFport::getType(), SDFstateSpaceListScheduler::TransitionSystem::State::glbClk, SDFstateSpaceListScheduler::TransitionSystem::State::init(), SDFgraph::nrActors(), SDFgraph::nrChannels(), BindingAwareSDFG::nrTilesInPlatformGraph(), outputActor, outputActorRepCnt, SDFactor::portsBegin(), SDFactor::portsEnd(), previousState, procIdle, SOS, SOS_POS, startActorFiring(), storeState(), and TDMA_POS.
Referenced by SDFstateSpaceListScheduler::schedule().
void SDFstateSpaceListScheduler::TransitionSystem::initOutputActor | ( | ) | [private] |
initOutputActor () The function selects an actor to be used as output actor in the state transition system.
References a, SDFgraph::actorsBegin(), SDFgraph::actorsEnd(), bindingAwareSDFG, FSMSADF::computeRepetitionVector(), SDFcomponent::getId(), outputActor, and outputActorRepCnt.
Referenced by TransitionSystem().
void SDFstateSpaceListScheduler::TransitionSystem::initStaticOrderSchedules | ( | ) | [private] |
initStaticOrderSchedules () The function assigns empty static-order schedules to the processors.
References bindingAwareSDFG, BindingAwareSDFG::getScheduleOnTile(), and BindingAwareSDFG::nrTilesInPlatformGraph().
Referenced by TransitionSystem().
void SDFstateSpaceListScheduler::TransitionSystem::startActorFiring | ( | TimedSDFactor * | a | ) | [private] |
startActorFiring () Start the actor firing. Remove tokens from all input channels and add the actor firing to the list of active actor firings and advance sequence position.
References SDFstateSpaceListScheduler::TransitionSystem::State::actClk, actorReadyList, StaticOrderSchedule::appendActor(), bindingAwareSDFG, c, CONSUME, currentState, BindingAwareSDFG::getBindingOfActorToTile(), SDFport::getChannel(), TimedSDFactor::getExecutionTime(), SDFcomponent::getId(), SDFport::getRate(), BindingAwareSDFG::getScheduleOnTile(), BindingAwareSDFG::getTDMAsizeOnTile(), BindingAwareSDFG::getTDMAsliceOnTile(), SDFport::getType(), SDFactor::portsBegin(), SDFactor::portsEnd(), procIdle, SOS_POS, and SDFstateSpaceListScheduler::TransitionSystem::State::tdmaPos.
Referenced by execSDFgraph().
bool SDFstateSpaceListScheduler::TransitionSystem::storeState | ( | State & | s, | |
StatesIter & | pos | |||
) | [private] |
storeState () The function stores the state s on whenever s is not already in the list of storedStates. When s is stored, the function returns true. When the state s is already in the list, the state s is not stored. The function returns false. The function always sets the pos variable to the position where the state s is in the list.
References storedStates.
Referenced by execSDFgraph().
Member Data Documentation
vector< SDFactors > SDFstateSpaceListScheduler::TransitionSystem::actorReadyList [private] |
Referenced by actorReadyToFire(), execSDFgraph(), and startActorFiring().
Referenced by actorReadyToEnd(), clockStep(), endActorFiring(), execSDFgraph(), and startActorFiring().
Referenced by execSDFgraph(), and initOutputActor().
Referenced by execSDFgraph(), and initOutputActor().
Referenced by execSDFgraph().
vector< bool > SDFstateSpaceListScheduler::TransitionSystem::procIdle [private] |
Referenced by actorReadyToFire(), endActorFiring(), execSDFgraph(), and startActorFiring().
Referenced by clearStoredStates(), computeThroughput(), and storeState().
The documentation for this class was generated from the following files: