#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>
{
assert(ret_domain_cap != NULL);
- errval_t err = proc_mgmt_spawn_program(core_id,
- "/x86_64/sbin/proc_mgmt_test",
- argv, NULL, 0, ret_domain_cap);
+ errval_t err = spawn_program(core_id, "/x86_64/sbin/proc_mgmt_test",
+ argv, NULL, 0, ret_domain_cap);
if (err_is_fail(err)) {
return err;
}
} 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("Killing process \n");
- err = proc_mgmt_kill(domain_cap);
+ err = spawn_kill(domain_cap);
if (err_is_fail(err)) {
USER_PANIC("Failed waiting for domain \n");
}
barrelfish_usleep(5*1000*1000);
printf("Killing process \n");
- err = proc_mgmt_kill(domain_cap);
+ err = spawn_kill(domain_cap);
if (err_is_fail(err)) {
USER_PANIC("Failed waiting for domain \n");
}
uint8_t code;
printf("Waiting for process on different core to finish \n");
- err = proc_mgmt_wait(domain_cap, &code);
+ err = spawn_wait(domain_cap, &code, false);
if (err_is_fail(err)) {
USER_PANIC("Failed waiting for domain \n");
}
barrelfish_usleep(5*1000*1000);
printf("Waiting for process on same core to finish \n");
- err = proc_mgmt_wait(domain_cap, &code);
+ 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");