RTOS 调度与阻塞实验
环境与命题
浏览器使用固定三任务、单核、抢占式优先级模型。它验证状态转换，不模拟具体 RTOS 的全部 API、临界区和时钟开销。
本模型采用“输入队列满时拒收并计数，结果队列满时阻塞生产者”的明确策略。它没有互斥锁与临界区，不能用来验收优先级反转。
步骤
- 重置后逐 tick，记录 RUNNING 任务和队列长度；
- 触发“新样本”，确认处理任务从 BLOCKED 到 READY，并抢占较低优先级任务；
- 暂停处理任务，连续产生样本，观察队列积压；
- 恢复处理任务，确认积压只能在消费速度足够时下降；
- 挂起处理后加入 9 个样本，确认队列保留 8 个、拒收计数增加 1；恢复并消费。结果队列满时处理任务阻塞，通信释放空间后处理任务再次运行。
- 为真实系统补充 trace 字段：tick、task、from/to state、reason、queue depth、runtime。
预期：没有数据时处理/通信任务阻塞；事件到达只使任务就绪，调度器再选择运行者；队列容量不能替代背压策略。