Get the latest tech news
Moving CHERIoT RTOS to a tickless model
The CHERIoT RTOS scheduler is a fairly traditional RTOS scheduler. A typical desktop or server OS tries to ensure that all threads run, but that higher-priority threads get larger slices of available compute time. It may also try to ensure that interactive tasks run with lower latency. In contrast, an RTOS scheduler needs to give predictable performance and allow high-priority threads to monopolise the CPU.
In contrast, an RTOS scheduler needs to give predictable performance and allow high-priority threads to monopolise the CPU. The original scheduler design used the classical approach of registering for a timer interrupt with a fixed period. If you yield, you will be woken up either when the requested duration expires or if the system reaches a point where no other thread will become runnable in that period.
Or read this on Hacker News