9f826dbb4d
问题:L5-4 闭锁读的 adc_health_flags() 只有 adcTask 每拍跑 adc_health_check() 才可能置位。TIM3 一停,adcTask 就永久阻塞在 osThreadFlagsWait(刻意的 fail-safe),check() 不再执行 → stall 位 永远是 0,而 protectTask 仍每 20 ms 拿冻在最后一帧的相量继续判据。 窗口最坏约 800 ms(停喂阈值)+ 2498 ms(IWDG 标称)≈ 3.3 s。 方案:保护侧建一条与消费者存活完全解耦的兜底新鲜度门。 - adc_health.c/h 新增 adc_health_age_stale():无模块状态的纯判据, 参照系 adc_health_age_t 由调用方自存。故意不让 protectTask 去调 adc_health_check()——那是「每拍一次、单写者」的契约,两个上下文 同写会互相刷新差值基线,把现有判定层一起弄坏。 - 新增 ADC_HF_STALE = bit8(与判定层 bit0..bit7 位段错开)。本位 不由判定层写、不进 sticky、不进编排层 logged 位图。 - protect_task.c 用自己的时基直接读两个**中断侧递增**的计数器 (tpafe5160_frame_seq / adc_input_stm32_seq),并入掩码。两条车道 各自一份 primed:共用会让先观测的那条把标志置 1,另一条首拍拿 adv_ms = 0 算年龄 → 开机即误锁保护。 - 门限 PROT_STALE_AGE_MS = 100 + 20 = 120 ms,买的是时序阶梯: 判定层活着时它先报 0x1/0x2(带日志与自检留痕),死了只出现 0x100。闭锁最迟 140 ms,仍远小于最小动作延时(默认 1000 ms)。 实测: - @build 0 错 0 警:Code 213424 → 213520(+96 B);ZI 131480 → 131504(+24 B = 两份 age 结构);RW-data 1184 不变 - stack_report:protectTask 静态最坏链 872 B 不变(余 1176 B / 57%)、 adcTask 1320 B 不变——新判据无日志,不进最坏链 - 主机单测 45/45(新增 TC-ADCHEALTH-012..017 共 14 条断言:首拍只建 基线 / 超拍不判老 / 门限含等号 / 跨 tick 回绕 / 倒退按分工不判老 / 双观察者互不污染 / 空参数不判老) - 台架注入(一次性停 TIM3 300 ms 探针,验完已撤;探针固件与最终 固件 Program Size 逐字节相同): [+5462ms] [ERR][PROT] sampling FAULT -> protection blocked (hf=0x00000100) [+5757ms] [PROT] sampling recovered -> protection resumed 同次开机 [ADC_TASK] health: 出现 0 次;MISS 快照缺的正是 bit6 (0x1F7 - 0x1B7 = 0x40,实证 adcTask 当时确实阻塞,不是"在跑但没报"); reset cause: 仅 1 次(300 ms 被 800 ms 容忍吸收,闭锁不靠复位) 证据 docs/测试说明/boot_log_data/20261021_probe_stale_gate_boot_log.txt - 字节卫生:BOM 无 / CR 0 / U+FFFD 0;新增行无非法字面量 gate: only mem-budget/mem-numbers pending lead ledger backfill pre-commit run --all-files 失败仅这两条(台账受管快照与本树 .map 的 Flash/RAM 水位漂移,即本次 +96 B Code、+24 B ZI)。按并行分支约定 本分支不跑 --write,台账由 Lead 合并后统一回填。 文档同步:设计说明新增 §15(原相关文档改 §16),§7 位表加 bit8 行、 §8 责任矩阵与「已知窗口」段改写为已闭合、§10 盲区第 3 条、§11 用例 表、§12 判读手册、§14 改前清单全部跟上;位图配图补 bit8 列,并修掉 生成器把列数硬编码成 8 列导致新列被备注框盖住的问题。
App/task/ — FreeRTOS 任务实现
6 个任务的入口函数与任务体。任务创建在
Src/freertos.c(MX_FREERTOS_Init), 栈大小/优先级的唯一事实源也是Src/freertos.c;本目录只放任务实现。
任务清单
| 文件 | 任务 | 优先级 | 职责 |
|---|---|---|---|
default_task.c/h |
defaultTask | Normal | FTL + FatFS 挂载、配置引擎属主、syslog 唯一写者、LED 指示 |
net_task.c/h |
netTask | Normal | net_stack_bring_up → 置 NET_READY → 循环 net_poll + net_process_messages |
ui_task.c/h |
uiTask | BelowNormal | LVGL 界面(菜单 / 内容页 / 待机)+ 推流 |
adc_task.c/h |
adcTask | AboveNormal | ADC 采集消费:TPAFE5160 快照 + 消费 STM32 ADC1 DMA 乒乓缓冲一帧,经 ../algo/adc_input.c 按语义取数(采样节拍由 TIM3 硬件触发) |
rs485_task.c/h |
(RS-485 任务) | — | 半双工 RS-485 协议通信 |
../sync/time_sync.c |
timeSyncTask | Normal | 墙钟时间同步(实现不在本目录,见 ../sync/README.md) |
上表栈大小/优先级以
Src/freertos.c为准(README.md/AGENTS.md的任务表由scripts/gen_task_table.py生成,勿手抄)。
就绪屏障(重要)
任务间不用魔法延时,改用 App/app/sys_events.h 的 Event Flags:
SYS_EVT_NET_READY/SYS_EVT_STORAGE_READY等是状态位——等待时必须osFlagsWaitAny|osFlagsNoClear,不能用默认消费型等待(否则先到的消费者会清掉位, 导致ftpTask的WaitAll(两位)永不成立 → FTP 静默不监听)SYS_EVT_CFG_SAVE/SYS_EVT_NET_RECONFIG等命令位保持消费型等待
平台约束(改本目录前必读)
- 内核启动前禁止任何 FreeRTOS/CMSIS-RTOS API 调用(
osMessageQueueNew等会杀死启动) - 就绪屏障位一律用
osFlagsNoClear - 内存预算紧张,改栈/缓冲前先核算(
docs/内存管理/)
相关文档
- 启动顺序与屏障:
docs/架构设计/项目启动顺序管理.md - 内存与定栈规则:
docs/内存管理/RAM使用分析与优化方案.md - 栈水位实测:
scripts/stack_report.py