Content related to resource allocation inside MAU/PPU. More...

Classes
struct	TablePlacement::RewriteForSplitAttached

Functions
bool	TablePlacement::disable_split_layout (const IR::MAU::Table *tbl)

void	TablePlacement::filter_layout_options (Placed *pl)

bool	TablePlacement::pick_layout_option (Placed next, std::vector< Placed > allocated_layout)

bool	TablePlacement::shrink_attached_tbl (Placed *next, bool first_time, bool &done_shrink)

bool	TablePlacement::shrink_estimate (Placed *next, int &srams_left, int &tcams_left, int min_entries)

bool	TablePlacement::shrink_preferred_lo (Placed *next)

bool	TablePlacement::try_alloc_adb (const gress_t &gress, std::vector< Placed * > tables_to_allocate, std::vector< Placed * > tables_placed)

TableSummary::PlacementResult	TablePlacement::try_alloc_all (Placed next, std::vector< Placed > whole_stage, const char *what, bool no_memory=false)

bool	TablePlacement::try_alloc_format (Placed *next, bool gw_linked)

bool	TablePlacement::try_alloc_imem (const gress_t &gress, std::vector< Placed * > tables_to_allocate, std::vector< Placed * > tables_placed)

bool	TablePlacement::try_alloc_ixbar (Placed next, std::vector< Placed > allocated_layout)

bool	TablePlacement::try_alloc_mem (Placed next, std::vector< Placed > whole_stage)

bool	TablePlacement::try_pick_layout (const gress_t &gress, std::vector< Placed * > tables_to_allocate, std::vector< Placed * > tables_placed)

Detailed Description

Content related to resource allocation inside MAU/PPU.

Methods for allocating resources in a single stage to meet the choices in Placed objects. These methods all look at the placements for the latest stage on the front of the list and try to fit everything in one stage. They return true if they succeed and update the 'resources' TableResourceAlloc object(s) to match. Those that need to reallocate things for the entire stage (not just the last table placed) take a table_resource_t containing the TableResourceAlloc objects for all the trailing tables in the stage (as the 'prev' pointers are const and cannot be updated directly.

Class Documentation

◆ TablePlacement::RewriteForSplitAttached

struct TablePlacement::RewriteForSplitAttached

Inheritance diagram for TablePlacement::RewriteForSplitAttached:

[legend]

Public Member Functions
	RewriteForSplitAttached (TablePlacement &self, const Placed *p)

const IR::MAU::BackendAttached *	preorder (IR::MAU::BackendAttached *ba)

const IR::MAU::Table *	preorder (IR::MAU::Table *tbl)

Public Member Functions inherited from P4::Transform
const IR::Node *	apply_visitor (const IR::Node , const char name=0) override

profile_t	init_apply (const IR::Node *root) override

virtual void	loop_revisit (const IR::Node *)

virtual const IR::Node *	postorder (IR::Node *n)

virtual const IR::Node *	preorder (IR::Node *n)

void	prune ()

virtual void	revisit (const IR::Node , const IR::Node )

void	revisit_visited ()

bool	visit_in_progress (const IR::Node *) const

void	visitAgain () const override

void	visitOnce () const override

Public Member Functions inherited from P4::Visitor
virtual bool	check_global (cstring)

virtual void	clear_globals ()

virtual Visitor *	clone () const

virtual ControlFlowVisitor *	controlFlowVisitor ()

virtual void	end_apply ()

virtual void	end_apply (const IR::Node *root)

virtual void	erase_global (cstring)

template<class T >
const T *	findContext () const

template<class T >
const T *	findContext (const Context *&c) const

template<class T >
const T *	findOrigCtxt () const

template<class T >
const T *	findOrigCtxt (const Context *&c) const

virtual Visitor &	flow_clone ()

virtual void	flow_merge (Visitor &)

virtual bool	flow_merge_closure (Visitor &)

virtual void	flow_merge_global_from (cstring)

virtual void	flow_merge_global_to (cstring)

const Context *	getChildContext () const

int	getChildrenVisited () const

const Context *	getContext () const

int	getContextDepth () const

const IR::Node *	getCurrentNode () const

template<class T >
const T *	getCurrentNode () const

const IR::Node *	getOriginal () const

template<class T >
const T *	getOriginal () const

template<class T >
const T *	getParent () const

virtual bool	has_flow_joins () const

profile_t	init_apply (const IR::Node root, const Context parent_context)

bool	isInContext (const IR::Node *n) const

virtual const char *	name () const

template<class T >
void	parallel_visit (const IR::Vector< T > &v, const char *name, int cidx)

template<class T >
void	parallel_visit (const IR::Vector< T > &v, const char *name=0)

template<class T >
void	parallel_visit (IR::Vector< T > &v, const char *name, int cidx)

template<class T >
void	parallel_visit (IR::Vector< T > &v, const char *name=0)

void	print_context () const

const Visitor &	setCalledBy (const Visitor *visitor)

void	setName (const char *name)

void	visit (const IR::Node &n, const char *name, int cidx)

void	visit (const IR::Node &n, const char *name=0)

void	visit (const IR::Node &n, const char name, int cidx)

void	visit (const IR::Node &n, const char name=0)

void	visit (const IR::Node const &n, const char name, int cidx)

void	visit (const IR::Node const &n, const char name=0)

void	visit (IR::Node &n, const char *name, int cidx)

void	visit (IR::Node &n, const char *name=0)

void	visit (IR::Node &, const char =0, int=0)

template<class T , typename = std::enable_if_t<Util::has_SourceInfo_v<T> && !std::is_pointer_v<T>>, class... Args>
void	warn (const int kind, const char *format, const T &node, Args &&...args)
	The const ref variant of the above.

template<class T , typename = std::enable_if_t<Util::has_SourceInfo_v<T>>, class... Args>
void	warn (const int kind, const char format, const T node, Args &&...args)

bool	warning_enabled (int warning_kind) const

Public Attributes
const Placed *	pl

TablePlacement &	self

Public Attributes inherited from P4::Visitor
const Visitor *	called_by = nullptr

cstring	internalName

SplitFlowVisit_base *&	split_link

SplitFlowVisit_base *	split_link_mem = nullptr

Additional Inherited Members
Public Types inherited from P4::Visitor
typedef Visitor_Context	Context

Static Public Member Functions inherited from P4::Visitor
static cstring	demangle (const char *)

static bool	warning_enabled (const Visitor *visitor, int warning_kind)

Protected Member Functions inherited from P4::Transform
const IR::Node *	transform_child (const IR::Node *child)

Protected Member Functions inherited from P4::Visitor
virtual void	init_join_flows (const IR::Node *)

virtual bool	join_flows (const IR::Node *)

virtual void	post_join_flows (const IR::Node , const IR::Node )

void	visit_children (const IR::Node *, std::function< void()> fn)

Protected Attributes inherited from P4::Transform
bool	forceClone = false

Protected Attributes inherited from P4::Visitor
bool	dontForwardChildrenBeforePreorder = false

bool	joinFlows = false

bool	visitDagOnce = true

Function Documentation

◆ pick_layout_option()

bool TablePlacement::pick_layout_option	(	Placed *	next,
		std::vector< Placed * >	allocated_layout )

The estimates for potential layout options are determined before all information is possibly known:

What the actual input xbar layout of the table was, and whether this required more ixbar groups that estimated, either due to PHV constraints, or other resources on the input xbar
Whether the table is tied to an gateway, and may need an extra bit for actions
How many bits can be ghosted off.

Thus, some layouts may not actually be possible that were precalculated. This will adjust potential layouts if the allocation can not fit within the pack format.

Classes

Functions

Detailed Description

Class Documentation

◆ TablePlacement::RewriteForSplitAttached

Public Member Functions

Public Attributes

Additional Inherited Members

Function Documentation

◆ pick_layout_option()