Dear seL4 community member ,
I am running seL4test for multicore onx86 QEMU setup, it was observed that it through error of “Failed to set tcb affinity” but test passes as below , so we are not able to understand what seL4test is doing for its MULTICORE TEST CASE scenario.
--------------------------------------------------------------------------------------------------------------------------------Starting test 60: MULTICORE0001
Running test MULTICORE0001 (Test suspending and resuming a thread on different core)
<<seL4(CPU 0) [decodeSetAffinity/509 T0xffffff80bc1f3400 “39” @4030e2]: TCB SetAffinity: Requested CPU does not exist.>>
set_helper_affinity@helpers.c:389 [Cond failed: error]
Failed to set tcb affinity
Failure: result == SUCCESS at line 296 of file /home/vishal/sel4armsetup/projects/sel4test/apps/sel4test-driver/src/testtypes.c
Error: result == SUCCESS at line 217 of file /home/vishal/sel4armsetup/projects/sel4test/apps/sel4test-driver/src/main.c
Starting test 61: MULTICORE0002
Running test MULTICORE0002 (Test thread is runnable on all available cores (0 + other))
Test MULTICORE0002 passed
Starting test 62: MULTICORE0003
Running test MULTICORE0003 (Test TLB invalidated cross cores)
<<seL4(CPU 0) [decodeSetAffinity/509 T0xffffff80bc1f3400 “39” @4030e2]: TCB SetAffinity: Requested CPU does not exist.>>
set_helper_affinity@helpers.c:389 [Cond failed: error]
Failed to set tcb affinity
Failure: result == SUCCESS at line 296 of file /home/vishal/sel4armsetup/projects/sel4test/apps/sel4test-driver/src/testtypes.c
Error: result == SUCCESS at line 217 of file /home/vishal/sel4armsetup/projects/sel4test/apps/sel4test-driver/src/main.c
Starting test 63: MULTICORE0004
Running test MULTICORE0004 (Test core stalling is behaving properly (flaky))
Test MULTICORE0004 passed
Starting test 64: MULTICORE0005
Running test MULTICORE0005 (Test remote delete thread running on other cores)
<<seL4(CPU 0) [decodeSetAffinity/509 T0xffffff80bc1f3400 “39” @4030e2]: TCB SetAffinity: Requested CPU does not exist.>>
set_helper_affinity@helpers.c:389 [Cond failed: error]
Failed to set tcb affinity
Failure: result == SUCCESS at line 296 of file /home/vishal/sel4armsetup/projects/sel4test/apps/sel4test-driver/src/testtypes.c
Error: result == SUCCESS at line 217 of file /home/vishal/sel4armsetup/projects/sel4test/apps/sel4test-driver/src/main.c
If any other details are required , please let me know! Any input/guidance would be really helpful.
Regards,
Vishal