sel4test icon indicating copy to clipboard operation
sel4test copied to clipboard

add test for round robin threads

Open lsf37 opened this issue 1 year ago • 0 comments

  • add test SCHED0023 to check that round robin threads are indeed scheduled round robin.
  • print thread id in periodic thread tests

The test relies on relative timing of a busy wait loop. The loop has to take at least 1 ms so that the round-robin test thread is preempted at least once before it prints+increments again.

lsf37 avatar Jul 24 '24 23:07 lsf37