#include <barrelfish/barrelfish.h>
#include <barrelfish/deferred.h>
#include <barrelfish/sys_debug.h>
-#include <barrelfish/proc_mgmt_client.h>
#include <barrelfish/spawn_client.h>
#include <bench/bench.h>
} else if (strcmp("span", argv[2]) == 0) {
// Process that spans domains
if (disp_get_core_id() == 0) {
- proc_mgmt_span(1);
+ spawn_span(1);
} else {
- proc_mgmt_span(0);
+ spawn_span(0);
}
while(true) {
event_dispatch(get_default_waitset());
barrelfish_usleep(5*1000*1000);
printf("Waiting for process on same core to finish \n");
+ err = spawn_wait(domain_cap, &code, true);
+ if (err_is_fail(err)) {
+ USER_PANIC("Failed waiting for domain \n");
+ }
+ printf("Nowait hang return code %d \n", code);
err = spawn_wait(domain_cap, &code, false);
if (err_is_fail(err)) {
USER_PANIC("Failed waiting for domain \n");
}
printf("Unblocked \n");
+ err = spawn_wait(domain_cap, &code, true);
+ if (err_is_fail(err)) {
+ USER_PANIC("Failed waiting for domain \n");
+ }
+ printf("Nowait hang return code %d \n", code);
printf("Running benchmarks core 0 \n");
run_benchmark_spawn(0);
printf("Running benchmarks core 3 \n");