Home
last modified time | relevance | path

Searched refs:benchmark (Results 1 – 10 of 10) sorted by relevance

/seL4-master/src/benchmark/
A Dbenchmark_utilisation.c33 … buffer[BENCHMARK_TCB_UTILISATION] = tcb->benchmark.utilisation; /* Requested thread utilisation */ in benchmark_track_utilisation_dump()
34 …buffer[BENCHMARK_TCB_NUMBER_SCHEDULES] = tcb->benchmark.number_schedules; /* Number of times sched… in benchmark_track_utilisation_dump()
35 …buffer[BENCHMARK_TCB_KERNEL_UTILISATION] = tcb->benchmark.kernel_utilisation; /* Utilisation spent… in benchmark_track_utilisation_dump()
36 …buffer[BENCHMARK_TCB_NUMBER_KERNEL_ENTRIES] = tcb->benchmark.number_kernel_entries; /* Number of k… in benchmark_track_utilisation_dump()
49 … ksIdleThread)->benchmark.number_schedules; /* Number of times scheduled */ in benchmark_track_utilisation_dump()
51 … ksIdleThread)->benchmark.kernel_utilisation; /* Utilisation spent in kernel */ in benchmark_track_utilisation_dump()
72 tcb->benchmark.utilisation = 0; in benchmark_track_reset_utilisation()
73 tcb->benchmark.number_schedules = 0; in benchmark_track_reset_utilisation()
74 tcb->benchmark.number_kernel_entries = 0; in benchmark_track_reset_utilisation()
75 tcb->benchmark.kernel_utilisation = 0; in benchmark_track_reset_utilisation()
[all …]
/seL4-master/include/benchmark/
A Dbenchmark_utilisation.h30 if (likely(ksEnter > heir->benchmark.schedule_start_time)) { in benchmark_utilisation_switch()
32 heir->benchmark.utilisation += (ksEnter - heir->benchmark.schedule_start_time); in benchmark_utilisation_switch()
36 … heir->benchmark.utilisation += (UINT32_MAX - heir->benchmark.schedule_start_time) + ksEnter; in benchmark_utilisation_switch()
42 next->benchmark.schedule_start_time = ksEnter; in benchmark_utilisation_switch()
43 next->benchmark.number_schedules++; in benchmark_utilisation_switch()
/seL4-master/include/arch/arm/arch/
A Dbenchmark.h38 …NODE_STATE(ksCurThread)->benchmark.utilisation += UINT32_MAX - NODE_STATE(ksCurThread)->benchmark.… in handleOverflowIRQ()
39 NODE_STATE(ksCurThread)->benchmark.schedule_start_time = 0; in handleOverflowIRQ()
/seL4-master/include/kernel/
A Dtraps.h37 NODE_STATE(ksCurThread)->benchmark.number_kernel_entries++; in c_exit_hook()
38 NODE_STATE(ksCurThread)->benchmark.kernel_utilisation += exit - ksEnter; in c_exit_hook()
/seL4-master/src/
A Dconfig.cmake37 src/benchmark/benchmark_track.c
38 src/benchmark/benchmark_utilisation.c
/seL4-master/src/api/
A Dsyscall.c214 NODE_STATE(ksCurThread)->benchmark.schedule_start_time = ksEnter; in handleUnknownSyscall()
215 NODE_STATE(ksCurThread)->benchmark.number_schedules++; in handleUnknownSyscall()
282 printf(" \"UTILISATION\":%lu,\n", (word_t) curr->benchmark.utilisation); in handleUnknownSyscall()
283 printf(" \"NUMBER_SCHEDULES\":%lu,\n", (word_t) curr->benchmark.number_schedules); in handleUnknownSyscall()
284 … printf(" \"KERNEL_UTILISATION\":%lu,\n", (word_t) curr->benchmark.kernel_utilisation); in handleUnknownSyscall()
285 … printf(" \"NUMBER_KERNEL_ENTRIES\":%lu\n", (word_t) curr->benchmark.number_kernel_entries); in handleUnknownSyscall()
/seL4-master/src/arch/riscv/
A Dconfig.cmake89 api/benchmark.c
/seL4-master/src/arch/arm/
A Dconfig.cmake229 benchmark/benchmark.c
/seL4-master/include/object/
A Dstructures.h309 benchmark_util_t benchmark; member
/seL4-master/src/arch/x86/
A Dconfig.cmake387 benchmark/benchmark.c

Completed in 20 milliseconds