Searched refs:timeslice (Results 1 - 8 of 8) sorted by relevance
/seL4-refos-master/libs/libsel4utils/include/sel4utils/ |
H A D | thread_config.h | 184 uint64_t timeslice = CONFIG_BOOT_THREAD_TIME_SLICE; local 185 config.sched_params = sched_params_round_robin(config.sched_params, simple, 0, timeslice * US_IN_MS);
|
H A D | process_config.h | 193 uint64_t timeslice = CONFIG_BOOT_THREAD_TIME_SLICE; local 194 config.sched_params = sched_params_round_robin(config.sched_params, simple, 0, timeslice * US_IN_MS);
|
/seL4-refos-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
H A D | thread_config.h | 184 uint64_t timeslice = CONFIG_BOOT_THREAD_TIME_SLICE; local 185 config.sched_params = sched_params_round_robin(config.sched_params, simple, 0, timeslice * US_IN_MS);
|
H A D | process_config.h | 193 uint64_t timeslice = CONFIG_BOOT_THREAD_TIME_SLICE; local 194 config.sched_params = sched_params_round_robin(config.sched_params, simple, 0, timeslice * US_IN_MS);
|
/seL4-refos-master/kernel/src/kernel/ |
H A D | boot.c | 393 BOOT_CODE static bool_t configure_sched_context(tcb_t *tcb, sched_context_t *sc_pptr, ticks_t timeslice, word_t core) argument 396 REFILL_NEW(tcb->tcbSchedContext, MIN_REFILLS, timeslice, 0, core);
|
/seL4-refos-master/kernel/manual/parts/ |
H A D | bootup.tex | 18 with \texttt{CONFIG\_BOOT\_THREAD\_TIME\_SLICE} milliseconds timeslice.
|
H A D | objects.tex | 156 calling thread's timeslice and causes invocation of the kernel's scheduler. 158 the calling thread will immediately be scheduled with a fresh timeslice. In
|
H A D | threads.tex | 124 Threads where $b == p$ are treated as round robin threads, where $b$ acts as a timeslice.
|
Completed in 46 milliseconds