Os

嵌入式 OS skill,用于 RTOS 和裸机调度、任务、优先级、队列、互斥锁、定时器、ISR handoff、superloop、延迟、栈大小、死锁和优先级反转分析。涉及 C 实现细节时结合 c99-standard-c 使用。默认使用中文输出。

jiaxi2 ffefb38 2 files · 1.6 KB Updated

File contents

嵌入式 OS 与调度

默认使用中文回答和生成说明。仅在用户明确要求英文,或项目注释/接口规范要求英文时使用英文。

使用此 skill 处理 RTOS 或裸机调度工作。实现细节结合 c99-standard-c,评审任务结合 review

工作流程

  1. 识别执行模型:裸机 superloop、协作式调度器、抢占式 RTOS、SMP 或 ISR/任务混合设计。
  2. 梳理任务、优先级、周期、deadline、共享资源、队列、定时器和 ISR handoff。
  3. 修改代码前先定义所有权和同步策略。
  4. 明确阻塞行为:超时、失败处理和安全状态响应。
  5. 验证栈使用、延迟、最坏执行时间、队列深度和启动/关闭顺序。

检查项

  • 安全、通信或控制路径中避免无界等待。
  • 使用优先级继承或设计调整防止优先级反转。
  • 不在 ISR 上下文调用非 ISR-safe 的 RTOS API。
  • volatile 只表示可见性,不等于互斥。
  • 栈大小基于证据:map 文件、水位检测、trace 或最坏情况分析。
  • 对 superloop,每个 step 必须有界,并说明时序假设。

jiaxi2/codex-skills/tree/main/embedded/os commit ffefb38416

Frequently asked questions

npx skillmds@latest add jiaxi2/os