controller_dfg.h File Reference

#include "dfg.h"

Go to the source code of this file.

Functions
int	init_controller_dfg (char *filename)
int	local_listen_port ()
int	generate_msu_id ()
int	generate_route_id ()
uint32_t	generate_endpoint_key (struct dfg_route *route)
struct dedos_dfg *	get_dfg (void)
int	init_dfg_lock ()
int	lock_dfg ()
int	unlock_dfg ()

Function Documentation

uint32_t generate_endpoint_key

(

struct dfg_route *

route

)

Definition at line 75 of file controller_dfg.c.

int generate_msu_id

(

)

Definition at line 54 of file controller_dfg.c.

int generate_route_id

(

)

Definition at line 66 of file controller_dfg.c.

struct dedos_dfg* get_dfg

(

void

)

Returns

the DFG with which this runtime was instantiated

Definition at line 115 of file runtime_dfg.c.

int init_controller_dfg

(

char *

filename

)

Definition at line 30 of file controller_dfg.c.

int init_dfg_lock

(

)

Definition at line 84 of file controller_dfg.c.

int local_listen_port

(

)

Definition at line 45 of file controller_dfg.c.

int lock_dfg

(

)

Definition at line 88 of file controller_dfg.c.

int unlock_dfg

(

)

Definition at line 97 of file controller_dfg.c.