This class is used to represent an abstract cache line state. More...

Public Types
enum	categorisation_t { ALWAYS_MISS = 0, ALWAYS_HIT = 1, FIRST_MISS = 2, CONFLICT = 3 }

typedef enum otawa::ets::AbstractCacheState::categorisation_t	categorisation_t

Public Member Functions
	AbstractCacheState (AbstractCacheState *acs)
	Build a new ACS with an other: acs. More...

	AbstractCacheState (int which_line)
	Build a new ACS with the number of the cache line. More...

	~AbstractCacheState (void)

bool	areDifferent (AbstractCacheState *other)
	Return true if other is not equal whith this, else return false. More...

void	join (AbstractCacheState state1, AbstractCacheState state2)
	Join state1 and state2 to this, according to C. More...

void	assignment (AbstractCacheState *other)
	A simple assignment from other to this. More...

bool	byConflict ()
	Look if it is conflict, that is to say if they are many true bit of each set. More...

Public Attributes
genstruct::Vector< BitVector * >	cache_state
	Represent the cache state (table of set) with all l-blocks being in this line. More...

genstruct::HashTable < address_t, int >	htable
	<l-block, its index in cache_state> More...

int	cache_line
	It is the number of the cache line. More...

categorisation_t	categorisation
	Categorisation (a_h, a_m, f_m, c) according to F. More...

genstruct::HashTable < address_t, int >	hcat
	<l-block, its categorisation> More...

Detailed Description

This class is used to represent an abstract cache line state.

Member Typedef Documentation

otawa::ets::AbstractCacheState::AbstractCacheState ( AbstractCacheState * acs )

inline

Build a new ACS with an other: acs.

Parameters

acs	AbstractCacheState to assign.

otawa::ets::AbstractCacheState::AbstractCacheState ( int which_line )

inline

Build a new ACS with the number of the cache line.

Parameters

which_line The cache line to simulate.

otawa::ets::AbstractCacheState::~AbstractCacheState ( void )

inline

bool otawa::ets::AbstractCacheState::areDifferent ( AbstractCacheState * other )

Return true if other is not equal whith this, else return false.

Parameters

other AbstractCacheState to compare.

References cache_state.

void otawa::ets::AbstractCacheState::assignment ( AbstractCacheState * other )

A simple assignment from other to this.

Parameters

other AbstractCacheState to assign.

bool otawa::ets::AbstractCacheState::byConflict ( )

Look if it is conflict, that is to say if they are many true bit of each set.

References cache_state.

void otawa::ets::AbstractCacheState::join	(	AbstractCacheState *	state1,
		AbstractCacheState *	state2
	)

Join state1 and state2 to this, according to C.

Ferdinand (Join - Must).

Parameters

state1	AbstractCacheState to merge.
state2	AbstractCacheState to merge.

Remarks: Ferdinand's join function in the Must analysis:
$I(\hat{c}_1,\hat{c}_2) = \hat{c}, where \indent \hat{c}(l_x)\ =\ \{s_i\ |\ \exists\ l_a,\ l_b\ with\ s_i\ \in\ \hat{c}_1(l_a),\ s_i\ \in\ \hat{c}_2(l_b)\ and\ x\ =\ max(a,\ b)\}$