中断-软中断(os-4a1cf781)
When to use
任务「软中断」;对照:软中断(softirq)——硬中断处理中延迟低优先级工作,按优先级排队执行。
克制条款(不适用条件)
action 非 {defer, run} 时返回 None;不重复入队检查由调用方负责
How to execute
list.sort(key=优先级) + pop(0) 逐出队
Verification
- 单元样例 5 条(cases 断言)
- 物理基底:按 calibration 对照(编译/运行/断言裁决)
References
- 单元库:os_units.py「中断-软中断」