メニュー
在嵌入式工作项（固件、驱动、HAL、RTOS 任务、中断处理、资源受限服务）的规格、设计、实现或评审中使用，涉及内存预算、中断上下文、实时性、硬件交互、资源生命周期或目标平台差异时。只承载嵌入式领域约束；语言级规则见适用 `<language>-coding-standards`，更专门的业务/行业领域约束由命中 description 的领域技能叠加。
Codex または Claude でインストール この Prompt をコピーして Codex、Claude、または他のアシスタントに貼り付けると、Skill ページを確認してインストールできます。
SOC 職業分類に基づく
在规格、设计、测试或代码需要独立评审时使用：阶段产物完成后的把关、人要求 review、或对既有产物做专项检查时。评审必须由作者之外的独立上下文执行，产出 findings 与 verdict。
在实现任何功能或修复任何缺陷、即将编写实现代码时使用；设计确认后的整个实现期都适用。强制测试先行的 RED→GREEN→REFACTOR 循环。不用于规格编写、设计决策或纯文档修改。
在车载软件工作项（ECU、域控、车载服务、整车平台）的规格、设计、实现或评审中使用，涉及功能安全/ASIL、车载 SOA 服务、DTC/诊断、整车启动/休眠/唤醒、SELinux 或跨 ECU 协同时。只承载车载专属约束；内存/实时性、通用服务接口或其他相邻领域规则由命中 description 的领域技能叠加，语言级规则见适用 `<language>-coding-standards`。
在后端/服务端工作项（HTTP/REST/GraphQL API、服务与仓库层、数据库访问、缓存、鉴权、限流、后台任务、可观测性、配置与机密、弹性容错、生产就绪）的规格、设计、实现或评审中使用，涉及接口契约、分层与依赖方向、配置与机密、错误模型、数据一致性、幂等、认证授权、依赖超时重试熔断、过载保护、优雅停机时。只承载服务端/API 领域约束；客户端/UI、行业专属服务或其他相邻领域规则由命中 description 的领域技能叠加，语言级规则见适用 `<language>-coding-standards`。
在编写、修改或评审 C 代码（.c 源文件、.h 头文件、C 单元测试、C ABI 边界）时使用。提供指针所有权、手动内存与资源释放、缓冲区容量、整数转换、宏、头文件、错误返回的具体规则与正反例。只适用于 C 语言；其他语言或 C++ 代码使用对应语言自己的 coding-standards 技能。
在需要为某种编程语言新建或修订 coding-standards 技能时使用：把团队内部编码规范文档转化为符合 DevFlow 形态的 <language>-coding-standards 技能，或把新的团队规则并入既有语言技能。不用于编写业务代码或直接做代码评审。
| name | embedded-development |
| description | 在嵌入式工作项（固件、驱动、HAL、RTOS 任务、中断处理、资源受限服务）的规格、设计、实现或评审中使用，涉及内存预算、中断上下文、实时性、硬件交互、资源生命周期或目标平台差异时。只承载嵌入式领域约束；语言级规则见适用 `<language>-coding-standards`，更专门的业务/行业领域约束由命中 description 的领域技能叠加。 |
嵌入式约束的共同点：违反时不报错，只在目标机上间歇性地坏。所以这些约束必须前置到规格和设计——在 spec 里有阈值、在 design 里有策略、在测试里有证据，而不是在 code review 时碰运气发现。本技能按维度给出"在哪个阶段定什么、实现红线是什么、用什么证据验证"，每条红线尽量配最小正反例。语言级写法见适用 <language>-coding-standards，本文只承载嵌入式领域维度。
.data + .bss 上限）；大对象的归属（栈上限、静态池、堆）。/* ❌ 运行期热路径里 malloc：碎片化 + 不确定延迟 + 失败难处理 */
void on_frame(const uint8_t *p, size_t n) {
uint8_t *tmp = malloc(n); /* 周期性调用，堆碎片在现场累积 */
...
free(tmp);
}
/* ✅ 预分配静态/池缓冲，运行期只借用，容量是编译期上界 */
static uint8_t s_frame_buf[MAX_FRAME];
void on_frame(const uint8_t *p, size_t n) {
if (n > sizeof(s_frame_buf)) return ERR_TOO_LARGE; /* 显式上界 */
...
}
/* ❌ ISR 里拿锁/打日志/算一大坨：阻塞中断 = 现场死机或丢中断 */
void ADC_IRQHandler(void) {
pthread_mutex_lock(&g_lock); /* 中断里阻塞 */
log_info("adc=%d", read_adc()); /* 间接阻塞 + 重入 */
process_and_filter(read_adc()); /* 长计算 */
}
/* ✅ 最小采集 + 入队 + 通知，处理搬到任务上下文 */
void ADC_IRQHandler(void) {
uint16_t v = ADC->DR; /* 采集 */
ringbuf_push_isr(&g_adc_q, v); /* 无锁/关中断窗口极短的入队 */
task_notify_from_isr(g_adc_task); /* 通知任务 */
}
volatile 不是同步手段（它只阻止编译器优化，不保证原子性和顺序）——volatile 只用于硬件寄存器映射。/* ❌ 用 volatile 当“线程安全”：读-改-写仍可能被打断，多字节不原子 */
volatile uint32_t g_count;
g_count++; /* 非原子：ISR 与任务竞态丢更新 */
/* ✅ 原子量或临界区 */
atomic_uint_least32_t g_count;
atomic_fetch_add(&g_count, 1);
devflow-specify），含测量环境与百分位。/* ❌ 裸忙等：硬件不就绪时永久挂死，无失败路径 */
while (!(UART->SR & TXE)) ;
/* ✅ 带超时与失败返回 */
uint32_t deadline = now_ms() + TX_TIMEOUT_MS;
while (!(UART->SR & TXE)) {
if (time_after(now_ms(), deadline)) return ERR_TX_TIMEOUT;
}
modify（走 devflow-specify 的基线纪律），列出已知消费者。#pragma pack 的结构体直接 memcpy 网络数据。| 层级 | 覆盖什么 | 注意 |
|---|---|---|
| host 单测（fake HAL） | 业务逻辑、协议解析、状态机、错误路径 | 主力层；fake 行为必须忠于硬件契约 |
| 仿真/SIL | 时序相关逻辑、多任务交互 | 仿真器版本与配置记录在案 |
| target/HIL | 硬件交互、实时性测量、功耗 | NFR 的 Response Measure 在这层闭环 |
devflow-review）：本文件各维度的"证据"项就是检查清单；适用维度无证据且无 N/A 理由 → critical。| 话术 | 现实 |
|---|---|
| 「目标板上应该不会触发」 | 平台假设要么有 datasheet/测量证据，要么按会触发设计 |
| 「中断里就调这一次，没事」 | 中断上下文规则不按概率豁免；一次阻塞就是一次现场死机 |
| 「泄漏很小，重启就好」 | 长生命周期设备没有"重启就好"；泄漏 = critical |
| 「volatile 加上就线程安全了」 | volatile 不提供原子性与顺序；该用原子量或临界区 |
| 「实时性最后在板子上调」 | deadline 是设计输入不是调试输出；阈值前置到 QAS |
volatile 仅用于寄存器