Barrelfish
|
Startup code for distributed services. More...
Functions | |
int | dist_main (struct dist_args *d_args, void *m_args, char *name) |
Main function that starts work for master and worker dispatchers. More... | |
Startup code for distributed services.
int dist_main | ( | struct dist_args * | d_args, |
void * | m_args, | ||
char * | name | ||
) |
Main function that starts work for master and worker dispatchers.
Depending on the arguments passed in d_args->master this function starts a dispatcher running as a master or a worker. As a master it spwans worker dispatchers on the given cores (d_args->cores) and then calls the externally defined run_master() function. As a worker it calls the externally defined run_worker() function.
d_args | the generic distributed service arguments passed to this dispatcher. |
m_args | the service-specific arguments passed to this dispatcher. |
name | the name of this service. |