非抢占式与协作式调度器的区别及速率单调调度相关技术疑问

一、协作式与非抢占式调度器的疑问 #

• 低优先级任务无延迟是否会一直占用CPU？
  是的。协作式调度器完全依赖任务主动释放CPU资源——只有当任务调用阻塞API、主动让出CPU，或者进入休眠/等待状态时，调度器才会切换到其他任务。如果低优先级任务持续执行无阻塞的循环代码，会一直占用CPU，高优先级任务永远无法获得运行机会。

• 协作式与非抢占式是否为同一概念？关于SysTick中断的说法是否正确？
  严格来说，协作式是非抢占式调度器的一个子集，二者并非完全等同的别称，差异源于定义的细分：

  • 纯协作式调度器：任何时刻都不会触发抢占，只有任务主动放弃CPU时才会进行调度切换。
  • 部分资料中提到的“非抢占式调度器”：允许在系统滴答（SysTick）中断触发时进行调度检查——当SysTick中断发生，调度器会判断是否有更高优先级任务就绪，若有，会在中断返回后切换到高优先级任务。但在两个SysTick间隔的任务执行阶段，当前任务依然不会被抢占。
    所以“非抢占式中高优先级任务可在SysTick时中断低优先级任务”的说法，描述的是一种带定时调度触发的非抢占式实现，和纯协作式存在差异。

二、速率单调调度（Rate-monotonic, RM）的属性问题 #

• RM是否属于抢占式调度器的一种？
  是的。速率单调调度是静态优先级抢占式调度算法的典型代表，高优先级任务可以随时抢占低优先级任务的CPU使用权。

• RM的优先级无需手动设置，由算法根据执行时间或截止时间决定？
  这个说法不准确。RM的优先级是由**任务的周期（速率的倒数）**决定的：任务周期越短（运行速率越高），优先级越高。优先级在系统设计阶段就已确定，属于静态优先级范畴，并非基于执行时间或截止时间分配。

三、RM与FreeRTOS固定优先级抢占式内核的优劣对比 #

没有绝对的“更优”，二者适配不同的应用场景：

• 若系统由大量固定周期的实时任务组成，RM是最优的静态优先级调度算法，能保证任务截止时间的满足，且无需手动配置优先级，减少人为失误。
• FreeRTOS的固定优先级抢占式内核则更具灵活性：支持周期性、突发性、异步任务的混合场景，允许手动自定义任务优先级，适配更多非纯周期性的嵌入式应用（如事件驱动、中断触发的任务场景），同时提供了丰富的同步、通信组件，更适合复杂系统开发。

内容的提问来源于stack exchange，提问作者Mahmoud Elkout