search

seL4 / sel4test

Test suite for seL4.
http://sel4.systems
Other
24 stars 60 forks source link

SCHED0014: fix misleading comment #95

Closed lsf37 closed 1 year ago

lsf37 commented 1 year ago

The budgets in test SCHED0014 are the same, the periods are different (in relation 1/2/8), and we're checking that the kernel achieves that period relation in scheduling.

In this block in the function test_ordering_periodic_threads:

    set_helper_sched_params(env, &helpers[0], 20 * US_IN_MS, 100 * US_IN_MS, 0);
    set_helper_sched_params(env, &helpers[1], 20 * US_IN_MS, 200 * US_IN_MS, 0);
    set_helper_sched_params(env, &helpers[2], 20 * US_IN_MS, 800 * US_IN_MS, 0);

the first time parameter is the budget, the second is the period (not the other way around as the comment suggested).