Representation of an Abstract Cache State where each data cache block is represented by its age. More...

#include <otawa/dcache/features.h>

Inheritance diagram for otawa::dcache::ACS:

Public Member Functions
	ACS (const int _size, const int _A, int init=-1)

	~ACS ()

int	getSize (void) const
	Get the number of blocks of the ACS. More...

int	getA (void) const

	ACS (const ACS &source)
	Constructor by cloning. More...

ACS &	operator= (const ACS &src)

bool	equals (const ACS &dom) const
	Test if two ACS are equals. More...

void	empty (void)
	Set all block to age -1. More...

bool	contains (const int id) const
	Test if a block is in the ACS , that is, its each age is in the interval [0, A[ where A is the associativity of the cache. More...

void	print (elm::io::Output &output) const
	Print the ACS. More...

int	getAge (int id) const
	Get the age of a block. More...

void	setAge (const int id, const int _age)
	Change the age of a block. More...

void	set (const ACS &dom)
	Set the ages of the given ACS to the current one. More...

const int &	operator[] (int i) const

int &	operator[] (int i)

Protected Attributes
int	A

int	size

int *	age

Detailed Description

Representation of an Abstract Cache State where each data cache block is represented by its age.

The initial state is the unknown one, that is when each block has an age of -1 (unknown age).

Constructor & Destructor Documentation

otawa::dcache::ACS::ACS	(	const int	_size,
		const int	_A,
		int	init = `-1`
	)

inline

References age, and size.

otawa::dcache::ACS::~ACS ( )

inline

References age.

otawa::dcache::ACS::ACS ( const ACS & source )

inline

Constructor by cloning.

Parameters

source Cloned ACS.

References age, and size.

Member Function Documentation

bool otawa::dcache::ACS::contains ( const int id ) const

inline

Test if a block is in the ACS , that is, its each age is in the interval [0, A[ where A is the associativity of the cache.

Parameters

id	Number of the tested block.

Returns: True if it is in the cache, false else.

References age.

Referenced by otawa::dcache::PERSProblem::Item::inject(), otawa::dcache::MAYProblem::Domain::inject(), otawa::dcache::PERSProblem::Item::isPersistent(), and otawa::dcache::CATBuilder::processLBlockSet().

void otawa::dcache::ACS::empty ( void )

inline

Set all block to age -1.

References age, and size.

Referenced by otawa::dcache::PERSProblem::Domain::enterContext(), otawa::dcache::MAYProblem::MAYProblem(), otawa::dcache::MUSTProblem::MUSTProblem(), and otawa::dcache::MUSTProblem::purge().

bool otawa::dcache::ACS::equals ( const ACS & acs ) const

inline

Test if two ACS are equals.

Parameters

acs	ACS to compare the current one with.

Returns: True if both ACS are equal, false else.

References A, age, and size.

Referenced by otawa::dcache::MUSTProblem::equals(), and otawa::dcache::MAYProblem::equals().

int otawa::dcache::ACS::getA ( void ) const

inline

References A.

Referenced by otawa::dcache::PERSProblem::purge().

int otawa::dcache::ACS::getAge ( int id ) const

inline

Get the age of a block.

Parameters

Number of the block.

Returns: Block age.

References age.

int otawa::dcache::ACS::getSize ( void ) const

inline

Get the number of blocks of the ACS.

Returns: Number of blocks.

References size.

Referenced by otawa::dcache::PERSProblem::purge().

ACS& otawa::dcache::ACS::operator= ( const ACS & src )

inline

References set().

Referenced by otawa::dcache::PERSProblem::Item::operator=(), and otawa::dcache::MAYProblem::Domain::operator=().

const int& otawa::dcache::ACS::operator[] ( int i ) const

inline

References age.

int& otawa::dcache::ACS::operator[] ( int i )

inline

References age.

void otawa::dcache::ACS::print ( elm::io::Output & output ) const

Print the ACS.

Parameters

out	Stream to output to.

References age, and size.

Referenced by otawa::dcache::operator<<(), and otawa::dcache::MUSTPERS::print().

void otawa::dcache::ACS::set ( const ACS & acs )

inline

Set the ages of the given ACS to the current one.

Parameters

acs	ACS to set.

References A, age, and size.

Referenced by operator=().

void otawa::dcache::ACS::setAge	(	const int	id,
		const int	_age
	)

inline

Change the age of a block.

Parameters

id	Block number.
age	New age to set.

References A, and age.

Member Data Documentation

int otawa::dcache::ACS::A

protected

Referenced by otawa::dcache::MAYProblem::Domain::addDamage(), otawa::dcache::PERSProblem::Item::ageAll(), otawa::dcache::MAYProblem::Domain::ageAll(), otawa::dcache::PERSProblem::Item::equals(), equals(), getA(), otawa::dcache::MAYProblem::Domain::inject(), otawa::dcache::PERSProblem::Item::isWiped(), otawa::dcache::PERSProblem::Item::lub(), otawa::dcache::MAYProblem::Domain::lub(), set(), and setAge().

int* otawa::dcache::ACS::age

protected

Referenced by ACS(), otawa::dcache::MAYProblem::Domain::addDamage(), otawa::dcache::PERSProblem::Item::ageAll(), otawa::dcache::MAYProblem::Domain::ageAll(), contains(), empty(), otawa::dcache::PERSProblem::Item::equals(), equals(), getAge(), otawa::dcache::MAYProblem::Domain::inject(), otawa::dcache::PERSProblem::Item::isWiped(), otawa::dcache::PERSProblem::Item::lub(), otawa::dcache::MAYProblem::Domain::lub(), operator[](), print(), otawa::dcache::PERSProblem::Item::refresh(), set(), setAge(), and ~ACS().

int otawa::dcache::ACS::size

protected

Referenced by ACS(), otawa::dcache::PERSProblem::Item::ageAll(), otawa::dcache::MAYProblem::Domain::ageAll(), empty(), otawa::dcache::PERSProblem::Item::equals(), equals(), getSize(), otawa::dcache::MAYProblem::Domain::inject(), otawa::dcache::PERSProblem::Item::lub(), otawa::dcache::MAYProblem::Domain::lub(), print(), and set().

The documentation for this class was generated from the following files:

include/otawa/dcache/features.h
src/dcache/dcache_ACSBuilder.cpp

Public Member Functions

Protected Attributes

Detailed Description

Constructor & Destructor Documentation

Member Function Documentation

Member Data Documentation