buffer_ning_gao.cc File Reference

#include "buffer_ning_gao.h"
#include "../../base/algo/repetition_vector.h"
#include "../throughput/throughput.h"

Include dependency graph for buffer_ning_gao.cc:

Defines
#define	CH(c)   currentState.ch[c]
#define	SP(a)   currentState.sp[a]
#define	CH_TOKENS(c, n)   (CH(c) >= n)
#define	CH_SPACE(a, n)   (SP(a) >= n)
#define	CONSUME(c, n)   CH(c) = CH(c) - n;
#define	PRODUCE(c, n)   CH(c) = CH(c) + n;
#define	CONSUME_SP(a, n)   SP(a) = SP(a) - n;
#define	PRODUCE_SP(a, n)   SP(a) = SP(a) + n;
#define	CH_TOKENS_PREV(c, n)   (previousState.ch[c] >= n)
#define	CH_SPACE_PREV(a, n)   (previousState.sp[a] >= n)

---

Define Documentation

#define CH

(

c

)

currentState.ch[c]

Referenced by SDFstateSpaceBufferAnalysisNingGao::TransitionSystem::execSDFgraph(), and SDFstateSpaceBufferAnalysisNingGao::TransitionSystem::releaseStorageSpaceSharedOutputBuffer().

#define CH_SPACE	(		a,
			n
	)			(SP(a) >= n)

Referenced by SDFstateSpaceBufferAnalysisNingGao::TransitionSystem::actorReadyToFire(), and SDFstateSpaceBufferAnalysisNingGao::TransitionSystem::analyzeDeadlock().

#define CH_SPACE_PREV	(		a,
			n
	)			(previousState.sp[a] >= n)

Referenced by SDFstateSpaceBufferAnalysisNingGao::TransitionSystem::findCausalDependencies().

#define CH_TOKENS	(		c,
			n
	)			(CH(c) >= n)

Referenced by SDFstateSpaceBufferAnalysisNingGao::TransitionSystem::actorReadyToFire(), and SDFstateSpaceBufferAnalysisNingGao::TransitionSystem::analyzeDeadlock().

#define CH_TOKENS_PREV	(		c,
			n
	)			(previousState.ch[c] >= n)

Referenced by SDFstateSpaceBufferAnalysisNingGao::TransitionSystem::findCausalDependencies().

#define CONSUME	(		c,
			n
	)			CH(c) = CH(c) - n;

Referenced by SDFstateSpaceBufferAnalysisNingGao::TransitionSystem::startActorFiring().

#define CONSUME_SP	(		a,
			n
	)			SP(a) = SP(a) - n;

Referenced by SDFstateSpaceBufferAnalysisNingGao::TransitionSystem::startActorFiring().

#define PRODUCE	(		c,
			n
	)			CH(c) = CH(c) + n;

Referenced by SDFstateSpaceBufferAnalysisNingGao::TransitionSystem::endActorFiring().

#define PRODUCE_SP	(		a,
			n
	)			SP(a) = SP(a) + n;

Referenced by SDFstateSpaceBufferAnalysisNingGao::TransitionSystem::startActorFiring().

#define SP

(

a

)

currentState.sp[a]

Referenced by SDFstateSpaceBufferAnalysisNingGao::TransitionSystem::execSDFgraph().