审查技能库（中）：硬件与系统安全
下面是本文的整体结构导览：
#mermaid-svg-sMfLoHjaIcbJfdmn{font-family:"trebuchet ms",verdana,arial,sans-serif;font-size:16px;fill:#333;}@keyframes edge-animation-frame{from{stroke-dashoffset:0;}}@keyframes dash{to{stroke-dashoffset:0;}}#mermaid-svg-sMfLoHjaIcbJfdmn .edge-animation-slow{stroke-dasharray:9,5!important;stroke-dashoffset:900;animation:dash 50s linear infinite;stroke-linecap:round;}#mermaid-svg-sMfLoHjaIcbJfdmn .edge-animation-fast{stroke-dasharray:9,5!important;stroke-dashoffset:900;animation:dash 20s linear infinite;stroke-linecap:round;}#mermaid-svg-sMfLoHjaIcbJfdmn .error-icon{fill:#552222;}#mermaid-svg-sMfLoHjaIcbJfdmn .error-text{fill:#552222;stroke:#552222;}#mermaid-svg-sMfLoHjaIcbJfdmn .edge-thickness-normal{stroke-width:1px;}#mermaid-svg-sMfLoHjaIcbJfdmn .edge-thickness-thick{stroke-width:3.5px;}#mermaid-svg-sMfLoHjaIcbJfdmn .edge-pattern-solid{stroke-dasharray:0;}#mermaid-svg-sMfLoHjaIcbJfdmn .edge-thickness-invisible{stroke-width:0;fill:none;}#mermaid-svg-sMfLoHjaIcbJfdmn .edge-pattern-dashed{stroke-dasharray:3;}#mermaid-svg-sMfLoHjaIcbJfdmn .edge-pattern-dotted{stroke-dasharray:2;}#mermaid-svg-sMfLoHjaIcbJfdmn .marker{fill:#333333;stroke:#333333;}#mermaid-svg-sMfLoHjaIcbJfdmn .marker.cross{stroke:#333333;}#mermaid-svg-sMfLoHjaIcbJfdmn svg{font-family:"trebuchet ms",verdana,arial,sans-serif;font-size:16px;}#mermaid-svg-sMfLoHjaIcbJfdmn p{margin:0;}#mermaid-svg-sMfLoHjaIcbJfdmn .label{font-family:"trebuchet ms",verdana,arial,sans-serif;color:#333;}#mermaid-svg-sMfLoHjaIcbJfdmn .cluster-label text{fill:#333;}#mermaid-svg-sMfLoHjaIcbJfdmn .cluster-label span{color:#333;}#mermaid-svg-sMfLoHjaIcbJfdmn .cluster-label span p{background-color:transparent;}#mermaid-svg-sMfLoHjaIcbJfdmn .label text,#mermaid-svg-sMfLoHjaIcbJfdmn span{fill:#333;color:#333;}#mermaid-svg-sMfLoHjaIcbJfdmn .node rect,#mermaid-svg-sMfLoHjaIcbJfdmn .node circle,#mermaid-svg-sMfLoHjaIcbJfdmn .node ellipse,#mermaid-svg-sMfLoHjaIcbJfdmn .node polygon,#mermaid-svg-sMfLoHjaIcbJfdmn .node path{fill:#ECECFF;stroke:#9370DB;stroke-width:1px;}#mermaid-svg-sMfLoHjaIcbJfdmn .rough-node .label text,#mermaid-svg-sMfLoHjaIcbJfdmn .node .label text,#mermaid-svg-sMfLoHjaIcbJfdmn .image-shape .label,#mermaid-svg-sMfLoHjaIcbJfdmn .icon-shape .label{text-anchor:middle;}#mermaid-svg-sMfLoHjaIcbJfdmn .node .katex path{fill:#000;stroke:#000;stroke-width:1px;}#mermaid-svg-sMfLoHjaIcbJfdmn .rough-node .label,#mermaid-svg-sMfLoHjaIcbJfdmn .node .label,#mermaid-svg-sMfLoHjaIcbJfdmn .image-shape .label,#mermaid-svg-sMfLoHjaIcbJfdmn .icon-shape .label{text-align:center;}#mermaid-svg-sMfLoHjaIcbJfdmn .node.clickable{cursor:pointer;}#mermaid-svg-sMfLoHjaIcbJfdmn .root .anchor path{fill:#333333!important;stroke-width:0;stroke:#333333;}#mermaid-svg-sMfLoHjaIcbJfdmn .arrowheadPath{fill:#333333;}#mermaid-svg-sMfLoHjaIcbJfdmn .edgePath .path{stroke:#333333;stroke-width:2.0px;}#mermaid-svg-sMfLoHjaIcbJfdmn .flowchart-link{stroke:#333333;fill:none;}#mermaid-svg-sMfLoHjaIcbJfdmn .edgeLabel{background-color:rgba(232,232,232, 0.8);text-align:center;}#mermaid-svg-sMfLoHjaIcbJfdmn .edgeLabel p{background-color:rgba(232,232,232, 0.8);}#mermaid-svg-sMfLoHjaIcbJfdmn .edgeLabel rect{opacity:0.5;background-color:rgba(232,232,232, 0.8);fill:rgba(232,232,232, 0.8);}#mermaid-svg-sMfLoHjaIcbJfdmn .labelBkg{background-color:rgba(232, 232, 232, 0.5);}#mermaid-svg-sMfLoHjaIcbJfdmn .cluster rect{fill:#ffffde;stroke:#aaaa33;stroke-width:1px;}#mermaid-svg-sMfLoHjaIcbJfdmn .cluster text{fill:#333;}#mermaid-svg-sMfLoHjaIcbJfdmn .cluster span{color:#333;}#mermaid-svg-sMfLoHjaIcbJfdmn div.mermaidTooltip{position:absolute;text-align:center;max-width:200px;padding:2px;font-family:"trebuchet ms",verdana,arial,sans-serif;font-size:12px;background:hsl(80, 100%, 96.2745098039%);border:1px solid #aaaa33;border-radius:2px;pointer-events:none;z-index:100;}#mermaid-svg-sMfLoHjaIcbJfdmn .flowchartTitleText{text-anchor:middle;font-size:18px;fill:#333;}#mermaid-svg-sMfLoHjaIcbJfdmn rect.text{fill:none;stroke-width:0;}#mermaid-svg-sMfLoHjaIcbJfdmn .icon-shape,#mermaid-svg-sMfLoHjaIcbJfdmn .image-shape{background-color:rgba(232,232,232, 0.8);text-align:center;}#mermaid-svg-sMfLoHjaIcbJfdmn .icon-shape p,#mermaid-svg-sMfLoHjaIcbJfdmn .image-shape p{background-color:rgba(232,232,232, 0.8);padding:2px;}#mermaid-svg-sMfLoHjaIcbJfdmn .icon-shape .label rect,#mermaid-svg-sMfLoHjaIcbJfdmn .image-shape .label rect{opacity:0.5;background-color:rgba(232,232,232, 0.8);fill:rgba(232,232,232, 0.8);}#mermaid-svg-sMfLoHjaIcbJfdmn .label-icon{display:inline-block;height:1em;overflow:visible;vertical-align:-0.125em;}#mermaid-svg-sMfLoHjaIcbJfdmn .node .label-icon path{fill:currentColor;stroke:revert;stroke-width:revert;}#mermaid-svg-sMfLoHjaIcbJfdmn :root{--mermaid-font-family:"trebuchet ms",verdana,arial,sans-serif;} 硬件与系统安全五件套
interrupt_check
中断安全审查
dma_cache_check
DMA与Cache一致性
peripheral_conflict_check
外设冲突审查
rtos_task_check
RTOS任务与同步
watchdog_timer_check
看门狗与定时器
中断阻塞/共享变量/优先级
栈内存DMA/Cache刷新/对齐
寄存器volatile/GPIO复用/时钟
死锁/反转/信号量泄漏/栈溢出
超时/多任务喂狗/定时器溢出
中断、DMA、外设、RTOS、看门狗------这是嵌入式最硬核的五个领域，也是通用AI最容易翻车的五块雷区。每一个，都是死机级。
一、为什么"硬件与系统"是AI最难啃的骨头？
上一篇讲了内存安全四件套，那是第一道防线。但内存问题往往在"代码写得不对"时暴露，而这一篇要讲的硬件与系统安全，问题藏在"AI根本不知道硬件怎么工作"里。
回顾AI评审8层扫描清单，硬件与系统安全占据了4层：
| 层级 | 检查重点 | 对应技能 | 风险等级 |
|---|---|---|---|
| 第2层 | 中断与并发安全 | interrupt_check | 🔴 致命 |
| 第3层 | DMA与Cache一致性 | dma_cache_check | 🔴 致命 |
| 第4层 | RTOS任务与死锁 | rtos_task_check | 🔴 致命 |
| 第7层 | 外设与寄存器操作 | peripheral_conflict_check | 🔴 致命 |
| （系统） | 看门狗与定时器 | watchdog_timer_check | 🔴 致命 |
这5个技能，49项检查，全部从致命级起步 。为什么？因为它们有一个共同特征：违反它们不会立刻报错，但会在最不该出问题的时候突然死机------运行三天后、OTA升级时、设备部署到现场后。
通用AI为什么会在这5个领域集体翻车？三个根本原因：
- 寄存器是"魔法" ：AI能写好
memcpy，但不知道寄存器必须volatile，否则编译器优化掉硬件访问 - 并发是"玄学"：AI不知道中断会在检查和使用之间篡改变量，不知道两个任务会互相死锁
- 硬件是"物理"：AI不知道GPIO复用冲突、不知道看门狗超时、不知道定时器会溢出回绕
这一篇，我们逐个拆解这5个技能。
二、interrupt_check：中断安全审查
定位：AI评审第2层（中断与并发安全），10项检查，死机级。
中断是嵌入式里"优先级最高"的代码------它可以随时打断主程序。而通用AI最常犯的错，就是把主程序的思想搬进中断。
2.1 三大致命：中断里做了不该做的事
① 中断中死循环/长延时
c
// ❌ 致命：中断中死等
void IRAM_ATTR uart_isr_handler(void *arg) {
while (uart_ll_get_rxfifo_len(uart) == 0) { // 死等数据
// 卡在这里，系统死机
}
uint8_t byte = uart_ll_read_rxfifo(uart);
}
// ❌ 致命：中断中延时
void TIM2_IRQHandler(void) {
HAL_Delay(10); // 延时会阻塞整个系统
}
// ✅ 正确：中断只做最少操作，耗时逻辑放主循环
volatile bool data_ready = false;
void IRAM_ATTR uart_isr_handler(void *arg) {
if (uart_ll_get_rxfifo_len(uart) > 0) {
rx_byte = uart_ll_read_rxfifo(uart);
data_ready = true; // 只设置标志
}
uart_clear_intr_status(UART_NUM, UART_RXFIFO_FULL_INT_CLR);
}中断里一个while循环，就可能让整个系统"神秘卡死"------看门狗复位、RTOS调度失效，还极难复现。
② RTOS中断中调用非FromISR接口
c
// ❌ 致命：中断中调用普通API
void IRAM_ATTR timer_isr(void *arg) {
xSemaphoreGive(sem); // 错！应该用GiveFromISR
xQueueSend(queue, &data, 0); // 错！应该用SendFromISR
}
// ✅ 正确：使用FromISR版本 + 触发任务切换
void IRAM_ATTR timer_isr(void *arg) {
BaseType_t xHigherPriorityTaskWoken = pdFALSE;
xSemaphoreGiveFromISR(sem, &xHigherPriorityTaskWoken);
xQueueSendFromISR(queue, &data, &xHigherPriorityTaskWoken);
if (xHigherPriorityTaskWoken) {
portYIELD_FROM_ISR(); // 触发任务切换
}
}这是FreeRTOS最经典的陷阱：中断上下文里必须用FromISR结尾的API。通用AI很容易写出普通版本，运行起来随机崩溃。
③ 中断标志未清除
c
// ❌ 致命：忘记清除中断标志，反复触发 → 中断风暴
void EXTI0_IRQHandler(void) {
process_gpio_event();
// 没清标志，退出后立刻再进，系统卡死
}
// ✅ 正确：先清标志再处理
void EXTI0_IRQHandler(void) {
if (__HAL_GPIO_EXTI_GET_IT(GPIO_PIN_0) != RESET) {
__HAL_GPIO_EXTI_CLEAR_IT(GPIO_PIN_0); // 先清标志
process_gpio_event();
}
}中断风暴是嵌入式"看起来像死机"的经典元凶------CPU其实在疯狂进中断，只是永远处理不完。
2.2 共享变量：并发安全的两个铁律
④ 共享变量必须volatile
c
// ❌ 高危：缺少volatile，编译器缓存到寄存器
bool data_ready = false;
void IRAM_ATTR isr_handler(void) {
data_ready = true; // 可能没写回内存
}
void app_main(void) {
while (!data_ready) { // 可能永远读到旧值，死循环
}
}
// ✅ 正确：volatile强制每次从内存读写
volatile bool data_ready = false;通用AI最不理解的一点：编译器会"优化"掉看似多余的读写 。没有volatile，主循环可能永远看不到中断里改的变量。
⑤ 多字节变量读写必须原子
c
// ❌ 高危：counter++是非原子操作（读-改-写）
volatile uint32_t counter = 0;
void IRAM_ATTR isr_handler(void) {
counter++; // 主循环可能读到中间值
}
// ✅ 正确：关中断保护或原子操作
uint32_t get_counter_safe(void) {
portENTER_CRITICAL(&spinlock);
uint32_t val = counter;
portEXIT_CRITICAL(&spinlock);
return val;
}
// 或使用C11原子操作
atomic_uint_fast32_t counter = 0;
atomic_fetch_add(&counter, 1);32位MCU上，counter++并不是一条指令，而是"读-改-写"三步。中断插在中间，就会读到半更新的值。
2.3 优先级配置：数字越小越紧急
c
// ❌ 错误：高频UART中断优先级(5)反而低于低频定时器(2)
HAL_NVIC_SetPriority(USART1_IRQn, 5, 0); // UART优先级5
HAL_NVIC_SetPriority(TIM2_IRQn, 2, 0); // Timer优先级2（更高）
// UART中断可能被Timer打断，导致数据丢失
// ✅ 正确：高频/紧急中断配置更高优先级
HAL_NVIC_SetPriority(USART1_IRQn, 2, 0); // UART优先级2（高）
HAL_NVIC_SetPriority(TIM2_IRQn, 5, 0); // Timer优先级5（低）强制规范：中断执行时间<50us；中断里禁止死循环、延时、printf、malloc；共享变量必须volatile；RTOS中断必须用FromISR。
中断安全审查的完整检查流程如下：
#mermaid-svg-KW1UY1NjLSKPfOO7{font-family:"trebuchet ms",verdana,arial,sans-serif;font-size:16px;fill:#333;}@keyframes edge-animation-frame{from{stroke-dashoffset:0;}}@keyframes dash{to{stroke-dashoffset:0;}}#mermaid-svg-KW1UY1NjLSKPfOO7 .edge-animation-slow{stroke-dasharray:9,5!important;stroke-dashoffset:900;animation:dash 50s linear infinite;stroke-linecap:round;}#mermaid-svg-KW1UY1NjLSKPfOO7 .edge-animation-fast{stroke-dasharray:9,5!important;stroke-dashoffset:900;animation:dash 20s linear infinite;stroke-linecap:round;}#mermaid-svg-KW1UY1NjLSKPfOO7 .error-icon{fill:#552222;}#mermaid-svg-KW1UY1NjLSKPfOO7 .error-text{fill:#552222;stroke:#552222;}#mermaid-svg-KW1UY1NjLSKPfOO7 .edge-thickness-normal{stroke-width:1px;}#mermaid-svg-KW1UY1NjLSKPfOO7 .edge-thickness-thick{stroke-width:3.5px;}#mermaid-svg-KW1UY1NjLSKPfOO7 .edge-pattern-solid{stroke-dasharray:0;}#mermaid-svg-KW1UY1NjLSKPfOO7 .edge-thickness-invisible{stroke-width:0;fill:none;}#mermaid-svg-KW1UY1NjLSKPfOO7 .edge-pattern-dashed{stroke-dasharray:3;}#mermaid-svg-KW1UY1NjLSKPfOO7 .edge-pattern-dotted{stroke-dasharray:2;}#mermaid-svg-KW1UY1NjLSKPfOO7 .marker{fill:#333333;stroke:#333333;}#mermaid-svg-KW1UY1NjLSKPfOO7 .marker.cross{stroke:#333333;}#mermaid-svg-KW1UY1NjLSKPfOO7 svg{font-family:"trebuchet ms",verdana,arial,sans-serif;font-size:16px;}#mermaid-svg-KW1UY1NjLSKPfOO7 p{margin:0;}#mermaid-svg-KW1UY1NjLSKPfOO7 .label{font-family:"trebuchet ms",verdana,arial,sans-serif;color:#333;}#mermaid-svg-KW1UY1NjLSKPfOO7 .cluster-label text{fill:#333;}#mermaid-svg-KW1UY1NjLSKPfOO7 .cluster-label span{color:#333;}#mermaid-svg-KW1UY1NjLSKPfOO7 .cluster-label span p{background-color:transparent;}#mermaid-svg-KW1UY1NjLSKPfOO7 .label text,#mermaid-svg-KW1UY1NjLSKPfOO7 span{fill:#333;color:#333;}#mermaid-svg-KW1UY1NjLSKPfOO7 .node rect,#mermaid-svg-KW1UY1NjLSKPfOO7 .node circle,#mermaid-svg-KW1UY1NjLSKPfOO7 .node ellipse,#mermaid-svg-KW1UY1NjLSKPfOO7 .node polygon,#mermaid-svg-KW1UY1NjLSKPfOO7 .node path{fill:#ECECFF;stroke:#9370DB;stroke-width:1px;}#mermaid-svg-KW1UY1NjLSKPfOO7 .rough-node .label text,#mermaid-svg-KW1UY1NjLSKPfOO7 .node .label text,#mermaid-svg-KW1UY1NjLSKPfOO7 .image-shape .label,#mermaid-svg-KW1UY1NjLSKPfOO7 .icon-shape .label{text-anchor:middle;}#mermaid-svg-KW1UY1NjLSKPfOO7 .node .katex path{fill:#000;stroke:#000;stroke-width:1px;}#mermaid-svg-KW1UY1NjLSKPfOO7 .rough-node .label,#mermaid-svg-KW1UY1NjLSKPfOO7 .node .label,#mermaid-svg-KW1UY1NjLSKPfOO7 .image-shape .label,#mermaid-svg-KW1UY1NjLSKPfOO7 .icon-shape .label{text-align:center;}#mermaid-svg-KW1UY1NjLSKPfOO7 .node.clickable{cursor:pointer;}#mermaid-svg-KW1UY1NjLSKPfOO7 .root .anchor path{fill:#333333!important;stroke-width:0;stroke:#333333;}#mermaid-svg-KW1UY1NjLSKPfOO7 .arrowheadPath{fill:#333333;}#mermaid-svg-KW1UY1NjLSKPfOO7 .edgePath .path{stroke:#333333;stroke-width:2.0px;}#mermaid-svg-KW1UY1NjLSKPfOO7 .flowchart-link{stroke:#333333;fill:none;}#mermaid-svg-KW1UY1NjLSKPfOO7 .edgeLabel{background-color:rgba(232,232,232, 0.8);text-align:center;}#mermaid-svg-KW1UY1NjLSKPfOO7 .edgeLabel p{background-color:rgba(232,232,232, 0.8);}#mermaid-svg-KW1UY1NjLSKPfOO7 .edgeLabel rect{opacity:0.5;background-color:rgba(232,232,232, 0.8);fill:rgba(232,232,232, 0.8);}#mermaid-svg-KW1UY1NjLSKPfOO7 .labelBkg{background-color:rgba(232, 232, 232, 0.5);}#mermaid-svg-KW1UY1NjLSKPfOO7 .cluster rect{fill:#ffffde;stroke:#aaaa33;stroke-width:1px;}#mermaid-svg-KW1UY1NjLSKPfOO7 .cluster text{fill:#333;}#mermaid-svg-KW1UY1NjLSKPfOO7 .cluster span{color:#333;}#mermaid-svg-KW1UY1NjLSKPfOO7 div.mermaidTooltip{position:absolute;text-align:center;max-width:200px;padding:2px;font-family:"trebuchet ms",verdana,arial,sans-serif;font-size:12px;background:hsl(80, 100%, 96.2745098039%);border:1px solid #aaaa33;border-radius:2px;pointer-events:none;z-index:100;}#mermaid-svg-KW1UY1NjLSKPfOO7 .flowchartTitleText{text-anchor:middle;font-size:18px;fill:#333;}#mermaid-svg-KW1UY1NjLSKPfOO7 rect.text{fill:none;stroke-width:0;}#mermaid-svg-KW1UY1NjLSKPfOO7 .icon-shape,#mermaid-svg-KW1UY1NjLSKPfOO7 .image-shape{background-color:rgba(232,232,232, 0.8);text-align:center;}#mermaid-svg-KW1UY1NjLSKPfOO7 .icon-shape p,#mermaid-svg-KW1UY1NjLSKPfOO7 .image-shape p{background-color:rgba(232,232,232, 0.8);padding:2px;}#mermaid-svg-KW1UY1NjLSKPfOO7 .icon-shape .label rect,#mermaid-svg-KW1UY1NjLSKPfOO7 .image-shape .label rect{opacity:0.5;background-color:rgba(232,232,232, 0.8);fill:rgba(232,232,232, 0.8);}#mermaid-svg-KW1UY1NjLSKPfOO7 .label-icon{display:inline-block;height:1em;overflow:visible;vertical-align:-0.125em;}#mermaid-svg-KW1UY1NjLSKPfOO7 .node .label-icon path{fill:currentColor;stroke:revert;stroke-width:revert;}#mermaid-svg-KW1UY1NjLSKPfOO7 :root{--mermaid-font-family:"trebuchet ms",verdana,arial,sans-serif;} 死循环/长延时
调用普通API
未清中断标志
共享变量无volatile
多字节非原子操作
优先级配置错误
中断触发
中断里做了什么？
❌ 致命
系统卡死
❌ 致命
随机崩溃
❌ 致命
中断风暴
❌ 高危
主循环读旧值
❌ 高危
读到半更新值
❌ 错误
数据丢失
✅ 强制规范
执行时间<50us
FromISR接口
volatile+原子
三、dma_cache_check：DMA与Cache一致性审查
定位 ：AI评审第3层，7项检查，死机级。这是嵌入式里"玄学"程度最高的一类问题------不是代码逻辑错，而是数据不同步。
3.1 DMA的四大铁律
① DMA缓冲区不能在栈上
c
// ❌ 致命：栈上分配DMA缓冲区
void uart_dma_receive(void) {
uint8_t rx_buf[256]; // 函数返回后栈被回收，DMA还在写！
uart_enable_dma(UART1, rx_buf, 256);
uart_start_dma(UART1);
}
// ✅ 正确：全局/静态或heap_caps_malloc
static uint8_t rx_buf[256]; // .bss段，不会释放DMA是硬件搬运工，它不管你的C函数是否已经返回。栈内存随函数返回被回收，DMA却还在往里面写------这是"随机死机"的头号元凶。
② Cache必须手动刷新
c
// ❌ 致命：开启Cache后未做Clean/Invalidate
// DMA写入缓冲区后，CPU读到的可能是Cache里的旧数据
// ✅ 正确：DMA前Clean，DMA后Invalidate
esp_dma_clean_buffer(rx_buf, len); // 发送前：清Cache写回
esp_dma_invalidate_buffer(rx_buf, len); // 接收后：失效Cache重读这是ESP32等带Cache的MCU特有的大坑。DMA绕过Cache直接访问内存，CPU走Cache，两边看到的数据不一致。
③ 地址和长度必须对齐
- 缓冲区地址通常要求4字节（甚至32字节）对齐
- DMA传输长度需符合外设要求
- 内存区域必须匹配（ESP32 DMA只能访问特定RAM区域）
3.2 一条原则贯穿
dma_cache_check的核心检查逻辑，是把"DMA用栈内存"、"Cache没刷新"、"地址没对齐"、"长度越界"这四类问题做成检查项，每项都是错误示例+正确示例+原理+后果。
这个技能只有7项，但每一项都是嵌入式DMA最容易踩的坑，值得单独一个技能。
DMA与Cache一致性问题的根源与解决路径：
#mermaid-svg-VuYfgCWgnmHzuFiN{font-family:"trebuchet ms",verdana,arial,sans-serif;font-size:16px;fill:#333;}@keyframes edge-animation-frame{from{stroke-dashoffset:0;}}@keyframes dash{to{stroke-dashoffset:0;}}#mermaid-svg-VuYfgCWgnmHzuFiN .edge-animation-slow{stroke-dasharray:9,5!important;stroke-dashoffset:900;animation:dash 50s linear infinite;stroke-linecap:round;}#mermaid-svg-VuYfgCWgnmHzuFiN .edge-animation-fast{stroke-dasharray:9,5!important;stroke-dashoffset:900;animation:dash 20s linear infinite;stroke-linecap:round;}#mermaid-svg-VuYfgCWgnmHzuFiN .error-icon{fill:#552222;}#mermaid-svg-VuYfgCWgnmHzuFiN .error-text{fill:#552222;stroke:#552222;}#mermaid-svg-VuYfgCWgnmHzuFiN .edge-thickness-normal{stroke-width:1px;}#mermaid-svg-VuYfgCWgnmHzuFiN .edge-thickness-thick{stroke-width:3.5px;}#mermaid-svg-VuYfgCWgnmHzuFiN .edge-pattern-solid{stroke-dasharray:0;}#mermaid-svg-VuYfgCWgnmHzuFiN .edge-thickness-invisible{stroke-width:0;fill:none;}#mermaid-svg-VuYfgCWgnmHzuFiN .edge-pattern-dashed{stroke-dasharray:3;}#mermaid-svg-VuYfgCWgnmHzuFiN .edge-pattern-dotted{stroke-dasharray:2;}#mermaid-svg-VuYfgCWgnmHzuFiN .marker{fill:#333333;stroke:#333333;}#mermaid-svg-VuYfgCWgnmHzuFiN .marker.cross{stroke:#333333;}#mermaid-svg-VuYfgCWgnmHzuFiN svg{font-family:"trebuchet ms",verdana,arial,sans-serif;font-size:16px;}#mermaid-svg-VuYfgCWgnmHzuFiN p{margin:0;}#mermaid-svg-VuYfgCWgnmHzuFiN .label{font-family:"trebuchet ms",verdana,arial,sans-serif;color:#333;}#mermaid-svg-VuYfgCWgnmHzuFiN .cluster-label text{fill:#333;}#mermaid-svg-VuYfgCWgnmHzuFiN .cluster-label span{color:#333;}#mermaid-svg-VuYfgCWgnmHzuFiN .cluster-label span p{background-color:transparent;}#mermaid-svg-VuYfgCWgnmHzuFiN .label text,#mermaid-svg-VuYfgCWgnmHzuFiN span{fill:#333;color:#333;}#mermaid-svg-VuYfgCWgnmHzuFiN .node rect,#mermaid-svg-VuYfgCWgnmHzuFiN .node circle,#mermaid-svg-VuYfgCWgnmHzuFiN .node ellipse,#mermaid-svg-VuYfgCWgnmHzuFiN .node polygon,#mermaid-svg-VuYfgCWgnmHzuFiN .node path{fill:#ECECFF;stroke:#9370DB;stroke-width:1px;}#mermaid-svg-VuYfgCWgnmHzuFiN .rough-node .label text,#mermaid-svg-VuYfgCWgnmHzuFiN .node .label text,#mermaid-svg-VuYfgCWgnmHzuFiN .image-shape .label,#mermaid-svg-VuYfgCWgnmHzuFiN .icon-shape .label{text-anchor:middle;}#mermaid-svg-VuYfgCWgnmHzuFiN .node .katex path{fill:#000;stroke:#000;stroke-width:1px;}#mermaid-svg-VuYfgCWgnmHzuFiN .rough-node .label,#mermaid-svg-VuYfgCWgnmHzuFiN .node .label,#mermaid-svg-VuYfgCWgnmHzuFiN .image-shape .label,#mermaid-svg-VuYfgCWgnmHzuFiN .icon-shape .label{text-align:center;}#mermaid-svg-VuYfgCWgnmHzuFiN .node.clickable{cursor:pointer;}#mermaid-svg-VuYfgCWgnmHzuFiN .root .anchor path{fill:#333333!important;stroke-width:0;stroke:#333333;}#mermaid-svg-VuYfgCWgnmHzuFiN .arrowheadPath{fill:#333333;}#mermaid-svg-VuYfgCWgnmHzuFiN .edgePath .path{stroke:#333333;stroke-width:2.0px;}#mermaid-svg-VuYfgCWgnmHzuFiN .flowchart-link{stroke:#333333;fill:none;}#mermaid-svg-VuYfgCWgnmHzuFiN .edgeLabel{background-color:rgba(232,232,232, 0.8);text-align:center;}#mermaid-svg-VuYfgCWgnmHzuFiN .edgeLabel p{background-color:rgba(232,232,232, 0.8);}#mermaid-svg-VuYfgCWgnmHzuFiN .edgeLabel rect{opacity:0.5;background-color:rgba(232,232,232, 0.8);fill:rgba(232,232,232, 0.8);}#mermaid-svg-VuYfgCWgnmHzuFiN .labelBkg{background-color:rgba(232, 232, 232, 0.5);}#mermaid-svg-VuYfgCWgnmHzuFiN .cluster rect{fill:#ffffde;stroke:#aaaa33;stroke-width:1px;}#mermaid-svg-VuYfgCWgnmHzuFiN .cluster text{fill:#333;}#mermaid-svg-VuYfgCWgnmHzuFiN .cluster span{color:#333;}#mermaid-svg-VuYfgCWgnmHzuFiN div.mermaidTooltip{position:absolute;text-align:center;max-width:200px;padding:2px;font-family:"trebuchet ms",verdana,arial,sans-serif;font-size:12px;background:hsl(80, 100%, 96.2745098039%);border:1px solid #aaaa33;border-radius:2px;pointer-events:none;z-index:100;}#mermaid-svg-VuYfgCWgnmHzuFiN .flowchartTitleText{text-anchor:middle;font-size:18px;fill:#333;}#mermaid-svg-VuYfgCWgnmHzuFiN rect.text{fill:none;stroke-width:0;}#mermaid-svg-VuYfgCWgnmHzuFiN .icon-shape,#mermaid-svg-VuYfgCWgnmHzuFiN .image-shape{background-color:rgba(232,232,232, 0.8);text-align:center;}#mermaid-svg-VuYfgCWgnmHzuFiN .icon-shape p,#mermaid-svg-VuYfgCWgnmHzuFiN .image-shape p{background-color:rgba(232,232,232, 0.8);padding:2px;}#mermaid-svg-VuYfgCWgnmHzuFiN .icon-shape .label rect,#mermaid-svg-VuYfgCWgnmHzuFiN .image-shape .label rect{opacity:0.5;background-color:rgba(232,232,232, 0.8);fill:rgba(232,232,232, 0.8);}#mermaid-svg-VuYfgCWgnmHzuFiN .label-icon{display:inline-block;height:1em;overflow:visible;vertical-align:-0.125em;}#mermaid-svg-VuYfgCWgnmHzuFiN .node .label-icon path{fill:currentColor;stroke:revert;stroke-width:revert;}#mermaid-svg-VuYfgCWgnmHzuFiN :root{--mermaid-font-family:"trebuchet ms",verdana,arial,sans-serif;} DMA控制器
CPU视角
数据不一致！
数据不一致！
✅ 解决
✅ 预防
Cache缓存
直接访问内存
共享内存缓冲区
Cache未刷新
DMA前Clean
DMA后Invalidate
缓冲区放全局/静态
地址对齐
四、peripheral_conflict_check：外设冲突审查
定位：AI评审第7层（外设配置与寄存器操作），10项检查，硬件级。
这个技能解决的核心问题是：AI写的硬件初始化代码，是不是真的能在这个芯片上跑？
4.1 寄存器必须volatile
c
// ❌ 致命：寄存器未声明volatile
typedef struct {
uint32_t CR1; // 缺少volatile
uint32_t SR;
uint32_t DR;
} UART_TypeDef;
void uart_send(uint8_t byte) {
while (!(uart->SR & 0x80)); // 编译器可能优化掉这个循环！
uart->DR = byte;
}
// ✅ 正确：volatile确保每次都读寄存器
typedef struct {
volatile uint32_t CR1;
volatile uint32_t SR;
volatile uint32_t DR;
} UART_TypeDef;通用AI写外设寄存器最大的坑：它不知道寄存器是"会变的"。状态寄存器（SR）的值是硬件改的，不加volatile，编译器可能认为"SR没变过"而优化掉等待循环。
4.2 GPIO复用冲突
c
// ❌ 致命：PA9既配成UART TX，又配成GPIO输出
GPIO_InitStruct.Pin = GPIO_PIN_9;
GPIO_InitStruct.Mode = GPIO_MODE_AF_PP; // 先配UART
HAL_GPIO_Init(GPIOA, &GPIO_InitStruct);
GPIO_InitStruct.Mode = GPIO_MODE_OUTPUT_PP; // 又覆盖成GPIO！
HAL_GPIO_Init(GPIOA, &GPIO_InitStruct); // UART配置被覆盖
// ✅ 正确：用引脚分配表统一管理
const pin_assignment_t pin_map[] = {
{GPIOA, GPIO_PIN_9, "UART1_TX"},
{GPIOA, GPIO_PIN_10, "UART1_RX"},
{GPIOB, GPIO_PIN_0, "LED"},
};外设冲突的核心是资源唯一性------一个引脚只能有一个功能。技能里给出了引脚分配表（pin_map）的工程化方案。
4.3 初始化顺序：六步规范
技能里固化了外设初始化的标准顺序，AI照着做就不会漏：
1. 使能外设时钟（RCC）
2. 使能GPIO时钟
3. 配置GPIO复用功能
4. 配置外设寄存器
5. 使能外设
6. 配置中断（如需要）
c
// ❌ 致命：直接用UART但没使能时钟
USART1->CR1 |= USART_CR1_UE; // 访问未使能的外设！
// ✅ 正确：先时钟 → 再GPIO → 再外设
__HAL_RCC_USART1_CLK_ENABLE(); // 1.外设时钟
__HAL_RCC_GPIOA_CLK_ENABLE(); // 2.GPIO时钟
// 3.配置GPIO 4.配置寄存器 5.使能外设4.4 引脚电气特性表
技能内置了一张"引脚电气特性表"，AI配置GPIO时按表校验：
| 外设 | GPIO模式 | 速度等级 | 上拉/下拉 |
|---|---|---|---|
| I2C SDA/SCL | 开漏 | Medium | 上拉 |
| SPI MOSI/MISO/SCK | 推挽 | High/Very High | 无 |
| UART TX/RX | 推挽/输入 | Medium | 上拉 |
| ADC输入 | 模拟 | - | 无 |
| PWM输出 | 推挽 | Medium | 无 |
| 按钮输入 | 输入 | Low | 上拉/下拉 |
这些硬件知识，是通用AI最缺的。它可能把I2C配成推挽（导致通信失败），把ADC引脚配成数字IO（导致读数不准），把高速SPI配成低速GPIO（导致信号质量差）。
五、rtos_task_check：RTOS任务与同步审查
定位：AI评审第4层，10项检查，死机级。
RTOS是并发的地狱。四个最经典的问题，全部致命。
5.1 死锁：锁的顺序必须全局一致
c
// ❌ 致命：两个任务以相反顺序获取锁
// 任务A：先UART后Flash
xSemaphoreTake(mutex_uart, portMAX_DELAY);
xSemaphoreTake(mutex_flash, portMAX_DELAY);
// 任务B：先Flash后UART（顺序反了！）
xSemaphoreTake(mutex_flash, portMAX_DELAY);
xSemaphoreTake(mutex_uart, portMAX_DELAY);
// 死锁：A持UART等Flash，B持Flash等UART
// ✅ 正确：全局统一锁顺序（UART < Flash）
// ✅ 更好：所有Take设置超时，不用portMAX_DELAY
if (xSemaphoreTake(mutex_uart, pdMS_TO_TICKS(1000)) == pdTRUE) {
if (xSemaphoreTake(mutex_flash, pdMS_TO_TICKS(1000)) == pdTRUE) {
// 操作...
xSemaphoreGive(mutex_flash);
}
xSemaphoreGive(mutex_uart);
}5.2 优先级反转：用互斥锁而不是二值信号量
c
// ❌ 致命：用二值信号量保护共享资源
SemaphoreHandle_t sem = xSemaphoreCreateBinary();
// 低优先级任务持有sem，高优先级任务被阻塞
// 中优先级任务抢占 → 高优先级任务被无限延迟（实时性失效）
// ✅ 正确：用互斥锁（自动支持优先级继承）
SemaphoreHandle_t mutex = xSemaphoreCreateMutex();
// 低优先级任务持锁时临时继承高优先级任务的优先级这是RTOS最反直觉的概念：二值信号量用于同步，互斥锁用于互斥。通用AI经常混用，导致优先级反转。
5.3 信号量泄漏：Take后必须Give
c
// ❌ 致命：异常分支忘记释放信号量
void process_data(void) {
xSemaphoreTake(mutex, portMAX_DELAY);
if (data == NULL) {
return; // 忘记Give！信号量泄漏，其他任务永久阻塞
}
xSemaphoreGive(mutex);
}
// ✅ 正确：goto cleanup统一释放
void process_data(void) {
if (xSemaphoreTake(mutex, portMAX_DELAY) != pdTRUE) return;
if (data == NULL) {
ret = ESP_ERR_INVALID_ARG;
goto cleanup;
}
// 处理...
ret = ESP_OK;
cleanup:
xSemaphoreGive(mutex); // 统一释放
}5.4 任务栈：≥ 实际使用量×1.5 + 运行时监控
c
// ❌ 致命：栈大小不足，局部变量超栈
#define TASK_STACK_SIZE 1024 // 仅1KB
void complex_task(void *arg) {
char buffer[2048]; // 局部2KB，直接栈溢出！
...
}
// ✅ 正确：充足栈 + 运行时监控
#define TASK_STACK_SIZE 4096
static uint8_t buffer[2048]; // 大缓冲区移到全局
UBaseType_t stack_left = uxTaskGetStackHighWaterMark(NULL);
if (stack_left < 512) {
ESP_LOGW(TAG, "栈余量不足!");
}5.5 优先级分层规范
技能里固化了RTOS优先级分配的分层规范：
优先级20+: 看门狗任务
优先级11-15: 实时任务（高频传感器、关键控制）
优先级7-10: 高优先级任务（WiFi、BLE、关键业务）
优先级4-6: 普通业务任务
优先级1-3: 后台任务（日志、统计）
优先级0: 空闲任务RTOS任务与同步审查的四大致命问题及对策：
#mermaid-svg-0NvyeyZ8OPe14gyb{font-family:"trebuchet ms",verdana,arial,sans-serif;font-size:16px;fill:#333;}@keyframes edge-animation-frame{from{stroke-dashoffset:0;}}@keyframes dash{to{stroke-dashoffset:0;}}#mermaid-svg-0NvyeyZ8OPe14gyb .edge-animation-slow{stroke-dasharray:9,5!important;stroke-dashoffset:900;animation:dash 50s linear infinite;stroke-linecap:round;}#mermaid-svg-0NvyeyZ8OPe14gyb .edge-animation-fast{stroke-dasharray:9,5!important;stroke-dashoffset:900;animation:dash 20s linear infinite;stroke-linecap:round;}#mermaid-svg-0NvyeyZ8OPe14gyb .error-icon{fill:#552222;}#mermaid-svg-0NvyeyZ8OPe14gyb .error-text{fill:#552222;stroke:#552222;}#mermaid-svg-0NvyeyZ8OPe14gyb .edge-thickness-normal{stroke-width:1px;}#mermaid-svg-0NvyeyZ8OPe14gyb .edge-thickness-thick{stroke-width:3.5px;}#mermaid-svg-0NvyeyZ8OPe14gyb .edge-pattern-solid{stroke-dasharray:0;}#mermaid-svg-0NvyeyZ8OPe14gyb .edge-thickness-invisible{stroke-width:0;fill:none;}#mermaid-svg-0NvyeyZ8OPe14gyb .edge-pattern-dashed{stroke-dasharray:3;}#mermaid-svg-0NvyeyZ8OPe14gyb .edge-pattern-dotted{stroke-dasharray:2;}#mermaid-svg-0NvyeyZ8OPe14gyb .marker{fill:#333333;stroke:#333333;}#mermaid-svg-0NvyeyZ8OPe14gyb .marker.cross{stroke:#333333;}#mermaid-svg-0NvyeyZ8OPe14gyb svg{font-family:"trebuchet ms",verdana,arial,sans-serif;font-size:16px;}#mermaid-svg-0NvyeyZ8OPe14gyb p{margin:0;}#mermaid-svg-0NvyeyZ8OPe14gyb .label{font-family:"trebuchet ms",verdana,arial,sans-serif;color:#333;}#mermaid-svg-0NvyeyZ8OPe14gyb .cluster-label text{fill:#333;}#mermaid-svg-0NvyeyZ8OPe14gyb .cluster-label span{color:#333;}#mermaid-svg-0NvyeyZ8OPe14gyb .cluster-label span p{background-color:transparent;}#mermaid-svg-0NvyeyZ8OPe14gyb .label text,#mermaid-svg-0NvyeyZ8OPe14gyb span{fill:#333;color:#333;}#mermaid-svg-0NvyeyZ8OPe14gyb .node rect,#mermaid-svg-0NvyeyZ8OPe14gyb .node circle,#mermaid-svg-0NvyeyZ8OPe14gyb .node ellipse,#mermaid-svg-0NvyeyZ8OPe14gyb .node polygon,#mermaid-svg-0NvyeyZ8OPe14gyb .node path{fill:#ECECFF;stroke:#9370DB;stroke-width:1px;}#mermaid-svg-0NvyeyZ8OPe14gyb .rough-node .label text,#mermaid-svg-0NvyeyZ8OPe14gyb .node .label text,#mermaid-svg-0NvyeyZ8OPe14gyb .image-shape .label,#mermaid-svg-0NvyeyZ8OPe14gyb .icon-shape .label{text-anchor:middle;}#mermaid-svg-0NvyeyZ8OPe14gyb .node .katex path{fill:#000;stroke:#000;stroke-width:1px;}#mermaid-svg-0NvyeyZ8OPe14gyb .rough-node .label,#mermaid-svg-0NvyeyZ8OPe14gyb .node .label,#mermaid-svg-0NvyeyZ8OPe14gyb .image-shape .label,#mermaid-svg-0NvyeyZ8OPe14gyb .icon-shape .label{text-align:center;}#mermaid-svg-0NvyeyZ8OPe14gyb .node.clickable{cursor:pointer;}#mermaid-svg-0NvyeyZ8OPe14gyb .root .anchor path{fill:#333333!important;stroke-width:0;stroke:#333333;}#mermaid-svg-0NvyeyZ8OPe14gyb .arrowheadPath{fill:#333333;}#mermaid-svg-0NvyeyZ8OPe14gyb .edgePath .path{stroke:#333333;stroke-width:2.0px;}#mermaid-svg-0NvyeyZ8OPe14gyb .flowchart-link{stroke:#333333;fill:none;}#mermaid-svg-0NvyeyZ8OPe14gyb .edgeLabel{background-color:rgba(232,232,232, 0.8);text-align:center;}#mermaid-svg-0NvyeyZ8OPe14gyb .edgeLabel p{background-color:rgba(232,232,232, 0.8);}#mermaid-svg-0NvyeyZ8OPe14gyb .edgeLabel rect{opacity:0.5;background-color:rgba(232,232,232, 0.8);fill:rgba(232,232,232, 0.8);}#mermaid-svg-0NvyeyZ8OPe14gyb .labelBkg{background-color:rgba(232, 232, 232, 0.5);}#mermaid-svg-0NvyeyZ8OPe14gyb .cluster rect{fill:#ffffde;stroke:#aaaa33;stroke-width:1px;}#mermaid-svg-0NvyeyZ8OPe14gyb .cluster text{fill:#333;}#mermaid-svg-0NvyeyZ8OPe14gyb .cluster span{color:#333;}#mermaid-svg-0NvyeyZ8OPe14gyb div.mermaidTooltip{position:absolute;text-align:center;max-width:200px;padding:2px;font-family:"trebuchet ms",verdana,arial,sans-serif;font-size:12px;background:hsl(80, 100%, 96.2745098039%);border:1px solid #aaaa33;border-radius:2px;pointer-events:none;z-index:100;}#mermaid-svg-0NvyeyZ8OPe14gyb .flowchartTitleText{text-anchor:middle;font-size:18px;fill:#333;}#mermaid-svg-0NvyeyZ8OPe14gyb rect.text{fill:none;stroke-width:0;}#mermaid-svg-0NvyeyZ8OPe14gyb .icon-shape,#mermaid-svg-0NvyeyZ8OPe14gyb .image-shape{background-color:rgba(232,232,232, 0.8);text-align:center;}#mermaid-svg-0NvyeyZ8OPe14gyb .icon-shape p,#mermaid-svg-0NvyeyZ8OPe14gyb .image-shape p{background-color:rgba(232,232,232, 0.8);padding:2px;}#mermaid-svg-0NvyeyZ8OPe14gyb .icon-shape .label rect,#mermaid-svg-0NvyeyZ8OPe14gyb .image-shape .label rect{opacity:0.5;background-color:rgba(232,232,232, 0.8);fill:rgba(232,232,232, 0.8);}#mermaid-svg-0NvyeyZ8OPe14gyb .label-icon{display:inline-block;height:1em;overflow:visible;vertical-align:-0.125em;}#mermaid-svg-0NvyeyZ8OPe14gyb .node .label-icon path{fill:currentColor;stroke:revert;stroke-width:revert;}#mermaid-svg-0NvyeyZ8OPe14gyb :root{--mermaid-font-family:"trebuchet ms",verdana,arial,sans-serif;} ✅ 对策
✅ 对策
✅ 对策
✅ 对策
RTOS任务并发
死锁
优先级反转
信号量泄漏
栈溢出
全局统一锁顺序
Take设置超时
用互斥锁
自动优先级继承
goto cleanup
统一释放
栈≥实际×1.5
运行时监控
六、watchdog_timer_check：看门狗与定时器审查
定位：系统级保障，12项检查，横跨致命到低危。
看门狗是嵌入式系统的"最后一道防线"------系统卡死时自动复位。但它也是最容易被AI用错的：看门狗不会让系统变好，只会让系统"快速重启"。
6.1 看门狗三大致命
① 超时时间过短导致误复位
c
// ❌ 致命：看门狗1秒超时，但Flash擦除需要2秒
esp_task_wdt_init(1, true); // 1秒超时
for (int i = 0; i < 16; i++) {
flash_erase_sector(i); // 每个扇区120ms，总共1.92s
} // 1秒就复位了！
// ✅ 方案1：超时时间 ≥ 最长操作×2
esp_task_wdt_init(5, true); // 5秒超时
// ✅ 方案2：长操作中途喂狗
for (int i = 0; i < 16; i++) {
flash_erase_sector(i);
if (i % 4 == 0) esp_task_wdt_reset(); // 每4个扇区喂一次
}② 多任务单点喂狗失效
c
// ❌ 致命：只有主任务喂狗，其他任务卡死无法检测
void main_task(void *param) {
while (1) {
esp_task_wdt_reset(); // 主任务正常喂狗
vTaskDelay(pdMS_TO_TICKS(500));
}
}
void wifi_task(void *param) {
xSemaphoreTake(mutex, portMAX_DELAY); // WiFi任务死锁！
// 但看门狗被主任务喂着，不会复位 → 系统假死
}
// ✅ 正确：每个关键任务都加入监控，各自喂狗
void wifi_task(void *param) {
esp_task_wdt_add(NULL); // WiFi任务也加入监控
while (1) {
if (xSemaphoreTake(mutex, pdMS_TO_TICKS(1000)) == pdTRUE) {
wifi_process();
xSemaphoreGive(mutex);
esp_task_wdt_reset(); // 各自喂狗
}
}
}③ 阻塞函数未喂狗
c
// ❌ 致命：WiFi连接可能10秒，看门狗只有5秒
wifi_connect("SSID", "password"); // 阻塞等待
esp_task_wdt_reset(); // 连接没完成就复位了
// ✅ 正确：超时分段喂狗
for (int retry = 0; retry < 10; retry++) {
if (wifi_try_connect(1000) == ESP_OK) break; // 每次尝试1秒
esp_task_wdt_reset(); // 每次重试都喂狗
}6.2 定时器三大高危
① 定时器溢出回绕
c
// ❌ 高危：32位定时器回绕导致超时判断失效
uint32_t start_time = HAL_GetTick(); // 假设0xFFFFFF00
// 等待500ms后...
uint32_t elapsed = HAL_GetTick() - start_time; // 回绕成负数！
if (elapsed > 1000) { // 永远不触发
log_error("Timeout");
}
// ✅ 正确：带符号差值 or FreeRTOS自动处理回绕
int32_t elapsed = (int32_t)(HAL_GetTick() - start_time);
if (elapsed > 1000) { ... }
// 或 (xTaskGetTickCount() - start) > pdMS_TO_TICKS(1000)32位定时器以1MHz计数，72分钟就溢出。回绕之后，now - start会变成负数------超时判断彻底失效。这是嵌入式里极隐蔽的bug，通用AI根本想不到。
② 硬件定时器冲突
c
// ❌ 高危：模块A用TIM2做PWM，模块B又用TIM2做定时中断
// 后配置的覆盖先配置的，PWM输出异常
// ✅ 正确：统一管理定时器分配
typedef enum {
TIMER_PWM_CH1 = TIM2, // 一个定时器一个用途
TIMER_PWM_CH2 = TIM3,
TIMER_CAPTURE = TIM4,
TIMER_PERIOD = TIM5,
} timer_usage_t;③ 定时器中断优先级配置错误
c
// ❌ 高危：定时器中断优先级0（高于FreeRTOS）
HAL_NVIC_SetPriority(TIM2_IRQn, 0, 0); // 高于RTOS调度器！
// 高优先级中断调用RTOS API → 死锁/数据损坏
// ✅ 正确：调用API的中断优先级必须 ≥ 5
HAL_NVIC_SetPriority(TIM2_IRQn, 5, 0);6.3 看门狗配置原则
1. 超时时间 ≥ 最长操作时间 × 2
2. 多任务系统必须使用任务看门狗（TWDT）
3. 生产环境必须启用看门狗
4. 调试模式下看门狗必须暂停
5. 阻塞超过1秒的函数必须中途喂狗或临时禁用看门狗看门狗与定时器审查的完整决策流程：
#mermaid-svg-dVHGVugGVR2ONATj{font-family:"trebuchet ms",verdana,arial,sans-serif;font-size:16px;fill:#333;}@keyframes edge-animation-frame{from{stroke-dashoffset:0;}}@keyframes dash{to{stroke-dashoffset:0;}}#mermaid-svg-dVHGVugGVR2ONATj .edge-animation-slow{stroke-dasharray:9,5!important;stroke-dashoffset:900;animation:dash 50s linear infinite;stroke-linecap:round;}#mermaid-svg-dVHGVugGVR2ONATj .edge-animation-fast{stroke-dasharray:9,5!important;stroke-dashoffset:900;animation:dash 20s linear infinite;stroke-linecap:round;}#mermaid-svg-dVHGVugGVR2ONATj .error-icon{fill:#552222;}#mermaid-svg-dVHGVugGVR2ONATj .error-text{fill:#552222;stroke:#552222;}#mermaid-svg-dVHGVugGVR2ONATj .edge-thickness-normal{stroke-width:1px;}#mermaid-svg-dVHGVugGVR2ONATj .edge-thickness-thick{stroke-width:3.5px;}#mermaid-svg-dVHGVugGVR2ONATj .edge-pattern-solid{stroke-dasharray:0;}#mermaid-svg-dVHGVugGVR2ONATj .edge-thickness-invisible{stroke-width:0;fill:none;}#mermaid-svg-dVHGVugGVR2ONATj .edge-pattern-dashed{stroke-dasharray:3;}#mermaid-svg-dVHGVugGVR2ONATj .edge-pattern-dotted{stroke-dasharray:2;}#mermaid-svg-dVHGVugGVR2ONATj .marker{fill:#333333;stroke:#333333;}#mermaid-svg-dVHGVugGVR2ONATj .marker.cross{stroke:#333333;}#mermaid-svg-dVHGVugGVR2ONATj svg{font-family:"trebuchet ms",verdana,arial,sans-serif;font-size:16px;}#mermaid-svg-dVHGVugGVR2ONATj p{margin:0;}#mermaid-svg-dVHGVugGVR2ONATj .label{font-family:"trebuchet ms",verdana,arial,sans-serif;color:#333;}#mermaid-svg-dVHGVugGVR2ONATj .cluster-label text{fill:#333;}#mermaid-svg-dVHGVugGVR2ONATj .cluster-label span{color:#333;}#mermaid-svg-dVHGVugGVR2ONATj .cluster-label span p{background-color:transparent;}#mermaid-svg-dVHGVugGVR2ONATj .label text,#mermaid-svg-dVHGVugGVR2ONATj span{fill:#333;color:#333;}#mermaid-svg-dVHGVugGVR2ONATj .node rect,#mermaid-svg-dVHGVugGVR2ONATj .node circle,#mermaid-svg-dVHGVugGVR2ONATj .node ellipse,#mermaid-svg-dVHGVugGVR2ONATj .node polygon,#mermaid-svg-dVHGVugGVR2ONATj .node path{fill:#ECECFF;stroke:#9370DB;stroke-width:1px;}#mermaid-svg-dVHGVugGVR2ONATj .rough-node .label text,#mermaid-svg-dVHGVugGVR2ONATj .node .label text,#mermaid-svg-dVHGVugGVR2ONATj .image-shape .label,#mermaid-svg-dVHGVugGVR2ONATj .icon-shape .label{text-anchor:middle;}#mermaid-svg-dVHGVugGVR2ONATj .node .katex path{fill:#000;stroke:#000;stroke-width:1px;}#mermaid-svg-dVHGVugGVR2ONATj .rough-node .label,#mermaid-svg-dVHGVugGVR2ONATj .node .label,#mermaid-svg-dVHGVugGVR2ONATj .image-shape .label,#mermaid-svg-dVHGVugGVR2ONATj .icon-shape .label{text-align:center;}#mermaid-svg-dVHGVugGVR2ONATj .node.clickable{cursor:pointer;}#mermaid-svg-dVHGVugGVR2ONATj .root .anchor path{fill:#333333!important;stroke-width:0;stroke:#333333;}#mermaid-svg-dVHGVugGVR2ONATj .arrowheadPath{fill:#333333;}#mermaid-svg-dVHGVugGVR2ONATj .edgePath .path{stroke:#333333;stroke-width:2.0px;}#mermaid-svg-dVHGVugGVR2ONATj .flowchart-link{stroke:#333333;fill:none;}#mermaid-svg-dVHGVugGVR2ONATj .edgeLabel{background-color:rgba(232,232,232, 0.8);text-align:center;}#mermaid-svg-dVHGVugGVR2ONATj .edgeLabel p{background-color:rgba(232,232,232, 0.8);}#mermaid-svg-dVHGVugGVR2ONATj .edgeLabel rect{opacity:0.5;background-color:rgba(232,232,232, 0.8);fill:rgba(232,232,232, 0.8);}#mermaid-svg-dVHGVugGVR2ONATj .labelBkg{background-color:rgba(232, 232, 232, 0.5);}#mermaid-svg-dVHGVugGVR2ONATj .cluster rect{fill:#ffffde;stroke:#aaaa33;stroke-width:1px;}#mermaid-svg-dVHGVugGVR2ONATj .cluster text{fill:#333;}#mermaid-svg-dVHGVugGVR2ONATj .cluster span{color:#333;}#mermaid-svg-dVHGVugGVR2ONATj div.mermaidTooltip{position:absolute;text-align:center;max-width:200px;padding:2px;font-family:"trebuchet ms",verdana,arial,sans-serif;font-size:12px;background:hsl(80, 100%, 96.2745098039%);border:1px solid #aaaa33;border-radius:2px;pointer-events:none;z-index:100;}#mermaid-svg-dVHGVugGVR2ONATj .flowchartTitleText{text-anchor:middle;font-size:18px;fill:#333;}#mermaid-svg-dVHGVugGVR2ONATj rect.text{fill:none;stroke-width:0;}#mermaid-svg-dVHGVugGVR2ONATj .icon-shape,#mermaid-svg-dVHGVugGVR2ONATj .image-shape{background-color:rgba(232,232,232, 0.8);text-align:center;}#mermaid-svg-dVHGVugGVR2ONATj .icon-shape p,#mermaid-svg-dVHGVugGVR2ONATj .image-shape p{background-color:rgba(232,232,232, 0.8);padding:2px;}#mermaid-svg-dVHGVugGVR2ONATj .icon-shape .label rect,#mermaid-svg-dVHGVugGVR2ONATj .image-shape .label rect{opacity:0.5;background-color:rgba(232,232,232, 0.8);fill:rgba(232,232,232, 0.8);}#mermaid-svg-dVHGVugGVR2ONATj .label-icon{display:inline-block;height:1em;overflow:visible;vertical-align:-0.125em;}#mermaid-svg-dVHGVugGVR2ONATj .node .label-icon path{fill:currentColor;stroke:revert;stroke-width:revert;}#mermaid-svg-dVHGVugGVR2ONATj :root{--mermaid-font-family:"trebuchet ms",verdana,arial,sans-serif;} 过短
合理
单点喂狗
各自喂狗
溢出回绕
硬件冲突
优先级过高
系统运行
看门狗超时设置
❌ 误复位
Flash擦除未完成
✅ 超时≥最长操作×2
多任务喂狗
❌ 假死
其他任务卡死无感知
✅ 每个关键任务
加入TWDT监控
定时器使用
❌ 超时判断失效
用带符号差值
❌ 覆盖配置
统一管理定时器
❌ 死锁/数据损坏
优先级≥5
七、五件套的设计共性：从技能看方法论
看完这5个技能，你会发现它们和上一篇的内存四件套遵循完全相同的设计方法论：
7.1 触发条件覆盖三层
每个技能都定义了"关键词层+操作层+场景层"三层触发条件。比如interrupt_check：
- 关键词层：ISR、IRAM_ATTR、NVIC
- 操作层：中断标志清除、中断嵌套
- 场景层：全局变量在中断与主循环共享
7.2 检查项都是"嵌入式专属知识"
这5个技能之所以是"专家"，在于它们内置了通用AI的知识盲区：
| 领域 | 通用AI不知道的 |
|---|---|
| 中断 | 中断里不能用延时/阻塞、必须用FromISR、标志必须清除 |
| DMA | 缓冲区不能放栈上、Cache要手动刷新、地址要对齐 |
| 外设 | 寄存器要volatile、GPIO不能复用、初始化有顺序 |
| RTOS | 锁顺序要一致、互斥锁有优先级继承、临界区要短 |
| 看门狗 | 超时×2、多任务各自喂狗、定时器会回绕 |
7.3 全部给出量化指标
- 中断执行时间 < 50us
- 临界区持续时间 < 50us
- 任务栈 ≥ 实际使用×1.5
- 看门狗超时 ≥ 最长操作×2
- 定时器中断优先级 ≥ 5
通用AI给的是"注意安全"，专家给的是"<50us、×1.5、×2"这些可执行、可验证的数字。
7.4 双平台示例
每个技能都同时提供ESP32和STM32的对照示例（HAL库/ESP-IDF、IWDG/esp_task_wdt、HAL_NVIC/esp_intr_alloc），确保技能在不同项目间可复用。
八、小结
硬件与系统安全五件套，是嵌入式智能体审查能力的第二道防线，也是通用AI最难逾越的鸿沟：
| 技能 | 检查项 | 核心防线 | 对应AI评审层 |
|---|---|---|---|
| interrupt_check | 10项 | 中断阻塞/共享变量/优先级 | 第2层 |
| dma_cache_check | 7项 | 栈内存DMA/Cache一致性/对齐 | 第3层 |
| peripheral_conflict_check | 10项 | 寄存器volatile/GPIO复用/时钟 | 第7层 |
| rtos_task_check | 10项 | 死锁/反转/信号量泄漏/栈溢出 | 第4层 |
| watchdog_timer_check | 12项 | 看门狗超时/多任务喂狗/定时器溢出 | 系统级 |
加上上一篇的内存四件套，9个技能、77项检查已经覆盖了嵌入式"死机级"风险的大部分。而它们遵循同一套方法论：风险分级 + 四要素法 + 量化指标 + 双平台示例。
下一篇，我们进入审查技能库的下篇------通信存储与质量保障：通信协议、Flash存储、低功耗、错误处理、代码规范。这是审查技能的最后一组，也是150+检查项的收尾。
硬件不懂玄学，只有物理。AI不懂硬件，就只剩玄学。