我检查了kernelshark中的xenomai任务，结果很奇怪

Question

在Linux上使用Stress-ng工具 “＃Stress-ng -c0 -l100”为cpu提供100％的负载，xenomai的运行时间为750us，持续1ms的周期。

watch -n0“ cat / proc / xenomai / stat” 通过命令，我们能够验证使用75％的CPU。 但是，我使用tracd-cmd检查了xenomai和linux的cpu配额 我期望xenomai使用更多的cpu，因为它的优先级高于普通Linux，但结果并非如此。图片中“嵌入ecat”的任务是xenomai任务。 为什么这些结果出来？