int
vm_install_tk1_usb_passthrough_device(vm_t* vm)
{
/* Add the device */
void *addr = map_vm_device(vm, dev_usb.pstart, dev_usb.pstart, seL4_AllRights);
if (addr == NULL) {
ZF_LOGE("map_vm_device returned NULL");
return -1;
}
void *vmm_addr = vspace_share_mem(vm_get_vspace(vm), vm_get_vmm_vspace(vm), addr, 1,
seL4_PageBits, seL4_AllRights, 0);
if (vmm_addr == NULL) {
ZF_LOGE("vspace_share_mem returned NULL");
return -1;
}
int err = vm_add_device(vm, &dev_usb);
if (err) {
ZF_LOGE("vm_add_device returned error: %d", err);
return -1;
}
err = vm_register_reboot_callback(vm, usb_vm_reboot_hook, vmm_addr);
if (err) {
ZF_LOGE("vm_register_reboot_callback returned error: %d", err);
return -1;
}
return 0;
}
int
main(int argc, char **argv)
{
env_t *env;
irquser_results_t *results;
vka_object_t endpoint = {0};
static size_t object_freq[seL4_ObjectTypeCount] = {
[seL4_TCBObject] = 2,
[seL4_EndpointObject] = 1,
#ifdef CONFIG_KERNEL_RT
[seL4_SchedContextObject] = 2,
[seL4_ReplyObject] = 2
#endif
};
env = benchmark_get_env(argc, argv, sizeof(irquser_results_t), object_freq);
benchmark_init_timer(env);
results = (irquser_results_t *) env->results;
if (vka_alloc_endpoint(&env->slab_vka, &endpoint) != 0) {
ZF_LOGF("Failed to allocate endpoint\n");
}
/* set up globals */
done_ep = endpoint.cptr;
timer = &env->timer;
timer_signal = env->ntfn.cptr;
int error = ltimer_reset(&env->timer.ltimer);
ZF_LOGF_IF(error, "Failed to start timer");
error = ltimer_set_timeout(&env->timer.ltimer, INTERRUPT_PERIOD_NS, TIMEOUT_PERIODIC);
ZF_LOGF_IF(error, "Failed to configure timer");
sel4bench_init();
sel4utils_thread_t ticker, spinner;
/* measurement overhead */
ccnt_t start, end;
for (int i = 0; i < N_RUNS; i++) {
SEL4BENCH_READ_CCNT(start);
SEL4BENCH_READ_CCNT(end);
results->overheads[i] = end - start;
}
/* create a frame for the shared time variable so we can share it between processes */
ccnt_t *local_current_time = (ccnt_t *) vspace_new_pages(&env->vspace, seL4_AllRights, 1, seL4_PageBits);
if (local_current_time == NULL) {
ZF_LOGF("Failed to allocate page");
}
/* first run the benchmark between two threads in the current address space */
benchmark_configure_thread(env, endpoint.cptr, seL4_MaxPrio - 1, "ticker", &ticker);
benchmark_configure_thread(env, endpoint.cptr, seL4_MaxPrio - 2, "spinner", &spinner);
error = sel4utils_start_thread(&ticker, (sel4utils_thread_entry_fn) ticker_fn, (void *) results->thread_results,
(void *) local_current_time, true);
if (error) {
ZF_LOGF("Failed to start ticker");
}
char strings[1][WORD_STRING_SIZE];
char *spinner_argv[1];
sel4utils_create_word_args(strings, spinner_argv, 1, (seL4_Word) local_current_time);
error = sel4utils_start_thread(&spinner, (sel4utils_thread_entry_fn) spinner_fn, (void *) 1, (void *) spinner_argv, true);
assert(!error);
benchmark_wait_children(endpoint.cptr, "child of irq-user", 1);
/* stop spinner thread */
error = seL4_TCB_Suspend(spinner.tcb.cptr);
assert(error == seL4_NoError);
error = seL4_TCB_Suspend(ticker.tcb.cptr);
assert(error == seL4_NoError);
/* now run the benchmark again, but run the spinner in another address space */
/* restart ticker */
error = sel4utils_start_thread(&ticker, (sel4utils_thread_entry_fn) ticker_fn, (void *) results->process_results,
(void *) local_current_time, true);
assert(!error);
sel4utils_process_t spinner_process;
benchmark_shallow_clone_process(env, &spinner_process, seL4_MaxPrio - 2, spinner_fn, "spinner");
/* share the current time variable with the spinner process */
void *current_time_remote = vspace_share_mem(&env->vspace, &spinner_process.vspace,
(void *) local_current_time, 1, seL4_PageBits,
seL4_AllRights, true);
assert(current_time_remote != NULL);
/* start the spinner process */
sel4utils_create_word_args(strings, spinner_argv, 1, (seL4_Word) current_time_remote);
error = sel4utils_spawn_process(&spinner_process, &env->slab_vka, &env->vspace, 1, spinner_argv, 1);
if (error) {
ZF_LOGF("Failed to start spinner process");
}
benchmark_wait_children(endpoint.cptr, "child of irq-user", 1);
/* done -> results are stored in shared memory so we can now return */
benchmark_finished(EXIT_SUCCESS);
return 0;
}
