functionality to spawn domains More...

Functions
errval_t	spawn_symval_count (uint32_t *ret_count)
	obtains the number of OpenMP symbols of the ELF file More...

errval_t	spawn_symval_cache_init (uint8_t lazy)
	initializes the symbol value cache for faster lookups More...

errval_t	spawn_symval_lookup_name (char name, uint32_t ret_idx, genvaddr_t *ret_addr)
	looks up the symbol based on its name and adds it to the cache More...

errval_t	spawn_symval_lookup_addr (genvaddr_t addr, uint32_t ret_idx, char *ret_name)
	looks up the symbol information based on its address More...

errval_t	spawn_symval_lookup_idx (uint32_t idx, char *ret_name, genvaddr_t ret_addr)
	looks up the symbol by a given index More...

errval_t	spawn_symval_lookup (const char binary, uint32_t idx, char ret_name, genvaddr_t ret_addr)
	executes a lookup query on octopus to obtain the symbol More...

errval_t	spawn_symval_register (const char binary, uint32_t idx, const char symname, genvaddr_t address)
	registers a found symbol with octopus for later retrieval More...

Detailed Description

functionality to spawn domains

Function Documentation

errval_t spawn_symval_cache_init ( uint8_t lazy )

initializes the symbol value cache for faster lookups

Parameters

lazy	do a lazy initialization i.e. only allocate memory for the symbols but do not load them

errval_t spawn_symval_count ( uint32_t * ret_count )

obtains the number of OpenMP symbols of the ELF file

Parameters

ret_count returns the number of symbols

executes a lookup query on octopus to obtain the symbol

Parameters

binary	name of the binary to query
idx	index of the symbol to query
ret_name	returns the name of the symbol
ret_addr	returns the address of the symbol

errval_t spawn_symval_lookup_addr	(	genvaddr_t	addr,
		uint32_t *	ret_idx,
		char **	ret_name
	)

looks up the symbol information based on its address

Parameters

errval_t spawn_symval_lookup_idx	(	uint32_t	idx,
		char **	ret_name,
		genvaddr_t *	ret_addr
	)

looks up the symbol by a given index

Parameters

idx	the index of the symbol to look up
ret_name	returns the name of the symbol
ret_addr	returns the address of the symbol

errval_t spawn_symval_lookup_name	(	char *	name,
		uint32_t *	ret_idx,
		genvaddr_t *	ret_addr
	)

looks up the symbol based on its name and adds it to the cache

Parameters

name	the name of the symbol to query
ret_idx	returns the symbol index
ret_addr	returns the address of the symbol

errval_t spawn_symval_register	(	const char *	binary,
		uint32_t	idx,
		const char *	symname,
		genvaddr_t	address
	)

registers a found symbol with octopus for later retrieval

Parameters

binary	the name of the binary
idx	index of the symbol to insert
symname	name of the symbol to insert
address	address of the sybol to insert