risc::sg::ConflictTable Class Reference

#include <conflict_table.h>

Inheritance diagram for risc::sg::ConflictTable:

Collaboration diagram for risc::sg::ConflictTable:

Classes
struct	ConflictInformation

Public Member Functions
	ConflictTable (SegmentGraph &segment_graph, PathInstanceMapper *path_instance_mapper, bool debugging=false)
	Default constructor. More...
	~ConflictTable ()
	Destructor. More...
void	print_conflict_table (std::string filename)
	Generates a html file of the conflict table. More...
void	print_lookup_table (std::string filename)
	Generates a html file of the lookup table. More...
int	segment_and_instance_id_to_index (int segment_id, int instance_id)
	This function translates a given segment id and instance id to a index of the conflict table. More...
std::pair< int, int >	index_to_segment_and_instance_id (int index)
	This function translates a given index from the conflict table into the corresponding segment id and instance id. The first value is the segment id and the second value is the instance id. More...
bool	has_conflict (int segment_id_1, int instance_id_1, int segment_id_2, int instance_id_2)
	This function looks up if there is a conflict between segment 1 with instance id 1 and segment 2 with instance id 2. More...
void	print_instance_id_to_index_lookup_table ()
	This function prints the table instance_id_to_index_lookup_table in the terminal. More...
void	set_conflict (int segment_id_1, int instance_id_1, int segment_id_2, int instance_id_2)
	This function sets a conflict in the conflict table. More...
virtual void	determine_conflict_table ()
	This function determines the conflict table. The function is overloaded for the data and event conflict table. More...
VertexDescriptor	segment_id_to_vertex_descriptor (int id)
	This function translates the given segment id to the corresponding vertex descriptor. More...
MappedVariableList	get_mapped_variable (SgVariableSymbol *variable, int instance_id, bool dynamic_analysis)
	Determines the mapped variable. More...
MappedVariableList	get_mapped_variable_statically (SgVariableSymbol *variable, int instance_id)
	This function determines for a given variable the mapped variable. If variable is a reference, the mapped variable will be looked up. Otherwise, the original symbol and instance id is returned. More...
MappedVariableList	get_mapped_variable_dynamically (SgVariableSymbol *variable, int instance_id)
	This function determines the mapped address of a reference during the pre simulation. More...
int	get_max_instances (int segment_id)
	This functions returns how many instances of a given segment exist. More...
int	get_channel_id (const SymbolWithPath &swp, int instance, bool dynamic_analysis)
	Determines the channel instance id for a given variable declared in a channel. More...
int	get_channel_id_statically (const SymbolWithPath &swp, int instance)
	Determines the channel instance id for a given variable declared in a channel. More...
int	get_channel_id_dynamically (const SymbolWithPath &swp, int instance)
	Determines the channel instance id for a given variable declared in a channel. More...

Public Attributes
VertexDescriptor *	vertex_lookup_
	This lookup table translates segment ids into vertex descriptors. At position i is the segment with the id of instance_id_to_index_lookup_[0][i]. More...
int	size_of_conflict_table_
	This variable defines the size of the conflict table. The size is quadratic. More...
int	max_instances_with_thread_
	Maximum number of module/channel instances Only instances with at least one simulation thread are considered. More...
int	max_instances_
	This variable represents the max number of module instances in the design. Also, this is the number of rows in the instance_id_to_index_lookup_ table. More...
int	number_of_segments_
	This variable defines how many segments exist in the segment graph. Also, this is the number of columns in the instance_id_to_index_lookup_ table. More...
int **	instance_id_to_index_lookup_
	This table should be used a lookup table: (segment id, instance id) -> index of conflict table. More...
bool **	conflict_table_
	The conflict table. More...
PathInstanceMapper *	path_instance_mapper_
SegmentGraph &	segment_graph_
ConflictInformation **	conflict_info_
bool	debugging_

Constructor & Destructor Documentation

risc::sg::ConflictTable::ConflictTable	(	SegmentGraph &	segment_graph,
		PathInstanceMapper *	path_instance_mapper,
		bool	debugging = false
	)

Default constructor.

risc::sg::ConflictTable::~ConflictTable

(

)

Destructor.

Member Function Documentation

risc::sg::ConflictTable::determine_conflict_table ( )

virtual

This function determines the conflict table. The function is overloaded for the data and event conflict table.

Reimplemented in risc::sg::EventConflictTable, and risc::sg::DataConflictTable.

risc::sg::ConflictTable::get_channel_id	(	const SymbolWithPath &	swp,
		int	instance,
		bool	dynamic_analysis
	)

Determines the channel instance id for a given variable declared in a channel.

Parameters

swp	Symbol with the associated port call path
instance	instance id of the hosting module
dynamic_analysis	if the analysis is dynamic_analysis

risc::sg::ConflictTable::get_channel_id_dynamically	(	const SymbolWithPath &	swp,
		int	instance
	)

Determines the channel instance id for a given variable declared in a channel.

Parameters

swp	Symbol with the associated port call path
instance	instance id of the hosting module

risc::sg::ConflictTable::get_channel_id_statically	(	const SymbolWithPath &	swp,
		int	instance
	)

Determines the channel instance id for a given variable declared in a channel.

Parameters

swp	Symbol with the associated port call path
instance	instance id of the hosting module

risc::sg::ConflictTable::get_mapped_variable	(	SgVariableSymbol *	variable,
		int	instance_id,
		bool	dynamic_analysis
	)

Determines the mapped variable.

risc::sg::ConflictTable::get_mapped_variable_dynamically	(	SgVariableSymbol *	variable,
		int	instance_id
	)

This function determines the mapped address of a reference during the pre simulation.

risc::sg::ConflictTable::get_mapped_variable_statically	(	SgVariableSymbol *	variable,
		int	instance_id
	)

This function determines for a given variable the mapped variable. If variable is a reference, the mapped variable will be looked up. Otherwise, the original symbol and instance id is returned.

risc::sg::ConflictTable::get_max_instances

(

int

segment_id

)

This functions returns how many instances of a given segment exist.

risc::sg::ConflictTable::has_conflict	(	int	segment_id_1,
		int	instance_id_1,
		int	segment_id_2,
		int	instance_id_2
	)

This function looks up if there is a conflict between segment 1 with instance id 1 and segment 2 with instance id 2.

risc::sg::ConflictTable::index_to_segment_and_instance_id

(

int

index

)

This function translates a given index from the conflict table into the corresponding segment id and instance id. The first value is the segment id and the second value is the instance id.

risc::sg::ConflictTable::print_conflict_table

(

std::string

filename

)

Generates a html file of the conflict table.

risc::sg::ConflictTable::print_instance_id_to_index_lookup_table

(

)

This function prints the table instance_id_to_index_lookup_table in the terminal.

risc::sg::ConflictTable::print_lookup_table

(

std::string

filename

)

Generates a html file of the lookup table.

risc::sg::ConflictTable::segment_and_instance_id_to_index	(	int	segment_id,
		int	instance_id
	)

This function translates a given segment id and instance id to a index of the conflict table.

risc::sg::ConflictTable::segment_id_to_vertex_descriptor

(

int

id

)

This function translates the given segment id to the corresponding vertex descriptor.

risc::sg::ConflictTable::set_conflict	(	int	segment_id_1,
		int	instance_id_1,
		int	segment_id_2,
		int	instance_id_2
	)

This function sets a conflict in the conflict table.

Member Data Documentation

ConflictInformation** risc::sg::ConflictTable::conflict_info_

bool** risc::sg::ConflictTable::conflict_table_

The conflict table.

bool risc::sg::ConflictTable::debugging_

int** risc::sg::ConflictTable::instance_id_to_index_lookup_

This table should be used a lookup table: (segment id, instance id) -> index of conflict table.

int risc::sg::ConflictTable::max_instances_

This variable represents the max number of module instances in the design. Also, this is the number of rows in the instance_id_to_index_lookup_ table.

int risc::sg::ConflictTable::max_instances_with_thread_

Maximum number of module/channel instances Only instances with at least one simulation thread are considered.

int risc::sg::ConflictTable::number_of_segments_

This variable defines how many segments exist in the segment graph. Also, this is the number of columns in the instance_id_to_index_lookup_ table.

PathInstanceMapper* risc::sg::ConflictTable::path_instance_mapper_

SegmentGraph& risc::sg::ConflictTable::segment_graph_

int risc::sg::ConflictTable::size_of_conflict_table_

This variable defines the size of the conflict table. The size is quadratic.

VertexDescriptor* risc::sg::ConflictTable::vertex_lookup_

This lookup table translates segment ids into vertex descriptors. At position i is the segment with the id of instance_id_to_index_lookup_[0][i].

---

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

• /local/lecs/lecs/risc_v0.6.2/sources/build/risc_v0.6.2/src/segment_graph/conflict_table.h
• /local/lecs/lecs/risc_v0.6.2/sources/build/risc_v0.6.2/src/segment_graph/conflict_table.cpp